BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Kiran S. Kedlaya

Kiran S. Kedlaya appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.AGmath.ACFormal Languages and Automata Theorymath.CVmath.GR

Catalog footprint

What is connected

41works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

41 published item(s)

preprint2023arXiv

The relative class number one problem for function fields, III

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Geometric decomposition of abelian varieties of order 1

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Notes on isocrystals

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Simple connectivity of Fargues--Fontaine curves

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A census of zeta functions of quartic K3 surfaces over F_2

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Finiteness of cohomology of local systems on rigid analytic spaces

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the algebraicity of generalized power series

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Relative p-adic Hodge theory, II: (phi, Gamma)-modules

Building on foundations introduced in a previous paper, we give several p-adic analytic descriptions of the categories of etale Zp-local systems and etale Qp-local systems on an affinoid algebra over a finite extension of Qp (or more generally, over the fraction field of the Witt vectors of a perfect field of characteristic p). These include generalizations of Fontaine's theory of (phi, Gamma)-modules, the refinement of Fontaine's construction introduced by Cherbonnier and Colmez, and a recent description by Fargues and Fontaine in terms of semistable vector bundles on a certain scheme. Our descriptions depend on the embedding of the associated affinoid space into an affine toric variety, but there are natural functoriality maps relating the constructions for different choices of the embedding; these may be used to give analogous descriptions over more general rigid or Berkovich analytic spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Sato-Tate groups of some weight 3 motives

We establish the group-theoretic classification of Sato-Tate groups of self-dual motives of weight 3 with rational coefficients and Hodge numbers h^{3,0} = h^{2,1} = h^{1,2} = h^{0,3} = 1. We then describe families of motives that realize some of these Sato-Tate groups, and provide numerical evidence supporting equidistribution. One of these families arises in the middle cohomology of certain Calabi-Yau threefolds appearing in the Dwork quintic pencil; for motives in this family, our evidence suggests that the Sato-Tate group is always equal to the full unitary symplectic group USp(4).

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

An application of the effective Sato-Tate conjecture

Based on the Lagarias-Odlyzko effectivization of the Chebotarev density theorem, Kumar Murty gave an effective version of the Sato-Tate conjecture for an elliptic curve conditional on analytic continuation and Riemann hypothesis for the symmetric power $L$-functions. We use Murty's analysis to give a similar conditional effectivization of the generalized Sato-Tate conjecture for an arbitrary motive. As an application, we give a conditional upper bound of the form $O((\log N)^2 (\log \log 2N)^2)$ for the smallest prime at which two given rational elliptic curves with conductor at most $N$ have Frobenius traces of opposite sign.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Convergence polygons for connections on nonarchimedean curves

This is a survey article on ordinary differential equations over nonarchimedean fields based on the author's lecture at the 2015 Simons Symposium on nonarchimedean and tropical geometry. Topics include: the convergence polygon associated to a differential equation (or a connection on a curve); links to the formal classification of differential equations (Turrittin-Levelt); index formulas for de Rham cohomology of connections; ramification of finite morphisms; relations with the Oort lifting problem on automorphisms of curves. The appendices include some new technical results and an extensive thematic bibliography.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

New methods for (phi, Gamma)-modules

We provide new proofs of two key results of p-adic Hodge theory: the Fontaine-Wintenberger isomorphism between Galois groups in characteristic 0 and characteristic p, and the Cherbonnier-Colmez theorem on decompletion of (phi, Gamma)-modules. These proofs are derived from joint work with Liu on relative p-adic Hodge theory, and are closely related to Scholze's study of perfectoid algebras and spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Noetherian properties of Fargues-Fontaine curves

We establish that the extended Robba rings associated to a perfect nonarchimedean field of characteristic p, which arise in p-adic Hodge theory as certain completed localizations of the ring of Witt vectors, are strongly noetherian Banach rings; that is, the completed polynomial ring in any number of variables over such a Banach ring is noetherian. This enables Huber's theory of adic spaces to be applied to such rings. We also establish that rational localizations of these rings are principal ideal domains and that etale covers of these rings (in the sense of Huber) are Dedekind domains.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Reified valuations and adic spectra

We revisit Huber's theory of continuous valuations, which give rise to the adic spectra used in his theory of adic spaces. We instead consider valuations which have been reified, i.e., whose value groups have been forced to contain the real numbers. This yields reified adic spectra which provide a framework for an analogue of Huber's theory compatible with Berkovich's construction of nonarchimedean analytic spaces. As an example, we extend the theory of perfectoid spaces to this setting.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Relative p-adic Hodge theory: Foundations

We describe a new approach to relative p-adic Hodge theory based on systematic use of Witt vector constructions and nonarchimedean analytic geometry in the style of both Berkovich and Huber. We give a thorough development of phi-modules over a relative Robba ring associated to a perfect Banach ring of characteristic p, including the relationship between these objects and etale Z_p-local systems and Q_p-local systems on the algebraic and analytic spaces associated to the base ring, and the relationship between etale cohomology and phi-cohomology. We also make a critical link to mixed characteristic by exhibiting an equivalence of tensor categories between the finite etale algebras over an arbitrary perfect Banach algebra over a nontrivially normed complete field of characteristic p and the finite etale algebras over a corresponding Banach Q_p-algebra. This recovers the homeomorphism between the absolute Galois groups of F_p((pi)) and Q_p(mu_{p^infty}) given by the field of norms construction of Fontaine and Wintenberger, as well as generalizations considered by Andreatta, Brinon, Faltings, Gabber, Ramero, Scholl, and most recently Scholze. Using Huber's formalism of adic spaces and Scholze's formalism of perfectoid spaces, we globalize the constructions to give several descriptions of the etale local systems on analytic spaces over p-adic fields. One of these descriptions uses a relative version of the Fargues-Fontaine curve.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A heuristic for the distribution of point counts for random curves over a finite field

How many rational points are there on a random algebraic curve of large genus $g$ over a given finite field $\mathbb{F}_q$? We propose a heuristic for this question motivated by a (now proven) conjecture of Mumford on the cohomology of moduli spaces of curves; this heuristic suggests a Poisson distribution with mean $q+1+1/(q-1)$. We prove a weaker version of this statement in which $g$ and $q$ tend to infinity, with $q$ much larger than $g$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Almost purity and overconvergent Witt vectors

In a previous paper, we stated a general almost purity theorem in the style of Faltings: if R is a ring for which the Frobenius maps on finite p-typical Witt vectors over R are surjective, then the integral closure of R in a finite étale extension of R[p^{-1}] is "almost" finite étale over R. Here, we use almost purity to lift the finite étale extension of R[p^{-1}] to a finite étale extension of rings of overconvergent Witt vectors. The point is that no hypothesis of p-adic completeness is needed; this result thus points towards potential global analogues of p-adic Hodge theory. As an illustration, we construct (phi, Gamma)-modules associated to Artin Motives over Q. The (phi, Gamma)-modules we construct are defined over a base ring which seems well-suited to generalization to a more global setting; we plan to pursue such generalizations in later work.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the Witt vector Frobenius

We study the kernel and cokernel of the Frobenius map on the $p$-typical Witt vectors of a commutative ring, not necessarily of characteristic $p$. We give some equivalent conditions to surjectivity of the Frobenus map on both finite and infinite length Witt vectors; the former condition turns out to be stable under certain integral extensions, a fact which relates closely to a generalization of Faltings's almost purity theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Sato-Tate groups of genus 2 curves

We describe the analogue of the Sato-Tate conjecture for an abelian variety over a number field; this predicts that the zeta functions of the reductions over various finite fields, when properly normalized, have a limiting distribution predicted by a certain group-theoretic construction related to Hodge theory, Galois images, and endomorphisms. After making precise the definition of the "Sato-Tate group" appearing in this conjecture, we describe the classification of Sato-Tate groups of abelian surfaces due to Fite-Kedlaya-Rotger-Sutherland. (These are notes from a three-lecture series presented at the NATO Advanced Study Institute "Arithmetic of Hyperelliptic Curves" held in Ohrid (Macedonia) August 25-September 5, 2014, and are expected to appear in a proceedings volume.)

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Cohomology of arithmetic families of (phi,Gamma)-modules

We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois representations that is densely pointwise refined in the sense of Mazur is actually trianguline as a family over a large subspace. In the case of the Coleman-Mazur eigencurve, we determine the behavior at all points.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

An algebraic Sato-Tate group and Sato-Tate conjecture

We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual Sato-Tate conjecture for elliptic curves. The connected part of the algebraic Sato-Tate group is closely related to the Mumford-Tate group, but the group of components carries additional arithmetic information. We then check that in many cases where the Mumford-Tate group is completely determined by the endomorphisms of the abelian variety, the algebraic Sato-Tate group can also be described explicitly in terms of endomorphisms. In particular, we cover all abelian varieties (not necessarily absolutely simple) of dimension at most 3; this result figures prominently in the analysis of Sato-Tate groups for abelian surfaces given recently by Fite, Kedlaya, Rotger, and Sutherland.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Effective convergence bounds for Frobenius structures on connections

Consider a meromorphic connection on P^1 over a p-adic field. In many cases, such as those arising from Picard-Fuchs equations or Gauss-Manin connections, this connection admits a Frobenius structure defined over a suitable rigid analytic subspace. We give an effective convergence bound for this Frobenius structure by studying the effect of changing the Frobenius lift. We also give some examples indicating that our bound is essentially optimal.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Nonarchimedean geometry of Witt vectors

Let R be a perfect F_p-algebra, equipped with the trivial norm. Let W(R) be the ring of p-typical Witt vectors over R, equipped with the p-adic norm. At the level of nonarchimedean analytic spaces (in the sense of Berkovich), we demonstrate a close analogy between W(R) and the polynomial ring R[T] equipped with the Gauss norm, in which the role of the structure morphism from R to R[T] is played by the Teichmuller map. For instance, we show that the analytic space associated to R is a strong deformation retract of the space associated to W(R). We also show that each fibre forms a tree under the relation of pointwise comparison, and classify the points of fibres in the manner of Berkovich's classification of points of a nonarchimedean disc. Some results pertain to the study of p-adic representations of etale fundamental groups of nonarchimedean analytic spaces (i.e., relative p-adic Hodge theory).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The probability that a complete intersection is smooth

Given a smooth subscheme of a projective space over a finite field, we compute the probability that its intersection with a fixed number of hypersurface sections of large degree is smooth of the expected dimension. This generalizes the case of a single hypersurface, due to Poonen. We use this result to give a probabilistic model for the number of rational points of such a complete intersection. A somewhat surprising corollary is that the number of rational points on a random smooth intersection of two surfaces in projective 3-space is strictly less than the number of points on the projective line.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A construction of polynomials with squarefree discriminants

For any integer n >= 2 and any nonnegative integers r,s with r+2s = n, we give an unconditional construction of infinitely many monic irreducible polynomials of degree n with integer coefficients having squarefree discriminant and exactly r real roots. These give rise to number fields of degree n, signature (r,s), Galois group S_n, and squarefree discriminant; we may also force the discriminant to be coprime to any given integer. The number of fields produced with discriminant in the range [-N, N] is at least c N^(1/(n-1)). A corollary is that for each n \geq 3, infinitely many quadratic number fields admit everywhere unramified degree n extensions whose normal closures have Galois group A_n. This generalizes results of Yamamura, who treats the case n = 5, and Uchida and Yamamoto, who allow general n but do not control the real place.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Good formal structures for flat meromorphic connections, II: Excellent schemes

Given a flat meromorphic connection on an excellent scheme over a field of characteristic zero, we prove existence of good formal structures after blowing up; this extends a theorem of Mochizuki for algebraic varieties. The argument combines a numerical criterion for good formal structures from a previous paper, with an analysis based on the geometry of an associated valuation space (Riemann-Zariski space). We obtain a similar result over the formal completion of an excellent scheme along a closed subscheme. If we replace the excellent scheme by a complex analytic variety, we obtain a similar but weaker result in which the blowup can only be constructed in a small neighborhood of a prescribed point.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Hyperelliptic curves, L-polynomials, and random matrices

We analyze the distribution of unitarized L-polynomials Lp(T) (as p varies) obtained from a hyperelliptic curve of genus g <= 3 defined over Q. In the generic case, we find experimental agreement with a predicted correspondence (based on the Katz-Sarnak random matrix model) between the distributions of Lp(T) and of characteristic polynomials of random matrices in the compact Lie group USp(2g). We then formulate an analogue of the Sato-Tate conjecture for curves of genus 2, in which the generic distribution is augmented by 22 exceptional distributions, each corresponding to a compact subgroup of USp(4). In every case, we exhibit a curve closely matching the proposed distribution, and can find no curves unaccounted for by our classification.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Semistable reduction for overconvergent F-isocrystals, IV: Local semistable reduction at nonmonomial valuations

We complete our proof that given an overconvergent F-isocrystal on a variety over a field of positive characteristic, one can pull back along a suitable generically finite cover to obtain an isocrystal which extends, with logarithmic singularities and nilpotent residues, to some complete variety. We also establish an analogue for F-isocrystals overconvergent inside a partial compactification. By previous results, this reduces to solving a local problem in a neighborhood of a valuation of height 1 and residual transcendence degree 0. We do this by studying the variation of some numerical invariants attached to p-adic differential modules, analogous to the irregularity of a complex meromorphic connection. This allows for an induction on the transcendence defect of the valuation, i.e., the discrepancy between the dimension of the variety and the rational rank of the valuation.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Semistable reduction for overconvergent F-isocrystals, III: Local semistable reduction at monomial valuations

We resolve the local semistable reduction problem for overconvergent F-isocrystals at monomial valuations (Abhyankar valuations of height 1 and residue transcendence degree 0). We first introduce a higher-dimensional analogue of the generic radius of convergence for a p-adic differential module, which obeys a convexity property. We then combine this convexity property with a form of the p-adic local monodromy theorem for so-called fake annuli.

0 citations0 reviewsNo code linkedOpen access