arXiv subjects

Ted Chinburg

Publications and source records attributed to Ted Chinburg.

At least 19 recordsLinked to original sources

arXiv2025

On the radii of Voronoi cells of rings of integers

Since the time of Minkowski a basic problem in number theory has been to find lower bounds for the absolute value $\Delta(K)$ of the discriminant of a number field $K$ in terms of the degree $n(K)$ of $K$. In this paper we study another measure of the size of $K$ given by the covering radius $\mu(K)$ of the ring of integers $O_K$ of $K$. Here $\mu(K)$ is the $L^2$ radius $||V_2(K)||_2$ of the $L^2$ Voronoi cell $V_2(K)$ of $O_K$, where $V_2(K)$ is the set of points in $\mathbb{R} \otimes_{\mathbb{Q}} K$ that are at least as close to the origin as they are to any non-zero element of $O_K$. To put a limit on what lower bounds one can prove for $\mu(K)$ in terms of $n(K)$, we study infinite families of $K$ of increasing degree for which $\mu(K)$ can be bounded above by an explicit power of $n(K)$. We also study analogous questions when the $L^2$ norm is replaced by the $L^\infty$ norm.

math.NT↗

arXiv2025

Triple Massey products for higher genus curves

We study the vanishing of triple Massey products for absolutely irreducible smooth projective curves over a number field. For each genus $g > 1$ and each prime $\ell > 3$, we construct examples of hyperelliptic curves of genus $g$ for which there are non-empty triple Massey products with coefficients in $\mathbb{Z}/\ell$ that do not contain $0$.

math.AG↗

arXiv2024

LLL Algorithm for Lattice Basis Reduction

This is an expository paper intended to introduce the polynomial time lattice basis reduction algorithm first described by Arjen Lenstra, Hendrik Lenstra, and L\'aszl\'o Lov\'asz in 1982. We begin by introducing the shortest vector problem, which motivates the underlying components of the LLL algorithm. Then, we introduce the details of the algorithm itself, followed by proofs of the correctness and runtime of the algorithm in complete detail, assuming only a basic linear algebra background and an understanding of big O notation. Finally, we apply the LLL algorithm to the shortest vector problem and explore other applications of the algorithm in various mathematical settings.

math.NT↗

arXiv2024

Cup products on curves over finite fields

Suppose $k$ is a finite field, that $C$ is a smooth projective geometrically irreducible curve over $k$, and that $n$ is a positive integer not divisible by the characteristic of $k$. In this paper we compute cup products of elements of the étale cohomology groups $\mathrm{H}^1(C,\mathbb{Z}/n)$ and $\mathrm{H}^1(C,μ_n)$. Over the algebraic closure $\overline{k}$ of $k$, such cup products are connected to values of the Weil pairing on the $n$-torsion of the Jacobian of $\overline{C} = \overline{k} \otimes_k C$ by using a fixed isomorphism between $\mathbb{Z}/n$ and $μ_n$ over $\overline{C}$. Over $k$, such cup products are more subtle due to the fact that they take values in the group $\mathrm{H}^2(C,μ_n)=\mathrm{Pic}(C)/n\cdot \mathrm{Pic}(C)$ rather than in the group $\mathrm{H}^2(\overline{C},μ_n) = \mathbb{Z}/n$.

math.AG↗

arXiv2023

Massey products and elliptic curves

We study the vanishing of Massey products of order at least $3$ for absolutely irreducible smooth projective curves over a perfect field with coefficients in $\mathbb{Z}/\ell$. We mainly focus on elliptic curves, for which we obtain a complete characterization of when triple Massey products do not vanish.

math.AG↗

arXiv2023

Explicit Approximations to Class Field Towers

We answer a question of Peikert and Rosen by giving for each $\epsilon > 0$ an efficient construction of infinite families of number fields $N$ such that the root discriminant $D_N^{1/[N:\mathbb{Q}]}$ is bounded above by a constant times $[N:\mathbb{Q}]^\epsilon$.

math.NT↗

arXiv2021

On representations of $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$, $\widehat{GT}$ and $\mathrm{Aut}(\hat{F}_2)$

By work of Belyi, the absolute Galois group $G_{\mathbb{Q}}=\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be embedded into $A=\mathrm{Aut}(\widehat{F_2})$, the automorphism group of the free profinite group $\widehat{F_2}$ on two generators. The image of $G_{\mathbb{Q}}$ lies inside $\widehat{GT}$, the Grothendieck-Teichmüller group. While it is known that every abelian representation of $G_{\mathbb{Q}}$ can be extended to $\widehat{GT}$, Lochak and Schneps put forward the challenge of constructing irreducible non-abelian representations of $\widehat{GT}$. We do this virtually, namely by showing that a rich class of arithmetically defined representations of $G_{\mathbb{Q}}$ can be extended to finite index subgroups of $\widehat{GT}$. This is achieved, in fact, by extending these representations all the way to finite index subgroups of $A=\mathrm{Aut}(\widehat{F_2})$. We do this by developing a profinite version of the work of Grunewald and Lubotzky, which provided a rich collection of representations for the discrete group $\mathrm{Aut}(F_d)$.

math.NT↗

arXiv2021

Unramified Heisenberg group extensions of number fields

We construct étale generalized Heisenberg group covers of hyperelliptic curves over number fields. We use these to produce infinite families of quadratic extensions of cyclotomic fields that admit everywhere unramified generalized Heisenberg Galois extensions.

math.NT↗

arXiv2020

Azumaya algebras and canonical components

Let $M$ be a compact 3-manifold and $Γ=π_1(M)$. Work of Thurston and Culler--Shalen established the $\mathrm{SL}_2(\mathbb{C})$ character variety $X(Γ)$ as fundamental tool in the study of the geometry and topology of $M$. This is particularly the case when $M$ is the exterior of a hyperbolic knot $K$ in $S^3$. The main goals of this paper are to bring to bear tools from algebraic and arithmetic geometry to understand algebraic and number theoretic properties of the so-called canonical component of $X(Γ)$, as well as distinguished points on the canonical component, when $Γ$ is a knot group. In particular, we study how the theory of quaternion Azumaya algebras can be used to obtain algebraic and arithmetic information about Dehn surgeries, and perhaps of most interest, to construct new knot invariants that lie in the Brauer groups of curves over number fields.

math.GT↗

arXiv2020

Galois structure of the holomorphic differentials of curves

Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$-subgroups. We show that the decomposition of the space of holomorphic differentials of $X$ into a direct sum of indecomposable $k[G]$-modules is uniquely determined by the lower ramification groups and the fundamental characters of closed points of $X$ that are ramified in the cover $X\to X/G$. We apply our method to determine the $\mathrm{PSL}(2,\mathbb{F}_\ell)$-module structure of the space of holomorphic differentials of the reduction of the modular curve $\mathcal{X}(\ell)$ modulo $p$ when $p$ and $\ell$ are distinct odd primes and the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on this reduction is not tamely ramified. This provides some non-trivial congruences modulo appropriate maximal ideals containing $p$ between modular forms arising from isotypic components with respect to the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on $\mathcal{X}(\ell)$.

math.AG↗

arXiv2019

Negative curves of small genus on surfaces

Let $X$ be an irreducible smooth geometrically integral projective surface over a field. In this paper we give an effective bound in terms of the Neron--Severi rank $ρ(X)$ of $X$ for the number of irreducible curves $C$ on $X$ with negative self-intersection and geometric genus less than $b_1(X)/4$, where $b_1(X)$ is the first étale Betti number of $X$. The proof involves a hyperbolic analog of the theory of spherical codes. More specifically, we relate these curves to the hyperbolic kissing number, and then prove upper and lower bounds for the hyperbolic kissing number in terms of the classical Euclidean kissing number.

math.GT↗

arXiv2019

A case of the Rodriguez Villegas conjecture

Let L be a number field and let E be any subgroup of the units O_L^* of L. If rank(E) = 1, Lehmer's conjecture predicts that the height of any non-torsion element of E is bounded below by an absolute positive constant. If rank(E) = rank(O_L^*), Zimmert proved a lower bound on the regulator of E which grows exponentially with [L:Q]. Fernando Rodriguez Villegas made a conjecture in 2002 that "interpolates" between these two extremes of rank. Here we prove a high-rank case of this conjecture. Namely, it holds if L contains a subfield K for which [L:K] >> [K:Q] and E contains the kernel of the norm map from O_L^* to O_K^*.

math.NT↗

arXiv2018

Cup products in the etale cohomology of number fields

This paper concerns cup product pairings in étale cohomology related to work of M. Kim and of W. McCallum and R. Sharifi. We will show that by considering Ext groups rather than cohomology groups, one arrives at a pairing which combines invariants defined by Kim with a pairing defined by McCallum and Sharifi. We also prove a formula for Kim's invariant in terms of Artin maps in the case of cyclic unramified Kummer extensions. One consequence is that for all $n > 1$, there are infinitely many number fields $F$ over which there are both trivial and non-trivial Kim invariants associated to cyclic groups of order $n$.

math.NT↗

arXiv2017

On the trace forms of Galois algebras

We study the trace form $q_L$ of $G$-Galois algebras $L/K$ when $G$ is a finite group and $K$ is a field of characteristic different from $2$. We introduce in this paper the category of $2$-reduced groups and, when $G$ is such a group, we use a formula of Serre to compute the second Hasse-Witt invariant of $q_L$. By combining this computation with work of Quillen we determine the isometry class of $q_L$ for large families of $G$-Galois algebras over global fields. We also indicate how our results generalize to Galois $G$-covers of schemes.

math.NT↗

arXiv2017

Universal deformation rings, endo-trivial modules, and semidihedral and generalized quaternion 2-groups

Let $k$ be a field of characteristic $p>0$, and let $W$ be a complete discrete valuation ring of characteristic $0$ that has $k$ as its residue field. Suppose $G$ is a finite group and $G^{\mathrm{ab},p}$ is its maximal abelian $p$-quotient group. We prove that every endo-trivial $kG$-module $V$ has a universal deformation ring that is isomorphic to the group ring $WG^{\mathrm{ab},p}$. In particular, this gives a positive answer to a question raised by Bleher and Chinburg for all endo-trivial modules. Moreover, we show that the universal deformation of $V$ over $WG^{\mathrm{ab},p}$ is uniquely determined by any lift of $V$ over $W$. In the case when $p=2$ and $G=\mathrm{D}$ is a $2$-group that is either semidihedral or generalized quaternion, we give an explicit description of the universal deformation of every indecomposable endo-trivial $k\mathrm{D}$-module $V$.

math.GR↗

arXiv2016

Automorphisms of Harbater-Katz-Gabber curves

Let k be a perfect field of characteristic p > 0, and let G be a finite group. We consider the pointed G-curves over k associated by Harbater, Katz, and Gabber to faithful actions of G on k[[t]] over k. We use such "HKG G-curves" to classify the automorphisms of k[[t]] of p-power order that can be expressed by particularly explicit formulas, namely those mapping t to a power series lying in a Z/pZ Artin-Schreier extension of k(t). In addition, we give necessary and sufficient criteria to decide when an HKG G-curve with an action of a larger finite group J is also an HKG J-curve.

math.AG↗

arXiv2016

Cryptographic applications of capacity theory: On the optimality of Coppersmith's method for univariate polynomials

We draw a new connection between Coppersmith's method for finding small solutions to polynomial congruences modulo integers and the capacity theory of adelic subsets of algebraic curves. Coppersmith's method uses lattice basis reduction to construct an auxiliary polynomial that vanishes at the desired solutions. Capacity theory provides a toolkit for proving when polynomials with certain boundedness properties do or do not exist. Using capacity theory, we prove that Coppersmith's bound for univariate polynomials is optimal in the sense that there are \emph{no} auxiliary polynomials of the type he used that would allow finding roots of size $N^{1/d+ε}$ for monic degree-$d$ polynomials modulo $N$. Our results rule out the existence of polynomials of any degree and do not rely on lattice algorithms, thus eliminating the possibility of even superpolynomial-time improvements to Coppersmith's bound. We extend this result to constructions of auxiliary polynomials using binomial polynomials, and rule out the existence of any auxiliary polynomial of this form that would find solutions of size $N^{1/d+ε}$ unless $N$ has a very small prime factor.

cs.CR↗

arXiv2015

Global Oort Groups

We study the Oort groups for a prime p, i.e. finite groups G such that every G-Galois branched cover of smooth curves over an algebraically closed field of characteristic p lifts to a G-cover of curves in characteristic 0. We prove that all Oort groups lie in a particular class of finite groups that we characterize, with equality of classes under a conjecture about local liftings. We prove this equality unconditionally if the order of G is not divisible by 2p^2. We also treat the local lifting problem and relate it to the global problem.

math.GR↗