本文研究高维 Abel 簇的通常素数密度问题，利用扩展的 Katz–Ogus–Serre l-adic 方法，证明带虚二次域乘法的三维及符号差 (2,2) 的四维情形存在非零密度，并推广到部分全实三次域与 Albert IV 型情形。
摘要：
设 A 是定义在数域上的一个 g 维 Abel 簇。当 g<3 时，根据 Sawad 最近的工作，我们知道对 A 为通常的素数集合的密度的确切（非零）值。在更高维数中，所知甚少。我们证明：如果 g=3 且 A 具有虚二次域 E 的乘法，则存在一个对 A 为通常素数的非零密度集合。如果 g=4 且配对 (A,E) 具有符号差 (2,2)，我们也得到相同结论。当 g=3 且 A 具有全实三次域的乘法时，我们还获得了部分结果。我们表明，我们的方法也适用于更高维数的某些 Albert IV 型 Abel 簇。这些结果源自 Katz、Ogus 和 Serre 的 l-adic 方法在存在额外自同态时的一个扩展版本。
英文摘要：
Let A be an abelian variety defined over a number field and of dimension g. When g<3, by the recent work of Sawin, we know the exact (nonzero) value of the density of the set of primes which are ordinary for A. In higher dimension very little is known. We show that if g=3 and A has multiplication by an imaginary quadratic field E, then there exists a nonzero density set of ordinary primes for A. We reach the same conclusion if g=4 and the pair (A,E) has signature (2,2). We also obtain partial results when g=3 and A has multiplication by a totally real cubic field. We show that our methods also apply to certain abelian varieties of Albert type IV of higher dimension. These results are derived from an extended version of the l-adic methods of Katz, Ogus, and Serre in the presence of extra endomorphisms.
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.
We prove Kawaguchi-Silverman conjecture (KSC) and Shibata's conjecture on ample canonical heights for endomorphisms on several classes of algebraic varieties including varieties of Fano type and projective toric varieties. We also prove KSC for group endomorphisms of linear algebraic groups. We also propose a possible approach to the conjecture using equivariant MMP.
We prove Kawaguchi-Silverman conjecture for all surjective endomorphisms on every smooth rationally connected variety admitting an int-amplified endomorphism.
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 …
Suppose $X$ is a projective variety defined over a finite extension $K$ of $\mathbb{Q}_p$ and suppose $X$ admits a model $\mathcal{X}$ defined over the ring of integers $R$ of $K$. Let $f:{X}\rightarrow {X}$ be an endomorphism of $X$ defined over $K$ that can be extended to an endomorphism of $\mathcal{X}$ defined over $R$. We apply a method of Fakhruddin to prove an explicit upper bound for the primitive period of periodic points defined over $R$.
Density of orbits of endomorphisms of abelian varieties
设$A$是定义在$\bar{\mathbb{Q}}$上的阿贝尔簇，$φ$是作为代数簇的$A$的支配自同态.证明了在$A$中，要么存在一个由$φ$保持的非常数有理纤维化，要么存在一个点$x\in A(\bar{\mathbb{Q}})$，其$φ$ -轨道是Zerkki稠密的.这为Medvedev和第二作者提出的问题的阿贝尔簇提供了肯定的答案（“nvariant variants for polynomial动力系统“，Ann. of Math.（2）179（2014），no.1，81-177）。我们还证明了这个结果的一个更强的声明，其中$φ$被替换为任何交换的支配自同态的$A$的生成幺半群。
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 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 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…
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.
For a dominant rational self-map on a smooth projective variety defined over a number field, Shu Kawaguchi and Joseph H. Silverman conjectured that the dynamical degree is equal to the arithmetic degree at a rational point whose forward orbit is well-defined and Zariski dense. We give some examples of self-maps on product varieties and rational points on them for which the Kawaguchi-Silverman conjecture holds.
We consider the potential density of rational points on an algebraic variety defined over a number field $K$, i.e., the property that the set of rational points of $X$ becomes Zariski dense after a finite field extension of $K$. For a non-uniruled projective variety with an int-amplified endomorphism, we show that it always satisfies potential density. When a rationally connected variety admits an int-amplified endomorphism, we prove that there exists some rational curve with a Zariski dense forward orbit, assuming the Zariski dense orbit conjecture in lower dimensions. As an application, we p…
We provide a characterization of almost ordinary abelian varieties over finite fields, and use this characterization to provide lower bounds for the sizes of some almost ordinary isogeny classes.
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 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…
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.
This survey describe Hodge, Tate and Mumford-Tate conjectures for abelian varieties. After some preliminaries on endomorphism ring, polarization and algebraic cycles, we state the three conjectures and provide a list of know results. Finally, we explain some links between these conjectures.
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 discuss the notion of polarised isogenies of abelian varieties, that is, isogenies which are compatible with given principal polarisations. This is motivated by problems of unlikely intersections in Shimura varieties. Our aim is to show that certain questions about polarised isogenies can be reduced to questions about unpolarised isogenies or vice versa. Our main theorem concerns abelian varieties B which are isogenous to a fixed abelian variety A. It establishes the existence of a polarised isogeny A to B whose degree is polynomially bounded in n, if there exist both an unpolarised isogeny…
We develop Hida theory for Shimura varieties of type A without ordinary locus. In particular we show that the dimension of the space of ordinary forms is bounded independently of the weight and that there is a module of $Λ$-adic cuspidal ordinary forms which is of finite type over $Λ$, where $Λ$ is a twisted Iwasawa algebra.
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.
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.
We study the special fibers of a certain class of absolutely simple abelian varieties over number fields with endomorphism rings $\bz$ and possessing $l$-adic monodromy groups of the least possible rank. We also study the Dirichlet density of the places at which the possible reductions occur and confirm a special case of a broader conjecture for the splitting of reductions of abelian varieties over number fields.
We study the geometry of unitary Shimura varieties without assuming the existence of an ordinary locus. We prove, by a simple argument, the existence of canonical subgroups on a strict neighborhood of the $μ$-ordinary locus (with an explicit bound). We then define the overconvergent modular forms (of classical weight), as well as the relevant Hecke operators. Finally, we show how an analytic continuation argument can be adapted to this case to prove a classicality theorem, namely that an overconvergent modular form which is an eigenform for the Hecke operators is classical under certain assump…
We generalize some of the results of Andreatta, Iovita, and Pilloni and the author to Hodge type Shimura varieties having non-empty ordinary locus. For any $p$-adic weight $κ$, we give a geometric definition of the space of overconvergent modular forms of weight $κ$ in terms of sections of a sheaf. We show that our sheaves live in analytic families, interpolating the classical sheaves for integral weights. We define an action of the Hecke algebra, including a completely continuous operator at $p$. In some simple cases, we also build the eigenvariety.
The authors define an "anti-holomorphic" involution (or "real structure") on an ordinary Abelian variety (defined over a finite field k) to be an involution of the associated Deligne module (T,F,V) that exchanges F (the Frobenius) with V (the Verschiebung). The definition extends to include principal polarizations and certain level structures. The authors show there are finitely many isomorphism classes in each dimension, and they give a formula for this number which resembles the Kottwitz "counting formula" (for the number of principally polarized Abelian varieties over k), where the symplect…
Fix a prime number $\ell$. Graphs of isogenies of degree a power of $\ell$ are well-understood for elliptic curves, but not for higher-dimensional abelian varieties. We study the case of absolutely simple ordinary abelian varieties over a finite field. We analyse graphs of so-called $\mathfrak l$-isogenies, resolving that they are (almost) volcanoes in any dimension. Specializing to the case of principally polarizable abelian surfaces, we then exploit this structure to describe graphs of a particular class of isogenies known as $(\ell, \ell)$-isogenies: those whose kernels are maximal isotropi…
Given a surjective endomorphism $f: X \to X$ on a projective variety over a number field, one can define the arithmetic degree $α_f(x)$ of $f$ at a point $x$ in $X$. The Kawaguchi - Silverman Conjecture (KSC) predicts that any forward $f$-orbit of a point $x$ in $X$ at which the arithmetic degree $α_f(x)$ is strictly smaller than the first dynamical degree $δ_f$ of $f$ is not Zariski dense. We extend the KSC to sAND (= small Arithmetic Non-Density) Conjecture that the locus $Z_f(d)$ of all points of small arithmetic degree is not Zariski dense, and verify this sAND Conjecture for endomorphisms…
Fix an ordinary abelian variety defined over a finite field. The ideal class group of its endomorphism ring acts freely on the set of isogenous varieties with same endomorphism ring, by complex multiplication. Any subgroup of the class group, and generating set thereof, induces an isogeny graph on the orbit of the variety for this subgroup. We compute (under the Generalized Riemann Hypothesis) some bounds on the norms of prime ideals generating it, such that the associated graph has good expansion properties. We use these graphs, together with a recent algorithm of Dudeanu, Jetchev and Robert …
