A Lower Bound for the Canonical Height on Abelian Varieties over Abelian Extensions
Matthew Baker, Joseph Silverman
备注：
v2 (23 pages), to appear in Mathematical Research Letters. Revised statement and proof of Proposition 7.3, added Lemma 7.9. Some other small revisions made as well
Let A be an abelian variety defined over a number field K, and consider the canonical height function attached to a symmetric ample line bundle L on A. We prove that there is a positive lower bound C (depending on A, K, and L) for the canonical height of non-torsion points on A defined over the maximal abelian extension K^ab of K.
The category of abelian varieties over $\mathbb{F}_q$ is shown to be anti-equivalent to a category of $\mathbb{Z}$-lattices that are modules for a non-commutative pro-ring of endomorphisms of a suitably chosen direct system of abelian varieties over $\mathbb{F}_q$. On full subcategories cut out by a finite set $w$ of conjugacy classes of Weil $q$-numbers, the anti-equivalence is represented by what we call $w$-locally projective abelian varieties.
We give new instances where Chabauty--Kim sets can be proved to be finite, by developing a notion of "generalised height functions" on Selmer varieties. We also explain how to compute these generalised heights in terms of iterated integrals and give the first explicit nonabelian Chabauty result for a curve $X/\mathbb{Q}$ whose Jacobian has Mordell-Weil rank larger than its genus.
In this paper we prove a formula for the number of rational points of bounded height relative to all the generators of the cone of effective divisor for a toric variety over a number field.
We show that, assuming Vojta's height conjecture, the height of a rational point on an algebraically hyperbolic variety can be bounded "uniformly" in families. This generalizes a result of Su-Ion Ih for curves of genus at least two to higher-dimensional varieties. As an application, we show that, assuming Vojta's height conjecture, the height of a rational point on a curve of general type is uniformly bounded. Finally, we prove a similar result for smooth hyperbolic surfaces with $c_1^2 > c_2$.
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.
In 1983 Silverman and Tate showed that the set of points in a 1-dimensional family of abelian varieties where a section of infinite order has `small height' is finite. We conjecture a generalisation to higher-dimensional families, where we replace `finite' by `not Zariski dense'. We show that this conjecture would imply the Uniform Boundedness Conjecture for torsion points on abelian varieties. We then prove a few special cases of this new conjecture.
In this paper we study super-isolated abelian varieties, that is, abelian varieties over finite fields whose isogeny class contains a single isomorphism class. The goal of this paper is to (1) characterize whether a product of super-isolated varieties is super-isolated, and (2) characterize which super-isolated abelian varieties admit principal polarizations, and how many up to polarized isomorphisms.
We define modular equations in the setting of PEL Shimura varieties as equations describing Hecke correspondences, and prove upper bounds on their degrees and heights. This extends known results about elliptic modular polynomials, and implies complexity bounds for number-theoretic algorithms using these modular equations. In particular, we obtain tight degree bounds for modular equations of Siegel and Hilbert type for abelian surfaces.
Analogy between Anderson T-motives and abelian varieties with multiplication by an imaginary quadratic field (MIQF) is a source of 2 results: 1. A description of abelian varieties with MIQF of dimension $r$ and signature $(n, r-n)$ in terms of "lattices" of dimension $r$ in $\Bbb C^n$; 2. A construction of exterior powers of abelian varieties with MIQF having $n=1$.
In two earlier articles, we proved that, if the Hodge conjecture is true for ALL CM abelian varieties over the complex numbers, then both the Tate conjecture and the standard conjectures are true for abelian varieties over finite fields. Here we rework the proofs so that they apply to a single abelian variety. As a consequence, we prove (unconditionally) that the Tate and standard conjectures are true for many abelian varieties over finite fields, including abelian varieties for which the algebra of Tate classes is not generated by divisor classes.
We prove that torsion codimension 2 algebraic cycles modulo rational equivalence on supersingular abelian varieties are algebraically equivalent to zero. As a consequence, we prove that homological equivalence coincides with algebraic equivalence for algebraic cycles of codimension 2 on supersingular abelian varieties over the algebraic closure of finite fields.
We prove a conjecture by Kawaguchi-Silverman on arithmetic and dynamical degrees, for self-morphisms of semi-abelian varieties. Moreover, we determine the set of the arithmetic degrees of orbits and the (first) dynamical degrees of self-morphisms of semi-abelian varieties.
The characteristic polynomials of abelian varieties over the finite field $\mathbb{F}_q$ with $q=p^n$ elements have a lot of arithmetic and geometric information. They have been explicitly described for abelian varieties up to dimension 4, but little is known in higher dimension. In this paper, among other things, we obtain the following three results on the characteristic polynomial of abelian varieties. First, we prove a relation between $n$ and $e$, where $e$ is a certain multiplicity associated with a simple abelian variety of arbitrary dimension over $\mathbb{F}_q$. Second, we explicitly …
In this article, we prove that the Zilber-Pink conjecture for abelian varieties over an arbitrary field of characteristic $0$ is implied by the same statement for abelian varieties over the algebraic numbers. More precisely, the conjecture holds for subvarieties of dimension at most $m$ in the abelian variety $A$ if it holds for subvarieties of dimension at most $m$ in the largest abelian subvariety of $A$ that is isomorphic to an abelian variety defined over $\bar{ \mathbb{Q}}$.
We prove that for any two integers $g\geq 4$ and $g'\leq 2g-1$, there exist abelian varieties over $\overline{\mathbb{Q}}$ which are not quotients of a Jacobian of dimension $g'$. Our method in fact proves that most Abelian varieties satisfy this property, when counting by height relative to a fixed finite map to projective space.
We prove, following Deligne and André, that the Hodge classes on abelian varieties of CM-type can be expressed in terms of divisor classes and split Weil classes, and we describe some consequences. In particular, we show that Grothendieck's standard conjecture of Lefschetz type implies the Hodge conjecture for abelian varieties (Abdulali, André, ...).
We survey Colmez's theory and conjecture about the Faltings height and a product formula for the periods of abelian varieties with complex multiplication, along with the function field analog developed by the authors. In this analog, abelian varieties are replaced by Drinfeld modules and $A$-motives. We also explain the necessary background on abelian varieties, Drinfeld modules and $A$-motives, including their cohomology theories and comparison isomorphisms and their theory of complex multiplication.
Recent developments on the uniformity of the number of rational points on curves and subvarieties in a moving abelian variety rely on the geometric concept of the degeneracy locus. The first-named author investigated the degeneracy locus in certain mixed Shimura varieties. In this expository note we revisit some of these results while minimizing the use of mixed Shimura varieties while working in a family of principally polarized abelian varieties. We also explain their relevance for applications in diophantine geometry.
The present note is devoted to an amendment to a recent paper of Ellenberg, Lawrence and Venkatesh. Roughly speaking, the main result here states the subpolynomial growth of the number of integral points with bounded height of a variety over a number field whose fundamental group is large. Such an improvement, i.e. requiring large fundamental group as opposed to the existence of a geometric variation of pure Hodge structures, was already asked in op.cit..
In this paper, we define and construct canonical filtered $F$-crystals with $G$-structure over the integral models for Shimura varieties of abelian type at hyperspecial level defined by Kisin. We check that these are related by $p$-adic comparison theorems to the usual lisse sheaves, and as an application we also use this to show that the Galois representations generated from the $p$-adic étale cohomology of Shimura varieties with nontrivial coefficient sheaves are crystalline, at least in the case of proper abelian type Shimura varieties.
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.
We compute the Grothendieck group of the category of abelian varieties over an algebraically closed field $k$. We also compute the Grothendieck group of the category of $A$-isotypic abelian varieties, for any simple abelian variety $A$, assuming $k$ has characteristic 0, and for any elliptic curve $A$ in any characteristic.
In this note we show that any basic abelian variety with additional structures over an arbitrary algebraically closed field of characteristic $p>0$ is isogenous to another one defined over a finite field. We also show that the category of abelian varieties over finite fields up to isogeny can be embedded into the category of basic abelian varieties with suitable endomorphism structures. Using this connection, we derive a new mass formula for a finite orbit of polarized abelian surfaces over a finite field.
In the present article, we define a notion of good height functions on quasi-projective varieties $V$ defined over number fields and prove an equidistribution theorem of small points for such height functions. Those good height functions are defined as limits of height functions associated with semi-positive adelic metrization on big and nef $\mathbb{Q}$-line bundles on projective models of $V$ satisfying mild assumptions. Building on a recent work of the author and Vigny as well as on a classical estimate of Call and Silverman, and inspiring from recent works of Kühne and Yuan and Zhang, we d…
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…
