Source author record

David Zywina

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

ResearcherUnclaimed source record

math.NT math.AG math.GR

Catalog footprint

Research overview

21works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Possible indices for the Galois image of elliptic curves over Q

For a non-CM elliptic curve $E$ over the rationals, the Galois action on its torsion points can be expressed in terms of a Galois representation $ρ_E : G \to GL_2(\hat{\mathbb{Z}})$ , where $G$ is the absolute Galois group of the rationals. A well-known theorem of Serre says that the image of $ρ_E$ is open and hence has finite index in $GL_2(\hat{\mathbb{Z}})$ . We will study what indices are possible assuming that we are willing to exclude a finite number of possible $j$ -invariants from consideration. For example, we will show that there is a finite set $J$ of rational numbers such that if $E/\mathbb{Q}$ is a non-CM elliptic curve with $j$ -invariant not in $J$ and with surjective mod $\ell$ representations for all $\ell >37$ (which conjecturally always holds), then the index $[GL_2(\hat{\mathbb{Z}}) : ρ_E(G)]$ lies in the set $I:= \left\{\begin{array}{c}2, 4, 6, 8, 10, 12, 16, 20, 24, 30, 32, 36, 40, 48, 54, 60, 72, 84, 96, 108, 112,120, 144, \\192, 220, 240, 288, 336, 360, 384, 504, 576, 768, 864, 1152, 1200, 1296, 1536 \end{array}\right\}.$ Moreover, $I$ is the minimal set with this property.

preprint2021arXiv

Computing actions on cusp forms

For positive integers $k$ and $N$ , we describe how to compute the natural action of $SL_2(\mathbb{Z})$ on the space of cusp forms $S_k(Γ(N))$ , where a cusp form is given by sufficiently many terms of its $q$ -expansion. This will reduce to computing the action of the Atkin--Lehner operator on $S_k(Γ)$ for a congruence subgroup $Γ_1(N)\subseteq Γ\subseteq Γ_0(N)$ . Our motivating application of such fundamental computations is to compute explicit models of some modular curves $X_G$ .

preprint2020arXiv

Determining monodromy groups of abelian varieties

Associated to an abelian variety over a number field are several interesting and related groups: the motivic Galois group, the Mumford-Tate group, $\ell$ -adic monodromy groups, and the Sato-Tate group. Assuming the Mumford-Tate conjecture, we show that from two well chosen Frobenius polynomials of our abelian variety, we can recover the identity component of these groups (or at least an inner form), up to isomorphism, along with their natural representations. We also obtain a practical probabilistic algorithm to compute these groups by considering more and more Frobenius polynomials; the groups are connected and reductive and thus can be expressed in terms of root datum. These groups are conjecturally linked with algebraic cycles and in particular we obtain a probabilistic algorithm to compute the dimension of the Hodge classes of our abelian variety for any fixed degree.

preprint2020arXiv

Galois groups arising from families with big orthogonal monodromy

We study the Galois groups of polynomials arising from a compatible family of representations with big orthogonal monodromy. We show that the Galois groups are usually as large as possible given the constraints imposed on them by a functional equation and discriminant considerations. As an application, we consider the Frobenius polynomials arising from the middle étale cohomology of hypersurfaces in $\mathbb{P}_{\mathbb{F}_q}^{2n+1}$ of degree at least $3$ . We also consider the $L$ -functions of quadratic twists of fixed degree of an elliptic curve over a function field $\mathbb{F}_q(t)$ . To determine the typical Galois group in the elliptic curve setting requires using some known cases of the Birch and Swinnerton-Dyer conjecture. This extends and generalizes work of Chavdarov, Katz and Jouve.

preprint2020arXiv

On the surjectivity of mod $\ell$ representations associated to elliptic curves

Let $E$ be an elliptic curve over the rationals that does not have complex multiplication. For each prime $\ell$ , the action of the absolute Galois group on the $\ell$ -torsion points of $E$ can be given in terms of a Galois representation $ρ_{E,\ell}\colon \operatorname{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) \to GL_2(\mathbb{F}_\ell)$ . An important theorem of Serre says that $ρ_{E,\ell}$ is surjective for all sufficiently large $\ell$ . In this paper, we describe a simple algorithm based on Serre's proof that can quickly determine the finite set of primes $\ell$ for which $ρ_{E,\ell}$ is not surjective. We will also give some improved bounds for Serre's theorem.

preprint2015arXiv

An explicit Jacobian of dimension 3 with maximal Galois action

We gives an explicit genus 3 curve over Q such that the Galois action on the torsion points of its Jacobian is a large as possible. That such curves exist is a consequence of a theorem of D. Zureick-Brown and the author; however, those methods do not produce explicit examples. We shall apply the general strategies of Hall and Serre in their open image theorems. We also make use of Serre's conjecture to show that the modulo ell Galois actions are irreducible. While we computationally focus on a single curve, the methods of this paper can be applied to a large family of genus 3 curves.

preprint2015arXiv

Bounds for the Lang-Trotter conjectures

For a non-CM elliptic curve $E$ defined over the rationals, Lang and Trotter made very deep conjectures concerning the number of primes $p\leq x$ for which $a_p(E)$ is a fixed integer (and for which the Frobenius field at $p$ is a fixed imaginary quadratic field). Under GRH, we use a smoothed version of the Chebotarev density theorem to improve the best known Lang-Trotter upper bounds of Murty, Murty and Saradha, and Cojocaru and David.

preprint2015arXiv

Modular forms and some cases of the inverse Galois problem

We prove new cases of the inverse Galois problem by considering the residual Galois representations arising from a fixed newform. Specific choices of weight $3$ newforms will show that there are Galois extensions of $\mathbb{Q}$ with Galois group $PSL_2(\mathbb{F}_p)$ for all primes $p$ and $PSL_2(\mathbb{F}_{p^3})$ for all odd primes $p \equiv \pm 2, \pm 3, \pm 4, \pm 6 \pmod{13}$ .

preprint2015arXiv

On the possible images of the mod ell representations associated to elliptic curves over Q

Consider a non-CM elliptic curve $E$ defined over $\mathbb{Q}$ . For each prime $\ell$ , there is a representation $ρ_{E,\ell}: G \to GL_2(\mathbb{F}_\ell)$ that describes the Galois action on the $\ell$ -torsion points of $E$ , where $G$ is the absolute Galois group of $\mathbb{Q}$ . A famous theorem of Serre says that $ρ_{E,\ell}$ is surjective for all large enough $\ell$ . We will describe all known, and conjecturally all, pairs $(E,\ell)$ such that $ρ_{E,\ell}$ is not surjective. Together with another paper, this produces an algorithm that given an elliptic curve $E/\mathbb{Q}$ , outputs the set of such exceptional primes $\ell$ and describes all the groups $ρ_{E,\ell}(G)$ up to conjugacy. Much of the paper is dedicated to computing various modular curves of genus $0$ with their morphisms to the $j$ -line.

preprint2014arXiv

The inverse Galois problem for orthogonal groups

We prove many new cases of the Inverse Galois Problem for those simple groups arising from orthogonal groups over finite fields. For example, we show that the finite simple groups Omega_{2n+1}(p) and POmega_{4n}^+(p) both occur as the Galois group of a Galois extension of the rationals for all integers n>1 and all primes p>3. We obtain our representations by studying families of twists of elliptic curves and using some known cases of the Birch and Swinnerton-Dyer conjecture along with a big monodromy result of Hall.

preprint2013arXiv

The inverse Galois problem for PSL_2(F_p)

We show that the simple group PSL_2(F_p) occurs as the Galois group of an extension of the rationals for all primes p>3. We obtain our Galois extensions by studying the Galois action on the second etale cohomology groups of a specific elliptic surface.

preprint2011arXiv

Bounds for Serre's open image theorem

Let E be an elliptic curve over the rationals without complex multiplication. The absolute Galois group of Q acts on the group of torsion points of E, and this action can be expressed in terms of a Galois representation rho_E:Gal(Qbar/Q) \to GL_2(Zhat). A renowned theorem of Serre says that the image of rho_E is open, and hence has finite index, in GL_2(Zhat). We give the first general bounds of this index in terms of basic invariants of E. For example, the index can be bounded by a polynomial function of the logarithmic height of the j-invariant of E. As an application of our bounds, we settle an open question on the average of constants arising from the Lang-Trotter conjecture.

preprint2011arXiv

Drinfeld modules with maximal Galois action on their torsion points

To each Drinfeld module over a finitely generated field with generic characteristic, one can associate a Galois representation arising from the Galois action on its torsion points. Recent work of Pink and Rütsche has described the image of this representation up to commensurability. Their theorem is qualitative, and the objective of this paper is to complement this theory with a worked out example. In particular, we give examples of Drinfeld modules of rank 2 for which the Galois action on their torsion points is as large as possible. We will follow the approach that Serre used to give explicit examples of his openness theorem for elliptic curves. Using our specific examples, we will numerically test analogues of some well-known elliptic curve conjectures.

preprint2011arXiv

Explicit Class Field Theory for global function fields

Let F be a global function field and let F^ab be its maximal abelian extension. Following an approach of D.Hayes, we shall construct a continuous homomorphism ρ: Gal(F^ab/F) \to C_F, where C_F is the idele class group of F. Using class field theory, we shall show that our ρis an isomorphism of topological groups whose inverse is the Artin map of F. As a consequence of the construction of ρ, we obtain an explicit description of F^ab. Fix a place \infty of F, and let A be the subring of F consisting of those elements which are regular away from \infty. We construct ρby combining the Galois action on the torsion points of a suitable Drinfeld A-module with an associated \infty-adic representation studied by J.-K. Yu.

preprint2011arXiv

The Sato-Tate law for Drinfeld modules

We prove an analogue of the Sato-Tate conjecture for Drinfeld modules. Using ideas of Drinfeld, J.-K. Yu showed that Drinfeld modules satisfy some Sato-Tate law, but did not describe the actual law. More precisely, for a Drinfeld module ϕdefined over a field L, he constructs a continuous representation ρ_\infty : W_L \to D^* of the Weil group of L into a certain division algebra, which encodes the Sato-Tate law. When the Drinfeld module has generic characteristic and L is finitely generated, we shall describe the image of this representation up to commensurability. As an application, we give improved upper bounds for the Drinfeld module analogue of the Lang-Trotter conjecture.

preprint2011arXiv

The splitting of reductions of an abelian variety

Consider an absolutely simple abelian variety A defined over a number field K. For most places v of K, we study how the reduction A_v of A modulo v splits up to isogeny. Assuming the Mumford-Tate conjecture for A and possibly increasing K, we will show that A_v is isogenous to the m-th power of an absolutely simple abelian variety for all places v of K away from a set of density 0, where m is an integer depending only on the endomorphism ring End(A_Kbar). This proves many cases, and supplies justification, for a conjecture of Murty and Patankar. Under the same assumptions, we will also describe the Galois extension of Q generated by the Weil numbers of A_v for most v.

preprint2010arXiv

Abelian varieties over large algebraic fields with infinite torsion

Let A be an abelian variety of positive dimension defined over a number field K and let Kbar be a fixed algebraic closure of K. For each element sigma of the absolute Galois group Gal(Kbar/K), let Kbar(sigma) be the fixed field of sigma in Kbar. We shall prove that the torsion subgroup of A(Kbar(sigma)) is infinite for all sigma in Gal(Kbar/K) outside of some set of Haar measure zero. This proves the number field case of a conjecture of Geyer and Jarden from 1978.

preprint2010arXiv

Hilbert's irreducibility theorem and the larger sieve

We describe an explicit version of Hilbert's irreducibility theorem using a generalization of Gallagher's larger sieve. We give applications to the Galois theory of random polynomials, and to the images of the adelic representation associated to elliptic curves varying in rational families.

preprint2010arXiv

The Chebotarev invariant of a finite group

We consider invariants of a finite group related to the number of random (independent, uniformly distributed) conjugacy classes which are required to generate it. These invariants are intuitively related to problems of Galois theory. We find group-theoretic expressions for them and investigate their values both theoretically and numerically.

preprint2008arXiv

Arithmetic E_8 lattices with maximal Galois action

We construct explicit examples of E_8 lattices occurring in arithmetic for which the natural Galois action is equal to the full group of automorphisms of the lattice, i.e., the Weyl group of E_8. In particular, we give explicit elliptic curves over Q(t) whose Mordell-Weil lattices are isomorphic to E_8 and have maximal Galois action. Our main objects of study are del Pezzo surfaces of degree 1 over number fields. The geometric Picard group, considered as a lattice via the negative of the intersection pairing, contains a sublattice isomorphic to E_8. We construct examples of such surfaces for which the action of Galois on the geometric Picard group is maximal.

preprint2008arXiv

Elliptic curves with maximal Galois action on their torsion points

Given an elliptic curve E over a number field k, the Galois action on the torsion points of E induces a Galois representation, ρ_E : Gal(\bar{k}/k) \to GL_2(\hat{Z}). For a fixed number field k, we describe the image of ρ_E for a "random" elliptic curve E over k. In particular, if k\neq Q is linearly disjoint from the cyclotomic extension of Q, then ρ_E will be surjective for "most" elliptic curves over k.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

David Zywina

Research overview

Is this your work?

21 publications

Possible indices for the Galois image of elliptic curves over Q

Computing actions on cusp forms

Determining monodromy groups of abelian varieties

Galois groups arising from families with big orthogonal monodromy

On the surjectivity of mod $\ell$ representations associated to elliptic curves

An explicit Jacobian of dimension 3 with maximal Galois action

Bounds for the Lang-Trotter conjectures

Modular forms and some cases of the inverse Galois problem

On the possible images of the mod ell representations associated to elliptic curves over Q

The inverse Galois problem for orthogonal groups

The inverse Galois problem for PSL_2(F_p)

Bounds for Serre's open image theorem

Drinfeld modules with maximal Galois action on their torsion points

Explicit Class Field Theory for global function fields

The Sato-Tate law for Drinfeld modules

The splitting of reductions of an abelian variety

Abelian varieties over large algebraic fields with infinite torsion

Hilbert's irreducibility theorem and the larger sieve

The Chebotarev invariant of a finite group

Arithmetic E_8 lattices with maximal Galois action

Elliptic curves with maximal Galois action on their torsion points

See the researcher in context

Building this map preview

David Zywina

Research overview

Is this your work?

21 publications

Possible indices for the Galois image of elliptic curves over Q

Computing actions on cusp forms

Determining monodromy groups of abelian varieties

Galois groups arising from families with big orthogonal monodromy

On the surjectivity of mod ℓ\ellℓ representations associated to elliptic curves

An explicit Jacobian of dimension 3 with maximal Galois action

Bounds for the Lang-Trotter conjectures

Modular forms and some cases of the inverse Galois problem

On the possible images of the mod ell representations associated to elliptic curves over Q

The inverse Galois problem for orthogonal groups

The inverse Galois problem for PSL_2(F_p)

Bounds for Serre's open image theorem

Drinfeld modules with maximal Galois action on their torsion points

Explicit Class Field Theory for global function fields

The Sato-Tate law for Drinfeld modules

The splitting of reductions of an abelian variety

Abelian varieties over large algebraic fields with infinite torsion

Hilbert's irreducibility theorem and the larger sieve

The Chebotarev invariant of a finite group

Arithmetic E_8 lattices with maximal Galois action

Elliptic curves with maximal Galois action on their torsion points

See the researcher in context

Building this map preview

On the surjectivity of mod $\ell$ representations associated to elliptic curves