We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory requirements of the algorithm appear to be very good: for a given prime number p, it computes the p-valuation of the discriminant and the factorization of p in a number field of degree 1000 in a few seconds, in a personal computer.
In this paper, we study the Newton polygons for the $L$-functions of $n$-variable generalized Kloosterman sums. Generally, the Newton polygon has a topological lower bound, called the Hodge polygon. In order to determine the Hodge polygon, we explicitly construct a basis of the top dimensional Dwork cohomology. Using Wan's decomposition theorem and diagonal local theory, we obtain when the Newton polygon coincides with the Hodge polygon. In particular, we concretely get the slope sequence for $L$-function of $\bar{F}(\barλ,x):=\sum_{i=1}^nx_i^{a_i}+\barλ\prod_{i=1}^nx_i^{-1}$.
In this paper, we enumerate Newton polygons asymptotically. The number of Newton polygons is computable by a simple recurrence equation, but unexpectedly the asymptotic formula of its logarithm contains growing oscillatory terms. As the terms come from non-trivial zeros of the Riemann zeta function, an estimation of the amplitude of the oscillating part is equivalent to the Riemann hypothesis.
We review the Shimura-Taniyama method for computing the Newton polygon of an abelian variety with complex multiplication. We apply this method to cyclic covers of the projective line branched at three points. As an application, we produce multiple new examples of Newton polygons that occur for Jacobians of smooth curves in characteristic $p$. Under certain congruence conditions on $p$, these include: the supersingular Newton polygon for each genus $g$ with $4 \leq g \leq 11$; nine non-supersingular Newton polygons with $p$-rank $0$ with $4 \leq g \leq 11$; and, for all $g \geq 5$, the Newton p…
We study the intersection of the Torelli locus with the Newton polygon stratification of the modulo $p$ reduction of certain PEL-type Shimura varieties. We develop a clutching method to show that the intersection of the open Torelli locus with some Newton polygon strata is non-empty. This allows us to give a positive answer, under some compatibility conditions, to a question of Oort about smooth curves in characteristic $p$ whose Newton polygons are an amalgamate sum. As an application, we produce infinitely many new examples of Newton polygons that occur for smooth curves that are cyclic cove…
We show that for a monic polynomial $f(x)$ over a number field $K$ containing a global permutation polynomial of degree $>1$ as its composition factor, the Newton Polygon of $f\mod\mathfrak p$ does not converge for $\mathfrak p$ passing through all finite places of $K$. In the rational number field case, our result is the "only if" part of a conjecture of Wan about limiting Newton polygons.
By a result of Moonen, there are exactly 20 positive-dimensional families of cyclic covers of the projective line for which the Torelli image is open and dense in the associated Shimura variety. For each of these, we compute the Newton polygons, and the $μ$-ordinary Ekedahl--Oort type, occurring in the characteristic $p$ reduction of the Shimura variety. We prove that all but a few of the Newton polygons appear on the open Torelli locus. As an application, we produce multiple new examples of Newton polygons and Ekedahl--Oort types of Jacobians of smooth curves in characteristic $p$. Under cert…
In this paper, we answer a question due to Y. André related to B. Dwork's conjecture on a specialization of the logarithmic growth of solutions of $p$-adic linear differential equations. Precisely speaking, we explicitly construct a $\nabla$-module $M$ over $\mathbb{Q}_p[[X]]_0$ of rank 2 such that the left endpoint of the special log-growth Newton polygon of $M$ is strictly above the left endpoint of the generic log-growth Newton polygon of $M$.
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 verte…
Let p be a prime number. In this paper we use an old technique of Ore, based on Newton polygons, to construct in an efficient way p-integral bases of number fields defined by a p-regular equation. To illustrate the potential applications of this construction, we show how this result yields a computation of a p-integral basis of an arbitrary quartic field in terms of a defining equation.
Let k be a perfect field, and K be a totally ramified extension of K_0 = Frac W(k) of degree e. To a semi-stable p-adic representation of G_K (the absolute Galois group of K), one can classicaly associate two polygons : the Hodge polygon et the Newton polygon. It is well known that the former lies below the latter, and that they have same endpoints. In this note, we introduce a third polygon gotten from the semi-simplification of the representation mod p, and, under some conditions on Hodge-Tate weights, we prove that it lies above the Hodge polygon again with same endpoint. We finally examine…
To understand L-function is an important fundamental question in Number Theory, but there are few specific results on it, especially the calculation of its Newton polygon. Following Dwork's method it is hard to calculate an exact example, even on the case of one variable. There are only three such examples till now, one of which has some mistakes. In this paper we calculate L-functions with p-adic Gauss sums and give a formula in power series(theorem 1.2.). After that we discuss Newton polygons NP(f/F_p,T) of L-functions of one variable polynomials and give a method to calculate its small slop…
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…
We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a $p$-adic field, together with relevant arithmetic information about the fields generated by the irreducible factors. This carries out a program suggested by Ø. Ore. As an application, we obtain fast algorithms to compute discriminants, prime ideal decomposition and integral bases of number fields.
Let $χ$ be an order $c$ multiplicative character of a finite field and $f(x)=x^d+λx^e$ a binomial with $(d,e)=1$. We study the twisted classical and $T$-adic Newton polygons of $f$. When $p>(d-e)(2d-1)$, we give a lower bound of Newton polygons and show that they coincide if $p$ does not divide a certain integral constant depending on $p\bmod {cd}$. We conjecture that this condition holds if $p$ is large enough with respect to $c,d$ by combining all known results and the conjecture given by Zhang-Niu. As an example, we show that it holds for $e=d-1$.
A conjecture of Le says that the Deligne polytope $Δ_d$ is generically ordinary if $p\equiv 1\ (\!\!\bmod\ D(Δ_d))$, where $D(Δ_d)$ is a combinatorial constant determined by $Δ_d$. In this paper a counterexample is given to show that the conjecture is not true in general.
For prime $p\equiv-1\bmod d$ and $q$ a power of $p$, we obtain the slopes of the $q$-adic Newton polygons of $L$-functions of $x^d+ax^{d-1}\in \mathbb{F}_q[x]$ with respect to finite characters $χ$ when $p$ is larger than an explicit bound depending only on $d$ and $\log_p q$. The main tools are Dwork's trace formula and Zhu's rigid transform theorem.
We study the p-adic valuations of roots of L-functions associated with certain families of exponential sums of Laurent polynomials in n variables over a finite field. The families we consider are reflection and Kloosterman variants of diagonal polynomials. Using decomposition theorems of Wan, we determine the Newton and Hodge polygons of a non-degenerate Laurent polynomial in one of these families.
Let $p$ be an odd prime. What are the possible Newton polygons for a curve in characteristic $p$? Equivalently, which Newton strata intersect the Torelli locus in $\mathcal{A}_g$? In this note, we study the Newton polygons of certain curves with $\mathbb{Z}/p\mathbb{Z}$-actions. Many of these curves exhibit unlikely intersections between the Torelli locus and the Newton stratification in $\mathcal{A}_g$. Here is one example of particular interest: fix a genus $g$. We show that for any $k$ with $\frac{2g}{3}-\frac{2p(p-1)}{3}\geq 2k(p-1)$, there exists a curve of genus $g$ whose Newton polygon …
In this article we construct for each integer $n\ge 2$ an abelian variety $A$ of dimension $n$ defined over a number field for which there exists a symmetric slope sequence of length $2n$ that does not appear as the slope sequence of $\widetilde A$ for all good reductions $\widetilde A$ of $A$.
Let $p$ be a prime number. Every $n$-variable polynomial $f(\underline x)$ over a finite field of characteristic $p$ defines an Artin--Schreier--Witt tower of varieties whose Galois group is isomorphic to $\mathbb{Z}_p$. Our goal of this paper is to study the Newton polygon of the $L$-function associated to a finite character of $\mathbb{Z}_p$ and a generic polynomial whose convex hull is an $n$-dimensional paralleltope $Δ$. We denote this polygon by $\mathrm{GNP}(Δ)$. We prove a lower bound of $\mathrm{GNP}(Δ)$, which is called the improved Hodge polygon $\mathrm{IHP}(Δ)$. We show that $\math…
Considering the L-function of exponential sums associated to a polynomial over a finite field F_q, Deligne proved that a reciprocal root's p-adic order is a rational number in the interval [0, 1]. Based on hypergeometric theory, in this paper we improve this result that there are only finitely many possible forms of Newton polygons for the L-function of degree d polynomials independent of p, when p is larger than a constant D^*(theorem 4.3), i.e., a reciprocal root's p-adic order has form (up-v)/(D^*(p-1)) in which u, v have finitely many possible values. Furthermore, when p>D^*, to determine …
We give an algorithm that constructs a minimal set of polynomials defining all extension of a $(π)$-adic field with given, inertia degree, ramification index, discriminant, ramification polygon, and residual polynomials of the segments of the ramification polygon.
In this paper, we shall precise the asymptotic behaviour of Newton polygons of $L$ functions associated to character sums, coming from some $n$ variable Laurent polynomials. In order to do this, we use the free sum on convex polytopes. This operation allows the determination of the limit of generic Newton polygons for the sum $Δ=Δ_1\oplus Δ_2$ when we know the limit of generic Newton polygons for each factor. To our knowledge, these are the first results concerning the asymptotic behaviour of Newton polygons for multivariable polynomials.
We prove that the radii of convergence of the solutions of a $p$-adic differential equation $\mathcal{F}$ over an affinoid domain $X$ of the Berkovich affine line are continuous functions on $X$ that factorize through the retraction of $X\toΓ$ of $X$ onto a finite graph $Γ\subseteq X$. We also prove their super-harmonicity properties. Roughly speaking, this finiteness result means that the behavior of the radii as functions on $X$ is controlled by a finite family of data.
In this paper, we consider the following $(A, B)$-polynomial $f$ over finite field: $$f(x_0,x_1,\cdots,x_n)=x_0^Ah(x_1,\cdots,x_n)+g(x_1,\cdots,x_n)+P_B(1/x_0),$$ where $h$ is a Deligne polynomial of degree $d$, $g$ is an arbitrary polynomial of degree $< dB/(A+B)$ and $P_B(y)$ is a one-variable polynomial of degree $\le B$. Let $Δ$ be the Newton polyhedron of $f$ at infinity. We show that $Δ$ is generically ordinary if $p\equiv 1 \mod D$, where $D$ is a constant only determined by $Δ$. In other words, we prove that the Adolphson--Sperber conjecture is true for $Δ$.
In this paper we compute the first vertex of a generic Newton polygon in some special cases, and the corresponding Hasse polynomial. This allows us to show the nonexistence of $p$-cyclic coverings of the projective line in characteristic $p$ with supersingular jacobian for some (infinite families of) genera.
We study the $p$-adic absolute value of the roots of the $L$-functions associated to certain twisted character sums, and additive character sums associated to polynomials $P(x^d)$, when $P$ varies among the space of polynomial of fixed degree $e$ over a finite field of characteristic $p$. For sufficiently large $p$, we determine in both cases generic Newton polygons for these $L$-functions, which is a lower bound for the Newton polygons, and the set of polynomials of degree $e$ for which this generic polygon is attained. In the case of twisted sums, we show that the lower polygon defined in \c…
Let $p$ be a prime number. Every two-variable polynomial $f(x_1, x_2)$ over a finite field of characteristic $p$ defines an Artin--Schreier--Witt tower of surfaces whose Galois group is isomorphic to $\mathbb Z_p$. Our goal of this paper is to study the Newton polygon of the $L$-functions associated to a finite character of $\mathbb{Z}_p$ and a generic polynomial whose convex hull is a fixed triangle $Δ$. We denote this polygon by $\textrm{GNP}(Δ)$. We prove a lower bound of $\textrm{GNP}(Δ)$, which we call the improved Hodge polygon $\textrm{IHP}(Δ)$, and we conjecture that $\textrm{GNP}(Δ)$ …
Suppose $X$ is a smooth projective connected curve defined over an algebraically closed field $k$ of characteristic $p>0$ and $B \subset X(k)$ is a finite, possibly empty, set of points. The Newton polygon of a degree $p$ Galois cover of $X$ with branch locus $B$ depends on the ramification invariants of the cover. When $X$ is ordinary, for every possible set of branch points and ramification invariants, we prove that there exists such a cover whose Newton polygon is minimal or close to minimal.
We develop a theory of multiplicities of roots for polynomials over hyperfields and use this to provide a unified and conceptual proof of both Descartes' rule of signs and Newton's "polygon rule".
We prove that, for a $p$-divisible group with additional structures over a complete valuation ring of rank one $O_K$ with mixed characteristic $(0,p)$, if the Newton polygon and the Hodge polygon of its special fiber possess a non trivial contact point, which is a break point for the Newton polygon, then it admits a "Hodge-Newton filtration" over $O_K$. The proof is based on the theories of Harder-Narasimhan filtration of finite flat group schemes and admissible filtered isocrystals. We then apply this result to the study of some larger class of Rapoport-Zink spaces and Shimura varieties than …
Let $A$ be a Dedekind domain, $K$ the fraction field, $\p$ a non-zero prime ideal of $A$, and $K_\pp$ the completion of $K$ with respect to the $\p$-adic topology. At the input of a monic irreducible separable polynomial, $f(x)\in A[x]$, Montes algorithm determines the factorization of $f(x)$ over $K_\pp[x]$, and it provides essential arithmetic information about the finite extensions of $K_\pp$ determined by the different irreducible factors. In particular, it can be used to compute $\p$-integral bases of the extension of $K$ determined by $f(x)$ \cite{newapp}. In this paper we present new (a…
We study the variation of the convergence Newton polygon of a differential equation along a smooth Berkovich curve over a non-archimedean complete valued field of characteristic 0. Relying on work of the second author who investigated its properties on affinoid domains of the affine line, we prove that its slopes give rise to continuous functions that factorize by the retraction through a locally finite subgraph of the curve.
This expository paper is based on the author's series of lectures delivered at the January 1999 Mini-course in Number Theory, held at Sogang University (Seoul). The aim is to give an elementary and self-contained introduction to the theory of Newton polygons (namely, the $p$-adic Riemann hypothesis) for L-functions of exponential sums over a finite field. The main idea of our approach is to establish a suitable local to global principal which would allowus to reduce the harder ``global'' case to various easier well understood "local" cases for which Stickelberger's theorem applies. For this pu…
There are open questions about which Newton polygons and Ekedahl-Oort types occur for Jacobians of smooth curves of genus $g$ in positive characteristic $p$. In this chapter, I survey the current state of knowledge about these questions. I include a new result, joint with Karemaker, which verifies, for each odd prime $p$, that there exist supersingular curves of genus $g$ defined over $\overline{\mathbb F}_p$ for infinitely many new values of $g$. I sketch a proof of Faber and Van der Geer's theorem about the geometry of the $p$-rank stratification of the moduli space of curves. The chapter en…
The isomorphism number (resp. isogeny cutoff) of a p-divisible group D over an algebraically closed field is the least positive integer m such that D[p^m] determines D up to isomorphism (resp. up to isogeny). We show that these invariants are lower semicontinuous in families of p-divisible groups of constant Newton polygon. Thus they allow refinements of Newton polygon strata. In each isogeny class of p-divisible groups, we determine the maximal value of isogeny cutoffs and give an upper bound for isomorphism numbers, which is shown to be optimal in the isoclinic case. In particular, the latte…
We survey results and open questions about the $p$-ranks and Newton polygons of Jacobians of curves in positive characteristic $p$. We prove some geometric results about the $p$-rank stratification of the moduli space of (hyperelliptic) curves. For example, if $0 \leq f \leq g-1$, we prove that every component of the $p$-rank $f+1$ stratum of ${\mathcal M}_g$ contains a component of the $p$-rank $f$ stratum in its closure. We prove that the $p$-rank $f$ stratum of $\overline{\mathcal M}_g$ is connected. For all primes $p$ and all $g \geq 4$, we demonstrate the existence of a Jacobian of a smoo…
This paper is dedicated to the description of the poles of the Igusa local zeta functions $Z(s,f,v)$ when $f(x,y)$ satisfies a new non degeneracy condition, that we have called arithmetic non degeneracy. More precisely, we attach to each polynomial $f(x,y)$, a collection of convex sets $Γ^{A}$ called the arithmetic Newton polygon of $f(x,y)$, and introduce the notion of arithmetic non degeneracy with respect to $Γ^{A}(f)$. The set of degenerate polynomials, with respect to a fixed geometric Newton polygon, contains an open subset, for the Zariski topology, formed by non degenerate polynomials …
In this paper we consider the Newton polygons of $L$-functions coming from additive exponential sums associated to a polynomial over a finite field $\F_q$. These polygons define a stratification of the space of polynomials of fixed degree. We determine the open stratum: we give the generic Newton polygon for polynomials of degree $d\geq 2$ when the characteristic $p$ is greater than 3d, and the Hasse polynomial, i.e. the equation defining the hypersurface complementary to the open stratum.
Let P(x) be a one-variable Laurent polynomial of degree (d_1,d_2) over a finite field of characteristic p. For any fixed positive integer s not divisible by p, we prove that the (normalized) p-adic Newton polygon of the L-functions of exponential sums of P(x^s) has a tight lower bound which we call `Hodge-Stickelberger polygon', depending only on d_1,d_2,s, and (p mod s). This Hodge-Stickelberger polygon is a weighted convolution of a `Hodge polygon' for L-function of exponential sum of P(x) and the `Newton polygon' for L-function of exponential sum of x^s (given by the classical Stickelberger…
Let p be a prime and let F_pbar be the algebraic closure of the finite field of p elements. Let f(x) be any one variable rational function over F_pbar with n poles of orders d_1, ...,d_n. Suppose p is coprime to d_i for every i. We prove that there exists a Hodge polygon, depending only on d_i's, which is a lower bound to the Newton polygon of L functions of exponential sums of f(x). Moreover, we show that these two polygons coincide if p=1 mod d_i for every i=1,...,n. As a corollary, we obtain a tight lower bound of Newton polygon of Artin-Schreier curve.
In this paper we use the connections between tropical algebraic geometry and rigid analytic geometry in order to prove two main results. We use tropical methods to prove a theorem about the Newton polygon for convergent power series in several variables: if f_1,...,f_n are n convergent power series in n variables with coefficients in a non-Archimedean field K, we give a formula for the valuations and multiplicities of the common zeros of f_1,...,f_n. We use rigid-analytic methods to show that stable complete intersections of tropical hypersurfaces compute algebraic multiplicities even when the…
We give two specializations of Krasner's mass formula. The first formula yields the number of extensions of a $\mathfrak{p}$-adic field with given, inertia degree, ramification index, discriminant, and ramification polygon. We then refine this formula further to the case where an additional invariant related to the residual polynomials of the segments of the ramification polygon is given.
In this paper we give a modular interpretation of the $k$-th symmetric power $L$-function of the Kloosterman family of exponential sums in characteristics 2 and 3, and in the case of $p=2$ and $k$ odd give the precise 2-adic Newton polygon. We also give a $p$-adic modular interpretation of Dwork's unit root $L$-function of the Kloosterman family, and give the precise 2-adic Newton polygon when $k$ is odd. In a previous paper, we gave an estimate for the $q$-adic Newton polygon of the symmetric power $L$-function of the Kloosterman family when $p \geq 5$. We discuss how this restriction on prim…
Let K be a local field of characteristic zero, O its ring of integers and F(x) a monic irreducible polynomial with coefficients in O. K. Okutsu attached to F(x) certain primitive divisor polynomials F_1(x),..., F_r(x), that are specially close to F(x) with respect to their degree. In this paper we characterize the Okutsu families [F_1,..., F_r] in terms of certain Newton polygons of higher order, and we derive some applications: closed formulas for certain Okutsu invariants, the discovery of new Okutsu invariants, or the construction of Montes approximations to F(x); these are monic irreducibl…
On the classification of indecomposable Ekedahl-Oort strata in unitary Shimura varieties, and related Newton polygons
Washington College（华盛顿学院）；Carleton College（卡尔顿学院）；Oklahoma State University（俄克拉荷马州立大学）；Brooklyn College, City University of New York（纽约市立大学布鲁克林学院）；Korteweg-de Vries Institute for Mathematics, University of Amsterdam（阿姆斯特丹大学科特维格-德弗里斯数学研究所）；Colorado State University（科罗拉多州立大学）
The L-function of a non-degenerate twisted Witt extension is proved to be a polynomial. Its Newton polygon is proved to lie above the Hodge polygon of that extension. And the Newton polygons of the Gauss-Heilbronn sums are explicitly determined, generalizing the Stickelberger theorem.
In this paper we construct a generating polynomial over the rationals for the generic Newton polygon for the L function of exponential sums of the family of f = x^d+ a x^s parameterized by a, and prove some of its key properties. The generating polynomial encodes information of and determines the generic Newton polygon at each prime p when p is large enough, and vice versa.
