Consider a $q$-Weil polynomial $f$ of degree $2g$. Using an equidistribution assumption that is too strong to be true, we define and compute a product of local relative densities of matrices in $\rm{GSp}_{2g}(\mathbb{F}_\ell)$ with characteristic polynomial $f\mod\ell$ when $g$ is an odd prime. This infinite product is closely related to a ratio of class numbers. When $g=3$ we conjecture that the product gives the size of an isogeny class of principally polarized abelian threefolds.
We discuss heuristic asymptotic formulae for the number of pairing-friendly abelian varieties over prime fields, generalizing previous work of one of the authors arXiv:math1107.0307
In this paper, we will study modular Abelian varieties with odd congruence numbers by examining the cuspidal subgroup of $J_0(N)$. We will show that the conductor of such Abelian varieties must be of a special type. For example, if $N$ is the conductor of an absolutely simple modular Abelian variety with an odd congruence number, then $N$ has at most two prime divisors, and if $N$ is odd, then $N=p^α$ or $N=pq$ for some prime $p$ and $q$. In the second half of this paper, we will focus on modular elliptic curves with odd modular degree. Our results, combined with the work of Agashe, Ribet, and…
We prove that the automorphism groups of simple polarized abelian varieties of odd prime dimension over finite fields are cyclic, and give a complete list of finite groups that can be realized as such automorphism groups.
A precise and testable modularity conjecture for rational abelian surfaces A with trivial endomorphisms, End_Q A = Z, is presented. It is consistent with our examples, our non-existence results and recent work of C. Poor and D. S. Yuen on weight 2 Siegel paramodular forms. We obtain fairly precise information on ell-division fields of semistable abelian varieties A, mainly when A[ell] is reducible, by considering extension problems for groups schemes of small rank. Our general results imply, for instance, that the least prime conductor of an abelian surface is 277.
We study the prime-to-$p$ Hecke action on the projective limit of the sets of connected components of Shimura varieties with fixed parahoric or Bruhat--Tits level at $p$. In particular, we construct infinitely many Shimura varieties for CM unitary groups in odd variables for which the considering actions are not transitive. We prove this result by giving negative examples on the question of Bruhat--Colliot-Thélène--Sansuc--Tits or its variant, which is related to the weak approximation on tori over $\mathbb{Q}$.
We will study modular Abelian varieties with odd congruence numbers, by studying the cuspidal subgroup of $J_0(N)$. We show the conductor of such Abelian varieties must be of a special type, for example if $N$ is odd then $N=p^α$ or $N=pq$ for some prime $p$ and $q$. We then focus our attention to modular elliptic curves, and using result of Agashe, Ribet, and Stein, we try to classify all elliptic curves of odd modular degree. Our studies prove many cases of the Stein and Watkins's conjecture on elliptic curves with odd modular degree.
Boston, Bush, and Hajir have developed heuristics, extending the Cohen-Lenstra heuristics, that conjecture the distribution of the Galois groups of the maximal unramified pro-p extensions of imaginary quadratic number fields for p an odd prime. In this paper, we find the moments of their proposed distribution, and further prove there is a unique distribution with those moments. Further, we show that in the function field analog, for imaginary quadratic extensions of F_q(t), the Galois groups of the maximal unramified pro-p extensions, as q goes to infinity, have the moments predicted by the Bo…
We study the arithmetic of division fields of semistable abelian varieties A over the rationals. The Galois group of the 2-division field of A is analyzed when the conductor is odd and squarefree. The irreducible semistable mod 2 representations of small conductor are determined under GRH. These results are used in "Paramodular abelian varieties of odd conductor," arXiv:1004.4699.
For each Sophie Germain prime $g \geq 5,$ we construct an absolutely simple polarized abelian variety of dimension $g$ over a finite field, whose automorphism group is a cyclic group of order $4g+2$. We also provide a description on the asymptotic behavior of prime numbers that are related to our construction.
In this paper we establish a new lattice description for superspecial abelian varieties over a finite field $\mathbb {F}_q$ of $q=p^a$ elements. Our description depends on the parity of the exponent $a$ of $q$. When $q$ is an odd power of the prime $p$, we give an explicit formula for the number of superspecial abelian surfaces over $\mathbb F_q$.
We prove several results on the number of rational points on open subsets of Kummer varieties of arbitrary dimension. Some of our results are unconditional, and others depend on the Parity Conjecture (a corollary of the Conjecture of Birch and Swinnerton-Dyer). As examples, we show that (conditional on the Parity Conjecture) all odd-dimension Kummer varieties over Q which are quotients of absolutely simple abelian varieties have dense rational points, and we construct an infinite family of K3 surfaces with dense rational points.
In this paper, we study the torsion subgroup of $J_0(N)$ over the field generated by those points in the cuspidal group, where $N$ is an odd positive integer. We prove that, considered as Hecke modules, this group and the cuspidal subgroup are both supported at the maximal Eisenstein ideals.
Let k be a subfield of a p-adic field of odd residue characteristic, and let L be the function field of a variety of dimension n >= 1 over k. Then Hilbert's Tenth Problem for L is undecidable. In particular, Hilbert's Tenth Problem for function fields of varieties over number fields of dimension >= 1 is undecidable.
Let $D$ be an odd square-free positive integer and $C$ a divisor of $D$. For any quadratic character $χ$ modulo $C$, we prove that the $χ$-part of the group $J_0(DC)_\text{tor}$ of torsion points of $J_0(DC)$ coincides with the $χ$-part of its cuspidal subgroup, away from those primes of bad reduction or where possible congruences between oldforms and newforms occur.
Let A,A' be elliptic curves or abelian varieties fully of type GSp defined over a number field K. This includes principally polarized abelian varieties with geometric endomorphism ring Z and dimension 2 or odd. We compare the number of points on the reductions of the two varieties. We prove that A and A' are K-isogenous if the following condition holds for a density-one set of primes p of K: the prime numbers dividing #A(k_p) also divide #A'(k_p). We generalize this statement to some extent for products of such varieties. This refines results of Hall and Perucca (2011) and of Ratazzi (2012).
We give a geometric proof that Hasse principle holds for the following varieties defined over global function fields: smooth quadric hypersurfaces in odd characteristic, smooth cubic hypersurfaces of dimension at least $4$ in characteristic at least $7$, and smooth complete intersections of two quadrics of dimension at least $3$ in odd characteristics. In Appendix A we explain how to modify a previous argument of the author to prove weak approximation for cubic hypersurfaces defined over function fields of curves over algebraically closed fields of characteristic at least $7$. In Appendix B we…
We study the asymptotics conjecture of Malle for dihedral groups $D_\ell$ of order $2\ell$, where $\ell$ is an odd prime. We prove the expected lower bound for those groups. For the upper bounds we show that there is a connection to class groups of quadratic number fields. The asymptotic behavior of those class groups is predicted by the Cohen--Lenstra heuristics. Under the assumption of this heuristic we are able to prove the expected upper bounds.
Inspired by experimental data, this paper investigates which isogeny classes of abelian varieties defined over a finite field of odd characteristic contain the Jacobian of a hyperelliptic curve. We provide a necessary condition by demonstrating that the Weil polynomial of a hyperelliptic Jacobian must have a particular form modulo 2. For fixed ${g\geq1}$, the proportion of isogeny classes of $g$ dimensional abelian varieties defined over $\mathbb{F}_q$ which fail this condition is $1 - Q(2g + 2)/2^g$ as $q\to\infty$ ranges over odd prime powers, where $Q(n)$ denotes the number of partitions of…
In this paper, we associate canonically to every imaginary quadratic field $K=\Bbb Q(\sqrt{-D})$ one or two isogenous classes of CM abelian varieties over $K$, depending on whether $D$ is odd or even ($D \ne 4$). These abelian varieties are characterized as of smallest dimension and smallest conductor, and such that the abelian varieties themselves descend to $\Bbb Q$. When $D$ is odd or divisible by 8, they are the `canonical' ones first studied by Gross and Rohrlich. We prove that these abelian varieties have the striking property that the vanishing order of their $L$-function at the center …
In this paper we study the wild part of the finite monodromy groups of abelian varieties over number fields. We solve Grunwald problems for groups of the form $\mathbf{Z}/p\mathbf{Z}\wr \mathfrak{S}_n$ over number fields to build CM abelian varieties with maximal wild finite monodromy in the odd prime case. For the even prime case we prove a new bound on the 2-part of the order of the finite monodromy group for CM abelian varieties and build varieties that reach it.
We count the number of isomorphism classes of degree $d$-twists of some polarized abelian varieties over finite fields of odd prime dimension. This can be seen as a higher dimensional analogue of the counting problem for elliptic curves case.
In this paper, we prove the existence of certain lifts of Hilbert cusp forms to general odd spin groups. We then use those lifts to provide evidence for a conjecture of Gross on the modularity of abelian varieties not of ${\rm GL}_2$-type.
Let $p$ be an odd prime number. Let $K$ be the $p$-th cyclotomic field and $F$ its maximal real subfield. We give general formulae of the root numbers of the Jacobian varieties of the Fermat curves $X^p+Y^p=δ$ where $δ$ is an integer. As an application of these general formulae, we derive the equidistribution of the root numbers for the families of Jacobian varieties of the Fermat curves. When $p\nmid δ$, we bound the Selmer groups of these Jacobian varieties. Moreover, if $p$ is regular and all prime ideals of $K$ dividing $δ$ are inert in $K/F$, the Selmer groups are explicitly determined an…
The canonical covering maps from Hurwitz varieties to configuration varieties are important in algebraic geometry. The scheme-theoretic fiber above a rational point is commonly connected, in which case it is the spectrum of a Hurwitz number field. We study many examples of such maps and their fibers, finding number fields whose existence contradicts standard mass heuristics.
Let $F$ be a number field unramified at an odd prime $p$ and $F_\infty$ be the $\mathbf{Z}_p$-cyclotomic extension of $F$. Let $A$ be an abelian variety defined over $F$ with good supersingular reduction at all primes of $F$ above $p$. Büyükboduk and the first named author have defined modified Selmer groups associated to $A$ over $F_\infty$. Assuming that the Pontryagin dual of these Selmer groups are torsion $\mathbf{Z}_p[[\mathrm{Gal}(F_\infty/F)]]$-modules, we give an explicit sufficient condition for the rank of the Mordell-Weil group $A(F_n)$ to be bounded as $n$ varies.
We study the parity of 2-Selmer ranks in the family of quadratic twists of a fixed principally polarised abelian variety over a number field. Specifically, we determine the proportion of twists having odd (resp. even) 2-Selmer rank. This generalises work of Klagsbrun--Mazur--Rubin for elliptic curves and Yu for Jacobians of hyperelliptic curves. Several differences in the statistics arise due to the possibility that the Shafarevich--Tate group (if finite) may have order twice a square. In particular, the statistics for parities of 2-Selmer ranks and 2-infinity Selmer ranks need no longer agree…
We consider Shimura varieties for orthogonal or spin groups acting on hermitian symmetric domains of type IV. We give regular p-adic integral models for these varieties over odd primes p at which the level subgroup is the connected stabilizer of a vertex lattice in the orthogonal space. Our construction is obtained by combining results of Kisin and the first author with an explicit presentation and resolution of a corresponding local model.
Let $p$ be a prime number and let $k$ be a number field. Let $E$ be an elliptic curve defined over $k$. We prove that if $p$ is odd, then the local-global divisibility by any power of $p$ holds for the torsion points of $E$. We also show with an example that the hypothesis over $p$ is necessary. We get a weak generalization of the result on elliptic curves to the larger family of ${\rm GL}_2$-type varieties over $k$. In the special case of the abelian surfaces $A/k$ with quaternionic multiplication over $k$ we obtain that for all prime $p$, except a finite number depending on $A$, the local-gl…
An odd perfect number $N$ is said to be given in Eulerian form if $N = {q^k}{n^2}$ where $q$ is prime with $q \equiv k \equiv 1 \pmod 4$ and $\gcd(q,n) = 1$. Similarly, an even perfect number $M$ is said to be given in Euclidean form if $M = (2^p - 1)\cdot{2^{p - 1}}$ where $p$ and $2^p - 1$ are primes. In this article, we show how simple considerations surrounding the differences between the underlying properties of the Eulerian and Euclidean forms of perfect numbers give rise to what we will call the Euclid-Euler heuristics for perfect numbers.
Given an abelian variety J and an abelian subvariety A of J over a number field K, we study the visible elements of the Shafarevich-Tate group of A with respect to J over certain number field extension M of K. The notion of visible elements in Shafarevich-Tate group of an abelian variety was introduced by Mazur. In this article, we study the image of Visible elements of A with respect to J under the natural restriction map of the Galois cohomology of A over K to the Galois cohomology of A over M. In particular, for a fixed odd prime p, we investigate the conditions under which visible elements…
We study Kummer varieties attached to 2-coverings of abelian varieties of arbitrary dimension. Over a number field we show that the subgroup of odd order elements of the Brauer group does not obstruct the Hasse principle. Sufficient conditions for the triviality of the Brauer group are given, which allow us to give an example of a Kummer K3 surface of geometric Picard rank 17 over the rationals with trivial Brauer group. We establish the non-emptyness of the Brauer--Manin set of everywhere locally soluble Kummer varieties attached to 2-coverings of products of hyperelliptic Jacobians with larg…
In this paper we prove Hasse local-global principle for polynomials with coefficients in Mordell-Weil type groups over number fields like S-units, abelian varieties with trivial ring of endomorphisms and odd algebraic K-theory groups.
For an odd prime p, we construct integral models over p for Shimura varieties with parahoric level structure, attached to Shimura data (G,X) of abelian type, such that G splits over a tamely ramified extension of Q_p. The local structure of these integral models is related to certain "local models", which are defined group theoretically. Under some additional assumptions, we show that these integral models satisfy a conjecture of Kottwitz which gives an explicit description for the trace of Frobenius action on their sheaf of nearby cycles.
Let $k$ be a totally real field, and let $A/k$ be an absolutely irreducible, polarized Abelian variety of odd, prime dimension whose endomorphisms are all defined over $k$. Then the only strictly compatible families of abstract, absolutely irreducible representations of $\gal(\ov{k}/k)$ coming from $A$ are tensor products of Tate twists of symmetric powers of two-dimensional $λ$-adic representations plus field automorphisms. The main ingredients of the proofs are the work of Borel and Tits on the `abstract' homomorphisms of almost simple algebraic groups, plus the work of Shimura on the fields…
We show, using the trace formula, that any Newton stratum of a Shimura variety of PEL-type of types (A) and (C) is non-empty at the primes of good reduction. Furthermore we prove conditionally the non-emptiness for Shimura data associated to odd Spin groups. Our results are conditional on Rapoport-Langlands conjecture and Arthur's conjectures on the discrete spectrum. Both these results have been announced by Arthur and Kisin in significant cases.
In 1801, Gauss proved that there were infinitely many quadratic fields with odd class number. We generalise this result by showing that there are infinitely many $S_n$-fields of any given even degree and signature that have odd class number. Also, we prove that there are infinitely many fields of any even degree at least $4$ and with at least one real embedding that have units of every signature. To do so, we bound the average number of $2$-torsion elements in the class group, narrow class group, and oriented class group of monogenised fields of even degree (and compute these averages precisel…
Let $N$ be a non-squarefree positive integer and let $\ell$ be an odd prime such that $\ell^2$ does not divide $N$. Consider the Hecke ring $\mathbb{T}(N)$ of weight $2$ for $Γ_0(N)$, and its rational Eisenstein primes of $\mathbb{T}(N)$ containing $\ell$, defined in Section 3. If $\mathfrak{m}$ is such a rational Eisenstein prime, then we prove that $\mathfrak{m}$ is of the form $(\ell, ~\mathcal{I}^D_{M, N})$, where the ideal $\mathcal{I}^D_{M, N}$ of $\mathbb{T}(N)$ is also defined in Section 3. Furthermore, we prove that $\mathcal{C}(N)[\mathfrak{m}] \neq 0$, where $\mathcal{C}(N)$ is the …
In this paper we extend to the function field setting the heuristics formerly developed by Conrey, Farmer, Keating, Rubinstein and Snaith, for the integral moments of $L$-functions. We also adapt to the function setting the heuristics first developed by Conrey, Farmer and Zirnbauer to the study of mean values of ratios of $L$-functions. Specifically, the focus of this paper is on the family of quadratic Dirichlet $L$-functions $L(s,χ_{P})$ where the character $χ$ is defined by the Legendre symbol for polynomials in $\mathbb{F}_{q}[T]$ with $\mathbb{F}_{q}$ a finite field of odd cardinality and…
In this short note we extend some results obtained in \cite{Gazaki2015}. First, we prove that for an abelian variety $A$ with good ordinary reduction over a finite extension of $\mathbb{Q}_p$ with $p$ an odd prime, the Albanese kernel of $A$ is the direct sum of its maximal divisible subgroup and a torsion group. Second, for a semi-abelian variety $G$ over a perfect field $k$, we construct a decreasing integral filtration $\{F^r\}_{r\geq 0}$ of Suslin's singular homology group, $H_0^{sing}(G)$, such that the successive quotients are isomorphic to a certain Somekawa K-group.
We provide a simple method of constructing isogeny classes of abelian varieties over certain fields $k$ such that no variety in the isogeny class has a principal polarization. In particular, given a field $k$, a Galois extension $\ell$ of $k$ of odd prime degree $p$, and an elliptic curve $E$ over $k$ that has no complex multiplication over $k$ and that has no $k$-defined $p$-isogenies to another elliptic curve, we construct a simple $(p-1)$-dimensional abelian variety $X$ over $k$ such that every polarization of every abelian variety isogenous to $X$ has degree divisible by $p^2$. We note tha…
Let $k$ be a number field. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for Kummer varieties over $k$. For example, for any Kummer variety $X$ over $k$, we show that if the Brauer-Manin obstruction is the only obstruction to the Hasse principle for rational points on $X$ over all finite extensions of $k$, then the ($2$-primary) Brauer-Manin obstruction is the only obstruction to the Hasse principle for zero-cycles of any given odd degree on $X$ over $k$. We also obtain similar results for pr…
Let $k$ be a number field, let $X$ be a Kummer variety over $k$, and let $δ$ be an odd integer. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for $X$. For example, we show that if the Brauer-Manin obstruction is the only obstruction to the existence of rational points on $X$ over all finite extensions of $k$, then the $2$-primary Brauer-Manin obstruction is the only obstruction to the existence of a zero-cycle of degree $δ$ on $X$ over $k$.
We study abelian varieties $A$ with multiplication by a totally indefinite quaternion algebra over a totally real number field and give a criterion for the existence of principal polarizations on them in pure arithmetic terms. Moreover, we give an expression for the number $π_0(A)$ of isomorphism classes of principal polarizations on $A$ in terms of relative class numbers of CM fields by means of Eichler's theory of optimal embeddings. As a consequence, we exhibit simple abelian varieties of any even dimension admitting arbitrarily many non-isomorphic principal polarizations. On the other hand…
