arXiv subjects
Publications and source records attributed to Jacob Tsimerman.
We present a heuristic argument based on Honda-Tate theory against many conjectures in `unlikely intersections' over the algebraic closure of a finite field; notably, we conjecture that every abelian variety of dimension 4 is isogenous to a Jacobian. Using methods of additive combinatorics, we are able to give a negative answer to a related question of Chai and Oort where the ambient Shimura Variety is a power of the modular curve.
Given a complex quasiprojective curve $B$ and a non-isotrivial family $\mathcal{E}$ of elliptic curves over $B$, the $p$-torsion $\mathcal{E}[p]$ yields a monodromy representation $ρ_\mathcal{E}[p]:π_1(B)\rightarrow \mathrm{GL}_2(\mathbb{F}_p)$. We prove that if $ρ_{\mathcal E}[p]\cong ρ_{\mathcal E'}[p]$ then $\mathcal{E}$ and $\mathcal E'$ are isogenous, provided $p$ is larger than a constant depending only on the gonality of $B$. This can be viewed as a function field analog of the Frey--Mazur conjecture, which states that an elliptic curve over $\mathbb{Q}$ is determined up to isogeny by its $p$-torsion Galois representation for $p> 17$. The proof relies on hyperbolic geometry and is therefore only applicable in characteristic 0.
We give a proof of the André-Oort conjecture for $\mathcal{A}_g$ - the moduli space of principally polarized abelian varieties. In particular, we show that a recently proven `averaged' version of the Colmez conjecture yields lower bounds for Galois orbits of CM points. The André-Oort conjecture then follows from previous work of Pila and the author.
The Frey--Mazur conjecture states that an elliptic curve over $\mathbb{Q}$ is determined up to isogeny by its $p$-torsion Galois representation for $p\geq 17$. We study a geometric analog of this conjecture, and show that the map from isogeny classes of "fake elliptic curves"---abelian surfaces with quaternionic multiplication---to their $p$-torsion Galois representations is one-to-one over function fields of small genus complex curves for sufficiently large $p$ relative to the genus.
Let $B(g,p)$ denote the number of isomorphism classes of $g$-dimensional abelian varieties over the finite field of size $p.$ Let $A(g,p)$ denote the number of isomorphism classes of principally polarized $g$ dimensional abelian varieties over the finite field of size $p.$ We derive upper bounds for $B(g,p)$ and lower bounds for $A(g,p)$ for $p$ fixed and $g$ increasing. The extremely large gap between the lower bound for $A(g,p)$ and the upper bound $B(g,p)$ implies some statistically counterintuitive behavior for abelian varieties of large dimension over a fixed finite field.
We prove a bound relating the volume of a curve near a cusp in a hyperbolic manifold to its multiplicity at the cusp. The proof uses a hybrid technique employing both the geometry of the uniformizing group and the algebraic geometry of the toroidal compactification. There are a number of consequences: we show that for an $n$-dimensional toroidal compactification $\bar X$ with boundary $D$, $K_{\bar X}+(1-\frac{n+1}{2π}) D$ is nef, and in particular that $K_{\bar X}$ is ample for $n\geq 6$. By an independent algebraic argument, we prove that every hyperbolic manifold of dimension $n\geq 3$ is of general type, and conclude that the phenomena famously exhibited by Hirzebruch in dimension 2 do not occur in higher dimensions. Finally, we investigate the applications to the problem of bounding the number of cusps and to the Green--Griffiths conjecture.
The geometric torsion conjecture asserts that the torsion part of the Mordell--Weil group of a family of abelian varieties over a complex quasiprojective curve is uniformly bounded in terms of the genus of the curve. We prove the conjecture for abelian varieties with real multiplication, uniformly in the field of multiplication. Fixing the field, we furthermore show that the torsion is bounded in terms of the $\mathit{gonality}$ of the base curve, which is the closer analog of the arithmetic conjecture. The proof is a hybrid technique employing both the hyperbolic and algebraic geometry of the toroidal compactifications of the Hilbert modular varieties $\overline X(1)$ parametrizing such abelian varieties. We show that only finitely many torsion covers $\overline X_1(\mathfrak{n})$ contain $d$-gonal curves outside of the boundary for any fixed $d$. We further show the same is true for entire curves $\mathbb{C}\rightarrow \overline X_1(\mathfrak{n})$.
In this paper we prove a functional transcendence statement for the j-function which is an analogue of the Ax-Schanuel theorem for the exponential function. It asserts, roughly, that atypical algebraic relations among functions and their compositions with the j-function are governed by modular relations.
We consider some Diophantine problems of mixed modular-multiplicative type associated with the Zilber-Pink conjecture. In particular, we prove a finiteness statement for the number of multiplicative relations between singular moduli (j-invariants of elliptic curves with complex multiplication.)
We prove the Ax-Lindemann theorem for the coarse moduli space $\mathcal{A}_{g}$ of principally polarized abelian varieties of dimension $g\ge 1$, and affirm the André-Oort conjecture unconditionally for $\mathcal{A}_{g}$ for $g\le 6$.
We show how the Selberg $Λ^2$-sieve can be used to obtain power saving error terms in a wide class of counting problems which are tackled using geometry of numbers. Specifically, we give such an error term for the counting function of $S_5$-quintic fields.
Fix a finite field. A hyperelliptic curve determines a measure on the discrete space of rank two bundles on the projective line: the mass of a given vector bundle is the number of line bundles whose pushforward it is. In a sequence of hyperelliptic curves whose genera tend to infinity, these measures tend to the natural measure on the space of rank two bundles. This is a function field analogue of Duke's theorem on the equidistribution of Heegner points, and can be proven similarly: it follows from a manipulation of zeta functions, plus the Riemann Hypothesis for curves. Likewise, a sequence of hyperelliptic curves equipped with line bundles gives rise to a sequence of measures on the space of pairs of rank 2 bundles. We give a conjectural classification of the possible limit measures which arise; this is a function field analogue of the "Mixing Conjecture" of Michel and Venkatesh. As in the number field setting, ergodic theory suffices when the line bundle is sufficiently special. For the remaining bundles, we turn to geometry and count points on intersections of translates of loci of special divisors in the Jacobian of a hyperelliptic curve. To prove equidistribution, we would require two results. The first, we prove: the upper cohomologies of these loci agree with the cohomology of the Jacobian. The second, which we establish in characteristic zero and conjecture in characteristic p, is that the sum of the Betti numbers of these spaces grows at most as the exponential of the genus of the hyperelliptic curve.
We formulate and prove the analogue of the Ramanujan Conjectures for modular forms of half-integral weight subject to some ramification restriction in the setting of a polynomial ring over a finite field. This is applied to give an effective solution to the problem of representations of elements of the ring by ternary quadratic forms. Our proof develops the theory of half-integral weight forms and Siegel's theta functions in this context as well as the analogue of an explicit Waldspurger formula. As in the case over the rationals, the half-integral weight Ramanujan Conjecture is in this way converted into a question of estimating special values of members of a special family of L-functions. These polynomial functions have a growing number of roots (all on the unit circle thanks to Drinfeld and Deligne's work) which are shown to become equidistributed. This eventually leads to the key estimate for Fourier coefficients of half-integral weight cusp forms.
We give simple proofs of the Davenport--Heilbronn theorems, which provide the main terms in the asymptotics for the number of cubic fields having bounded discriminant and for the number of 3-torsion elements in the class groups of quadratic fields having bounded discriminant. We also establish second main terms for these theorems, thus proving a conjecture of Roberts. Our arguments provide natural interpretations for the various constants appearing in these theorems in terms of local masses of cubic rings.
We study the distribution, in the space of Satake parameters, of local components of Siegel cusp forms of genus 2 and growing weight, subject to a specific weighting which allows us to apply results concerning Bessel models and a variant of Petersson's formula. We obtain for this family a quantitative local equidistribution result, and derive a number of consequences. In particular, we show that the computation of the density of low-lying zeros of the spinor L-functions (for restricted test functions) gives global evidence for a well-known conjecture of Böcherer concerning the arithmetic nature of Fourier coefficients of Siegel cusp forms.
We provide an unconditional proof of the André-Oort conjecture for the coarse moduli space $\mathcal{A}_{2,1}$ of principally polarized Abelian surfaces, following the strategy outlined by Pila-Zannier.
In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class number. We apply this formula to derive asymptotics and lower bounds for Galois orbits of CM points in the Siegel modular variety $A_{g,1}$. Specifically, we ask that the sizes of these orbits grows like a power of Discriminant of the underlying endomorphism algebra. We prove this unconditionally in the case $g\leq 5$, and for all $g$ under the Generalized Riemann Hypothesis for CM fields. Along the way we derive a general transfer principle for torsion in ideal class groups of number fields.
Given a cuspidal automorphic form $π$ on $\GL_2$, we study smoothed sums of the form $\sum_{n\in\mathbb{N}} a_π(n^2+d)W(\frac{n}{Y})$. The error term we get is sharp in that it is uniform in both $d$ and $Y$ and depends directly on bounds towards Ramanujan for forms of half-integral weight and Selberg eigenvalue conjecture. Moreover, we identify (at least in the case where the level is square-free) the main term as a simple factor times the residue as $s=1$ of the symmetric square L-function $L(s,\Msym^2π)$. In particular there is no main term unless $d>0$ and $π$ is a dihedral form.