BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Kiran S. Kedlaya

Kiran S. Kedlaya contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.AGmath.CV

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
18works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

18 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
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
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