Source author record

Rachel Pries

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.AG math.AT

Catalog footprint

Research overview

29works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A Mass Formula For Artin--Schreier Curves Over Finite Fields

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

preprint2022arXiv

The Galois action on the lower central series of the fundamental group of the Fermat curve

Information about the absolute Galois group $G_K$ of a number field $K$ is encoded in how it acts on the étale fundamental group $π$ of a curve $X$ defined over $K$ . In the case that $K=\mathbb{Q}(ζ_n)$ is the cyclotomic field and $X$ is the Fermat curve of degree $n \geq 3$ , Anderson determined the action of $G_K$ on the étale homology with coefficients in $\mathbb{Z}/n \mathbb{Z}$ .The étale homology is the first quotient in the lower central series of the étale fundamental group.In this paper, we determine the structure of the graded Lie algebra for $π$ . As a consequence, this determines the action of $G_K$ on all degrees of the associated graded quotient of the lower central series of the étale fundamental group of the Fermat curve of degree $n$ , with coefficients in $\mathbb{Z}/n \mathbb{Z}$ .

preprint2021arXiv

Every $BT_1$ group scheme appears in a Jacobian

Let $p$ be a prime number and let $k$ be an algebraically closed field of characteristic $p$ . A $BT_1$ group scheme over $k$ is a finite commutative group scheme which arises as the kernel of $p$ on a $p$ -divisible (Barsotti--Tate) group. Our main result is that every $BT_1$ scheme group over $k$ occurs as a direct factor of the $p$ -torsion group scheme of the Jacobian of an explicit curve defined over $\mathbb{F}_p$ . We also treat a variant with polarizations. Our main tools are the Kraft classification of $BT_1$ group schemes, a theorem of Oda, and a combinatorial description of the de Rham cohomology of Fermat curves.

preprint2021arXiv

On $BT_1$ group schemes and Fermat Jacobians

Let $p$ be a prime number and let $k$ be an algebraically closed field of characteristic $p$ . A $BT_1$ group scheme over $k$ is a finite commutative group scheme which arises as the kernel of $p$ on a $p$ -divisible (Barsotti--Tate) group. We compare three classifications of $BT_1$ group schemes, due in large part to Kraft, Ekedahl, and Oort, and defined using words, canonical filtrations, and permutations. Using this comparison, we determine the Ekedahl--Oort types of Fermat quotient curves and we compute four invariants of the $p$ -torsion group schemes of these curves.

preprint2020arXiv

Cohomology groups of Fermat curves via ray class fields of cyclotomic fields

The absolute Galois group of the cyclotomic field $K={\mathbb Q}(ζ_p)$ acts on the étale homology of the Fermat curve $X$ of exponent $p$ . We study a Galois cohomology group which is valuable for measuring an obstruction for $K$ -rational points on $X$ . We analyze a $2$ -nilpotent extension of $K$ which contains the information needed for measuring this obstruction. We determine a large subquotient of this Galois cohomology group which arises from Heisenberg extensions of $K$ . For $p=3$ , we perform a Magma computation with ray class fields, group cohomology, and Galois cohomology, which determines it completely.

preprint2020arXiv

Realizing Artin-Schreier covers of curves with minimal Newton polygons in positive characteristic

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.

preprint2015arXiv

Arithmetic of abelian varieties in Artin-Schreier extensions

We study abelian varieties defined over function fields of curves in positive characteristic $p$ , focusing on their arithmetic within the system of Artin-Schreier extensions. First, we prove that the $L$ -function of such an abelian variety vanishes to high order at the center point of its functional equation under a parity condition on the conductor. Second, we develop an Artin-Schreier variant of a construction of Berger. This yields a new class of Jacobians over function fields for which the Birch and Swinnerton-Dyer conjecture holds. Third, we give a formula for the rank of the Mordell-Weil groups of these Jacobians in terms of the geometry of their fibers of bad reduction and homomorphisms between Jacobians of auxiliary Artin-Schreier curves. We illustrate these theorems by computing the rank for explicit examples of Jacobians of arbitrary dimension $g$ , exhibiting Jacobians with bounded rank and others with unbounded rank in the tower of Artin-Schreier extensions. Finally, we compute the Mordell-Weil lattices of an isotrivial elliptic curve and a family of non-isotrivial elliptic curves. The latter exhibits an exotic phenomenon whereby the angles between lattice vectors are related to point counts on elliptic curves over finite fields. Our methods also yield new results about supersingular factors of Jacobians of Artin-Schreier curves.

preprint2015arXiv

Galois action on the homology of Fermat curves

In his paper titled "Torsion points on Fermat Jacobians, roots of circular units and relative singular homology", Anderson determines the homology of the degree $n$ Fermat curve as a Galois module for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_n)}$ . In particular, when $n$ is an odd prime $p$ , he shows that the action of $G_{\mathbb{Q}(ζ_p)}$ on a more powerful relative homology group factors through the Galois group of the splitting field of the polynomial $1-(1-x^p)^p$ . If $p$ satisfies Vandiver's conjecture, we prove that the Galois group of this splitting field over $\mathbb{Q}(ζ_p)$ is an elementary abelian $p$ -group of rank $(p+1)/2$ . Using an explicit basis for this Galois group, we completely compute the relative homology, the homology, and the homology of an open subset of the degree $3$ Fermat curve as Galois modules. We then compute several Galois cohomology groups which arise in connection with obstructions to rational points.

preprint2015arXiv

Superspecial rank of supersingular abelian varieties and Jacobians

An abelian variety defined over an algebraically closed field k of positive characteristic is supersingular if it is isogenous to a product of supersingular elliptic curves and is superspecial if it is isomorphic to a product of supersingular elliptic curves. In this paper, the superspecial condition is generalized by defining the superspecial rank of an abelian variety, which is an invariant of its p-torsion. The main results in this paper are about the superspecial rank of supersingular abelian varieties and Jacobians of curves. For example, it turns out that the superspecial rank determines information about the decomposition of a supersingular abelian variety up to isomorphism; namely it is a bound for the maximal number of supersingular elliptic curves appearing in such a decomposition.

preprint2013arXiv

Generic Newton polygons for curves of given p-rank

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 smooth curve, defined over $\overline{\mathbb F}_p$ , whose Newton polygon has slopes $\{0, \frac{1}{4}, \frac{3}{4}, 1\}$ . We include partial results about the generic Newton polygons of curves of given genus $g$ and $p$ -rank $f$ .

preprint2013arXiv

Newton polygons for a variant of the Kloosterman family

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.

preprint2013arXiv

The Ekedahl-Oort type of Jacobians of Hermitian curves

The Ekedahl-Oort type is a combinatorial invariant of a principally polarized abelian variety $A$ defined over an algebraically closed field of characteristic $p > 0$ . It characterizes the $p$ -torsion group scheme of $A$ up to isomorphism. Equivalently, it characterizes (the mod $p$ reduction of) the Dieudonné module of $A$ or the de Rham cohomology of $A$ as modules under the Frobenius and Vershiebung operators. There are very few results about which Ekedahl-Oort types occur for Jacobians of curves. In this paper, we consider the class of Hermitian curves, indexed by a prime power $q=p^n$ , which are supersingular curves well-known for their exceptional arithmetic properties. We determine the Ekedahl-Oort types of the Jacobians of all Hermitian curves. An interesting feature is that their indecomposable factors are determined by the orbits of the multiplication-by-two map on ${\mathbb Z}/(2^n+1)$ , and thus do not depend on $p$ . This yields applications about the decomposition of the Jacobians of Hermitian curves up to isomorphism.

preprint2012arXiv

Families of Artin-Schreier curves with Cartier-Manin matrix of constant rank

Let k be an algebraically closed field of characteristic p > 0. Every Artin-Schreier k-curve X has an equation of the form y^p - y = f(x) for some f(x) in k(x) such that p does not divide the least common multiple L of the orders of the poles of f(x). Under the condition that p is congruent to 1 mod L, Zhu proved that the Newton polygon of the L-function of X is determined by the Hodge polygon of f(x). In particular, the Newton polygon depends only on the orders of the poles of f(x) and not on the location of the poles or otherwise on the coefficients of f(x). In this paper, we prove an analogous result about the a-number of the p-torsion group scheme of the Jacobian of X, providing the first non-trivial examples of families of Jacobians with constant a-number. Equivalently, we consider the semi-linear Cartier operator on the sheaf of regular 1-forms of X and provide the first non-trivial examples of families of curves whose Cartier-Manin matrix has constant rank.

preprint2012arXiv

The Automorphism Groups of a Family of Maximal Curves

The Hasse Weil bound restricts the number of points of a curve which are defined over a finite field; if the number of points meets this bound, the curve is called maximal. Giulietti and Korchmaros introduced a curve C_3 which is maximal over F_{q^6} and determined its automorphism group. Garcia, Guneri, and Stichtenoth generalized this construction to a family of curves C_n, indexed by an odd integer n greater than or equal to 3, such that C_n is maximal over F_{q^{2n}}. In this paper, we determine the automorphism group Aut(C_n) when n > 3; in contrast with the case n=3, it fixes the point at infinity on C_n. The proof requires a new structural result about automorphism groups of curves in characteristic p such that each Sylow p-subgroup has exactly one fixed point. MSC:11G20, 14H37.

preprint2011arXiv

The a-numbers of Jacobians of Suzuki curves

For $m \in {\mathbb N}$ , let $S_m$ be the Suzuki curve defined over ${\mathbb F}_{2^{2m+1}}$ . It is well-known that $S_m$ is supersingular, but the p-torsion group scheme of its Jacobian is not known. The a-number is an invariant of the isomorphism class of the p-torsion group scheme. In this paper, we compute a closed formula for the a-number of $S_m$ using the action of the Cartier operator on $H^0(S_m,Ω^1)$ .

preprint2010arXiv

A survey of Galois theory of curves in characteristic p

This survey is about Galois theory of curves in characteristic p, a topic which has inspired major research in algebraic geometry and number theory and which contains many open questions. We illustrate important phenomena which occur for covers of curves in characteristic p. We explain key results on the structure of fundamental groups. We end by describing areas of active research and giving two new results about the genus and p-rank of certain covers of the affine line.

preprint2010arXiv

Alternating group covers of the affine line

We prove Abhyankar's Inertia Conjecture for the alternating group A_{p+2} on p+2 letters when p = 2 mod 3, by showing that every possible inertia group occurs for a (wildly ramified) A_{p+2}-Galois cover of the projective k-line branched only at infinity where k is an algebraically closed field of characteristic p > 0. More generally, when 1 < s < p and gcd(p-1, s+1)=1, we prove that all but finitely many rational numbers which satisfy the obvious necessary conditions occur as the upper jump in the filtration of higher ramification groups of an A_{p+s}-Galois cover of the projective line branched only at infinity.

preprint2010arXiv

Ekedahl-Oort strata of hyperelliptic curves in characteristic 2

Suppose $X$ is a hyperelliptic curve of genus $g$ defined over an algebraically closed field $k$ of characteristic $p=2$ . We prove that the de Rham cohomology of $X$ decomposes into pieces indexed by the branch points of the hyperelliptic cover. This allows us to compute the isomorphism class of the $2$ -torsion group scheme $J_X[2]$ of the Jacobian of $X$ in terms of the Ekedahl-Oort type. The interesting feature is that $J_X[2]$ depends only on some discrete invariants of $X$ , namely, on the ramification invariants associated with the branch points. We give a complete classification of the group schemes which occur as the $2$ -torsion group schemes of Jacobians of hyperelliptic $k$ -curves of arbitrary genus.

preprint2010arXiv

Semi-direct Galois covers of the affine line

Let $k$ be an algebraically closed field of characteristic $p>0$ . Let $G$ be $Z/\ell Z$ semi-direct product $Z/pZ$ where $\ell$ is a prime distinct from $p$ . In this paper, we study Galois covers $ψ:Z \to P^1_k$ ramified only over $\infty$ with Galois group $G$ . We find the minimal genus of a curve $Z$ that admits such a cover and show that it depends only on $\ell$ , $p$ , and the order $a$ of $\ell$ modulo $p$ . We also prove that the number of curves $Z$ of this minimal genus which admit such a cover is at most $(p-1)/a$ .

preprint2010arXiv

The p-rank stratification of Artin-Schreier curves

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-Schreier curves with varying p-rank. Keywords: Artin-Schreier, hyperelliptic, curve, moduli, p-rank.

preprint2009arXiv

The p-rank strata of the moduli space of hyperelliptic curves

We prove results about the intersection of the p-rank strata and the boundary of the moduli space of hyperelliptic curves in characteristic p > 2. Using this, we prove that the Z/\ell-monodromy of every irreducible component of the stratum H_g^f of hyperelliptic curves of genus g and p-rank f is the symplectic group Sp_{2g}(Z/\ell) if g > 2, f > 0 and \ell is an odd prime distinct from p. These results yield applications about the generic behavior of hyperelliptic curves of given genus and p-rank. The first application is that a generic hyperelliptic curve of genus g > 2 and p-rank 0 is not supersingular. Other applications are about absolutely simple Jacobians and the generic behavior of class groups and zeta functions of hyperelliptic curves of given genus and $p$ -rank over finite fields.

preprint2009arXiv

Wild cyclic-by-tame extensions

Suppose G is a semi-direct product of the form Z/p^n \rtimes Z/m where p is prime and m is relatively prime to p. Suppose K is a local field of characteristic p > 0. The main result states necessary and sufficient conditions on the ramification filtrations that occur for wildly ramified G-Galois extensions of K. In addition, we prove that there exists a parameter space for G-Galois extensions of K with given ramification filtration whose dimension depends only on the ramification filtration. We provide explicit equations for wild cyclic extensions of K of degree p^3.

preprint2008arXiv

Monodromy of the p-rank strata of the moduli space of curves

We compute the Z/\ell and \ell-adic monodromy of every irreducible component of the moduli space M_g^f of curves of genus and and p-rank f. In particular, we prove that the Z/\ell-monodromy of every component of M_g^f is the symplectic group Sp_{2g}(Z/\ell) if g>=3 and \ell is a prime distinct from p. We give applications to the generic behavior of automorphism groups, Jacobians, class groups, and zeta functions of curves of given genus and p-rank.

preprint2008arXiv

The p-torsion of curves with large p-rank

Consider the locus of smooth curves of genus g and p-rank f defined over an algebraically closed field k of characteristic p. It is an open problem to classify which group schemes occur as the p-torsion of the Jacobians of these curves for f < g-1. We prove that the generic point of this locus has a-number 1 when f=g-2 and f=g-3. We include other results for curves with p-rank g-2 and g-3. For example, we show that the generic hyperelliptic curve with p-rank g-2 has a-number 1 and that the locus of curves with p-rank g-2 and a-number 2 is non-empty with codimension 3 in M_g. The proofs use degeneration to the boundary of M_g.

preprint2007arXiv

Curves of given $p$ -rank with trivial automorphism group

Let $k$ be an algebraically closed field of characteristic $p >0$ . Suppose $g \geq 3$ and $0 \leq f \leq g$ . We prove there is a smooth projective $k$ -curve of genus $g$ and $p$ -rank $f$ with no non-trivial automorphisms. In addition, we prove there is a smooth projective hyperelliptic $k$ -curve of genus $g$ and $p$ -rank $f$ whose only non-trivial automorphism is the hyperelliptic involution. The proof involves computations about the dimension of the moduli space of (hyperelliptic) $k$ -curves of genus $g$ and $p$ -rank $f$ with extra automorphisms.

preprint2006arXiv

A short guide to p-torsion of abelian varieties in characteristic p

There are many equivalent ways to describe the p-torsion of a principally polarized abelian variety in characteristic p. We briefly explain these methods and then illustrate them for abelian varieties A of arbitrary dimension g in several important cases, including when A has p-rank f and a-number 1 and when A has p-rank f and a-number g-f. We provide complete tables for abelian varieties of dimension up to four.

preprint2006arXiv

The integral monodromy of hyperelliptic and trielliptic curves

We compute the $\integ/\ell$ and $\integ_\ell$ monodromy of every irreducible component of the moduli spaces of hyperelliptic and trielliptic curves. In particular, we provide a proof that the $\integ/\ell$ monodromy of the moduli space of hyperelliptic curves of genus $g$ is the symplectic group $\sp_{2g}(\integ/\ell)$. We prove that the $\integ/\ell$ monodromy of the moduli space of trielliptic curves with signature $(r,s)$ is the special unitary group $\su_{(r,s)}(\integ/\ell\tensor\integ[ζ_3])$.

preprint2005arXiv

Hyperelliptic Curves with Prescribed $p$ -Torsion

In this paper, we show that there exist families of curves (defined over an algebraically closed field $k$ of characteristic $p >2$ ) whose Jacobians have interesting $p$ -torsion. For example, for every $0 \leq f \leq g$ , we find the dimension of the locus of hyperelliptic curves of genus $g$ with $p$ -rank at most $f$ . We also produce families of curves so that the $p$ -torsion of the Jacobian of each fibre contains multiple copies of the group scheme $α_p$ . The method is to study curves which admit an action by $(\ZZ/2)^n$ so that the quotient is a projective line. As a result, some of these families intersect the hyperelliptic locus $\CH_g$.

preprint2005arXiv

Wildly ramified covers with large genus

We study wildly ramified G-Galois covers $ϕ:Y \to X$ branched at B (defined over an algebraically closed field of characteristic p). We show that curves Y of arbitrarily high genus occur for such covers even when G, X, B and the inertia groups are fixed. The proof relies on a Galois action on covers of germs of curves and formal patching. As a corollary, we prove that for any nontrivial quasi-p group G and for any sufficiently large integer $σ$ with $p \nmid σ$ , there exists a G-Galois étale cover of the affine line with conductor $σ$ above the point $\infty$ .

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.

Rachel Pries

Research overview

Is this your work?

29 publications

A Mass Formula For Artin--Schreier Curves Over Finite Fields

The Galois action on the lower central series of the fundamental group of the Fermat curve

Every $BT_1$ group scheme appears in a Jacobian

On $BT_1$ group schemes and Fermat Jacobians

Cohomology groups of Fermat curves via ray class fields of cyclotomic fields

Realizing Artin-Schreier covers of curves with minimal Newton polygons in positive characteristic

Arithmetic of abelian varieties in Artin-Schreier extensions

Galois action on the homology of Fermat curves

Superspecial rank of supersingular abelian varieties and Jacobians

Generic Newton polygons for curves of given p-rank

Newton polygons for a variant of the Kloosterman family

The Ekedahl-Oort type of Jacobians of Hermitian curves

Families of Artin-Schreier curves with Cartier-Manin matrix of constant rank

The Automorphism Groups of a Family of Maximal Curves

The a-numbers of Jacobians of Suzuki curves

A survey of Galois theory of curves in characteristic p

Alternating group covers of the affine line

Ekedahl-Oort strata of hyperelliptic curves in characteristic 2

Semi-direct Galois covers of the affine line

The p-rank stratification of Artin-Schreier curves

The p-rank strata of the moduli space of hyperelliptic curves

Wild cyclic-by-tame extensions

Monodromy of the p-rank strata of the moduli space of curves

The p-torsion of curves with large p-rank

Curves of given $p$ -rank with trivial automorphism group

A short guide to p-torsion of abelian varieties in characteristic p

The integral monodromy of hyperelliptic and trielliptic curves

Hyperelliptic Curves with Prescribed $p$ -Torsion

Wildly ramified covers with large genus

See the researcher in context

Building this map preview

Rachel Pries

Research overview

Is this your work?

29 publications

A Mass Formula For Artin--Schreier Curves Over Finite Fields

The Galois action on the lower central series of the fundamental group of the Fermat curve

Every BT1BT_1BT1​ group scheme appears in a Jacobian

On BT1BT_1BT1​ group schemes and Fermat Jacobians

Cohomology groups of Fermat curves via ray class fields of cyclotomic fields

Realizing Artin-Schreier covers of curves with minimal Newton polygons in positive characteristic

Arithmetic of abelian varieties in Artin-Schreier extensions

Galois action on the homology of Fermat curves

Superspecial rank of supersingular abelian varieties and Jacobians

Generic Newton polygons for curves of given p-rank

Newton polygons for a variant of the Kloosterman family

The Ekedahl-Oort type of Jacobians of Hermitian curves

Families of Artin-Schreier curves with Cartier-Manin matrix of constant rank

The Automorphism Groups of a Family of Maximal Curves

The a-numbers of Jacobians of Suzuki curves

A survey of Galois theory of curves in characteristic p

Alternating group covers of the affine line

Ekedahl-Oort strata of hyperelliptic curves in characteristic 2

Semi-direct Galois covers of the affine line

The p-rank stratification of Artin-Schreier curves

The p-rank strata of the moduli space of hyperelliptic curves

Wild cyclic-by-tame extensions

Monodromy of the p-rank strata of the moduli space of curves

The p-torsion of curves with large p-rank

Curves of given ppp-rank with trivial automorphism group

A short guide to p-torsion of abelian varieties in characteristic p

The integral monodromy of hyperelliptic and trielliptic curves

Hyperelliptic Curves with Prescribed ppp-Torsion

Wildly ramified covers with large genus

See the researcher in context

Building this map preview

Every $BT_1$ group scheme appears in a Jacobian

On $BT_1$ group schemes and Fermat Jacobians

Curves of given $p$ -rank with trivial automorphism group

Hyperelliptic Curves with Prescribed $p$ -Torsion