It is conjectured that there exist finitely many isomorphism classes of simple endomorphism algebras of abelian varieties of GL_2-type over \Q of bounded dimension. We explore this conjecture when particularized to quaternion endomorphism algebras of abelian surfaces by giving a moduli interpretation which translates the question into the diophantine arithmetic of Shimura curves embedded in Hilbert surfaces. We address the resulting problems on these curves by local and global methods, including Chabauty techniques on explicit equations of Shimura curves.
The endomorphism ring End(A) of an abelian variety A is an order in a semi-simple algebra over Q. The co-index of End(A) is the index to a maximal order containing it. We show that for abelian varieties of fixed dimension over any algebraically closed field of characteristic p>0, the p-exponents of the co-indices of their endomorphism rings are bounded. We also give a few applications to this finiteness result.
In this paper we discuss multiplicative relations between eigenvalues of Frobenius endomorphism of abelian varieties of small dimension over finite fields.
We prove an analogue of the Tate conjecture on homomorphisms of abelian varieties over infinite cyclotomic extensions of finitely generated fields of characteristic zero.
In this note, we propose the modular height of an abelian variety defined over a field of finite type over Q. Moreover, we prove its finiteness property.
We investigate a relationship between nondegeneracy of a simple abelian variety $A$ over an algebraic closure of $\mb{Q}$ and of its reduction $A_0$. We prove that under some assumptions, nondegeneracy of $A$ implies nondegeneracy of $A_0$.
Let $X$ be a polarized abelian variety over a field $K$. Let $O$ be a ring with an involution that acts on $X$ and this action is compatible with the polarization. We prove that the natural action of $O$ on $(X \times X^t)^4$ is compatible with a certain principal polarization.
We give a classification of all principally polarized abelian surfaces that admit an $(l,l)$-isogeny to themselves, and show how to compute all the abelian surfaces that occur. We make the classification explicit in the simplest case $l=2$. As part of our classification, we also show how to find all principally polarized abelian surfaces with multiplication by a given imaginary quadratic order.
Let $A$ be an abelian variety defined over $\bar{\mathbb{Q}}$, and let $φ$ be a dominant endomorphism of $A$ as an algebraic variety. We prove that either there exists a non-constant rational fibration preserved by $φ$, or there exists a point $x\in A(\bar{\mathbb{Q}})$ whose $φ$-orbit is Zariski dense in $A$. This provides a positive answer for abelian varieties of a question raised by Medvedev and the second author ("nvariant varieties for polynomial dynamical systems", Ann. of Math. (2) 179 (2014), no. 1, 81-177). We prove also a stronger statement of this result in which $φ$ is replaced by…
The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between K3 surfaces to link the Tate conjecture to finiteness results over finite fields, in the spirit of Tate.
In this paper, we study the relation between two dynamical systems (V,f) and (V,g) with f. g = g . f. As an application, we show that an endomorphism (respectively a polynomial map with Zariski dense, of bounded Pre(f) has only finitely many endomorphisms (respectively polynomial maps) of bounded degree which are commutable with f.
Assuming the Mumford-Tate conjecture, we show that the center of the endomorphism ring of an abelian variety defined over a number field can be recovered from an appropriate intersection of the fields obtained from its Frobenius endomorphisms. We then apply this result to exhibit a practical algorithm to compute this center.
This is (mostly) a survey article. We use an information about Galois properties of points of small order on an abelian variety in order to describe its endomorphism algebra over an algebraic closure of the ground field. We discuss in detail applications to jacobians of cyclic covers of the projective line.
Let $E$ be an elliptic curve without CM that is defined over a number field $K$. For all but finitely many nonarchimedean places $v$ of $K$ there is the reduction $E(v)$ of $E$ at $v$ that is an elliptic curve over the residue field $k(v)$ at $v$. The set of $v$'s with ordinary $E(v)$ has density 1 (Serre). For such $v$ the endomorphism ring $End(E(v))$ of $E(v)$ is an order in an imaginary quadratic field. We prove that for any pair of relatively prime positive integers $N$ and $M$ there are infinitely many nonarchimedean places $v$ of $K$ such that the discriminant $Δ(v)$ of $End(E(v))$ is d…
We study (weak) log abelian varieties with constant degeneration in the log flat topology. If the base is a log point, we further study the endomorphism algebras of log abelian varieties. In particular, we prove the dual short exact sequence for isogenies, Poincaré complete reducibility theorem for log abelian varieties, and the semi-simplicity of the endomorphism algebras of log abelian varieties.
We give a sharp divisibility bound, in terms of g, for the degree of the field extension required to realize the endomorphisms of an abelian variety of dimension g over an arbitrary number field; this refines a result of Silverberg. This follows from a stronger result giving the same bound for the order of the component group of the Sato-Tate group of the abelian variety, which had been proved for abelian surfaces by Fite-Kedlaya-Rotger-Sutherland. The proof uses Minkowski's reduction method, but with some care required in the extremal cases when p equals 2 or a Fermat prime.
In the present paper we introduce the property AA of a subsemigroup of the endomorphism semigroup of an abelian variety, which holds for semigroup of endomorphisms of an abelian variety defined over a number field, and show that the orbit of any cycle under a semigroup with property AA in the Chow group $\otimes\Q$ has finite dimensional span.
Generalizing a method of Sutherland and the author for elliptic curves, we design a subexponential algorithm for computing the endomorphism rings of ordinary abelian varieties of dimension two over finite fields. Although its correctness and complexity analysis rest on several assumptions, we report on practical computations showing that it performs very well and can easily handle previously intractable cases.
This work generalizes the theory of arithmetic local constants, introduced by Mazur and Rubin, to better address abelian varieties with a larger endomorphism ring than $\mathbb{Z}$. We then study the growth of the $p^\infty$-Selmer rank of our abelian variety, and we address the problem of extending the results of Mazur and Rubin to dihedral towers $k\subset K\subset F$ in which $[F:K]$ is not a $p$-power extension.
Let $k$ be a field that is finitely generated over the field of rational numbers and $Br(k)$ the Brauer group of $k$. Let $X$ be an absolutely irreducible smooth projective variety over $k$, let $Br(X)$ be the cohomological Brauer-Grothendieck group of $X$ and $Br_0(X)$ the image of $Br(k)$ in $Br(X)$. We write $Br_1(X)$ for the subgroup of elements in $Br(X)$ that become trivial after replacing $k$ by its algebraic closure. We prove that $Br(X)/Br_0(X)$ is finite if $X$ is a $K3$ surface. When $X$ is (a principal homogeneous space of) an abelian variety over $k$ then we prove that $Br(X)/Br_1…
An abelian surface A over a field K has potential quaternionic multiplication if the ring End_\bar K (A) of geometric endomorphisms of A is an order in an indefinite rational division quaternion algebra. In this brief note, we study the possible structures of the ring of endomorphisms of these surfaces and we provide explicit examples of Jacobians of curves of genus two which show that our result is sharp.
For a complex abelian variety $A$ with endomorphism ring isomorphic to the maximal order in a quartic CM-field $K$, the Igusa invariants $j_1(A), j_2(A),j_3(A)$ generate an abelian extension of the reflex field of $K$. In this paper we give an explicit description of the Galois action of the class group of this reflex field on $j_1(A),j_2(A),j_3(A)$. We give a geometric description which can be expressed by maps between various Siegel modular varieties. We can explicitly compute this action for ideals of small norm, and this allows us to improve the CRT method for computing Igusa class polynom…
We present a new algorithm for computing the endomorphism ring of an ordinary abelian surface over a finite field which is subexponential and generalizes an algorithm of Bisson and Sutherland for elliptic curves. The correctness of this algorithm only requires the heuristic assumptions required by the algorithm of Biasse and Fieker which computes the class group of an order in a number field in subexponential time. Thus we avoid the multiple heuristic assumptions on isogeny graphs and polarized class groups which were previously required. The output of the algorithm is an ideal in the maximal …
Building on recent work of Ardakov and Wadsley, we prove Schur's lemma for absolutely irreducible admissible p-adic Banach space (respectively locally analytic) representations of p-adic Lie groups. We also prove finiteness results for the endomorphism algebra of an irreducible admissible representation.
We define an "ample canonical height" for an endomorphism on a projective variety, which is essentially a generalization of the canonical heights for polarized endomorphisms introduced by Call--Silverman. We formulate a dynamical analogue of the Northcott finiteness theorem for ample canonical heights as a conjecture, and prove it for endomorphisms on varieties of small Picard numbers, abelian varieties, and surfaces. As applications, for the endomorphisms which satisfy the conjecture, we show the non-density of the set of preperiodic points over a fixed number field, and obtain a dynamical Mo…
We determine the set of geometric endomorphism algebras of geometrically split abelian surfaces defined over $\mathbb{Q}$. In particular we find that this set has cardinality 92. The essential part of the classification consists in determining the set of quadratic imaginary fields $M$ with class group $\mathrm{C}_2 \times \mathrm{C}_2$ for which there exists an abelian surface $A$ defined over $\mathbb{Q}$ which is geometrically isogenous to the square of an elliptic curve with CM by $M$. We first study the interplay between the field of definition of the geometric endomorphisms of $A$ and the…
Let $C/\mathbb{F}_q$ be a regular projective curve, $\infty \in C$ a closed point, $A := Γ(C - \{\infty\}, \mathcal{O}_C)$, and $K := K(C)$ the fraction field of $A$. Consider a finite extension $L/K$, a place $v$ of $L$, and an abelian $A$-module $M$ (in the sense of Anderson) over $L_v$. We prove that the $L_v$-rational torsion submodule $M(L_v)_{\mathrm{tors}}$ of $M$ is a finite $A$-module.
We study the interplay between canonical heights and endomorphisms of an abelian variety $A$ over a number field $k$. In particular we show that whenever the ring of endomorphisms defined over $k$ is strictly larger than $\Z$ there will be $\Q$-linear relations among the values of a canonical height-pairing evaluated at a basis modulo torsion of $A(k)$.
We characterize the abelian varieties arising as absolutely simple factors of GL2-type varieties over a number field k. In order to obtain this result, we study a wider class of abelian varieties: the k-varieties A/k satisfying that $\End_k^0(A)$ is a maximal subfield of $\End_k^0(A)$. We call them Ribet-Pyle varieties over k. We see that every Ribet-Pyle variety over k is isogenous over $\bar k$ to a power of an abelian k-variety and, conversely, that every abelian k-variety occurs as the absolutely simple factor of some Ribet-Pyle variety over k. We deduce from this correspondence a precise …
We show that up to potential isogeny, there are only finitely many abelian varieties of dimension $d$ defined over a number field $K$, such that for any finite place $v$ outside a fixed finite set $S$ of places of $K$ containing the archimedean places, it has either good reduction at $v$, or totally bad reduction at $v$ and good reduction over a quadratic extension of the completion of $K$ at $v$.
Let K be a number field and A an abelian variety over K. We are interested in the following conjecture of Morita: if the Mumford-Tate group of A does not contain unipotent Q-rational points then A has potentially good reduction at any discrete place of K. The Mumford-Tate group is an object of analytical nature whereas having good reduction is an arithmetical notion, linked to the ramification of Galois representations. This conjecture has been proved by Morita for particular abelian varieties with many endomorphisms (called of PEL type). Noot obtained results for abelian varieties without non…
We prove a finiteness theorem for the first flat cohomology group of finite flat group schemes over integral normal proper varieties over finite fields. As a consequence, we can prove the invariance of the finiteness of the Tate-Shafarevich group of Abelian schemes over higher dimensional bases under isogenies and alterations over/of such bases for the $p$-part. Along the way, we generalize previous results on the Tate-Shafarevich group in this situation.
We study the isogenies of certain abelian varieties over finite fields with non-commutative endomorphism algebras with a view to potential use in isogeny-based cryptography. In particular, we show that any two such abelian varieties with endomorphism rings maximal orders in the endomorphism algebra are linked by a cyclic isogeny of prime degree.
We obtain a simple family of solutions to the set-theoretic Yang-Baxter equation, one which depends only on considering special endomorphisms of a finite group. We show how such an endomorphism gives rise to two non-degenerate solutions to the Yang-Baxter equation, solutions which are inverse to each other. We give concrete examples using dihedral, alternating, symmetric, and metacyclic groups.
We study analogues of Tate's conjecture on homomorphisms for abelian varieties when the ground field is finitely generated over an algebraic closure of a finite field. Our results cover the case of abelian varieties without nontrivial endomorphisms.
The main result of [FG20] classifies the 92 geometric endomorphism algebras of geometrically split abelian surfaces defined over Q. We show that 54 of them arise as geometric endomorphism algebras of Jacobians of genus 2 curves defined over Q, and that the remaining 38 do not. In particular, we exhibit 38 examples of Qbar-isogeny classes of abelian surfaces defined over Q that do not contain any Jacobian of a genus 2 curve defined over Q, and for each of the 54 algebras that do arise we exhibit a curve realizing them.
A conjecture of Coleman implies that only finitely many quaternion algebras over the rational numbers can be the endomorphism $\mathbf{Q}$-algebras of abelian surfaces over the complex numbers which can be defined over $\mathbf{Q}$. One may think of this as a higher-dimensional version of the Gauss Class Number problem. Before now, no one has ruled out quaternion algebras over $\mathbf{Q}$ not already ruled out by the Albert classification. We rule out infinitely many such quaternion algebras by showing that for infinitely many $D$, the Atkin-Lehner quotient Shimura curve $X^D/w_D$ has no $\ma…
We prove two finiteness results for reductions of Hecke orbits of abelian varieties over local fields: one in the case of supersingular reduction and one in the case of reductive monodromy. As an application, we show that only finitely many abelian varieties on a fixed isogeny leaf admit CM lifts, which in particular implies that in each fixed dimension $g$ only finitely many supersingular abelian varieties admit CM lifts. Combining this with the Kuga-Satake construction, we also show that only finitely many supersingular $K3$-surfaces admit CM lifts. Our tools include $p$-adic Hodge theory an…
This note provides an insight to the diophantine properties of abelian surfaces with quaternionic multiplication over number fields. We study the fields of definition of the endomorphisms on these abelian varieties and the images of the Galois representations on their Tate modules. We illustrate our results with several explicit examples.
We prove that the abelian $K$-surfaces whose endomorphism algebra is a quaternion algebra are parametrized, up to isogeny, by the $K$-rational points of the quotient of certain Shimura curves by the group of their Atkin-Lehner involutions.
Consider an absolutely simple abelian variety X over a number field K. If the absolute endomorphism ring of X is commutative and satisfies certain parity conditions, then the reduction X_p is absolutely simple for almost all p. Conversely, if the absolute endomorphism ring of X is noncommutative, then X_p is reducible for p in a set of positive density.
In this note we show that any supersingular abelian variety is isogenous to a superspecial abelian variety without increasing field extensions. The proof uses minimal isogenies and the Galois descent. We then construct a superspecial abelian variety which not directly defined over a finite field. This answers negatively to a question of the author [J. Pure Appl. Alg., 2013] concerning of endomorphism algebras occurring in Shimura curves. Endomorphism algebras of supersingular elliptic curves over an arbitrary field are also investigated. We correct a main result of the author's paper [Math. Re…
Let A be an abelian variety defined over a number field F. For a prime number $\ell$, we consider the field extension of F generated by the $\ell$-powered torsion points of A. According to a conjecture made by Rasmussen and Tamagawa, if we require these fields to be both a pro-$\ell$ extension of $F(μ_{\ell^{\infty}})$ and unramified away from $\ell$, examples are quite rare. Indeed, it is expected that for a fixed dimension and field of definition, there exists such an abelian variety for only a finite number of primes. We prove a uniform version of the conjecture in the case where the abelia…
We prove that any abelian surface defined over $\Q$ of $GL_2$-type having quaternionic multiplication and good reduction at 3 is modular. We generalize the result to higher dimensional abelian varieties with ``sufficiently many endomorphisms".
