Let $A$ be a regular 2-dimensional local ring of characteristic $p>0$, and let $L/K$ be a cyclic extension of degree $p$ of its field of fractions such that the corresponding branch divisor is normal crossing. For each $\gp\in\Spec A$ of height 1 such that $A/\gp$ is regular, consider the ramification jump $h_\gp$ of the extension of the residue field at $\gp$. In this paper the semi-continuity of $h_\gp$ with respect to Zariski topology of suitable jet spaces is proved. The asymptotic of $h_\gp$ with respect to intersection multiplicity of the prime divisor defined by $\gp$ and the branch divisor is also addressed.
We provide first slope estimates of the Newton polygon of generalized Artin-Schreier curves, which are proved using the action of Frobenius and Verschiebung on cohomology. We provide a number of applications such as an improved Hasse-Weil bound for this class of curves.
The arrangement of all Galois lines for the Artin-Schreier-Mumford curve in the projective 3-space is described. It may be surprising that there exist infinitely many Galois lines intersecting this curve.
We show that two curves of Artin-Schreier type have a birational embedding into a projective plane with two Galois points. As a consequence, all curves with large automorphism groups in the classification list by Henn have a birational embedding with two Galois points.
In this work we present explicit examples of maximal and minimal curves over finite fields in odd characteristic. The curves are of Artin-Schreier type and the construction is closely related to quadratic forms from $\mathbb{F}_{q^n}$ to $\mathbb{F}_q$.
In this paper we study the projective normality of certain Artin-Schreier curves $Y_f$ defined over a field $\F$ of characteristic $p$ by the equations $y^q+y=f(x)$, $q$ being a power of $p$ and $f\in \F[x]$ being a polynomial in $x$ of degree $m$, with $(m,p)=1$. Many $Y_f$ curves are singular and so, to be precise, here we study the projective normality of appropriate projective models of their normalizations.
We study a mass formula for Artin--Schreier curves of genus $g$ defined over a finite field $k$ of characteristic $p$. For an odd prime $p$ and for small $g$, we determine the number of $k$-isomorphism classes of Artin-Schreier curves of genus $g$, weighted by the order of the centralizer of the Artin-Schreier involution in the automorphism group. This extends earlier results by several authors in characteristic $p=2$. Keywords: Artin-Schreier curve, finite field, automorphism, Mass formula, moduli space, arithmetic statistics
In this paper we consider the curves $C_k^{(p,a)} : y^p-y=x^{p^k+1}+ax$ defined over $\mathbb F_p$ and give a positive answer to a conjecture about a divisibility condition on $L$-polynomials of the curves $C_k^{(p,a)}$. Our proof involves finding an exact formula for the number of $\mathbb F_{p^n}$-rational points on $C_k^{(p,a)}$ for all $n$, and uses a result we proved elsewhere about the number of rational points on supersingular curves.
In this paper, we proved that the F_p completioin of fundamental group of an F_p shceme can be computed by the bar complex of Artien-Schreier differential graded algebra. Artin-Schreier differential graded algebra is obtained by a relation diagram of identity map and frobenius map by Kats' theorem.
In this paper we affirmatively answer a question posed by F.-V. Kuhlmann. We show that the first Artin-Schreier defect extension in Cutkosky and Piltant's counter-example to strong monomialization is a dependent extension. Our main tool is the use of generating sequences of valuations.
We give an example of an extension of two dimensional regular local rings in a tower of two independent defect Artin-Schreier extensions for which strong local monomialization does not hold.
We prove a conjecture of Johansen, Helleseth and Kholosha concerning equality of exponential sums related to the cross-correlation of $m$-sequences. In the proof we show that certain Artin-Schreier curves have the same number of points over finite fields. This has a consequence regarding the L-polynomials of these curves.
In this short paper we prove that the following two 1-dimensional families of Artin-Schreier curves are supersingular: y^7 - y = x^5 + c.x^2 over F_7 y^5 - y = x^7 + c.x over F_5 (for some parameter c). Our method is developed upon the p-adic Dwork's method.
Given a prime $p$ and $q$ a power of $p$, we study the statistics of $p$-ranks of Artin--Schreier covers of given genus defined over $\mathbb{F}_q$, in the large $q$-limit. We refer to this problem as the geometric problem. We also study an arithmetic variation of this problem, and consider Artin--Schreier covers defined over $\mathbb{F}_p$, letting $p$ go to infinity. Distribution of $p$-ranks has been previously studied for Artin--Schreier covers over a fixed finite field as the genus is allowed to go to infinity. The method requires that we count isomorphism classes of covers that are unram…
We study a moduli space AS_g for Artin-Schreier curves of genus g over an algebraically closed field k of characteristic p. We study the stratification of AS_g by p-rank into strata AS_{g,s} of Artin-Schreier curves of genus g with p-rank exactly s. We enumerate the irreducible components of AS_{g,s} and find their dimensions. As an application, when p=2, we prove that every irreducible component of the moduli space of hyperelliptic k-curves with genus g and 2-rank s has dimension g-1+s. We also determine all pairs (p,g) for which AS_g is irreducible. Finally, we study deformations of Artin-Sc…
An elementary proof of a theorem of Montanucci and Zini on the automorphism group of generalized Aritn-Schreier-Mumford curves is presented, with the argument of Korchmaros and Montanucci for Artin-Schreier-Mumford curves being improved. Although the characteristic of a ground field is assumed to be odd in the article of Montanucci and Zini, the proof in the present article is applicable to the case of characteristic two also. As an application of the theorem of Montanucci and Zini, the arrangement of Galois points or Galois lines for the generalized Artin-Schreier-Mumford curve is determined.
For Artin-Schreier curve y^q -y = f(x) defined over a finite field F_q of q elements, we show that the Weil bound for the number of the rational points over extension fields of F_q can often be greatly improved, essentially removing an extra factor of size about the square root of q in the error term.
In this paper we define the $p$-density of a finite subset $D\subset\ma{N}^r$, and show that it gives a good lower bound for the $p$-adic valuation of exponential sums over finite fields of characteristic $p$. We also give an application: when $r=1$, the $p$-density is the first slope of the generic Newton polygon of the family of Artin-Schreier curves associated to polynomials with their exponents in $D$.
For a power $q$ of a prime $p$, the Artin-Schreier-Mumford curve $ASM(q)$ of genus $g=(q-1)^2$ is the nonsingular model $\mathcal{X}$ of the irreducible plane curve with affine equation $(X^q+X)(Y^q+Y)=c,\, c\neq 0,$ defined over a field $\mathbb{K}$ of characteristic $p$. The Artin-Schreier-Mumford curves are known from the study of algebraic curves defined over a non-Archimedean valuated field since for $|c|<1$ they are curves with a large solvable automorphism group of order $2(q-1)q^2 =2\sqrt{g}(\sqrt{g}+1)^2$, far away from the Hurwitz bound $84(g-1)$ valid in zero characteristic. In this…
We study the canonical model of the Artin-Schreier-Kummer-Witt flat family of curves over a ring of mixed characteristic. We first prove the relative version of a classical theorem by Petri, then use the model proposed by Bertin-Mézard to construct an explicit generating set for the relative canonical ideal. As a byproduct, we obtain a combinatorial criterion for a set to generate the canonical ideal, applicable to any curve satisfying the assumptions of Petri's theorem.
This paper describes a class of Artin-Schreier curves, generalizing results of Van der Geer and Van der Vlugt to odd characteristic. The automorphism group of these curves contains a large extraspecial group as a subgroup. Precise knowledge of this subgroup makes it possible to compute the zeta functions of the curves in the class over the field of definition of all automorphisms in the subgroup. As a consequence, we obtain new examples of maximal curves.
Let $p$ denote an odd prime. In this paper, we are concerned with the $p$-divisibility of additive exponential sums associated to one variable polynomials over a finite field of characteristic $p$, and with (the very close question of) determining the Newton polygons of some families of Artin-Schreier curves, i.e. $p$-cyclic coverings of the projective line in characteristic $p$. We first give a lower bound on the $p$-divisibility of exponential sums associated to polynomials of fixed degree. Then we show that an Artin-Schreier curve defined over a finite field of characteristic $p$ cannot be …
We study the moduli space $\mathcal{AS}_{g}$ of Artin-Schreier curves of genus $g$ over an algebraically closed field $k$ of positive characteristic $p$. The moduli space is partitioned by irreducible strata, where each stratum parameterizes Artin-Schreier curves whose ramification divisors have the same coefficients. We construct deformations of these curves to study the relations between those strata. As an application, when $p=3$, we prove that $\mathcal{AS}_{g}$ is connected for all possible $g$. When $p>3$, it turns out that $\mathcal{AS}_{g}$ is connected for sufficiently large value of …
We classify stacky curves in characteristic $p > 0$ with cyclic stabilizers of order $p$ using higher ramification data. This approach replaces the local root stack structure of a tame stacky curve, similar to the local structure of a complex orbifold curve, with a more sensitive structure called an Artin-Schreier root stack, allowing us to incorporate this ramification data directly into the stack. As an application, we compute dimensions of Riemann-Roch spaces for some examples of stacky curves in positive characteristic and suggest a program for computing spaces of modular forms in this set…
Let $k$ be an algebraically closed field of characteristic $p > 0$. We consider the problem of lifting $p$-cyclic covers of $\Proj_k$ as $p$-cyclic covers of the projective line over some DVR under the condition that the wild monodromy is maximal. We answer positively the question for covers birational to $w^ p-w=tR(t)$ for some additive polynomial $R(t)$.
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 fix a monic polynomial $f(x) \in \mathbb F_q[x]$ over a finite field and consider the Artin-Schreier-Witt tower defined by $f(x)$; this is a tower of curves $\cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb A^1$, with total Galois group $\mathbb Z_p$. We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton slopes of L-functions associated to characters of the Galois group of this tower. We prove that, when the conductor of the character is large enough, the Newton slopes of the L-function form arithmetic progressions which are inde…
Let $R$ be a complete discrete valuation ring of equal characteristic $p>0$. Given a $\mathbb{Z}/p$-Galois cover of a formal disc over $R$, one can derive from it a semi-stable model for which the specializations of branch points are distinct and lie in the smooth locus of the special fiber. The description leads to a combinatorial object which resembles a classical Hurwitz tree in mixed characteristic, which we will give the same name. The existence of a Hurwitz tree is necessary for the existence of a $\mathbb{Z}/p$-cover whose branching data fit into that tree. We show that the conditions i…
Let f(x) = x^d + a_{d-1}x^{d-1} + ... + a_0 be a polynomial of degree d in Q[x]. For every prime number p coprime to d and f(x) in (Z_p \cap Q)[x], let X/F_p be the Artin-Schreier curve defined by the affine equation y^p - y = f(x) mod p. Let NP_1(X/F_p) be the first slope of the Newton polygon of X/F_p. We prove that there is a Zariski dense subset U in the space A^d of degree-d monic polynomials over Q such that for all f(x) in U, the limit of NP_1(X/F_p) is equal to 1/d as p goes to infinity. This is a ``first slope version'' of a conjecture of Wan. Let X/F_pbar be an Artin-Schreier curve d…
Artin-Schreier geproci configurations in projective spaces of arbitrary dimension
Dipartimento di Ingegneria dell’Informazione e Scienze Matematiche, Università di Siena（锡耶纳大学）；Department of Mathematics, University of the National Education Commission（国家教育委员会大学）；Dipartimento di Ingegneria, Università degli Studi di Palermo（巴勒莫大学）；Department of Mathematics, University of Nebraska–Lincoln（内布拉斯加大学林肯分校）；Department of Mathematics, University of Notre Dame（圣母大学）
Suppose $X$ is a smooth projective connected curve defined over an algebraically closed field of characteristic $p>0$ and $B \subset X$ is a finite, possibly empty, set of points. Booher and Cais determined a lower bound for the $a$-number of a $\mathbf{Z}/p \mathbf{Z}$-cover of $X$ with branch locus $B$. For odd primes $p$, in most cases it is not known if this lower bound is realized. In this note, when $X$ is ordinary, we use formal patching to reduce that question to a computational question about $a$-numbers of $\mathbf{Z}/p\mathbf{Z}$-covers of the affine line. As an application, when $p…
We study the existence of Artin-Schreier curves with large $ a$-number. We also give bounds on the $a$-number of trigonal curves of genus $5$ in small characteristic.
We define a motivic conductor for any presheaf with transfers $F$ using the categorical framework developed for the theory of motives with modulus by Kahn-Miyazaki-Saito-Yamazaki. If $F$ is a reciprocity sheaf this conductor yields an increasing and exhaustive filtration on $F(L)$, where $L$ is any henselian discrete valuation field of geometric type over the perfect ground field. We show if $F$ is a smooth group scheme, then the motivic conductor extends the Rosenlicht-Serre conductor; if $F$ assigns to $X$ the group of finite characters on the abelianized étale fundamental group of $X$, then…
Let k be a complete discrete valuation field of equal characteristic p>0. Using the tools of p-adic differential modules, we define refined Artin and Swan conductors for a representation of the absolute Galois group $G_k$ with finite local monodromy; this leads to a description of the subquotients of the ramification filtration on $G_k$. We prove that our definition of the refined Swan conductors coincide with that is given by Saito, which uses etale cohomology. We also study its relation with the toroidal variation of the Swan conductors.
We define generalizations of classical invariants of wild ramification for coverings on a variety of arbitrary dimension over a local field. For an l-adic sheaf, we define its Swan class as a 0-cycle class supported on the wild ramification locus. We prove a formula of Riemann-Roch type for the Swan conductor of cohomology together with its relative version, assuming that the local field is of mixed characteristic. We also prove the integrality of the Swan class for curves over a local field as a generalization of the Hasse-Arf theorem. We derive a proof of a conjecture of Serre on the Artin c…
This paper contains three parts. In the first part, we give a thorough overview of the theory of Artin-Schreier-Witt extensions: this theory allows one to understand the $\mathbf{Z}/p^n\mathbf{Z}$-extensions of any field $K$ of characteristic $p$ via $p$-typical Witt vectors. Let $W_n(K)$ be the ring of $p$-typical Witt vectors of $K$ of length $n$ and let $\wp = F-\mathrm{id}: W_n(K)\longrightarrow W_n(K)$, where $F$ is the Frobenius map and $\mathrm{id}$ is the identity map. Artin-Schreier-Witt theory tells us that the abelian group $W_n(K)/\wp W_n(K)$ represents the set of $\mathbf{Z}/p^n\m…
Let $\mathbb{F}_q$ be the finite field of order $q=p^h$ with $p>2$ prime and $h>1$, and let $\mathbb{F}_{\bar{q}}$ be a subfield of $\mathbb{F}_q$. From any two $\bar{q}$-linearized polynomials $L_1,L_2 \in \overline{\mathbb{F}}_q[T]$ of degree $q$, we construct an ordinary curve $\mathcal{X}_{(L_1,L_2)}$ of genus $(q-1)^2$ which is a generalized Artin-Schreier cover of the projective line $\mathbb{P}^1$. The automorphism group of $\mathcal{X}_{(L_1,L_2)}$ over the algebraic closure $\overline{\mathbb{F}}_q$ of $\mathbb{F}_q$ contains a semidirect product $Σ\rtimes Γ$ of an elementary abelian …
Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that the modulo s^m of the extension O_L/O_K and modulo t^m of O_E/O_F are isomorphic. Let j=<m be a positive rational number. In this paper, we prove that the ramification of L/K is bounded by j if and only if the ramification of E/F is bounded by j. As an application, we prove that the categories of finite separable extensions of K and F whose ramifications ar…
Let $K$ be the function field of a curve over a finite field of odd characteristic. We investigate using $L$-functions of Galois extensions of $K$ to effectively recover $K$. When $K$ is the function field of the projective line with four rational points removed, we show how to use $L$-functions of a ray class field to effectively recover the removed points up to automorphisms of the projective line. When $K$ is the function field of a plane curve, we show how to effectively recover the equation of that curve using $L$-functions of Artin-Schreier extensions of $K$.
Let us consider an algebraic function field defined over a finite Galois extension $K$ of a perfect field $k$. We give some conditions allowing the descent of the definition field of the algebraic function field from $K$ to $k$. We apply these results to the descent of the definition field of a tower of function fields.We give explicitly the equations of the intermediate steps of an Artin-Schreier type extension reduced from $\F_{q^2}$ to $\F_q$. By applying these results to a completed Garcia-Stichtenoth's tower we improve the upper bounds and the upper asymptotic bounds of the bilinear compl…
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.
