Showing 1–50 of 127 results for author: Kedlaya, K

Compatibility of $F$-isocrystals on adjoint Shimura varieties

Authors: Jake Huryn, Kiran Kedlaya, Christian Klevdal, Stefan Patrikis

Abstract: In this article, we extend past results of the last two authors to include compatibility of canonical $\ell$-adic local systems and canonical $F$-isocrystals on adjoint Shimura varieties in the superrigid regime. Our method relies on the crystallinity of canonical $p$-adic local systems due to Esnault--Groechenig as well as Margulis superrigidity and the crystalline-to-étale companion construction… ▽ More In this article, we extend past results of the last two authors to include compatibility of canonical $\ell$-adic local systems and canonical $F$-isocrystals on adjoint Shimura varieties in the superrigid regime. Our method relies on the crystallinity of canonical $p$-adic local systems due to Esnault--Groechenig as well as Margulis superrigidity and the crystalline-to-étale companion construction of Drinfeld and Kedlaya. △ Less

Submitted 24 April, 2025; originally announced May 2025.

Comments: 24 pages. comments welcome!

MSC Class: 11G18; 14G35

On the relative Nullstellensatz in nonarchimedean geometry

Authors: Kiran S. Kedlaya, Yutaro Mikami

Abstract: We establish a relative version of the Nullstellensatz for algebras topologically of finite type over a given Banach Tate ring $A$, under the assumption that the corresponding statement holds for rational localizations of $A$. This applies in particular to pseudoaffinoid algebras and to the coordinate rings of affinoid subspaces of a Fargues--Fontaine curve. We establish a relative version of the Nullstellensatz for algebras topologically of finite type over a given Banach Tate ring $A$, under the assumption that the corresponding statement holds for rational localizations of $A$. This applies in particular to pseudoaffinoid algebras and to the coordinate rings of affinoid subspaces of a Fargues--Fontaine curve. △ Less

Submitted 23 March, 2025; originally announced March 2025.

Comments: 8 pages

Bounds for the relative class number problem for function fields

Authors: Santiago Arango-Piñeros, María Chara, Asimina S. Hamakiotes, Kiran S. Kedlaya, Gustavo Rama

Abstract: We establish bounds on a finite separable extension of function fields in terms of the relative class number, thus reducing the problem of classifying extensions with a fixed relative class number to a finite computation. We also solve the relative class number two problem in all cases where the base field has constant field not equal to $\mathbb{F}_2$. We establish bounds on a finite separable extension of function fields in terms of the relative class number, thus reducing the problem of classifying extensions with a fixed relative class number to a finite computation. We also solve the relative class number two problem in all cases where the base field has constant field not equal to $\mathbb{F}_2$. △ Less

Submitted 23 May, 2025; v1 submitted 16 December, 2024; originally announced December 2024.

A census of genus 6 curves over $\mathbb{F}_2$

Authors: Yongyuan Huang, Kiran S. Kedlaya, Jun Bo Lau

Abstract: We compile a complete list of isomorphism class representatives of curves of genus 6 over $\mathbb{F}_2$. We use explicit descriptions of canonical curves in each stratum of the Brill--Noether stratification of the moduli space $\mathcal{M}_6$, due to Mukai in the generic case. Our computed value of $\#\mathcal{M}_6(\mathbb{F}_2)$ agrees with the Lefschetz trace formula as recently computed by Ber… ▽ More We compile a complete list of isomorphism class representatives of curves of genus 6 over $\mathbb{F}_2$. We use explicit descriptions of canonical curves in each stratum of the Brill--Noether stratification of the moduli space $\mathcal{M}_6$, due to Mukai in the generic case. Our computed value of $\#\mathcal{M}_6(\mathbb{F}_2)$ agrees with the Lefschetz trace formula as recently computed by Bergstrom--Canning--Petersen--Schmitt. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 11 pages

Coleman Integration on Modular Curves

Authors: Mingjie Chen, Kiran Kedlaya, Jun Bo Lau

Abstract: Coleman integrals is a major tool in the explicit arithmetic of algebraic varieties, notably in the study of rational points on curves. One of the inputs to compute Coleman integrals is the availability of an affine model. We develop a model-free algorithm that computes single Coleman integrals between any two points on modular curves. Using Hecke operators, any Coleman integral can be broken down… ▽ More Coleman integrals is a major tool in the explicit arithmetic of algebraic varieties, notably in the study of rational points on curves. One of the inputs to compute Coleman integrals is the availability of an affine model. We develop a model-free algorithm that computes single Coleman integrals between any two points on modular curves. Using Hecke operators, any Coleman integral can be broken down into a sum of tiny integrals. We illustrate this using several examples computed in SageMath and Magma. We also suggest some future directions for this work, including a possible extension to iterated Coleman integrals. △ Less

Submitted 25 January, 2024; originally announced January 2024.

On the degree of polynomials computing square roots mod p

Authors: Kiran Kedlaya, Swastik Kopparty

Abstract: For an odd prime $p$, we say $f(X) \in {\mathbb F}_p[X]$ computes square roots in $\mathbb F_p$ if, for all nonzero perfect squares $a \in \mathbb F_p$, we have $f(a)^2 = a$. When $p \equiv 3 \mod 4$, it is well known that $f(X) = X^{(p+1)/4}$ computes square roots. This degree is surprisingly low (and in fact lowest possible), since we have specified $(p-1)/2$ evaluations (up to sign) of the po… ▽ More For an odd prime $p$, we say $f(X) \in {\mathbb F}_p[X]$ computes square roots in $\mathbb F_p$ if, for all nonzero perfect squares $a \in \mathbb F_p$, we have $f(a)^2 = a$. When $p \equiv 3 \mod 4$, it is well known that $f(X) = X^{(p+1)/4}$ computes square roots. This degree is surprisingly low (and in fact lowest possible), since we have specified $(p-1)/2$ evaluations (up to sign) of the polynomial $f(X)$. On the other hand, for $p \equiv 1 \mod 4$ there was previously no nontrivial bound known on the lowest degree of a polynomial computing square roots in $\mathbb F_p$; it could have been anywhere between $\frac{p}{4}$ and $\frac{p}{2}$. We show that for all $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots has degree at least $p/3$. Our main new ingredient is a general lemma which may be of independent interest: powers of a low degree polynomial cannot have too many consecutive zero coefficients. The proof method also yields a robust version: any polynomial that computes square roots for 99\% of the squares also has degree almost $p/3$. In the other direction, a result of Agou, Deliglése, and Nicolas (Designs, Codes, and Cryptography, 2003) shows that for infinitely many $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots can be as small as $3p/8$. △ Less

Submitted 22 January, 2024; v1 submitted 17 November, 2023; originally announced November 2023.

Comments: 14 pages. Changes to previous version: We learnt that our upper bound for special $p$, Theorem 1.3, had been proved by Agou, Deliglése and Nicolas in 2003. Added some relevant references

Frobenius sign separation for abelian varieties

Authors: Alina Bucur, Francesc Fité, Kiran S. Kedlaya

Abstract: Let A and A' be nonzero abelian varieties defined over a number field k such that Hom(A,A')=0. Under the Generalized Riemann hypothesis for motivic L-functions attached to A and A', we show that there exists a prime p of k of good reduction for A and A' at which the Frobenius traces of A and A' are nonzero and differ by sign, and such that the norm of p is O_{k,g,g'}(log(2NN')^2), where N and N' r… ▽ More Let A and A' be nonzero abelian varieties defined over a number field k such that Hom(A,A')=0. Under the Generalized Riemann hypothesis for motivic L-functions attached to A and A', we show that there exists a prime p of k of good reduction for A and A' at which the Frobenius traces of A and A' are nonzero and differ by sign, and such that the norm of p is O_{k,g,g'}(log(2NN')^2), where N and N' respectively denote the absolute conductors of A and A'. We also make the dependence of the big-O constant on k and the dimensions g,g' of A,A' explicit up to an effectively computable absolute constant. Our method extends that of Chen, Park, and Swaminathan who considered the case in which A and A' are elliptic curves. △ Less

Submitted 3 April, 2025; v1 submitted 16 October, 2023; originally announced October 2023.

Comments: 10 pages. Accepted in Proc. Amer. Math. Soc. Several changes were made in order to turn the implied constant in the O-notation into a universal constant independent of the field of definition and the dimensions. Includes material formerly appearing in arXiv:2002.08807

MSC Class: 11G10; 11G05; 11R44; 11M41

Hypergeometric $L$-functions in average polynomial time, II

Authors: Edgar Costa, Kiran S. Kedlaya, David Roe

Abstract: For a fixed positive integer $e$, we describe an algorithm for computing, for all primes $p \leq X$, the mod-$p^e$ reduction of the trace of Frobenius at $p$ of a fixed hypergeometric motive over $\mathbb{Q}$ in time quasilinear in $X$. This extends our previous work for the mod-$p$ reduction, again combining the Beukers--Cohen--Mellit trace formula with average polynomial time techniques of Harve… ▽ More For a fixed positive integer $e$, we describe an algorithm for computing, for all primes $p \leq X$, the mod-$p^e$ reduction of the trace of Frobenius at $p$ of a fixed hypergeometric motive over $\mathbb{Q}$ in time quasilinear in $X$. This extends our previous work for the mod-$p$ reduction, again combining the Beukers--Cohen--Mellit trace formula with average polynomial time techniques of Harvey and Harvey--Sutherland; the key new ingredient is an expanded version of Harvey's "generic prime" construction, making it possible to incorporate certain $p$-adic transcendental functions into the computation. One of these is the $p$-adic Gamma function, whose average polynomial time computation is an intermediate step which may be of independent interest. We also provide an implementation in Sage and discuss the remaining computational issues around computing hypergeometric $L$-series. △ Less

Submitted 29 May, 2024; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: 20 pages (refereed version); to appear in ANTS-XVI

MSC Class: 11Y16; 33C20 (primary); and 11G09; 11M38; 11T24 (secondary)

A note on the cohomology of $p$-adic analytic group actions

Authors: Annie Carter, Kiran S. Kedlaya

Abstract: We prove that given an analytic action of a compact $p$-adic Lie group on a Banach space over a field of positive characteristic, one can detect either the simultaneous vanishing or the simultaneous finite-dimensionality of all of the continuous cohomology groups from the corresponding statement for the restriction to a pro-$p$ procyclic subgroup. We also formulate a conjecture generalizing this r… ▽ More We prove that given an analytic action of a compact $p$-adic Lie group on a Banach space over a field of positive characteristic, one can detect either the simultaneous vanishing or the simultaneous finite-dimensionality of all of the continuous cohomology groups from the corresponding statement for the restriction to a pro-$p$ procyclic subgroup. We also formulate a conjecture generalizing this result, in which the base field is allowed to have mixed characteristic and the subgroup is allowed to be nilpotent. Finally, we formulate an analogous conjecture about Lie algebra cohomology and relate this to a theorem of Kostant. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 11 pages

Motivic Serre group and Sato--Tate conjecture

Authors: Grzegorz Banaszak, Kiran S. Kedlaya

Abstract: This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we… ▽ More This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we allow general weight and some other motivic categories, notably André's motivic category of motivated cycles; moreover, some results are also new in the odd weight case. The paper consists of two parts; in the first part we work in the framework of strongly compatible families of $l$-adic representations associated with pure, rational, polarized Hodge structures, while in the second part we use the language of motives. △ Less

Submitted 25 February, 2023; originally announced February 2023.

Comments: 97 pages

Drinfeld's lemma for $F$-isocrystals, II: Tannakian approach

Authors: Kiran S. Kedlaya, Daxin Xu

Abstract: We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the Langlands correspondence over function fields from $\ell$-adic to $p$-adic coefficients. We also discuss a motivic variant and a local variant of Drinfeld's lemma. We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the Langlands correspondence over function fields from $\ell$-adic to $p$-adic coefficients. We also discuss a motivic variant and a local variant of Drinfeld's lemma. △ Less

Submitted 27 July, 2023; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: 25 pages, final version

Drinfeld's lemma for $F$-isocrystals, I

Authors: Kiran S. Kedlaya

Abstract: We prove that in either the convergent or overconvergent setting, an absolutely irreducible $F$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $p$, further equipped with actions of the partial Frobenius maps, is an external product of $F$-isocrystals over the multiplicands. The corresponding statement for lisse $\bar{\mathbb{Q}}_\ell$-sheaves… ▽ More We prove that in either the convergent or overconvergent setting, an absolutely irreducible $F$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $p$, further equipped with actions of the partial Frobenius maps, is an external product of $F$-isocrystals over the multiplicands. The corresponding statement for lisse $\bar{\mathbb{Q}}_\ell$-sheaves, for $\ell \neq p$ a prime, is a consequence of Drinfeld's lemma on the fundamental groups of absolute products of schemes in characteristic $p$. The latter plays a key role in V. Lafforgue's approach to the Langlands correspondence for reductive groups with $\ell$-adic coefficients; the $p$-adic analogue will be considered in subsequent work with Daxin Xu. △ Less

Submitted 15 February, 2024; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: 22 pages; v3: final refereed version

A criterion for perfectoid fields

Authors: Ehsan Shahoseini, Kiran S. Kedlaya

Abstract: The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete subfield of $\mathbb{C}_p$ (a completed algebraic closure of $\mathbb{Q}_p$), $K$ is perfectoid if and only if its tilt is not algebraic over $\mathbb{F}_p$. We also… ▽ More The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete subfield of $\mathbb{C}_p$ (a completed algebraic closure of $\mathbb{Q}_p$), $K$ is perfectoid if and only if its tilt is not algebraic over $\mathbb{F}_p$. We also include some conjectures on APF (arithmetically profinite) extensions, perfectoid fields, and their relations. △ Less

Submitted 20 January, 2023; v1 submitted 16 October, 2022; originally announced October 2022.

Comments: error in proof of Theorem 1.5

Monodromy representations of $p$-adic differential equations in families

Authors: Kiran S. Kedlaya

Abstract: We derive a relative version of the local monodromy theorem for ordinary differential equations on an annulus over a mixed-characteristic nonarchimedean field, and give several applications in $p$-adic cohomology and $p$-adic Hodge theory. These include a simplified proof of the semistable reduction theorem for overconvergent $F$-isocrystals, a relative version of Berger's theorem that de Rham rep… ▽ More We derive a relative version of the local monodromy theorem for ordinary differential equations on an annulus over a mixed-characteristic nonarchimedean field, and give several applications in $p$-adic cohomology and $p$-adic Hodge theory. These include a simplified proof of the semistable reduction theorem for overconvergent $F$-isocrystals, a relative version of Berger's theorem that de Rham representations are potentially semistable, and a multivariate version of the local monodromy theorem in the style of Drinfeld's lemma on fundamental groups. △ Less

Submitted 27 May, 2025; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: 28 pages; v3: final refereed version

The relative class number one problem for function fields, III

Authors: Kiran S. Kedlaya

Abstract: We complete the solution of the relative class number one problem for function fields of curves over finite fields. Using work from two earlier papers, this reduces to finding all function fields of genus 6 or 7 over $\mathbb{F}_2$ with one of 40 prescribed Weil polynomials; one may then verify directly that three of these fields admit an everywhere unramified quadratic extension with trivial rela… ▽ More We complete the solution of the relative class number one problem for function fields of curves over finite fields. Using work from two earlier papers, this reduces to finding all function fields of genus 6 or 7 over $\mathbb{F}_2$ with one of 40 prescribed Weil polynomials; one may then verify directly that three of these fields admit an everywhere unramified quadratic extension with trivial relative class group. The search is carried out by carefully enumerating curves based on the Brill--Noether stratification of the moduli spaces of curves in these genera, and particularly Mukai's descriptions of the open strata. △ Less

Submitted 28 December, 2023; v1 submitted 23 August, 2022; originally announced August 2022.

Comments: 14 pages; v3: a few corrections to Table 1 and nearby

The relative class number one problem for function fields, II

Authors: Kiran S. Kedlaya

Abstract: We establish that any finite extension of function fields of genus greater than 1 whose relative class group is trivial is Galois and cyclic. This depends on a result from a preceding paper which establishes a finite list of possible Weil polynomials for both fields. Given this list, we analyze most cases by computing options for the splittings of low-degree places in the extension, then consider… ▽ More We establish that any finite extension of function fields of genus greater than 1 whose relative class group is trivial is Galois and cyclic. This depends on a result from a preceding paper which establishes a finite list of possible Weil polynomials for both fields. Given this list, we analyze most cases by computing options for the splittings of low-degree places in the extension, then consider the effect of these options on the Weil polynomials of certain isogeny factors of the Jacobian of the Galois closure. In one case, we use instead an analysis based on principal polarizations, modeled on an argument of Howe. △ Less

Submitted 29 May, 2024; v1 submitted 4 June, 2022; originally announced June 2022.

Comments: 15 pages; v3: refereed version; minor corrections, edits for readability

The relative class number one problem for function fields, I

Authors: Kiran S. Kedlaya

Abstract: We reduce the classification of finite extensions of function fields (of curves over finite fields) with the same class number to a finite computation; complete this computation in all cases except when both curves have base field $\mathbb{F}_2$ and genus $>1$; and give a conjectural answer in the remaining cases. The conjecture will be resolved in subsequent papers. We reduce the classification of finite extensions of function fields (of curves over finite fields) with the same class number to a finite computation; complete this computation in all cases except when both curves have base field $\mathbb{F}_2$ and genus $>1$; and give a conjectural answer in the remaining cases. The conjecture will be resolved in subsequent papers. △ Less

Submitted 24 August, 2022; v1 submitted 16 February, 2022; originally announced February 2022.

Comments: 18 pages, including 3 pages of tables; associated code available at https://github.com/kedlaya/same-class-number/; v3: final version

Journal ref: Algorithmic Number Theory Symposium (ANTS-XV), 2022

A cut-by-curves criterion for overconvergent of $F$-isocrystals

Authors: Thomas Grubb, Kiran S. Kedlaya, James Upton

Abstract: Let $X$ be a smooth scheme over a finite field. It is conjectured that a convergent $F$-isocrystal on $X$ is overconvergent if its restriction to every curve contained in $X$ is overconvergent. Using the theory of étale and crystalline companions, we establish a weaker version of this criterion in which we also assume that the wild local monodromy of the restrictions to curves is trivialized by pu… ▽ More Let $X$ be a smooth scheme over a finite field. It is conjectured that a convergent $F$-isocrystal on $X$ is overconvergent if its restriction to every curve contained in $X$ is overconvergent. Using the theory of étale and crystalline companions, we establish a weaker version of this criterion in which we also assume that the wild local monodromy of the restrictions to curves is trivialized by pullback along a single dominant morphism to $X$. △ Less

Submitted 7 February, 2022; originally announced February 2022.

Comments: v1: 15 pages

Angle ranks of abelian varieties

Authors: Taylor Dupuy, Kiran S. Kedlaya, David Zureick-Brown

Abstract: Using the formalism of Newton hyperplane arrangements, we resolve the open questions regarding angle rank left over from [DKRV20]. As a consequence we end up generalizing theorems of Lenstra--Zarhin and Tankeev proving several new cases of the Tate conjecture for abelian varieties over finite fields. We also obtain an effective version of a recent theorem of Zarhin bounding the heights of coeffici… ▽ More Using the formalism of Newton hyperplane arrangements, we resolve the open questions regarding angle rank left over from [DKRV20]. As a consequence we end up generalizing theorems of Lenstra--Zarhin and Tankeev proving several new cases of the Tate conjecture for abelian varieties over finite fields. We also obtain an effective version of a recent theorem of Zarhin bounding the heights of coefficients in multiplicative relations among Frobenius eigenvalues. △ Less

Submitted 17 April, 2023; v1 submitted 4 December, 2021; originally announced December 2021.

Comments: 14 pages; v3: final refereed version; corrected bound and simplified proof of Theorem 1.8

Geometric decomposition of abelian varieties of order 1

Authors: Toren D'Nelly-Warady, Kiran S. Kedlaya

Abstract: Since the 1970s, the complete classification (up to isogeny) of abelian varieties over finite fields with trivial group of rational points has been known from results of Madan--Pal and Robinson; with two exceptions these are all defined over $\mathbb{F}_2$. We determine the decomposition of these varieties into simple factors over an algebraic closure of $\mathbb{F}_2$; this requires solving a pol… ▽ More Since the 1970s, the complete classification (up to isogeny) of abelian varieties over finite fields with trivial group of rational points has been known from results of Madan--Pal and Robinson; with two exceptions these are all defined over $\mathbb{F}_2$. We determine the decomposition of these varieties into simple factors over an algebraic closure of $\mathbb{F}_2$; this requires solving a polynomial equation in three roots of unity. △ Less

Submitted 14 August, 2022; v1 submitted 8 September, 2021; originally announced September 2021.

Comments: 15 pages; v2: refereed version

Abelian varieties over $\mathbb{F}_2$ of prescribed order

Authors: Kiran S. Kedlaya

Abstract: We prove that for every positive integer $m$, there exist infinitely many simple abelian varieties over $\mathbb{F}_2$ of order $m$. The method is constructive, building on the work of Madan--Pal in the case $m=1$ to produce an explicit sequence of Weil polynomials giving rise to abelian varieties over $\mathbb{F}_2$ of order $m$. This sequence itself depends on the choice of a suitable generalize… ▽ More We prove that for every positive integer $m$, there exist infinitely many simple abelian varieties over $\mathbb{F}_2$ of order $m$. The method is constructive, building on the work of Madan--Pal in the case $m=1$ to produce an explicit sequence of Weil polynomials giving rise to abelian varieties over $\mathbb{F}_2$ of order $m$. This sequence itself depends on the choice of a suitable generalized binary representation of $m$; by making careful choices of this representation, we can ensure that the the resulting sequence of polynomials have 2-adic Newton polygons which guarantee the existence of suitable irreducible factors. △ Less

Submitted 5 August, 2022; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: 13 pages; v3: refereed version

MSC Class: 11G10; 11G25

Sato-Tate groups of abelian threefolds

Authors: Francesc Fité, Kiran S. Kedlaya, Andrew V. Sutherland

Abstract: Given an abelian variety over a number field, its Sato-Tate group is a compact Lie group which conjecturally controls the distribution of Euler factors of the L-function of the abelian variety. It was previously shown by Fité, Kedlaya, Rotger, and Sutherland that there are 52 groups (up to conjugation) that occur as Sato-Tate groups of abelian surfaces over number fields; we show here that for abe… ▽ More Given an abelian variety over a number field, its Sato-Tate group is a compact Lie group which conjecturally controls the distribution of Euler factors of the L-function of the abelian variety. It was previously shown by Fité, Kedlaya, Rotger, and Sutherland that there are 52 groups (up to conjugation) that occur as Sato-Tate groups of abelian surfaces over number fields; we show here that for abelian threefolds, there are 410 possible Sato-Tate groups, of which 33 are maximal with respect to inclusions of finite index. We enumerate candidate groups using the Hodge-theoretic construction of Sato-Tate groups, the classification of degree-3 finite linear groups by Blichfeldt, Dickson, and Miller, and a careful analysis of Shimura's theory of CM types that rules out 23 candidate groups; we cross-check this using extensive computations in Gap, SageMath, and Magma. To show that these 410 groups all occur, we exhibit explicit examples of abelian threefolds realizing each of the 33 maximal groups; we also compute moments of the corresponding distributions and numerically confirm that they are consistent with the statistics of the associated L-functions. △ Less

Submitted 17 July, 2023; v1 submitted 25 June, 2021; originally announced June 2021.

Comments: Minor changes; 93 pages; 13 tables. To appear in Memoirs of the American Mathematical Society

MSC Class: 11M50 (Primary) 11G10; 11G40; 14H37; 14K22; 22E47 (Secondary)

Every positive integer is the order of an ordinary abelian variety over ${\mathbb F}_2$

Authors: Everett W. Howe, Kiran S. Kedlaya

Abstract: We show that for every integer $m > 0$, there is an ordinary abelian variety over ${\mathbb F}_2$ that has exactly $m$ rational points. We show that for every integer $m > 0$, there is an ordinary abelian variety over ${\mathbb F}_2$ that has exactly $m$ rational points. △ Less

Submitted 28 June, 2021; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: 6 pages. Edited introduction. Changed statement of main theorem to include the observation (due to Marseglia and Springer) that our construction produces squarefree varieties. Included discussion of followup work by other groups of authors

MSC Class: 11A67; 11G10 (Primary) 14G15; 14K15 (Secondary)

Space vectors forming rational angles

Authors: Kiran S. Kedlaya, Alexander Kolpakov, Bjorn Poonen, Michael Rubinstein

Abstract: We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $π$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples of $π$, solving a 1976 problem of Conway and Jones: there are $2$ one-parameter families and $59$ sporadic tetrahedra, all but three of which are related to eithe… ▽ More We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $π$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples of $π$, solving a 1976 problem of Conway and Jones: there are $2$ one-parameter families and $59$ sporadic tetrahedra, all but three of which are related to either the icosidodecahedron or the $B_3$ root lattice. The proof requires the solution in roots of unity of a $W(D_6)$-symmetric polynomial equation with $105$ monomials (the previous record was $12$ monomials). △ Less

Submitted 28 November, 2020; originally announced November 2020.

Comments: 30 pages. Associated code at https://github.com/kedlaya/tetrahedra

MSC Class: 52B10 (Primary) 11R18; 14Q25; 51M04 (Secondary)

Tamely ramified morphisms of curves and Belyi's theorem in positive characteristic

Authors: Kiran S. Kedlaya, Daniel Litt, Jakub Witaszek

Abstract: We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our work leads to a refinement of the tame Belyi theorem in positive characteristic, building on results of Saïdi, Sugiyama-Yasuda, and Anbar-Tutdere. We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our work leads to a refinement of the tame Belyi theorem in positive characteristic, building on results of Saïdi, Sugiyama-Yasuda, and Anbar-Tutdere. △ Less

Submitted 2 October, 2021; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: 23 pages, comments welcome; accepted to IMRN

MSC Class: 14G17

Etale and crystalline companions, II

Authors: Kiran S. Kedlaya

Abstract: Let $X$ be a smooth scheme over a finite field of characteristic $p$. In answer to a conjecture of Deligne, we establish that for any prime $\ell \neq p$, an $\ell$-adic Weil sheaf on $X$ which is algebraic (or irreducible with finite determinant) admits a crystalline companion in the category of overconvergent $F$-isocrystals, for which the Frobenius characteristic polynomials agree at all closed… ▽ More Let $X$ be a smooth scheme over a finite field of characteristic $p$. In answer to a conjecture of Deligne, we establish that for any prime $\ell \neq p$, an $\ell$-adic Weil sheaf on $X$ which is algebraic (or irreducible with finite determinant) admits a crystalline companion in the category of overconvergent $F$-isocrystals, for which the Frobenius characteristic polynomials agree at all closed points (with respect to some fixed identification of the algebraic closures of $\mathbb{Q}$ within fixed algebraic closures of $\mathbb{Q}_\ell$ and $\mathbb{Q}_p$). The argument depends heavily on the free passage between $\ell$-adic and $p$-adic coefficients for curves provided by the Langlands correspondence for $\mathrm{GL}_n$ over global function fields (work of L. Lafforgue and T. Abe), and on the construction of Drinfeld (plus adaptations by Abe-Esnault and Kedlaya) giving rise to étale companions of overconvergent $F$-isocrystals. As corollaries, we transfer a number of statements from crystalline to étale coefficient objects, including properties of the Newton polygon stratification (results of Grothendieck-Katz and de Jong-Oort-Yang) and Wan's theorem (previously Dwork's conjecture) on $p$-adic meromorphicity of unit-root $L$-functions. △ Less

Submitted 20 March, 2025; v1 submitted 29 August, 2020; originally announced August 2020.

Comments: 66 pages; v7: §6, §7 restructured to give a streamlined argument; minor edits elsewhere

Hypergeometric L-functions in average polynomial time

Authors: Edgar Costa, Kiran S. Kedlaya, David Roe

Abstract: We describe an algorithm for computing, for all primes $p \leq X$, the mod-$p$ reduction of the trace of Frobenius at $p$ of a fixed hypergeometric motive in time quasilinear in $X$. This combines the Beukers--Cohen--Mellit trace formula with average polynomial time techniques of Harvey et al. We describe an algorithm for computing, for all primes $p \leq X$, the mod-$p$ reduction of the trace of Frobenius at $p$ of a fixed hypergeometric motive in time quasilinear in $X$. This combines the Beukers--Cohen--Mellit trace formula with average polynomial time techniques of Harvey et al. △ Less

Submitted 18 September, 2020; v1 submitted 27 May, 2020; originally announced May 2020.

Comments: 15 pages, 1 figure; v4 several exposition improvements as suggested the referees

MSC Class: 11Y16; 33C20 (primary); and 11G09; 11M38; 11T24 (secondary)

Isogeny Classes of Abelian Varieties over Finite Fields in the LMFDB

Authors: Taylor Dupuy, Kiran Kedlaya, David Roe, Christelle Vincent

Abstract: This document is intended to summarize the theory and methods behind fq_isog collection inside the ab_var database in the LMFDB as well as some observations gleaned from these databases. This collection consists of tables of Weil q-polynomials, which by the Honda-Tate theorem are in bijection with isogeny classes of abelian varieties over finite fields. This document is intended to summarize the theory and methods behind fq_isog collection inside the ab_var database in the LMFDB as well as some observations gleaned from these databases. This collection consists of tables of Weil q-polynomials, which by the Honda-Tate theorem are in bijection with isogeny classes of abelian varieties over finite fields. △ Less

Submitted 23 September, 2020; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: 66 pages, 13 figures, 21 tables

MSC Class: 11G10 (Primary) 14K15 (Secondary)

Counterexamples to a Conjecture of Ahmadi and Shparlinski

Authors: Taylor Dupuy, Kiran Kedlaya, David Roe, Christelle Vincent

Abstract: Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4. Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4. △ Less

Submitted 11 March, 2020; originally announced March 2020.

Comments: 6 pages

MSC Class: 11G10 (Primary) 14K15 (Secondary)

Effective Sato-Tate conjecture for abelian varieties and applications

Authors: Alina Bucur, Francesc Fité, Kiran S. Kedlaya

Abstract: From the generalized Riemann hypothesis for motivic L-functions, we derive an effective version of the Sato-Tate conjecture for an abelian variety A defined over a number field k with connected Sato-Tate group. By effective we mean that we give an upper bound on the error term in the count predicted by the Sato-Tate measure that only depends on certain invariants of A. We discuss three application… ▽ More From the generalized Riemann hypothesis for motivic L-functions, we derive an effective version of the Sato-Tate conjecture for an abelian variety A defined over a number field k with connected Sato-Tate group. By effective we mean that we give an upper bound on the error term in the count predicted by the Sato-Tate measure that only depends on certain invariants of A. We discuss three applications of this conditional result. First, for an abelian variety defined over k, we consider a variant of Linnik's problem for abelian varieties that asks for an upper bound on the least norm of a prime whose normalized Frobenius trace lies in a given interval. Second, for an elliptic curve defined over k with complex multiplication, we determine (up to multiplication by a nonzero constant) the asymptotic number of primes whose Frobenius trace attain the integral part of the Hasse-Weil bound. Third, for a pair of abelian varieties defined over k with no common factors up to k-isogeny, we find an upper bound on the least norm of a prime at which the respective Frobenius traces have opposite sign. △ Less

Submitted 13 October, 2023; v1 submitted 20 February, 2020; originally announced February 2020.

Comments: 25 pages; refereed version. A table of notation has been added at the end. §5 has been removed; its content will be incorporated into a subsequent paper

MSC Class: 11G10; 11G05; 11R44

Frobenius structures on hypergeometric equations

Authors: Kiran S. Kedlaya

Abstract: We give an exposition of Dwork's construction of Frobenius structures associated to generalized hypergeometric equations via the interpretation of the latter due to Gelfand-Kapranov-Zelevinsky in the language of A-hypergeometric systems. As a consequence, we extract some explicit formulas for the degeneration at 0 in terms of the Morita p-adic gamma function. We give an exposition of Dwork's construction of Frobenius structures associated to generalized hypergeometric equations via the interpretation of the latter due to Gelfand-Kapranov-Zelevinsky in the language of A-hypergeometric systems. As a consequence, we extract some explicit formulas for the degeneration at 0 in terms of the Morita p-adic gamma function. △ Less

Submitted 10 December, 2021; v1 submitted 30 December, 2019; originally announced December 2019.

Comments: 25 pages; v3: refereed version

MSC Class: 33C20; 12H25

Sato-Tate groups of abelian threefolds: a preview of the classification

Authors: Francesc Fité, Kiran S. Kedlaya, Andrew V. Sutherland

Abstract: We announce the classification of Sato-Tate groups of abelian threefolds over number fields; there are 410 possible conjugacy classes of closed subgroups of USp(6) that occur. We summarize the key points of the "upper bound" aspect of the classification, and give a more rigorous treatment of the "lower bound" by realizing 33 groups that appear in the classification as maximal cases with respect to… ▽ More We announce the classification of Sato-Tate groups of abelian threefolds over number fields; there are 410 possible conjugacy classes of closed subgroups of USp(6) that occur. We summarize the key points of the "upper bound" aspect of the classification, and give a more rigorous treatment of the "lower bound" by realizing 33 groups that appear in the classification as maximal cases with respect to inclusions of finite index. Further details will be provided in a subsequent paper. △ Less

Submitted 28 May, 2021; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: We withdrew the statement that all 33 maximal groups are realizable over Q. To appear in Contemp. Math

MSC Class: Primary 11M50; Secondary 11G10; 11G20; 14G10; 14K15

Journal ref: Contemp. Math. 770 (2021), 103-129

Etale and crystalline companions, I

Authors: Kiran S. Kedlaya

Abstract: Let $X$ be a smooth scheme over a finite field of characteristic $p$. Consider the coefficient objects of locally constant rank on $X$ in $\ell$-adic Weil cohomology: these are lisse Weil sheaves in étale cohomology when $\ell \neq p$, and overconvergent $F$-isocrystals in rigid cohomology when $\ell=p$. Using the Langlands correspondence for global function fields in both the étale and crystallin… ▽ More Let $X$ be a smooth scheme over a finite field of characteristic $p$. Consider the coefficient objects of locally constant rank on $X$ in $\ell$-adic Weil cohomology: these are lisse Weil sheaves in étale cohomology when $\ell \neq p$, and overconvergent $F$-isocrystals in rigid cohomology when $\ell=p$. Using the Langlands correspondence for global function fields in both the étale and crystalline settings (work of Lafforgue and Abe, respectively), one sees that on a curve, any coefficient object in one category has "companions" in the other categories with matching characteristic polynomials of Frobenius at closed points. A similar statement is expected for general $X$; building on work of Deligne, Drinfeld showed that any étale coefficient object has étale companions. We adapt Drinfeld's method to show that any crystalline coefficient object has étale companions; this has been shown independently by Abe--Esnault. We also prove some auxiliary results relevant for the construction of crystalline companions of étale coefficient objects; this subject will be pursued in a subsequent paper. △ Less

Submitted 1 December, 2022; v1 submitted 31 October, 2018; originally announced November 2018.

Comments: 30 pages; v6: published version

MSC Class: 14F30; 14F20

Journal ref: Épijournal de Géométrie Algébrique, Volume 6 (December 2, 2022) epiga:6820

Drinfeld's lemma for perfectoid spaces and overconvergence of multivariate $(\varphi, Γ)$-modules

Authors: Annie Carter, Kiran S. Kedlaya, Gergely Zábrádi

Abstract: Let $p$ be a prime, let $K$ be a finite extension of $\mathbb{Q}_p$, and let $n$ be a positive integer. We construct equivalences of categories between continuous $p$-adic representations of the $n$-fold product of the absolute Galois group $G_K$ and $(\varphi, Γ)$-modules over one of several rings of $n$-variable power series. The case $n=1$ recovers the original construction of Fontaine and the… ▽ More Let $p$ be a prime, let $K$ be a finite extension of $\mathbb{Q}_p$, and let $n$ be a positive integer. We construct equivalences of categories between continuous $p$-adic representations of the $n$-fold product of the absolute Galois group $G_K$ and $(\varphi, Γ)$-modules over one of several rings of $n$-variable power series. The case $n=1$ recovers the original construction of Fontaine and the subsequent refinement by Cherbonnier--Colmez; for general $n$, the case $K = \mathbb{Q}_p$ had been previously treated by the third author. To handle general $K$ uniformly, we use a form of Drinfeld's lemma on profinite fundamental groups of products of spaces in characteristic $p$, but for perfectoid spaces instead of schemes. We also construct the multivariate analogue of the Herr complex to compute Galois cohomology; the case $K = \mathbb{Q}_p$ had been previously treated by Pal and the third author, and we reduce to this case using a form of Shapiro's lemma. △ Less

Submitted 16 August, 2021; v1 submitted 12 August, 2018; originally announced August 2018.

Comments: final version, to appear in Documenta Mathematica

Journal ref: Doc. Math. 26, 1329-1393 (2021)

Simple connectivity of Fargues--Fontaine curves

Authors: Kiran S. Kedlaya

Abstract: We show that the Fargues--Fontaine curve associated to an algebraically closed field of characteristic p is geometrically simply connected; that is, its base extension from Q_p to any complete algebraically closed overfield admits no nontrivial connected finite etale covering. We then deduce from this an analogue for perfectoid spaces (and some related objects) of Drinfeld's lemma on the fundament… ▽ More We show that the Fargues--Fontaine curve associated to an algebraically closed field of characteristic p is geometrically simply connected; that is, its base extension from Q_p to any complete algebraically closed overfield admits no nontrivial connected finite etale covering. We then deduce from this an analogue for perfectoid spaces (and some related objects) of Drinfeld's lemma on the fundamental group of a product of schemes in characteristic p. △ Less

Submitted 18 January, 2021; v1 submitted 29 June, 2018; originally announced June 2018.

Comments: 27 pages; v4: refereed version; some details added to various proofs

Mod-2 dihedral Galois representations of prime conductor

Authors: Kiran S. Kedlaya, Anna Medvedovsky

Abstract: For all odd primes N up to 500000, we compute the action of the Hecke operator T_2 on the space S_2(Gamma_0(N), Q) and determine whether or not the reduction mod 2 (with respect to a suitable basis) has 0 and/or 1 as eigenvalues. We then partially explain the results in terms of class field theory and modular mod-2 Galois representations. As a byproduct, we obtain some nonexistence results on elli… ▽ More For all odd primes N up to 500000, we compute the action of the Hecke operator T_2 on the space S_2(Gamma_0(N), Q) and determine whether or not the reduction mod 2 (with respect to a suitable basis) has 0 and/or 1 as eigenvalues. We then partially explain the results in terms of class field theory and modular mod-2 Galois representations. As a byproduct, we obtain some nonexistence results on elliptic curves and modular forms with certain mod-2 reductions, extending prior results of Setzer, Hadano, and Kida. △ Less

Submitted 24 September, 2018; v1 submitted 12 June, 2018; originally announced June 2018.

Comments: 16 pages; v2: final submitted version

Report number: MPIM-Bonn-2017

Journal ref: Open Book Series 2 (2019) 325-342

Zeta functions of nondegenerate hypersurfaces in toric varieties via controlled reduction in $p$-adic cohomology

Authors: Edgar Costa, David Harvey, Kiran S. Kedlaya

Abstract: We give an interim report on some improvements and generalizations of the Abbott-Kedlaya-Roe method to compute the zeta function of a nondegenerate ample hypersurface in a projectively normal toric variety over $\mathbb{F}_p$ in linear time in $p$. These are illustrated with a number of examples including K3 surfaces, Calabi-Yau threefolds, and a cubic fourfold. The latter example is a non-special… ▽ More We give an interim report on some improvements and generalizations of the Abbott-Kedlaya-Roe method to compute the zeta function of a nondegenerate ample hypersurface in a projectively normal toric variety over $\mathbb{F}_p$ in linear time in $p$. These are illustrated with a number of examples including K3 surfaces, Calabi-Yau threefolds, and a cubic fourfold. The latter example is a non-special cubic fourfold appearing in the Ranestad-Voisin coplanar divisor on moduli space; this verifies that the coplanar divisor is not a Noether-Lefschetz divisor in the sense of Hassett. △ Less

Submitted 12 November, 2018; v1 submitted 1 June, 2018; originally announced June 2018.

Comments: 17 pages, 3 figures; v3 updated discussion regarding cubic fourfolds

MSC Class: 11G25; 14G10; 11M38; 11Y16; 14C25

Journal ref: Open Book Series 2 (2019) 221-238

Finiteness of cohomology of local systems on rigid analytic spaces

Authors: Kiran S. Kedlaya, Ruochuan Liu

Abstract: We prove that the cohomology groups of an etale Q_p-local system on a smooth proper rigid analytic space are finite-dimensional Q_p-vector spaces, provided that the base field is either a finite extension of Q_p or an algebraically closed nonarchimedean field containing Q_p. This result manifests as a special case of a more general finiteness result for the higher direct images of a relative (phi,… ▽ More We prove that the cohomology groups of an etale Q_p-local system on a smooth proper rigid analytic space are finite-dimensional Q_p-vector spaces, provided that the base field is either a finite extension of Q_p or an algebraically closed nonarchimedean field containing Q_p. This result manifests as a special case of a more general finiteness result for the higher direct images of a relative (phi, Gamma)-module along a smooth proper morphism of rigid analytic spaces over a mixed-characterstic nonarchimedean field. △ Less

Submitted 21 November, 2016; originally announced November 2016.

Comments: 40 pages

On categories of (phi, Gamma)-modules

Authors: Kiran S. Kedlaya, Jonathan Pottharst

Abstract: Let K be a complete discretely valued field of mixed characteristics (0, p) with perfect residue field. One of the central objects of study in p-adic Hodge theory is the category of continuous representations of the absolute Galois group of K on finite-dimensional Qp-vector spaces. In recent years, it has become clear that this category can be studied more effectively by embedding it into the larg… ▽ More Let K be a complete discretely valued field of mixed characteristics (0, p) with perfect residue field. One of the central objects of study in p-adic Hodge theory is the category of continuous representations of the absolute Galois group of K on finite-dimensional Qp-vector spaces. In recent years, it has become clear that this category can be studied more effectively by embedding it into the larger category of (phi, Gamma)-modules; this larger category plays a role analogous to that played by the category of vector bundles on a compact Riemann surface in the Narasimhan-Seshadri theorem on unitary representations of the fundamental group of said surface. This category turns out to have a number of distinct natural descriptions, which on one hand suggests the naturality of the construction, but on the other hand forces one to use different descriptions for different applications. We provide several of these descriptions and indicate how to translate certain key constructions, which were originally given in the context of modules over power series rings, to the more modern context of perfectoid algebras and spaces. △ Less

Submitted 26 February, 2018; v1 submitted 12 August, 2016; originally announced August 2016.

Comments: 23 pages; v3: final submitted version; 2.21 edited

Journal ref: Proceedings of Symposia in Pure Mathematics, Volume 97.2, 2018

Endomorphism fields of abelian varieties

Authors: Robert Guralnick, Kiran S. Kedlaya

Abstract: We give a sharp divisibility bound, in terms of g, for the degree of the field extension required to realize the endomorphisms of an abelian variety of dimension g over an arbitrary number field; this refines a result of Silverberg. This follows from a stronger result giving the same bound for the order of the component group of the Sato-Tate group of the abelian variety, which had been proved for… ▽ More We give a sharp divisibility bound, in terms of g, for the degree of the field extension required to realize the endomorphisms of an abelian variety of dimension g over an arbitrary number field; this refines a result of Silverberg. This follows from a stronger result giving the same bound for the order of the component group of the Sato-Tate group of the abelian variety, which had been proved for abelian surfaces by Fite-Kedlaya-Rotger-Sutherland. The proof uses Minkowski's reduction method, but with some care required in the extremal cases when p equals 2 or a Fermat prime. △ Less

Submitted 4 June, 2017; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: 10 pages; v2: refereed version

Notes on isocrystals

Authors: Kiran S. Kedlaya

Abstract: For varieties over a perfect field of characteristic p, etale cohomology with Q_l-coefficients is a Weil cohomology theory only when l is not equal to p; the corresponding role for l = p is played by Berthelot's rigid cohomology. In that theory, the coefficient objects analogous to lisse l-adic sheaves are the overconvergent F-isocrystals. This expository article is a brief user's guide for these… ▽ More For varieties over a perfect field of characteristic p, etale cohomology with Q_l-coefficients is a Weil cohomology theory only when l is not equal to p; the corresponding role for l = p is played by Berthelot's rigid cohomology. In that theory, the coefficient objects analogous to lisse l-adic sheaves are the overconvergent F-isocrystals. This expository article is a brief user's guide for these objects, including some features shared with l-adic cohomology (purity, weights) and some features exclusive to the p-adic case (Newton polygons, convergence and overconvergence). The relationship between the two cases, via the theory of companions, will be treated in a sequel paper. △ Less

Submitted 11 January, 2022; v1 submitted 3 June, 2016; originally announced June 2016.

Comments: 35 pages; v6: final refereed version; Remark 5.14 updated with results of D'Addezio, Tsuzuki; otherwise minor changes

Slopes of indecomposable F-isocrystals

Authors: Vladimir Drinfeld, Kiran Kedlaya

Abstract: We prove that for an indecomposable convergent or overconvergent F-isocrystal on a smooth irreducible variety over a perfect field of characteristic p, the gap between consecutive slopes at the generic point cannot exceed 1. (This may be thought of as a crystalline analogue of the following consequence of Griffiths transversality: for an indecomposable variation of complex Hodge structures, there… ▽ More We prove that for an indecomposable convergent or overconvergent F-isocrystal on a smooth irreducible variety over a perfect field of characteristic p, the gap between consecutive slopes at the generic point cannot exceed 1. (This may be thought of as a crystalline analogue of the following consequence of Griffiths transversality: for an indecomposable variation of complex Hodge structures, there cannot be a gap between nonzero Hodge numbers.) As an application, we deduce a refinement of a result of V.Lafforgue on the slopes of Frobenius of an l-adic local system. We also prove similar statements for G-local systems (crystalline and l-adic ones), where G is a reductive group. We translate our results on local systems into properties of the p-adic absolute values of the Hecke eigenvalues of a cuspidal automorphic representation of a reductive group over the adeles of a global field of characteristic p>0. △ Less

Submitted 29 September, 2018; v1 submitted 3 April, 2016; originally announced April 2016.

Comments: The proof of Lemma 5.3.1 has been corrected

MSC Class: 14F30; 11F80 (Primary); 11F70; 14G15 (Secondary)

Automorphisms of perfect power series rings

Authors: Kiran S. Kedlaya

Abstract: Let R be a perfect ring of characteristic p. We show that the group of continuous R-linear automorphisms of the perfect power series ring over R is generated by the automorphisms of the ordinary power series ring together with Frobenius; this answers a question of Jared Weinstein. Let R be a perfect ring of characteristic p. We show that the group of continuous R-linear automorphisms of the perfect power series ring over R is generated by the automorphisms of the ordinary power series ring together with Frobenius; this answers a question of Jared Weinstein. △ Less

Submitted 29 June, 2018; v1 submitted 29 February, 2016; originally announced February 2016.

Comments: 4 pages; v3: final submitted version

Some ring-theoretic properties of A_inf

Authors: Kiran S. Kedlaya

Abstract: The ring of Witt vectors over a perfect valuation ring of characteristic p, often denoted A_inf, plays a pivotal role in p-adic Hodge theory; for instance, Bhatt, Morrow, and Scholze have recently reinterpreted and refined the crystalline comparison isomorphism by relating it to a certain A_inf-valued cohomology theory. We address some basic ring-theoretic questions about A_inf motivated by analog… ▽ More The ring of Witt vectors over a perfect valuation ring of characteristic p, often denoted A_inf, plays a pivotal role in p-adic Hodge theory; for instance, Bhatt, Morrow, and Scholze have recently reinterpreted and refined the crystalline comparison isomorphism by relating it to a certain A_inf-valued cohomology theory. We address some basic ring-theoretic questions about A_inf motivated by analogies with two-dimensional regular local rings. For example, we show that in most cases A_inf, which is manifestly not noetherian, is also not coherent. On the other hand, it does have the property that vector bundles over the complement of the closed point in Spec A_inf do extend uniquely over the puncture; moreover, a similar statement holds in Huber's category of adic spaces. △ Less

Submitted 11 June, 2019; v1 submitted 29 February, 2016; originally announced February 2016.

Comments: 11 pages; v5: refereed version; updated reference to Lang-Ludwig

On commutative nonarchimedean Banach fields

Authors: Kiran S. Kedlaya

Abstract: We study the problem of whether a commutative nonarchimedean Banach ring which is algebraically a field can be topologized by a multiplicative norm. This can fail in general, but it holds for uniform Banach rings under some mild extra conditions. Notably, any perfectoid ring whose underlying ring is a field is a perfectoid field. We study the problem of whether a commutative nonarchimedean Banach ring which is algebraically a field can be topologized by a multiplicative norm. This can fail in general, but it holds for uniform Banach rings under some mild extra conditions. Notably, any perfectoid ring whose underlying ring is a field is a perfectoid field. △ Less

Submitted 28 August, 2019; v1 submitted 29 February, 2016; originally announced February 2016.

Comments: 14 pages; v7: includes corrections to published version

Journal ref: Documenta Mathematica, 2018

Relative p-adic Hodge theory, II: Imperfect period rings

Authors: Kiran S. Kedlaya, Ruochuan Liu

Abstract: In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholze's pro-etale topology. In this paper, we first extend Kiehl's theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheav… ▽ More In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholze's pro-etale topology. In this paper, we first extend Kiehl's theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheaves on adic spaces, then construct a corresponding theory of pseudocoherent (phi, Gamma)-modules. We then relate these objects to a more explicit construction in case the space comes equipped with a suitable infinite etale cover; in this case, one can decomplete the period sheaves and establish an analogue of the theorem of Cherbonnier-Colmez on the overconvergence of p-adic Galois representations. As an application, we show that relative (phi, Gamma)-modules in our sense coincide with the relative (phi, Gamma)-modules constructed by Andreatta and Brinon in the geometric setting where the latter can be constructed. As another application, we establish that the category of pseudocoherent (phi, Gamma)-modules on an arbitrary rigid analytic space over a p-adic field is abelian, satisfies the ascending chain condition, and is stable under various natural derived functors (including Hom, tensor product, and pullback). Applications to the etale cohomology of pro-etale local systems will be given in a subsequent paper. △ Less

Submitted 21 October, 2019; v1 submitted 22 February, 2016; originally announced February 2016.

Comments: 199 pages; v3: major changes to the treatment of pseudocoherent modules

A census of zeta functions of quartic K3 surfaces over F_2

Authors: Kiran S. Kedlaya, Andrew V. Sutherland

Abstract: We compute the complete set of candidates for the zeta function of a K3 surface over F_2 consistent with the Weil conjectures, as well as the complete set of zeta functions of smooth quartic surfaces over F_2. These sets differ substantially, but we do identify natural subsets which coincide. This gives some numerical evidence towards a Honda-Tate theorem for transcendental zeta functions of K3 su… ▽ More We compute the complete set of candidates for the zeta function of a K3 surface over F_2 consistent with the Weil conjectures, as well as the complete set of zeta functions of smooth quartic surfaces over F_2. These sets differ substantially, but we do identify natural subsets which coincide. This gives some numerical evidence towards a Honda-Tate theorem for transcendental zeta functions of K3 surfaces; such a result would refine a recent theorem of Taelman, in which one must allow an uncontrolled base field extension. △ Less

Submitted 15 May, 2016; v1 submitted 21 November, 2015; originally announced November 2015.

Comments: 11 pages; final version, minor changes; to appear in ANTS XII

MSC Class: 11M38; 14J28

Journal ref: LMS J. Comput. Math. 19 (2016) 1-11

On the algebraicity of generalized power series

Authors: Kiran S. Kedlaya

Abstract: Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of Hahn-Mal'cev-Neumann generalized power series. We then give a corrected characterization, generalizing our earlier description in terms of finite automata in the case where K… ▽ More Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of Hahn-Mal'cev-Neumann generalized power series. We then give a corrected characterization, generalizing our earlier description in terms of finite automata in the case where K is the algebraic closure of a finite field. We also characterize the integral closure of K(t), thus generalizing a well-known theorem of Christol and suggesting a possible framework for computing in this integral closure. We recover various corollaries on the structure of algebraic generalized power series; one of these is an extension of Derksen's theorem on the zero sets of linear recurrent sequences in characteristic $p$. △ Less

Submitted 24 November, 2016; v1 submitted 7 August, 2015; originally announced August 2015.

Comments: 25 pages; v3: refereed version; more typos fixed

MSC Class: 12J25; 12F05

Motivic Serre group, algebraic Sato-Tate group and Sato-Tate conjecture

Authors: Grzegorz Banaszak, Kiran S. Kedlaya

Abstract: We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to cla… ▽ More We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to classify Sato-Tate groups of abelian surfaces; the present description is used by Fite--Kedlaya--Sutherland to make a similar classification for certain motives of weight 3. We also give conditions under which verification of the Sato-Tate conjecture reduces to the identity connected component of the corresponding Sato-Tate group. △ Less

Submitted 24 February, 2016; v1 submitted 6 June, 2015; originally announced June 2015.

Comments: 34 pages; restriction to odd weight added

MSC Class: 14C30; 11G35

The Hochschild-Serre property for some p-adic analytic group actions

Authors: Kiran S. Kedlaya

Abstract: Let $H \subseteq G$ be an inclusion of $p$-adic Lie groups. When $H$ is normal or even subnormal in $G$, the Hochschild-Serre spectral sequence implies that any continuous $G$-module whose $H$-cohomology vanishes in all degrees also has vanishing $G$-cohomology. With an eye towards applications in $p$-adic Hodge theory, we extend this to some cases where $H$ is not subnormal, assuming that the… ▽ More Let $H \subseteq G$ be an inclusion of $p$-adic Lie groups. When $H$ is normal or even subnormal in $G$, the Hochschild-Serre spectral sequence implies that any continuous $G$-module whose $H$-cohomology vanishes in all degrees also has vanishing $G$-cohomology. With an eye towards applications in $p$-adic Hodge theory, we extend this to some cases where $H$ is not subnormal, assuming that the $G$-action is analytic in the sense of Lazard. △ Less

Submitted 11 June, 2015; v1 submitted 6 June, 2015; originally announced June 2015.

Comments: 9 pages; v2: simpler counterexample added, other minor corrections