Showing 1–50 of 57 results for author: Pries, R

Joint UPF and Edge Applications Placement and Routing in 5G & Beyond

Authors: Endri Goshi, Hasanin Harkous, Shohreh Ahvar, Rastin Pries, Fidan Mehmeti, Wolfgang Kellerer

Abstract: The development of 5G networks has enabled support for a vast number of applications with stringent traffic requirements, both in terms of communication and computation. Furthermore, the proximity of the entities, such as edge servers and User Plane Functions (UPFs) that provide these resources is of paramount importance. However, with the ever-increasing demand from these applications, operators… ▽ More The development of 5G networks has enabled support for a vast number of applications with stringent traffic requirements, both in terms of communication and computation. Furthermore, the proximity of the entities, such as edge servers and User Plane Functions (UPFs) that provide these resources is of paramount importance. However, with the ever-increasing demand from these applications, operators often find their resources insufficient to accommodate all requests. Some of these demands can be forwarded to external entities, not owned by the operator. This introduces a cost, reducing the operator's profit. Hence, to maximize operator's profit, it is important to place the demands optimally in internal or external edge nodes. To this end, we formulate a constrained optimization problem that captures this objective and the inter-play between different parameters, which turns out to be NP-hard. Therefore, we resort to proposing a heuristic algorithm which ranks the demands according to their value to the operator and amount of resources they need. Results show that our approach outperforms the benchmark algorithms, deviating from the optimal solution by only ~3% on average. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Convergence of Manufacturing and Networking in Future Factories

Authors: Ilaria Malanchini, Nicola Michailow, Patrick Agostini, Janne Ali-Tolppa, David Hock, Martin Kasparick, Alessandro Lieto, Nikolaj Marchenko, Alberto Martinez Alba, Rastin Pries, Qiuheng Zhou

Abstract: The roll out of 5G has been mainly characterized by its distinct support for vertical industries, especially manufacturing. Leveraging synergies among these two worlds, namely production facilities and network systems, is a fundamental aspect to enable flexibility and economic viability in future factories. This work highlights the potential for intelligent networking and advanced machine learning… ▽ More The roll out of 5G has been mainly characterized by its distinct support for vertical industries, especially manufacturing. Leveraging synergies among these two worlds, namely production facilities and network systems, is a fundamental aspect to enable flexibility and economic viability in future factories. This work highlights the potential for intelligent networking and advanced machine learning-based solutions in 5G-and-beyond systems in the context of Industry 4.0 and flexible manufacturing. The intersection thereof allows to create versatile machines and dynamic communication networks that can adapt to changes in the manufacturing process, factory layout and communication environment, supporting real-time interaction between humans, machines, and systems. We present a vision and corresponding framework by introducing the network-aware and production-aware principles, outlining results achieved in this context and summarizing them into three key use cases. Finally, we discuss a selection of remaining open challenges in private networks as well as give an outlook on future 6G research directions. △ Less

Submitted 14 December, 2023; originally announced December 2023.

The classifying element for quotients of Fermat curves

Authors: Juanita Duque-Rosero, Rachel Pries

Abstract: Suppose $C$ is a cyclic Galois cover of the projective line branched at the three points $0$, $1$, and $\infty$. Under a mild condition on the ramification, we determine the structure of the graded Lie algebra of the lower central series of the fundamental group of $C$ in terms of a basis which is well-suited to studying the action of the absolute Galois group of $\mathbb{Q}$. Suppose $C$ is a cyclic Galois cover of the projective line branched at the three points $0$, $1$, and $\infty$. Under a mild condition on the ramification, we determine the structure of the graded Lie algebra of the lower central series of the fundamental group of $C$ in terms of a basis which is well-suited to studying the action of the absolute Galois group of $\mathbb{Q}$. △ Less

Submitted 17 April, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: 2 figures

MSC Class: 11D41; 11G32; 14F35; 14H30; 17B70 (primary) 11F06; 11F67; 11G30; 13A50; 14F20 (secondary)

Mass formula for non-ordinary curves in one dimensional families

Authors: Renzo Cavalieri, Rachel Pries

Abstract: This paper is about one dimensional families of cyclic covers of the projective line in positive characteristic. For each such family, we study the mass formula for the number of non-ordinary curves in the family. We prove two equations for the mass formula: the first relies on tautological intersection theory; and the second relies on the $a$-numbers of non-ordinary curves in the family. Our resu… ▽ More This paper is about one dimensional families of cyclic covers of the projective line in positive characteristic. For each such family, we study the mass formula for the number of non-ordinary curves in the family. We prove two equations for the mass formula: the first relies on tautological intersection theory; and the second relies on the $a$-numbers of non-ordinary curves in the family. Our results generalize the Eichler--Deuring mass formula for supersingular elliptic curves; they also generalize some theorems of Ibukiyama, Katsura, and Oort about supersingular curves of genus $2$ that have an automorphism of order $3$ or order $4$. We determine the mass formula in many new cases, including linearized families of hyperelliptic curves of every genus and all families of cyclic covers of the projective line branched at four points. For certain families of curves of genus $3$ to $7$, we determine the exact rate of growth of the number of non-ordinary curves in the family as a linear function of the characteristic $p$. keywords: curve, hyperelliptic curve, cyclic cover, Jacobian, mass formula, cycle class, tautological ring, Hodge bundle, intersection theory, Frobenius, non-ordinary, $p$-rank, $a$-number. △ Less

Submitted 19 January, 2024; v1 submitted 28 August, 2023; originally announced August 2023.

MSC Class: 11G20; 14C17; 14H10; 14H40; 14N35; 11G10; 14G15; 14H37

Some cases of Oort's conjecture about Newton polygons

Authors: Rachel Pries

Abstract: This paper contains a method to prove the existence of smooth curves in positive characteristic whose Jacobians have unusual Newton polygon. Using this method, I give a new proof that there exist supersingular curves of genus $4$ for every prime $p$. More generally, for every prime $p$ and every $g \geq 4$, I prove that every Newton polygon whose $p$-rank is at least $g-4$ occurs for a smooth curv… ▽ More This paper contains a method to prove the existence of smooth curves in positive characteristic whose Jacobians have unusual Newton polygon. Using this method, I give a new proof that there exist supersingular curves of genus $4$ for every prime $p$. More generally, for every prime $p$ and every $g \geq 4$, I prove that every Newton polygon whose $p$-rank is at least $g-4$ occurs for a smooth curve of genus $g$. In addition, I resolve some cases of Oort's conjecture about Newton polygons. △ Less

Submitted 2 July, 2023; v1 submitted 19 June, 2023; originally announced June 2023.

MSC Class: 20: primary 11G10; 11G20; 11M38; 14H10; 14H40; secondary 14G10; 14G15

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

Authors: Anne M. Ho, Rachel Pries

Abstract: 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… ▽ More 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 △ Less

Submitted 18 March, 2022; originally announced March 2022.

MSC Class: 11G20; 11T06; 12F10; 14G15; 14H10; 14H37; 62R01

Counting Rocks! An Introduction to Combinatorics

Authors: Henry Adams, Kelly Emmrich, Maria Gillespie, Shannon Golden, Rachel Pries

Abstract: This textbook, "Counting Rocks!", is the written component of an interactive introduction to combinatorics at the undergraduate level. Throughout the text, we link to videos where we describe the material and provide examples. The major topics in this text are counting problems (Chapters 1-4), proof techniques (Chapter 5), recurrence relations and generating functions (Chapters 6-7), and an intr… ▽ More This textbook, "Counting Rocks!", is the written component of an interactive introduction to combinatorics at the undergraduate level. Throughout the text, we link to videos where we describe the material and provide examples. The major topics in this text are counting problems (Chapters 1-4), proof techniques (Chapter 5), recurrence relations and generating functions (Chapters 6-7), and an introduction to graph theory (Chapters 8-12). The material and the problems we include are standard for an undergraduate combinatorics course. In addition to the linked videos, most chapters contain an investigation section, where students are led through a series of deeper problems on a topic. In several sections, we show students how to use the free, open source computing software SAGE in order to solve problems. We have included many illustrative figures throughout the text, and we end each section and chapter with a list of exercises of varying difficulty. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: 220 pages

MSC Class: 05-00

Data for Shimura varieties intersecting the Torelli locus

Authors: Wanlin Li, Elena Mantovan, Rachel Pries

Abstract: For infinitely many Hurwitz spaces parametrizing cyclic covers of the projective line, we provide a method to determine the integral PEL datum of the Shimura variety that contains the image of the Hurwitz space under the Torelli morphism. For infinitely many Hurwitz spaces parametrizing cyclic covers of the projective line, we provide a method to determine the integral PEL datum of the Shimura variety that contains the image of the Hurwitz space under the Torelli morphism. △ Less

Submitted 5 May, 2021; originally announced May 2021.

Comments: 27 pages

MSC Class: 11G15; 11G18; 11G30; 14G35; 14K10; 11G10; 11R18; 14H10; 14H40; 14K22

Leveraging Machine Learning for Industrial Wireless Communications

Authors: Ilaria Malanchini, Patrick Agostini, Khurshid Alam, Michael Baumgart, Martin Kasparick, Qi Liao, Fabian Lipp, Nikolaj Marchenko, Nicola Michailow, Rastin Pries, Hans Schotten, Slawomir Stanczak, Stanislaw Strzyz

Abstract: Two main trends characterize today's communication landscape and are finding their way into industrial facilities: the rollout of 5G with its distinct support for vertical industries and the increasing success of machine learning (ML). The combination of those two technologies open the doors to many exciting industrial applications and its impact is expected to rapidly increase in the coming years… ▽ More Two main trends characterize today's communication landscape and are finding their way into industrial facilities: the rollout of 5G with its distinct support for vertical industries and the increasing success of machine learning (ML). The combination of those two technologies open the doors to many exciting industrial applications and its impact is expected to rapidly increase in the coming years, given the abundant data growth and the availability of powerful edge computers in production facilities. Unlike most previous work that has considered the application of 5G and ML in industrial environment separately, this paper highlights the potential and synergies that result from combining them. The overall vision presented here generates from the KICK project, a collaboration of several partners from the manufacturing and communication industry as well as research institutes. This unprecedented blend of 5G and ML expertise creates a unique perspective on ML-supported industrial communications and their role in facilitating industrial automation. The paper identifies key open industrial challenges that are grouped into four use cases: wireless connectivity and edge-cloud integration, flexibility in network reconfiguration, dynamicity of heterogeneous network services, and mobility of robots and vehicles. Moreover, the paper provides insights into the advantages of ML-based industrial communications and discusses current challenges of data acquisition in real systems. △ Less

Submitted 5 May, 2021; originally announced May 2021.

Doubly isogenous genus-2 curves with $D_4$-action

Authors: Vishal Arul, Jeremy Booher, Steven R. Groen, Everett W. Howe, Wanlin Li, Vlad Matei, Rachel Pries, Caleb Springer

Abstract: We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C' are curves over a finite field K, with K-rational base points P and P', and let D and D' be the pullbacks (via the Abel-Jacobi map) of the multiplication-by-2 maps on their Jacobians. We say that (C,P) and (C',P') are *doubly isogenous… ▽ More We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C' are curves over a finite field K, with K-rational base points P and P', and let D and D' be the pullbacks (via the Abel-Jacobi map) of the multiplication-by-2 maps on their Jacobians. We say that (C,P) and (C',P') are *doubly isogenous* if Jac(C) and Jac(C') are isogenous over K and Jac(D) and Jac(D') are isogenous over K. For curves of genus 2 whose automorphism groups contain the dihedral group of order eight, we show that the number of pairs of doubly isogenous curves is larger than naive heuristics predict, and we provide an explanation for this phenomenon. △ Less

Submitted 26 January, 2023; v1 submitted 22 February, 2021; originally announced February 2021.

Comments: 34 pages. Introduction updated, minor corrections and clarifications added throughout. Included Magma code as ancillary files

MSC Class: 11G20; 11M38; 14H40; 14K02; 14Q05 (Primary) 11G10; 11Y40; 14H25; 14H30; 14Q25 (Secondary)

Every $BT_1$ group scheme appears in a Jacobian

Authors: Rachel Pries, Douglas Ulmer

Abstract: 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… ▽ More 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. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Comments: 13 pages. This paper is derived from arxiv:2010.15160 which has been divided and streamlined

MSC Class: Primary 11D41; 11G20; 14F40; 14H40; 14L15; Secondary 11G10; 14G17; 14K15; 14H10

On $BT_1$ group schemes and Fermat Jacobians

Authors: Rachel Pries, Douglas Ulmer

Abstract: 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 perm… ▽ More 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. △ Less

Submitted 21 January, 2021; v1 submitted 28 October, 2020; originally announced October 2020.

Comments: v1: 38 pages. v2: Universality result split off as arXiv:2101.07946 and remainder streamlined. 26 pages

MSC Class: 11D41; 11G20; 14F40; 14H40; 14L15 (Primary) 11G10; 14G17; 14K15; 14H10; 14L05 (Secondary)

Realizing Artin-Schreier Covers with Minimal $a$-numbers in Positive Characteristic

Authors: Fiona Abney-McPeek, Hugo Berg, Jeremy Booher, Sun Mee Choi, Viktor Fukala, Miroslav Marinov, Theo Müller, Paweł Narkiewicz, Rachel Pries, Nancy Xu, Andrew Yuan

Abstract: 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 no… ▽ More 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=3$ or $p=5$, for any ordinary curve $X$ and any choice of $B$, we prove that the lower bound is realized for Artin-Schreier covers of $X$ with branch locus $B$. △ Less

Submitted 5 December, 2022; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: parts from PROMYS 2019; typos fixed and numbering-style modified to match journal

MSC Class: 11G20; 11T06; 14D15; 14H40; 15A04

Journal ref: Involve 15 (2022) 559-590

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

Authors: Jeremy Booher, Rachel Pries

Abstract: 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 inva… ▽ More 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. △ Less

Submitted 16 April, 2020; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: 8 pages, comments welcome

MSC Class: 11G20; 11M38; 14D15; 14H30; 14H40

The boundary of the $p$-rank $0$ stratum of the moduli space of cyclic covers of the projective line

Authors: Ekin Ozman, Rachel Pries, Colin Weir

Abstract: We study the $p$-rank stratification of the moduli space of cyclic degree $\ell$ covers of the projective line in characteristic $p$ for distinct primes $p$ and $\ell$. The main result is about the intersection of the $p$-rank $0$ stratum with the boundary of the moduli space of curves. When $\ell=3$ and $p \equiv 2 \bmod 3$ is an odd prime, we prove that there exists a smooth trielliptic curve in… ▽ More We study the $p$-rank stratification of the moduli space of cyclic degree $\ell$ covers of the projective line in characteristic $p$ for distinct primes $p$ and $\ell$. The main result is about the intersection of the $p$-rank $0$ stratum with the boundary of the moduli space of curves. When $\ell=3$ and $p \equiv 2 \bmod 3$ is an odd prime, we prove that there exists a smooth trielliptic curve in characteristic $p$, with every genus $g$, signature type $(r,s)$ and $p$-rank $f$ satisfying the clear necessary conditions. △ Less

Submitted 26 May, 2021; v1 submitted 12 July, 2019; originally announced July 2019.

Comments: 13 pages, revisions made

MSC Class: primary: 11G20; 14D20; 14H10; 14H40; secondary: 11G10; 14H30; 14H37; 14K10

Newton polygon stratification of the Torelli locus in PEL-type Shimura varieties

Authors: Wanlin Li, Elena Mantovan, Rachel Pries, Yunqing Tang

Abstract: 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 c… ▽ More 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 covers of the projective line. Most of these arise in inductive systems which demonstrate unlikely intersections of the open Torelli locus with the Newton polygon stratification in Siegel modular varieties. In addition, for the twenty special PEL-type Shimura varieties found in Moonen's work, we prove that all Newton polygon strata intersect the open Torelli locus (if $p>>0$ in the supersingular cases). △ Less

Submitted 18 August, 2019; v1 submitted 1 November, 2018; originally announced November 2018.

MSC Class: primary 11G18; 11G20; 11M38; 14G10; 14G35; secondary 11G10; 14H10; 14H30; 14H40; 14K10

On Coding for Reliable VNF Chaining in DCNs

Authors: Anna Engelmann, Admela Jukan, Rastin Pries

Abstract: We study how erasure coding can improve service reliability in Data Center Networks (DCN). To this end, we find that coding can be best deployed in systems, where i) traffic is split into multiple parallel sub-flows, ii) each sub-flow is encoded; iii) SFC along with their corresponding Virtual Network Functions (VNF) concatenated are replicated into at least as many VNF instances as there are sub-… ▽ More We study how erasure coding can improve service reliability in Data Center Networks (DCN). To this end, we find that coding can be best deployed in systems, where i) traffic is split into multiple parallel sub-flows, ii) each sub-flow is encoded; iii) SFC along with their corresponding Virtual Network Functions (VNF) concatenated are replicated into at least as many VNF instances as there are sub-flows, resulting in parallel sub- SFCs; and iv) all coded sub-flows are distributed over parallel paths and processed in parallel. We study service reliability as function of the level of parallelization within DCN and the resulting amount of redundancy. Based on the probability theory and by considering failures of path segments, VNF and server failures, we analytically derive the probability that parallel subflows are successfully processed by the parallelized SFC and that the original serial traffic can be successfully recovered without service interruptions.We compare the proposed failure protection with coding and the standard backup protection and evaluate the related overhead of both methods, including decoding, traffic redirection and VNF migration. The results not only show the benefit of our scheme for reliability, but also a reduced overhead required in comparison to backup protection. △ Less

Submitted 29 October, 2018; originally announced October 2018.

The Supersingularity of Hurwitz Curves

Authors: Dean Bisogno, Erin Dawson, Henry Frauenhoff, Michael Lynch, Amethyst Price, Rachel Pries, Seamus Somerstep, Eric Work

Abstract: We study when Hurwitz curves are supersingular. Specifically, we show that the curve $H_{n,\ell}: X^nY^\ell + Y^nZ^\ell + Z^nX^\ell = 0$, with $n$ and $\ell$ relatively prime, is supersingular over the finite field $\mathbb{F}_{p}$ if and only if there exists an integer $i$ such that $p^i \equiv -1 \bmod (n^2 - n\ell + \ell^2)$. If this holds, we prove that it is also true that the curve is maxima… ▽ More We study when Hurwitz curves are supersingular. Specifically, we show that the curve $H_{n,\ell}: X^nY^\ell + Y^nZ^\ell + Z^nX^\ell = 0$, with $n$ and $\ell$ relatively prime, is supersingular over the finite field $\mathbb{F}_{p}$ if and only if there exists an integer $i$ such that $p^i \equiv -1 \bmod (n^2 - n\ell + \ell^2)$. If this holds, we prove that it is also true that the curve is maximal over $\mathbb{F}_{p^{2i}}$. Further, we provide a complete table of supersingular Hurwitz curves of genus less than 5 for characteristic less than 37. △ Less

Submitted 22 July, 2019; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: 15 pages. Accepted to Involve

MSC Class: 11G20; 11M38; 14H37; 14H45; 11E81 (Primary) 11G10; 14H40; 14K15 (Secondary)

Journal ref: Involve 12 (2019) 1293-1306

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

Authors: Rachel Davis, Rachel Pries, Kirsten Wickelgren

Abstract: 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 homo… ▽ More 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}$. △ Less

Submitted 14 February, 2022; v1 submitted 14 August, 2018; originally announced August 2018.

MSC Class: 10: 11D41; 11R18; 13A50; 14F20; 14F35; 14H30

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

Authors: Rachel Davis, Rachel Pries

Abstract: 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… ▽ More 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. △ Less

Submitted 10 February, 2020; v1 submitted 21 June, 2018; originally announced June 2018.

MSC Class: 10: primary 11D41; 11R18; 11R34; 11R37; 11Y40; secondary 13A50; 14F20; 20D15; 20J06; 55S35

Current results on Newton polygons of curves

Authors: Rachel Pries

Abstract: 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… ▽ More 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 ends with a new theorem, in which I prove that questions about the geometry of the Newton polygon and Ekedahl-Oort strata can be reduced to the case of $p$-rank $0$. △ Less

Submitted 12 June, 2018; originally announced June 2018.

Comments: To appear as Chapter 6 of Open problems in Arithmetic Algebraic Geometry

MSC Class: 11M38; 11G10; 11G20; 14H10; 14H40

Newton Polygons Arising for Special Families of Cyclic Covers of the Projective Line

Authors: Wanlin Li, Elena Mantovan, Rachel Pries, Yunqing Tang

Abstract: 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 p… ▽ More 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 certain congruence conditions on $p$, these include: the supersingular Newton polygon for genus $5,6,7$; fourteen new non-supersingular Newton polygons for genus $5-7$; eleven new Ekedahl--Oort types for genus $4-7$ and, for all $g \geq 6$, the Newton polygon with $p$-rank $g-6$ with slopes $1/6$ and $5/6$. △ Less

Submitted 22 December, 2018; v1 submitted 17 May, 2018; originally announced May 2018.

Comments: This is a post-peer-review, pre-copyedit version of an article will appear in Research in Number Theory. The final authenticated version will be available online at: http://dx.doi.org/10.1007/s40993-018-0149-3

MSC Class: 10: primary 11G18; 11G20; 11M38; 14G10; 14G35; secondary 11G10; 14H10; 14H30; 14H40; 14K22

Newton polygons of cyclic covers of the projective line branched at three points

Authors: Wanlin Li, Elena Mantovan, Rachel Pries, Yunqing Tang

Abstract: 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 inclu… ▽ More 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 polygon with $p$-rank $g-5$ having slopes $1/5$ and $4/5$. △ Less

Submitted 18 September, 2018; v1 submitted 11 May, 2018; originally announced May 2018.

Comments: to appear in Research Directions in Number Theory, Women in Numbers IV. arXiv admin note: text overlap with arXiv:1805.06914

MSC Class: 11G20; 11M38; 14G10; 14H40; 14K22 (primary); 11G10; 14H10; 14H30; 14H40 (secondary)

The de Rham cohomology of the Suzuki curves

Authors: Beth Malmskog, Rachel Pries, Colin Weir

Abstract: For a natural number $m$, let $\mathcal{S}_m/\mathbb{F}_2$ be the $m$th Suzuki curve. We study the mod $2$ Dieudonné module of $\mathcal{S}_m$, which gives the equivalent information as the Ekedahl-Oort type or the structure of the $2$-torsion group scheme of its Jacobian. We accomplish this by studying the de Rham cohomology of $\mathcal{S}_m$. For all $m$, we determine the structure of the de Rh… ▽ More For a natural number $m$, let $\mathcal{S}_m/\mathbb{F}_2$ be the $m$th Suzuki curve. We study the mod $2$ Dieudonné module of $\mathcal{S}_m$, which gives the equivalent information as the Ekedahl-Oort type or the structure of the $2$-torsion group scheme of its Jacobian. We accomplish this by studying the de Rham cohomology of $\mathcal{S}_m$. For all $m$, we determine the structure of the de Rham cohomology as a $2$-modular representation of the $m$th Suzuki group and the structure of a submodule of the mod $2$ Dieudonné module. For $m=1$ and $2$, we determine the complete structure of the mod $2$ Dieudonné module. △ Less

Submitted 6 June, 2018; v1 submitted 23 October, 2017; originally announced October 2017.

MSC Class: 11G10; 11G20; 14F40; 14H40; 20C20

Non-ordinary curves with a Prym variety of low $p$-rank

Authors: Turku Ozlum Celik, Yara Elias, Burcin Gunes, Rachel Newton, Ekin Ozman, Rachel Pries, Lara Thomas

Abstract: If $π: Y \to X$ is an unramified double cover of a smooth curve of genus $g$, then the Prym variety $P_π$ is a principally polarized abelian variety of dimension $g-1$. When $X$ is defined over an algebraically closed field $k$ of characteristic $p$, it is not known in general which $p$-ranks can occur for $P_π$ under restrictions on the $p$-rank of $X$. In this paper, when $X$ is a non-hyperellip… ▽ More If $π: Y \to X$ is an unramified double cover of a smooth curve of genus $g$, then the Prym variety $P_π$ is a principally polarized abelian variety of dimension $g-1$. When $X$ is defined over an algebraically closed field $k$ of characteristic $p$, it is not known in general which $p$-ranks can occur for $P_π$ under restrictions on the $p$-rank of $X$. In this paper, when $X$ is a non-hyperelliptic curve of genus $g=3$, we analyze the relationship between the Hasse-Witt matrices of $X$ and $P_π$. As an application, when $p \equiv 5 \bmod 6$, we prove that there exists a curve $X$ of genus $3$ and $p$-rank $f=3$ having an unramified double cover $π:Y \to X$ for which $P_π$ has $p$-rank $0$ (and is thus supersingular); for $3 \leq p \leq 19$, we verify the same for each $0 \leq f \leq 3$. Using theoretical results about $p$-rank stratifications of moduli spaces, we prove, for small $p$ and arbitrary $g \geq 3$, that there exists an unramified double cover $π: Y \to X$ such that both $X$ and $P_π$ have small $p$-rank. △ Less

Submitted 11 August, 2017; originally announced August 2017.

MSC Class: 11G20; 14H10; 14H40; 14K15; 14Q05

Balancing the Migration of Virtual Network Functions with Replications in Data Centers

Authors: Francisco Carpio, Admela Jukan, Rastin Pries

Abstract: The Network Function Virtualization (NFV) paradigm is enabling flexibility, programmability and implementation of traditional network functions into generic hardware, in form of the so-called Virtual Network Functions (VNFs). Today, cloud service providers use Virtual Machines (VMs) for the instantiation of VNFs in the data center (DC) networks. To instantiate multiple VNFs in a typical scenario o… ▽ More The Network Function Virtualization (NFV) paradigm is enabling flexibility, programmability and implementation of traditional network functions into generic hardware, in form of the so-called Virtual Network Functions (VNFs). Today, cloud service providers use Virtual Machines (VMs) for the instantiation of VNFs in the data center (DC) networks. To instantiate multiple VNFs in a typical scenario of Service Function Chains (SFCs), many important objectives need to be met simultaneously, such as server load balancing, energy efficiency and service execution time. The well-known \emph{VNF placement} problem requires solutions that often consider \emph{migration} of virtual machines (VMs) to meet this objectives. Ongoing efforts, for instance, are making a strong case for migrations to minimize energy consumption, while showing that attention needs to be paid to the Quality of Service (QoS) due to service interruptions caused by migrations. To balance the server allocation strategies and QoS, we propose using \emph{replications} of VNFs to reduce migrations in DC networks. We propose a Linear Programming (LP) model to study a trade-off between replications, which while beneficial to QoS require additional server resources, and migrations, which while beneficial to server load management can adversely impact the QoS. The results show that, for a given objective, the replications can reduce the number of migrations and can also enable a better server and data center network load balancing. △ Less

Submitted 28 September, 2017; v1 submitted 16 May, 2017; originally announced May 2017.

Fully maximal and fully minimal abelian varieties

Authors: Valentijn Karemaker, Rachel Pries

Abstract: We introduce and study a new way to catagorize supersingular abelian varieties defined over a finite field by classifying them as fully maximal, mixed, or fully minimal. The type of $A$ depends on the normalized Weil numbers of $A$ and its twists. We analyze these types for supersingular abelian varieties and curves under conditions on the automorphism group. In particular, we present a complete a… ▽ More We introduce and study a new way to catagorize supersingular abelian varieties defined over a finite field by classifying them as fully maximal, mixed, or fully minimal. The type of $A$ depends on the normalized Weil numbers of $A$ and its twists. We analyze these types for supersingular abelian varieties and curves under conditions on the automorphism group. In particular, we present a complete analysis of these properties for supersingular elliptic curves and supersingular abelian surfaces in arbitrary characteristic, and for a one-dimensional family of supersingular curves of genus $3$ in characteristic $2$. △ Less

Submitted 2 November, 2017; v1 submitted 29 March, 2017; originally announced March 2017.

Comments: 26 pages

MSC Class: 11G10; 11G20; 11M38; 14H37; 14H45 (primary) 11G25; 14G15; 14H40; 14K10; 14K15 (secondary)

Reduction of dynatomic curves

Authors: John R. Doyle, Holly Krieger, Andrew Obus, Rachel Pries, Simon Rubinstein-Salzedo, Lloyd W. West

Abstract: The dynatomic modular curves parametrize polynomial maps together with a point of period $n$. It is known that the dynatomic curves $Y_1(n)$ are smooth and irreducible in characteristic 0 for families of polynomial maps of the form $f_c(z) = z^m +c$ where $m\geq 2$. In the present paper, we build on the work of Morton to partially characterize the primes $p$ for which the reduction modulo $p$ of… ▽ More The dynatomic modular curves parametrize polynomial maps together with a point of period $n$. It is known that the dynatomic curves $Y_1(n)$ are smooth and irreducible in characteristic 0 for families of polynomial maps of the form $f_c(z) = z^m +c$ where $m\geq 2$. In the present paper, we build on the work of Morton to partially characterize the primes $p$ for which the reduction modulo $p$ of $Y_1(n)$ remains smooth and/or irreducible. As an application, we give new examples of good reduction of $Y_1(n)$ for several primes dividing the ramification discriminant when $n=7,8,11$. The proofs involve arithmetic and complex dynamics, reduction theory for curves, ramification theory, and the combinatorics of the Mandelbrot set. △ Less

Submitted 28 March, 2017; v1 submitted 12 March, 2017; originally announced March 2017.

Comments: 47 pages, 2 figures; fixed typos and added some data to Appendix A

MSC Class: 37F45; 37P05; 37P35; 37P45; 11G20; 11S15; 14H30

Journal ref: Ergod. Th. Dynam. Sys. 39 (2019) 2717-2768

The Galois action and cohomology of a relative homology group of Fermat Curves

Authors: Rachel Davis, Rachel Pries, Vesna Stojanoska, Kirsten Wickelgren

Abstract: For an odd prime $p$ satisfying Vandiver's conjecture, we give explicit formulae for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_p)}$ on the homology of the degree $p$ Fermat curve, building on work of Anderson. Further, we study the invariants and the first Galois cohomology group which are associated with obstructions to rational points on the Fermat curve. For an odd prime $p$ satisfying Vandiver's conjecture, we give explicit formulae for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_p)}$ on the homology of the degree $p$ Fermat curve, building on work of Anderson. Further, we study the invariants and the first Galois cohomology group which are associated with obstructions to rational points on the Fermat curve. △ Less

Submitted 14 February, 2018; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: Minor improvements based on referee report

MSC Class: 11D41; 11R18; 11R34; 14F35; 14G25; 55S35

Explicit arithmetic of Jacobians of generalized Legendre curves over global function fields

Authors: Lisa Berger, Chris Hall, René Pannekoek, Jennifer Park, Rachel Pries, Shahed Sharif, Alice Silverberg, Douglas Ulmer

Abstract: We study the Jacobian $J$ of the smooth projective curve $C$ of genus $r-1$ with affine model $y^r = x^{r-1}(x + 1)(x + t)$ over the function field $\mathbb{F}_p(t)$, when $p$ is prime and $r\ge 2$ is an integer prime to $p$. When $q$ is a power of $p$ and $d$ is a positive integer, we compute the $L$-function of $J$ over $\mathbb{F}_q(t^{1/d})$ and show that the Birch and Swinnerton-Dyer conjectu… ▽ More We study the Jacobian $J$ of the smooth projective curve $C$ of genus $r-1$ with affine model $y^r = x^{r-1}(x + 1)(x + t)$ over the function field $\mathbb{F}_p(t)$, when $p$ is prime and $r\ge 2$ is an integer prime to $p$. When $q$ is a power of $p$ and $d$ is a positive integer, we compute the $L$-function of $J$ over $\mathbb{F}_q(t^{1/d})$ and show that the Birch and Swinnerton-Dyer conjecture holds for $J$ over $\mathbb{F}_q(t^{1/d})$. When $d$ is divisible by $r$ and of the form $p^ν+1$, and $K_d := \mathbb{F}_p(μ_d,t^{1/d})$, we write down explicit points in $J(K_d)$, show that they generate a subgroup $V$ of rank $(r-1)(d-2)$ whose index in $J(K_d)$ is finite and a power of $p$, and show that the order of the Tate-Shafarevich group of $J$ over $K_d$ is $[J(K_d):V]^2$. When $r>2$, we prove that the "new" part of $J$ is isogenous over $\overline{\mathbb{F}_p(t)}$ to the square of a simple abelian variety of dimension $φ(r)/2$ with endomorphism algebra $\mathbb{Z}[μ_r]^+$. For a prime $\ell$ with $\ell \nmid pr$, we prove that $J[\ell](L)=\{0\}$ for any abelian extension $L$ of $\overline{\mathbb{F}}_p(t)$. △ Less

Submitted 11 May, 2017; v1 submitted 30 April, 2015; originally announced May 2015.

Comments: v1: vi+121 pages. v2: numerous improvements following referee's report. vi+131 pages

MSC Class: 11G10; 11G30 (primary); 11G40; 14G05; 14G25; 14K15 (secondary)

Ordinary and almost ordinary Prym varieties

Authors: Ekin Ozman, Rachel Pries

Abstract: We study the $p$-rank stratification of the moduli space of Prym varieties in characteristic $p > 0$. For arbitrary primes $p$ and $\ell$ with $\ell \not = p$ and integers $g \geq 3$ and $0 \leq f \leq g$, the first theorem generalizes a result of Nakajima by proving that the Prym varieties of all the unramified ${\mathbb Z}/\ell$-covers of a generic curve $X$ of genus $g$ and $p$-rank $f$ are ord… ▽ More We study the $p$-rank stratification of the moduli space of Prym varieties in characteristic $p > 0$. For arbitrary primes $p$ and $\ell$ with $\ell \not = p$ and integers $g \geq 3$ and $0 \leq f \leq g$, the first theorem generalizes a result of Nakajima by proving that the Prym varieties of all the unramified ${\mathbb Z}/\ell$-covers of a generic curve $X$ of genus $g$ and $p$-rank $f$ are ordinary. Furthermore, when $p \geq 5$ and $\ell = 2$, the second theorem implies that there exists a curve of genus $g$ and $p$-rank $f$ having an unramified double cover whose Prym has $p$-rank $f'$ for each $\frac{g}{2}-1 \leq f' \leq g-2$; (these Pryms are not ordinary). Using work of Raynaud, we use these two theorems to prove results about the (non)-intersection of the $\ell$-torsion group scheme with the theta divisor of the Jacobian of a generic curve $X$ of genus $g$ and $p$-rank $f$. △ Less

Submitted 28 April, 2017; v1 submitted 20 February, 2015; originally announced February 2015.

Comments: Strengthened results, editorial improvements

MSC Class: 11G10; 14H10; 14H30; 14H40; 14K25; 11G20; 11M38; 14H42; 14K10; 14K15

Galois action on the homology of Fermat curves

Authors: Rachel Davis, Rachel Pries, Vesna Stojanoska, Kirsten Wickelgren

Abstract: 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 grou… ▽ More 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. △ Less

Submitted 3 April, 2015; v1 submitted 18 November, 2014; originally announced November 2014.

MSC Class: 11D41; 11R18; 11R34; 14F35; 14G25; 55S35

Abhyankar's conjectures in Galois theory: Current status and future directions

Authors: David Harbater, Andrew Obus, Rachel Pries, Katherine Stevenson

Abstract: In this paper, we survey the major contributions of Abhyankar to the development of the theory of fundamental groups and Galois covers in positive characteristic. We first discuss the current status of four conjectures of Abhyankar about Galois covers in positive characteristic. Then we discuss research directions inspired by Abhyankar's work, including many open problems. In this paper, we survey the major contributions of Abhyankar to the development of the theory of fundamental groups and Galois covers in positive characteristic. We first discuss the current status of four conjectures of Abhyankar about Galois covers in positive characteristic. Then we discuss research directions inspired by Abhyankar's work, including many open problems. △ Less

Submitted 16 July, 2017; v1 submitted 5 August, 2014; originally announced August 2014.

Comments: Final version, 47 pp. To appear in Bull. Amer. Math. Soc

MSC Class: 11-02; 14-02; 11G20; 12F12; 14G17; 14H30; 14H37; 14J50

Journal ref: Bull. Amer. Math. Soc. 55 (2018), 239--287

Superspecial rank of supersingular abelian varieties and Jacobians

Authors: Jeff Achter, Rachel Pries

Abstract: 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 i… ▽ More 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. △ Less

Submitted 18 October, 2015; v1 submitted 28 February, 2014; originally announced March 2014.

Comments: V2: New coauthor, major rewrite

MSC Class: 11G10; 11G20; 14F40; 14H40; 14L15

Generic Newton polygons for curves of given p-rank

Authors: Jeff Achter, Rachel Pries

Abstract: 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… ▽ More 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$. △ Less

Submitted 4 December, 2013; v1 submitted 22 November, 2013; originally announced November 2013.

Comments: 16 pages, to appear in Algebraic Curves and Finite Fields: Codes, Cryptography, and other emergent applications, edited by H. Niederreiter, A. Ostafe, D. Panario, and A. Winterhof

MSC Class: 11G20; 11M38; 14H10; 14H40; 14L05; 11G10

Journal ref: Radon Ser. Comput. Appl. Math., 16, 2014, pp. 1-21

Arithmetic of abelian varieties in Artin-Schreier extensions

Authors: Rachel Pries, Douglas Ulmer

Abstract: 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… ▽ More 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. △ Less

Submitted 5 January, 2015; v1 submitted 22 May, 2013; originally announced May 2013.

Comments: 43 pages. v3: several changes in response to referee's report. To appear in the Transactions of the AMS

MSC Class: 11G10; 11G40; 14G05 (Primary); 11G05; 11G30; 14H25; 14J20; 14K15 (Secondary)

The Ekedahl-Oort type of Jacobians of Hermitian curves

Authors: Rachel Pries, Colin Weir

Abstract: 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 Vershi… ▽ More 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. △ Less

Submitted 22 November, 2013; v1 submitted 25 February, 2013; originally announced February 2013.

Comments: 22 pages

MSC Class: 11G20; 14G50; 14H40

Newton polygons for a variant of the Kloosterman family

Authors: Rebecca Bellovin, Sharon Anne Garthwaite, Ekin Ozman, Rachel Pries, Cassandra Williams, Hui June Zhu

Abstract: 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… ▽ More 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. △ Less

Submitted 26 February, 2013; v1 submitted 9 October, 2012; originally announced October 2012.

Comments: 18 pages, Accepted for publication in the Women In Numbers 2 conference proceedings

MSC Class: 11T24

Journal ref: Contemp. Math., 606, 2013, pp. 47-63

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

Authors: Shawn Farnell, Rachel Pries

Abstract: 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… ▽ More 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. △ Less

Submitted 19 February, 2012; originally announced February 2012.

Comments: 11 pages, 1 figure

MSC Class: 15A04; 15B33; 11G20; 14H40

Journal ref: Linear Algebra Appl. 439 (2013), no. 7, 2158-2166

The a-numbers of Jacobians of Suzuki curves

Authors: Holley Friedlander, Derek Garton, Beth Malmskog, Rachel Pries, Colin Weir

Abstract: 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… ▽ More 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)$. △ Less

Submitted 31 October, 2011; originally announced October 2011.

Comments: Keywords: Suzuki curve, maximal curve, Jacobian, p-torsion, a-number

MSC Class: 11G20; 14G50; 14H40

Journal ref: Proc. Amer. Math. Soc. 141 (2013), 3019-3028

The Automorphism Groups of a Family of Maximal Curves

Authors: Robert Guralnick, Beth Malmskog, Rachel Pries

Abstract: 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 int… ▽ More 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. △ Less

Submitted 10 April, 2012; v1 submitted 19 May, 2011; originally announced May 2011.

MSC Class: 11G20; 14H37

Journal ref: J. Algebra 361 (2012), 92-106

Ekedahl-Oort strata of hyperelliptic curves in characteristic 2

Authors: Arsen Elkin, Rachel Pries

Abstract: 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 int… ▽ More 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. △ Less

Submitted 7 July, 2010; originally announced July 2010.

MSC Class: 11G10; 11G20; 14F40; 14H40; 14K15; 14L15

Journal ref: Algebra Number Theory 7 (2013), no. 3, 507-532

A survey of Galois theory of curves in characteristic p

Authors: Rachel Pries, Katherine Stevenson

Abstract: 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 t… ▽ More 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. △ Less

Submitted 13 April, 2010; originally announced April 2010.

Comments: 17 pages. Submitted to Fields Communication Volume WIN: Women in Numbers.

MSC Class: 14H30; 11G20; 14H40

Journal ref: WIN-women in numbers, (2011) 169-191, 60

Semi-direct Galois covers of the affine line

Authors: Linda Gruendken, Laura Hall-Seelig, Bo-Hae Im, Ekin Ozman, Rachel Pries, Katherine Stevenson

Abstract: 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… ▽ More 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$. △ Less

Submitted 12 February, 2010; v1 submitted 25 October, 2009; originally announced October 2009.

Comments: minor changes in the context

Journal ref: Fields Inst. Commun., 60, 2011, pp. 201-210

Alternating group covers of the affine line

Authors: Jeremy Muskat, Rachel Pries

Abstract: 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 fin… ▽ More 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. △ Less

Submitted 9 April, 2010; v1 submitted 14 August, 2009; originally announced August 2009.

Comments: Minor revisions, to appear in Israel Journal of Mathematics.

MSC Class: 11G20; 12F12

Journal ref: Israel J. Math. 187 (2012), 117-139

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

Authors: Jeff Achter, Rachel Pries

Abstract: 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… ▽ More 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. △ Less

Submitted 18 December, 2009; v1 submitted 26 February, 2009; originally announced February 2009.

Comments: Slight reorganization, improved results for p-rank zero locus

MSC Class: 14H10; 11G20; 14D05

Journal ref: Adv. Math. 227 (2011), no. 5, 1846-1872

Wild cyclic-by-tame extensions

Authors: Andrew Obus, Rachel Pries

Abstract: 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… ▽ More 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. △ Less

Submitted 3 March, 2009; v1 submitted 30 July, 2008; originally announced July 2008.

Comments: 15 pages, section 6.2 eliminated, major simplifications in former Proposition 4.3 (now Proposition 4.2), corrections in former Proposition 4.4 (now Proposition 4.3), many small changes in notations and language

MSC Class: 11S15; 14H30

Journal ref: J. Pure Appl. Algebra 214 (2010), pp. 565--573

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

Authors: Jeff Achter, Darren Glass, Rachel Pries

Abstract: 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. Th… ▽ More 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. △ Less

Submitted 16 August, 2007; originally announced August 2007.

Comments: 10 pages

Journal ref: Michigan Math. J. 56 (2008), no. 3, 583-592

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

Authors: Jeff Achter, Rachel Pries

Abstract: 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, a… ▽ More 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. △ Less

Submitted 28 May, 2008; v1 submitted 13 July, 2007; originally announced July 2007.

MSC Class: 11G18; 11G20; 14D05

Journal ref: Int. Math. Res. Not. IMRN 2008, no. 15, Art. ID rnn053

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

Authors: Rachel Pries

Abstract: 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 dim… ▽ More 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. △ Less

Submitted 22 September, 2006; originally announced September 2006.

MSC Class: 11G10; 14K10

Journal ref: Contemp. Math., 463, 2008, pp. 121-129