-
Tschirnhausen Bundles of Quintic Covers of $\mathbb{P}^1$
Authors:
Sam Frengley,
Sameera Vemulapalli
Abstract:
A degree $d$ genus $g$ cover of the complex projective line by a smooth irreducible curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. We classify the bundles that arise this way when $d = 5$. Equivalently, we classify which $\mathbb{P}^3$-bundles over $\mathbb{P}^1$ contain smooth irreducible degree $5$ covers of $\mathbb{P}^1$. Our main contribution is…
▽ More
A degree $d$ genus $g$ cover of the complex projective line by a smooth irreducible curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. We classify the bundles that arise this way when $d = 5$. Equivalently, we classify which $\mathbb{P}^3$-bundles over $\mathbb{P}^1$ contain smooth irreducible degree $5$ covers of $\mathbb{P}^1$. Our main contribution is proving the existence of smooth covers whose structure sheaf has the desired pushforward. We do this by showing that the substack of singular curves has positive codimension in the moduli stack of finite flat covers with desired pushforward. To compute the dimension of the space of singular curves, we prove a (relative) ``minimization theorem'', which is the geometric analogue of Bhargava's sieving argument when computing the densities of discriminants of quintic number fields.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
Unit lattices of $D_4$-quartic number fields with signature $(2,1)$
Authors:
Sergio Ricardo Zapata Ceballos,
Sara Chari,
Erik Holmes,
Fatemeh Jalalvand,
Rahinatou Yuh Njah Nchiwo,
Kelly O'Connor,
Fabian Ramirez,
Sameera Vemulapalli
Abstract:
There has been a recent surge of interest on distributions of shapes of unit lattices in number fields, due to both their applications to number theory and the lack of known results.
In this work we focus on $D_4$-quartic fields with signature $(2,1)$; such fields have a rank $2$ unit group. Viewing the unit lattice as a point of $GL_2(\mathbb{Z})\backslash \mathfrak{h}$, we prove that every lat…
▽ More
There has been a recent surge of interest on distributions of shapes of unit lattices in number fields, due to both their applications to number theory and the lack of known results.
In this work we focus on $D_4$-quartic fields with signature $(2,1)$; such fields have a rank $2$ unit group. Viewing the unit lattice as a point of $GL_2(\mathbb{Z})\backslash \mathfrak{h}$, we prove that every lattice which arises this way must correspond to a transcendental point on the boundary of a certain fundamental domain of $GL_2(\mathbb{Z})\backslash \mathfrak{h}$. Moreover, we produce three explicit (algebraic) points of $GL_2(\mathbb{Z})\backslash \mathfrak{h}$ which are limit points of the set of (points associated to) unit lattices of $D_4$-quartic fields with signature $(2,1)$.
△ Less
Submitted 8 July, 2025;
originally announced July 2025.
-
Galois groups of simple abelian varieties over finite fields and exceptional Tate classes
Authors:
Santiago Arango-Piñeros,
Sam Frengley,
Sameera Vemulapalli
Abstract:
We prove new cases of the Tate conjecture for abelian varieties over finite fields, extending previous results of Dupuy--Kedlaya--Zureick-Brown, Lenstra--Zarhin, Tankeev, and Zarhin. Notably, our methods allow us to prove the Tate conjecture in cases when the angle rank is non-maximal.
Our primary tool is a precise combinatorial condition which, given a geometrically simple abelian variety…
▽ More
We prove new cases of the Tate conjecture for abelian varieties over finite fields, extending previous results of Dupuy--Kedlaya--Zureick-Brown, Lenstra--Zarhin, Tankeev, and Zarhin. Notably, our methods allow us to prove the Tate conjecture in cases when the angle rank is non-maximal.
Our primary tool is a precise combinatorial condition which, given a geometrically simple abelian variety $A/\mathbf{F}_q$ with commutative endomorphism algebra, describes whether $A$ has exceptional classes (i.e., $\mathrm{Gal}( \bar{\mathbf{F}}_q/\mathbf{F}_q)$-invariant classes in $H_{\text{ét}}^{2r}(A_{\bar{\mathbf{F}}_q}, \mathbf{Q}_\ell(r))$ not contained in the span of classes of intersections of divisors). The criterion depends only on the Galois group of the minimal polynomial of Frobenius and its action on the Newton polygon of $A$.
Our tools provide substantial control over the isogeny invariants of $A$, allowing us to prove a number of new results. Firstly, we provide an algorithm which, given a Newton polygon and CM field, determines if they arise from a geometrically simple abelian variety $A/\mathbf{F}_q$ and, if so, outputs one such $A$. As a consequence we show that every CM field occurs as the center of the endomorphism algebra of an abelian variety $A/\mathbf{F}_q$. Secondly, we refine a result of Tankeev and Dupuy--Kedlaya--Zureick-Brown on angle ranks of abelian varieties. In particular, we show that ordinary geometrically simple varieties of prime dimension have maximal angle rank.
△ Less
Submitted 14 May, 2025;
originally announced May 2025.
-
Shapes of unit lattices in $D_p$-number fields
Authors:
Robert Harron,
Erik Holmes,
Sameera Vemulapalli
Abstract:
The unit group of the ring of integers of a number field, modulo torsion, is a lattice via the logarithmic Minkowski embedding. We examine the shape of this lattice, which we call the unit shape, within the family of prime degree $p$ number fields whose Galois closure has dihedral Galois group $D_p$ and a unique real embedding. In the case $p = 5$, we prove that the unit shapes lie on a single hyp…
▽ More
The unit group of the ring of integers of a number field, modulo torsion, is a lattice via the logarithmic Minkowski embedding. We examine the shape of this lattice, which we call the unit shape, within the family of prime degree $p$ number fields whose Galois closure has dihedral Galois group $D_p$ and a unique real embedding. In the case $p = 5$, we prove that the unit shapes lie on a single hypercycle on the modular surface (in this case, the modular surface is the space of shapes of rank $2$ lattices). For general $p$, we show that the unit shapes are contained in a finite union of translates of periodic torus orbits in the space of shapes.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Galois groups of low dimensional abelian varieties over finite fields
Authors:
Santiago Arango-Piñeros,
Sam Frengley,
Sameera Vemulapalli
Abstract:
We consider three isogeny invariants of abelian varieties over finite fields: the Galois group, Newton polygon, and the angle rank. Motivated by work of Dupuy, Kedlaya, and Zureick-Brown, we define a new invariant called the weighted permutation representation which encompasses all three of these invariants and use it to study the subtle relationships between them. We use this permutation represen…
▽ More
We consider three isogeny invariants of abelian varieties over finite fields: the Galois group, Newton polygon, and the angle rank. Motivated by work of Dupuy, Kedlaya, and Zureick-Brown, we define a new invariant called the weighted permutation representation which encompasses all three of these invariants and use it to study the subtle relationships between them. We use this permutation representation to classify the triples of invariants that occur for abelian surfaces and simple abelian threefolds.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
Tschirnhausen bundles of covers of the projective line
Authors:
Ravi Vakil,
Sameera Vemulapalli
Abstract:
A degree $d$ genus $g$ cover of the complex projective line by a smooth curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. Which bundles are possible? Equivalently, which $\mathbb{P}^{d-2}$-bundles over $\mathbb{P}^1$ contain such covers? (In the language of many previous papers: what are the scrollar invariants of the cover?)
We give a complete answer…
▽ More
A degree $d$ genus $g$ cover of the complex projective line by a smooth curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. Which bundles are possible? Equivalently, which $\mathbb{P}^{d-2}$-bundles over $\mathbb{P}^1$ contain such covers? (In the language of many previous papers: what are the scrollar invariants of the cover?)
We give a complete answer in degree $4$, which exhibits the expected pathologies. We describe a polytope (one per degree) which we propose gives the complete answer for primitive covers, i.e. covers that don't factor through a subcover. We show that all such bundles (for primitive covers) lie in this polytope, and that a ``positive proportion'' of the polytope arises from smooth covers. Moreover, we show the necessity of the primitivity assumption. Finally, we show that the map from the Hurwitz space of smooth covers to the space of bundles is not flat (for $d>3$ and $g \gg_d 0$).
△ Less
Submitted 22 January, 2025; v1 submitted 29 October, 2024;
originally announced October 2024.
-
Brill--Noether theory of smooth curves in the plane and on Hirzebruch surfaces
Authors:
Hannah Larson,
Sameera Vemulapalli
Abstract:
In this paper, we describe the Brill--Noether theory of a general smooth plane curve and a general curve $C$ on a Hirzebruch surface of fixed class. It is natural to study the line bundles on such curves according to the splitting type of their pushforward along projection maps $C \to \mathbb{P}^1$. Inspired by Wood's parameterization of ideal classes in rings associated to binary forms, we furthe…
▽ More
In this paper, we describe the Brill--Noether theory of a general smooth plane curve and a general curve $C$ on a Hirzebruch surface of fixed class. It is natural to study the line bundles on such curves according to the splitting type of their pushforward along projection maps $C \to \mathbb{P}^1$. Inspired by Wood's parameterization of ideal classes in rings associated to binary forms, we further refine the stratification of line bundles $L$ on $C$ by fixing the splitting types of both $L$ and $L(Δ)$, where $Δ\subset C$ is the intersection of $C$ with the directrix of the Hirzebruch surface. Our main theorem determines the dimensions of these locally closed strata and, if the characteristic of the ground field is zero, proves that they are smooth.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
The Steinitz Realization Problem
Authors:
Sameera Vemulapalli
Abstract:
Let $K$ be a number field and let $n \in \mathbb{Z}_{>1}$. The Steinitz realization problem asks: does every element of the ideal class group of $K$ occur as the Steinitz class of a degree $n$ extension of $K$? In this article, we give an affirmative answer to the Steinitz realization problem for all $n$ and $K$.
Let $K$ be a number field and let $n \in \mathbb{Z}_{>1}$. The Steinitz realization problem asks: does every element of the ideal class group of $K$ occur as the Steinitz class of a degree $n$ extension of $K$? In this article, we give an affirmative answer to the Steinitz realization problem for all $n$ and $K$.
△ Less
Submitted 6 November, 2024; v1 submitted 12 June, 2024;
originally announced June 2024.
-
The distribution of lattices arising from orders in low degree number fields
Authors:
Sameera Vemulapalli
Abstract:
Orders in number fields provide natural examples of lattices. We ask: what can the successive minima of lattices arising from orders in number fields be? Given an order $\mathcal{O}$ of absolute discriminant $Δ$ in a degree $n$ number field, let $1=λ_0,\dots,λ_{n-1}$ denote the successive minima. For $3 \leq n \leq 5$ and many groups $G \subseteq S_n$, we compute asymptotics of the points…
▽ More
Orders in number fields provide natural examples of lattices. We ask: what can the successive minima of lattices arising from orders in number fields be? Given an order $\mathcal{O}$ of absolute discriminant $Δ$ in a degree $n$ number field, let $1=λ_0,\dots,λ_{n-1}$ denote the successive minima. For $3 \leq n \leq 5$ and many groups $G \subseteq S_n$, we compute asymptotics of the points $(\log_{ Δ}λ_{1},\dots,\log_{ Δ}λ_{n-1}) \in \mathbb{R}^{n-1}$ as $\mathcal{O}$ ranges across orders in degree $n$ fields with Galois group $G$ as $Δ\rightarrow \infty$. In many cases, we find that the asymptotics, normalized appropriately, are given by a piecewise linear expression and are supported on a finite union of polytopes.
△ Less
Submitted 7 July, 2025; v1 submitted 29 April, 2024;
originally announced April 2024.
-
Bounds on Successive Minima of Orders in Number Fields and Scrollar Invariants of Curves
Authors:
Sameera Vemulapalli
Abstract:
Orders and fractional ideals in number fields provide interesting examples of lattices. We ask: what lattices arise from orders in number fields? We prove that all nontrivial multiplicative constraints on successive minima of orders come from multiplication. Moreover, inspired by a conjecture of Lenstra, for infinitely many positive integers $n$ (including all $n < 18$), we explicitly determine al…
▽ More
Orders and fractional ideals in number fields provide interesting examples of lattices. We ask: what lattices arise from orders in number fields? We prove that all nontrivial multiplicative constraints on successive minima of orders come from multiplication. Moreover, inspired by a conjecture of Lenstra, for infinitely many positive integers $n$ (including all $n < 18$), we explicitly determine all multiplicative constraints on successive minima of orders in degree $n$ number fields. We also prove analogous results for scrollar invariants of curves.
△ Less
Submitted 7 July, 2025; v1 submitted 21 July, 2022;
originally announced July 2022.
-
Sumsets of sequences in abelian groups and flags in field extensions
Authors:
Sameera Vemulapalli
Abstract:
For a finite abelian group $G$ with subsets $A$ and $B$, the sumset $AB$ is $\{ab \mid a\in A, b \in B\}$. A fundamental problem in additive combinatorics is to find a lower bound for the cardinality of $AB$ in terms of the cardinalities of $A$ and $B$. This article addresses the analogous problem for sequences in abelian groups and flags in field extensions. For a positive integer $n$, let $[n]$…
▽ More
For a finite abelian group $G$ with subsets $A$ and $B$, the sumset $AB$ is $\{ab \mid a\in A, b \in B\}$. A fundamental problem in additive combinatorics is to find a lower bound for the cardinality of $AB$ in terms of the cardinalities of $A$ and $B$. This article addresses the analogous problem for sequences in abelian groups and flags in field extensions. For a positive integer $n$, let $[n]$ denote the set $\{0,\dots,n-1\}$. To a finite abelian group $G$ of cardinality $n$ and an ordering $G = \{1=v_0,\dots,v_{n-1}\}$, associate the function $T \colon [n] \times [n] \rightarrow [n]$ defined by \[
T(i,j) = \min\big\{k \in [n] \mid \{v_0,\dots,v_i\}\{v_0,\dots,v_j\} \subseteq \{v_0,\dots,v_k\}\big\}. \] Under the natural partial ordering, what functions $T$ are minimal as $\{1=v_0,\dots,v_{n-1}\}$ ranges across orderings of finite abelian groups of cardinality $n$? We also ask the analogous question for degree $n$ field extensions.
We explicitly classify all minimal $T$ when $n < 18$, $n$ is a prime power, or $n$ is a product of $2$ distinct primes. When $n$ is not as above, we explicitly construct orderings of abelian groups whose associated function $T$ is not contained in the above classification. We also associate to orderings a polyhedron encoding the data of $T$.
△ Less
Submitted 21 July, 2022;
originally announced July 2022.
-
On intersections of symmetric determinantal varieties and theta characteristics of canonical curves
Authors:
Avinash Kulkarni,
Sameera Vemulapalli
Abstract:
From a block-diagonal $(n+1) \times (m+1) \times (m+1)$ tensor symmetric in the last two entries one obtains two varieties: an intersection of symmetric determinantal hypersurfaces $X$ in $n$-dimensional projective space, and an intersection of quadrics $\mathfrak{C}$ in $m$-dimensional projective space. Under mild technical assumptions, we characterize the accidental singularities of $X$ in terms…
▽ More
From a block-diagonal $(n+1) \times (m+1) \times (m+1)$ tensor symmetric in the last two entries one obtains two varieties: an intersection of symmetric determinantal hypersurfaces $X$ in $n$-dimensional projective space, and an intersection of quadrics $\mathfrak{C}$ in $m$-dimensional projective space. Under mild technical assumptions, we characterize the accidental singularities of $X$ in terms of $\mathfrak{C}$. We apply our methods to algebraic curves and show how to construct theta characteristics of certain canonical curves of genera 3, 4, and 5, generalizing a classical construction of Cayley.
△ Less
Submitted 17 September, 2021;
originally announced September 2021.
-
Computing Unit Groups of Curves
Authors:
Justin Chen,
Sameera Vemulapalli,
Leon Zhang
Abstract:
The group of units modulo constants of an affine variety over an algebraically closed field is free abelian of finite rank. Computing this group is difficult but of fundamental importance in tropical geometry, where it is desirable to realize intrinsic tropicalizations. We present practical algorithms for computing unit groups of smooth curves of low genus. Our approach is rooted in divisor theory…
▽ More
The group of units modulo constants of an affine variety over an algebraically closed field is free abelian of finite rank. Computing this group is difficult but of fundamental importance in tropical geometry, where it is desirable to realize intrinsic tropicalizations. We present practical algorithms for computing unit groups of smooth curves of low genus. Our approach is rooted in divisor theory, based on interpolation in the case of rational curves and on methods from algebraic number theory in the case of elliptic curves.
△ Less
Submitted 8 August, 2018;
originally announced August 2018.
-
Uniform Bounds for the Number of Rational Points on Symmetric Squares of Curves with Low Mordell-Weil Rank
Authors:
Sameera Vemulapalli,
Danielle Wang
Abstract:
A central problem in Diophantine geometry is to uniformly bound the number of $K$-rational points on a smooth curve $X/K$ in terms of $K$ and its genus $g$. A recent paper by Stoll proved uniform bounds for the number of $K$-rational points on a hyperelliptic curve $X$ provided that the rank of the Jacobian of $X$ is at most $g - 3$. Katz, Rabinoff and Zureick-Brown generalized his result to arbit…
▽ More
A central problem in Diophantine geometry is to uniformly bound the number of $K$-rational points on a smooth curve $X/K$ in terms of $K$ and its genus $g$. A recent paper by Stoll proved uniform bounds for the number of $K$-rational points on a hyperelliptic curve $X$ provided that the rank of the Jacobian of $X$ is at most $g - 3$. Katz, Rabinoff and Zureick-Brown generalized his result to arbitrary curves satisfying the same rank condition.
In this paper, we prove conditional uniform bounds on the number of rational points on the symmetric square of $X$ outside its algebraic special set, provided that the rank of the Jacobian is at most $g-4$. We also find rank-favorable uniform bounds (that is, bounds depending on the rank of the Jacobian) in the hyperelliptic case.
△ Less
Submitted 3 October, 2018; v1 submitted 23 August, 2017;
originally announced August 2017.
