-
Higher a-numbers in $\mathbf{Z}_p$-towers via Counting Lattice Points
Authors:
Jeremy Booher,
Jack Hsieh,
Rakesh Rivera,
Vincent Tran,
James Upton,
Carol Wu
Abstract:
Booher, Cais, Kramer-Miller and Upton study a class of $\mathbf{Z}_p$-tower of curves in characteristic $p$ with ramification controlled by an integer $d$. In the special case that $d$ divides $p-1$, they prove a formula for the higher $a$-numbers of these curves involving the number of lattice points in a complicated region of the plane. Booher and Cais had previously conjectured that for $n$ suf…
▽ More
Booher, Cais, Kramer-Miller and Upton study a class of $\mathbf{Z}_p$-tower of curves in characteristic $p$ with ramification controlled by an integer $d$. In the special case that $d$ divides $p-1$, they prove a formula for the higher $a$-numbers of these curves involving the number of lattice points in a complicated region of the plane. Booher and Cais had previously conjectured that for $n$ sufficiently large the higher $a$-numbers of the $n$th curve are given by formulae of the form $α(n) p^{2n} + β(n) p^n + λ_r(n) n + ν(n) $ for $n$ sufficiently large, where $α,β,ν,λ_r$ are periodic functions of $n$. This is an example of a new kind of Iwasawa theory. We establish this conjecture by carefully studying these lattice points.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Iwasawa theory of Frobenius-torsion class group schemes
Authors:
Jeremy Booher,
Bryden Cais,
Joe Kramer-Miller,
James Upton
Abstract:
We establish a new Iwasawa theory for the kernel of Frobenius on Jacobians of curves in geometric $\mathbf{Z}_p$-towers over the projective line in characteristic $p$, thereby proving several of the main conjectures of [arXiv:2107.12555].
We establish a new Iwasawa theory for the kernel of Frobenius on Jacobians of curves in geometric $\mathbf{Z}_p$-towers over the projective line in characteristic $p$, thereby proving several of the main conjectures of [arXiv:2107.12555].
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Zeros of the Goss zeta function
Authors:
Joe Kramer-Miller,
James Upton
Abstract:
Let $X$ be a smooth proper curve over a finite field and let $\infty \in X$ be a closed point. Let $A$ be the ring of functions on $X - \infty$. The Goss zeta function $ζ_A$ of $A$ is an equicharacteristic analogue of the Riemann zeta function. In this article we study the zeros of $ζ_A$ under the generic condition that $X$ is ordinary. We prove an analogue of the Riemann hypothesis, which verifie…
▽ More
Let $X$ be a smooth proper curve over a finite field and let $\infty \in X$ be a closed point. Let $A$ be the ring of functions on $X - \infty$. The Goss zeta function $ζ_A$ of $A$ is an equicharacteristic analogue of the Riemann zeta function. In this article we study the zeros of $ζ_A$ under the generic condition that $X$ is ordinary. We prove an analogue of the Riemann hypothesis, which verifies a corrected version of a conjecture of Goss. We also show that the zeros of $ζ_A$ at negative even integers are `simple' and that $ζ_A$ is nonzero at negative odd integers. This answers questions posed by Goss and Thakur. Both of these results were previously only known under the restrictive hypothesis that $A$ has class number one. Finally, we prove versions of these results for $v$-adic interpolations of the Goss zeta function.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
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.
-
Newton Polygons of Sums on Curves II: Variation in $p$-adic Families
Authors:
Joe Kramer-Miller,
James Upton
Abstract:
In this article we study the behavior of Newton polygons along $\mathbb{Z}_p$-towers of curves. Fix an ordinary curve $X$ over a finite field $\mathbb{F}_q$ of characteristic $p$. By a $\mathbb{Z}_p$-tower $X_\infty/X$ we mean a tower of covers $ \dots \to X_2 \to X_1 \to X$ with $\mathrm{Gal}(X_n/X) \cong \mathbb{Z}/p^n\mathbb{Z}$. We show that if the ramification along the tower is sufficiently…
▽ More
In this article we study the behavior of Newton polygons along $\mathbb{Z}_p$-towers of curves. Fix an ordinary curve $X$ over a finite field $\mathbb{F}_q$ of characteristic $p$. By a $\mathbb{Z}_p$-tower $X_\infty/X$ we mean a tower of covers $ \dots \to X_2 \to X_1 \to X$ with $\mathrm{Gal}(X_n/X) \cong \mathbb{Z}/p^n\mathbb{Z}$. We show that if the ramification along the tower is sufficiently moderate, then the slopes of the Newton polygon of $X_n$ are equidistributed in the interval $[0,1]$ as $n$ tends to $\infty$. Under a stronger congruence assumption on the ramification invariants, we completely determine the slopes of the Newton polygon of each curve. This is the first result towards `regularity' in Newton polygon behavior for $\mathbb{Z}_p$-towers over higher genus curves. We also obtain similar results for $\mathbb{Z}_p$-towers twisted by a generic tame character.
△ Less
Submitted 16 October, 2021;
originally announced October 2021.
-
Newton Polygons of Sums on Curves I: Local-to-Global Theorems
Authors:
Joe Kramer-Miller,
James Upton
Abstract:
The purpose of this article is to study Newton polygons of certain abelian $L$-functions on curves. Let $X$ be a smooth affine curve over a finite field $\mathbb{F}_q$ and let $ρ:π_1(X) \to \mathbb{C}_p^\times$ be a finite character of order $p^n$. By previous work of the first author, the Newton polygon $\mathrm{NP}(ρ)$ lies above a `Hodge polygon' $\mathrm{HP}(ρ)$, which is defined using local r…
▽ More
The purpose of this article is to study Newton polygons of certain abelian $L$-functions on curves. Let $X$ be a smooth affine curve over a finite field $\mathbb{F}_q$ and let $ρ:π_1(X) \to \mathbb{C}_p^\times$ be a finite character of order $p^n$. By previous work of the first author, the Newton polygon $\mathrm{NP}(ρ)$ lies above a `Hodge polygon' $\mathrm{HP}(ρ)$, which is defined using local ramification invariants of $ρ$. In this article we study the touching between these two polygons. We prove that $\mathrm{NP}(ρ)$ and $\mathrm{HP}(ρ)$ share a vertex if and only if a corresponding vertex is shared between the Newton and Hodge polygons of `local' $L$-functions associated to each ramified point of $ρ$. As a consequence, we determine a necessary and sufficient condition for the coincidence of $\mathrm{NP}(ρ)$ and $\mathrm{HP}(ρ)$.
△ Less
Submitted 16 October, 2021;
originally announced October 2021.
-
Weak Analytic Geometry and a Trace Formula for Families of $p$-adic Representations
Authors:
James Upton
Abstract:
The eigencurve is a powerful tool introduced by Coleman and Mazur to study $p$-adic families of overconvergent modular forms. In this article, we introduce an analogous set of tools for understanding families of "overconvergent" $p$-adic representations of $π_1(X)$, where $X$ is a smooth affine variety over a finite field of characteristic $p$. Our main theorem is a trace formula relating the $L$-…
▽ More
The eigencurve is a powerful tool introduced by Coleman and Mazur to study $p$-adic families of overconvergent modular forms. In this article, we introduce an analogous set of tools for understanding families of "overconvergent" $p$-adic representations of $π_1(X)$, where $X$ is a smooth affine variety over a finite field of characteristic $p$. Our main theorem is a trace formula relating the $L$-function of such a family to the geometry of a sequence of associated eigenvarieties. In the case of a single $p$-adic representation, our result reduces to the well known trace formula of Monsky. We apply our theory to the study of $T$-adic exponential sums attached to $\mathbb{Z}_p$-towers over $X$. Special cases of this theory have been applied by Davis, Wan, and Xiao to prove a spectral halo decomposition of the eigencurve attached to $\mathbb{Z}_p$-towers over $X=\mathbb{A}^1$.
△ Less
Submitted 25 September, 2019; v1 submitted 3 September, 2019;
originally announced September 2019.
-
Discriminant-Stability in $p$-adic Lie Towers of Number Fields
Authors:
James Upton
Abstract:
In this paper we consider a tower of number fields $\cdots \supseteq K(1) \supseteq K(0) \supseteq K$ arising naturally from a continuous $p$-adic representation of $\mathrm{Gal}(\bar{\mathbb{Q}}/K)$, referred to as a $p$-adic Lie tower over $K$. A recent conjecture of Daqing Wan hypothesizes, for certain $p$-adic Lie towers of curves over $\mathbb{F}_p$, a stable (polynomial) growth formula for t…
▽ More
In this paper we consider a tower of number fields $\cdots \supseteq K(1) \supseteq K(0) \supseteq K$ arising naturally from a continuous $p$-adic representation of $\mathrm{Gal}(\bar{\mathbb{Q}}/K)$, referred to as a $p$-adic Lie tower over $K$. A recent conjecture of Daqing Wan hypothesizes, for certain $p$-adic Lie towers of curves over $\mathbb{F}_p$, a stable (polynomial) growth formula for the genus. Here we prove the analogous result in characteristic zero, namely: the $p$-adic valuation of the discriminant of the extension $K(i)/K$ is given by a polynomial in $i,p^i$ for $i$ sufficiently large. This generalizes a previously known result on discriminant-growth in $\mathbb{Z}_p$-towers of local fields of characteristic zero.
△ Less
Submitted 9 January, 2018;
originally announced January 2018.
