Consider an absolutely simple abelian variety A defined over a number field K. For most places v of K, we study how the reduction A_v of A modulo v splits up to isogeny. Assuming the Mumford-Tate conjecture for A and possibly increasing K, we will show that A_v is isogenous to the m-th power of an absolutely simple abelian variety for all places v of K away from a set of density 0, where m is an integer depending only on the endomorphism ring End(A_Kbar). This proves many cases, and supplies justification, for a conjecture of Murty and Patankar. Under the same assumptions, we will also describe the Galois extension of Q generated by the Weil numbers of A_v for most v.
A theorem of Chow concerns homomorphisms of two abelian varieties under a primary field extension base change. In this paper we generalize Chow's theorem to semi-abelian varieties. This contributes to different proofs of a well-known result that every algebraic torus splits over a finite separable field extension. We also obtain the best bound for the degrees of splitting fields of tori.
We partially answer, in terms of monodromy, Murty and Patankar's question: Given an absolutely simple abelian variety over a number field, does it have simple specializations at a set of places of positive Dirichlet density? The answer is based on the classification of pairs (G,V) consisting of a semi-simple algebraic group G over a non-archimedean local field and an absolutely irreducible representation V of G such that G admits a maximal torus acting irreducibly on V.
In this note, we compare the dual Selmer groups of an abelian variety with that of its dual over certain large Galois field. We give formula which relates the generalized Iwasawa $μ$-invariants associated with their dual Selmer groups under the natural isogeny.
The splitting field $\mathbb{SF}(Γ)$ of a mixed graph $Γ$ is the smallest field extension of $\mathbb{Q}$ which contains all eigenvalues of the Hermitian adjacency matrix of $Γ$. The extension degree $[\mathbb{SF}(Γ):\mathbb{Q}]$ is called the algebraic degree of $Γ$. In this paper, we determine the splitting fields and algebraic degrees of mixed Cayley graphs over abelian groups. This generalizes the main results of [K. Mönius, Splitting fields of spectra of circulant graphs, J. Algebra 594(15) (2022) 154--169] and [M. Kadyan, B. Bhattacharjya, Integral mixed Cayley graphs over abelian groups…
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.
For an abelian variety $A$ over a number field $K$, we define the set of Tamagawa torsors of $A$ at a prime $v$ of $K$ to be the set of principal homogeneous spaces of $A$ over the completion $K_v$ of $K$ at $v$ that are split by an unramified extension of $K_v$. In this paper, we study the arithmetic properties of the Tamagawa torsors.
In 2007, B. Poonen (unpublished) studied the $p$--adic closure of a subgroup of rational points on a commutative algebraic group. More recently, J. Bellaïche asked the same question for the special case of Abelian varieties. These problems are $p$--adic analogues of a question raised earlier by B. Mazur on the density of rational points for the real topology. For a simple Abelian variety over the field of rational numbers, we show that the actual $p$--adic rank is at least the third of the expected value.
A refined non-vanishing of the $p$-adic logarithm of a rational point on an abelian variety
University of Texas at Austin（德克萨斯大学奥斯汀分校）；Princeton University（普林斯顿大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
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.
Let $A$ be an abelian variety defined over a field $k$. In this paper we define a filtration $F^{r}$ of the group $CH_{0}(A)$ and prove an isomorphism $\frac{K(k;A,...,A)}{\Sym}\otimes\mathbb{Z}[\frac{1}{r!}]\simeq F^{r}/F^{r+1}\otimes\mathbb{Z}[\frac{1}{r!}]$, where $K(k;A,...,A)$ is the Somekawa K-group attached to $r$-copies of the abelian variety $A$.\\ In the special case when $k$ is a finite extension of $\mathbb{Q}_{p}$ and $A$ has split multiplicative reduction, we compute the kernel of the map $CH_{0}(A)\otimes\Z[\frac{1}{2}]\rightarrow \rm{Hom}(Br(A),\Q/\Z)\otimes\Z[\frac{1}{2}]$, in…
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 study the relationship between the period and the index of a principal homogeneous space over an abelian variety, obtaining results which generalize work of Cassels and Lichtenbaum on curves of genus one. In addition, we show that the p-torsion in the Shafarevich-Tate group of a fixed abelian variety over a number field k grows arbitrarily large when considered over field extensions l/k of bounded degree. Essential use is made of an abelian variety version of O'Neil's period-index obstruction.
Let r > 0 be an integer. We present a sufficient condition for an abelian variety A over a number field k to have infinitely many quadratic twists of rank at least r, in terms of density properties of rational points on the Kummer variety Km(A^r) of the r-fold product of A with itself. One consequence of our results is the following. Fix an abelian variety A over k, and suppose that for some r > 0 the Brauer-Manin obstruction to weak approximation on the Kummer variety Km(A^r) is the only one. Then A has a quadratic twist of rank at least r. Hence if the Brauer-Manin obstruction is the only on…
Heuristics based on the Sato--Tate conjecture suggest that an abelian surface defined over a number field has infinitely many places of split reduction. We prove this result for abelian surfaces having real multiplication. Similar to Charles' theorem on exceptional isogeny of reductions of a given pair of elliptic curves and Elkies' theorem on supersingular reductions of a given elliptic curve, our theorem shows that a density-zero set of primes pertaining to the reduction of abelian varieties is infinite. The proof relies on the Arakelov intersection theory on Hilbert modular surfaces.
We show that the p-torsion in the Tate-Shafarevich group of any principally polarized abelian variety over a number field is unbounded as one ranges over extensions of degree O(p), the implied constant depending only on the dimension of the abelian variety.
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 prove that assuming the Colmez conjecture and the ``no Siegel zeros" conjecture, the stable Faltings height of a CM abelian variety over a number field is less than or equal to the logarithm of the root discriminant of the field of definition of the abelian variety times an effective constant depending only on the dimension of the abelian variety. In view of the fact that the Colmez conjecture for abelian CM fields, the averaged Colmez conjecture, and the ``no Siegel zeros" conjecture for CM fields with no complex quadratic subfields are already proved, we prove unconditional analogues of t…
Let $A$ be an abelian variety over the rationals, and suppose $A(\mathbb{Q})=0$. Let $\ell$ be a rational prime. Subject to a mild condition on the mod $\ell$ representation of $A$, we show that the punctured variety $A-0$ has no integral points over 100% of cyclic degree $\ell$ number fields.
We prove an equidistribution result for small subvarieties of an abelian variety which generalizes the Szpiro-Ullmo-Zhang theorem on equidistribution of small points.
The algebraic degeneracy of holomorphic curves in a semi-Abelian variety omitting a divisor is proved (Lang's conjecture generalized to semi-Abelian varieties) by making use of the {\it jet-projection method} and the logarithmic Wronskian jet differential after Siu-Yeung. We also prove a structure theorem for the locus which contains all possible image of non-constant entire holomorphic curves in a semi-Abelian variety omitting a divisor.
Let $A$ be a principally polarized abelian variety of dimension $g$ over a number field $K$. Assume that the image of the adelic Galois representation of $A$ is an open subgroup of $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$. Then there exists a positive integer $m$ so that the Galois image of $A$ is the full preimage of its reduction modulo $m$. The least $m$ with this property, denoted $m_A$, is called the image conductor (also called the level) of $A$. Jones recently established an upper bound for $m_A$, in terms of standard invariants of $A$, in the case that $A$ is an elliptic curve witho…
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 give an explicit formula for the Mordell-Weil rank of an abelian fibered variety and some of its applications for an abelian fibered hyperkähler manifold. As a byproduct, we also give an explicit example of an abelian fibered variety in which the Picard number of the generic fiber in the sense of scheme is different from the Picard number of generic closed fibers.
This work is the third part of a series of papers. In the first two we consider curves and varieties in a power of an elliptic curve. Here we deal with subvarieties of an abelian variety in general. Let V be an irreducible variety of dimension d embedded in an abelian variety A, both defined over the algebraic numbers. We say that V is weak-transverse if V is not contained in any proper algebraic subgroup of A, and transverse if it is not contained in any translate of such a subgroup. Assume a conjectural lower bound for the normalized height of V. For V transverse, we prove that the algebraic…
The second part of the Birch and Swinnerton-Dyer (BSD) conjecture gives a conjectural formula for the order of the Shafarevich-Tate group of an elliptic curve in terms of other computable invariants of the curve. Cremona and Mazur initiated a theory that can often be used to verify the BSD conjecture by constructing non-trivial elements of the Shafarevich-Tate group of an elliptic curve by means of the Mordell-Weil group of an ambient curve. In this paper, we generalize Cremona and Mazur's work and give precise conditions under which such a construction can be made for the Shafarevich-Tate gro…
Let $K$ be a complete, discretely valued field with finite residue field and $G_K$ its absolute Galois group. The subject of this note is the study of the set of positive integers $d$ for which there exists an absolutely irreducible $\ell$-adic representation of $G_K$ of dimension $d$ with rational traces on inertia. Our main result is that non-Sophie Germain primes are not in this set when the residue characteristic of $K$ is $> 3$. The result stated in the title is a special case.
Let A be a geometrically simple abelian variety over a number field k, let X be a subgroup of A(k) and let P be an element of A(k). We prove that if P belongs to X modulo almost all primes of k then P already belongs to X.
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.
Associated to an abelian variety over a number field are several interesting and related groups: the motivic Galois group, the Mumford-Tate group, $\ell$-adic monodromy groups, and the Sato-Tate group. Assuming the Mumford-Tate conjecture, we show that from two well chosen Frobenius polynomials of our abelian variety, we can recover the identity component of these groups (or at least an inner form), up to isomorphism, along with their natural representations. We also obtain a practical probabilistic algorithm to compute these groups by considering more and more Frobenius polynomials; the group…
We prove that the ring of Siegel modular forms of weight divisible by g+n+1 is isomorphic to the ring of (log) pluricanonical forms on the n-fold Kuga family of abelian varieties and its certain compactifications, for every arithmetic group for a symplectic form of rank 2g>2. We also give applications to the Kodaira dimension of the Kuga variety. In most cases, the Kuga variety has canonical singularities.
Let $A$ be an abelian variety over $\mathbb{Q}$ of dimension $g$ such that the image of its associated absolute Galois representation $ρ_A$ is open in $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$. We investigate the arithmetic of the traces $a_{1, p}$ of the Frobenius at $p$ in $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ under $ρ_A$, modulo varying primes $p$. In particular, we obtain upper bounds for the counting function $\#\{p \leq x: a_{1, p} = t\}$ and we prove an Erdös-Kac type theorem for the number of prime factors of $a_{1, p}$. We also formulate a conjecture about the asymp…
Let us consider an abelian variety defined over $\mathbb{Q_{\ell}}$ with good supersingular reduction. In this paper we give explicit conditions that ensure that the action of the wild inertia group on the $\ell$-torsion points of the variety is trivial. Furthermore we give a family of curves of genus 2 such that their Jacobian surfaces have good supersingular reduction and satisfy these conditions. We address this question by means of a detailed study of the formal group law attached to abelian varieties.
This paper is the sequel of our paper "Arithmetic height functions over finitely generated fields" (cf. math.NT/9809016). In this paper, we define the canonical height of subvarieties of an abelian variety over a finitely generated field over Q. We also prove that the canonical height of a subvariety is zero if and only if it is a translation of an abelian subvariety by a torsion point.
We study a certain class of simple abelian varieties of type $\mathrm{IV}$ (in Albert's classification) over number fields with Mumford-Tate groups of type $A$. In particular, we show that such abelian varieties have ordinary reduction away from a set of places of Dirichlet density zero, thus confirming a special case of a broader conjecture of Serre's. We also study the splitting types and Newton polygons of the reductions of the abelian varieties of this type with small dimension (nine).
Let K be a number field and A/K be a polarized abelian variety with absolutely trivial endomorphism ring. We show that if the Neron model of A/K has at least one fiber with potential toric dimension one, then for almost all rational primes ell, the Galois group of the splitting field of the ell-torsion of A is GSp_{2g}(Z/ell).
Let $K$ be a complete discrete valuation field. Let $\mathcal{O}_K$ be its ring of integers. Let $k$ be its residue field which we assume to be algebraically closed of characteristic exponent $p\geq1$. Let $G/K$ be a semi-abelian variety. Let $\mathcal{G}/\mathcal{O}_K$ be its Néron model. The special fiber $\mathcal{G}_k/k$ is an extension of the identity component $\mathcal{G}_k^0/k$ by the group of components $Φ(G)$. We say that $G/K$ has split reduction if this extension is split. Whereas $G/K$ has always split reduction if $p=1$ we prove that it is no longer the case if $p>1$ even if $G/K…
Let A be a modular abelian variety over \Q of arbitrary even dimension. We establish criteria to prevent a given quaternion algebra over a totally real number field to be the endomorphism algebra of A over \bar\Q. We accomplish this by analyzing the representation of Gal(\bar\Q /\Q) on the points of N-torsion of A at primes N which ramify in B.
We prove the existence of an Abelian variety $A$ of dimension $g$ over $\Qa$ which is not isogenous to any Jacobian, subject to the necessary condition $g>3$. Recently, C.Chai and F.Oort gave such a proof assuming the André-Oort conjecture. We modify their proof by constructing a special sequence of CM points for which we can avoid any unproven hypotheses. We make use of various techniques from the recent work of Klingler-Yafaev et al.
For a polarized complex Abelian variety A, of dimension g>1, we study the function N_A(t) counting the number of elliptic curves in A with degree bounded by t. We describe elliptic curves as solutions of Diophantine equations which, at least for small dimensions g=2 and g=3, can actually be made explicit, and we show that computing the number of solutions is reduced to the classical topic in Number Theory of counting points of the lattice Z^n lying on an explicit bounded subset of R^n. We obtain, for Abelian varieties of small dimension, some upper bounds for the counting function.
Let $A$ be an abelian variety over the function field of a smooth projective curve $C$ over an algebraically closed field $k$. We compute the $l$-adic cohomology groups of $C$ with coefficients in the locally constant sheaf associated to $H^1(\bar A,\mathbf{Q}_l)$ in terms of arithmetico-geometric invariants of $A$. We apply this, when $k$ is the algebraic closure of a finite field, to a motivic computation of the $L$-function of $A$.
We prove that for abelian varieties with semistable ordinary reduction the p-adic Mazur-Tate height pairing is induced by the unit root splitting of the Hodge filtration on the first deRham cohomology.
We give a uniform bound on the degree of the maximal torsion cosets for subvarieties of an abelian variety. The proof combines algebraic interpolation and a theorem of Serre on homotheties in the Galois representation associated to the torsion subgroup of an abelian variety.
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 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}}$.
An abelian variety defined over an algebraically closed field k of positive characteristic is supersingular if it is isogenous to a product of supersingular elliptic curves and is superspecial if it is isomorphic to a product of supersingular elliptic curves. In this paper, the superspecial condition is generalized by defining the superspecial rank of an abelian variety, which is an invariant of its p-torsion. The main results in this paper are about the superspecial rank of supersingular abelian varieties and Jacobians of curves. For example, it turns out that the superspecial rank determines…
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.
For a CM abelian extension $F/K$ of an arbitrary totally real number field $K$, we construct the Stickelberger splitting maps (in the sense of \cite{Ba1}) for both the étale and the Quillen $K$--theory of $F$ and we use these maps to construct Euler systems in the even Quillen $K$--theory of $F$. The Stickelberger splitting maps give an immediate proof of the annihilation of the groups of divisible elements $div K_{2n}(F)_l$ of the even $K$--theory of the top field by higher Stickelberger elements, for all odd primes $l$. This generalizes the results of \cite{Ba1}, which only deals with CM abe…
Let $\mathcal{A}$ be an abelian variety over a number field, with a good reduction at a prime ideal containing a prime number $p$. Denote by ${\rm A}$ an abelian variety over a finite field of characteristic $p$, obtained by the reduction of $\mathcal{A}$ at the prime ideal. In this paper we derive an algorithm which allows to decompose the group scheme ${\rm A}[p]$ into indecomposable quasi-polarized ${\rm BT}_1$-group schemes. This can be done for the unramified $p$ on the basis of its decomposition into prime ideals in the endomorphism algebra of ${\rm A}$. We also compute all types of such…
