Torsion in abelian fundamental group and its application
Institute of Mathematical Sciences, A CI of Homi Bhabha National Institute（马哈拉施特拉邦数学科学研究所）；Department of Mathematics, University of California, Santa Barbara（加州大学圣塔芭芭拉分校数学系）
Rahul Gupta, Jitendra Rathore
备注：
25 pages, Published in Int. Math. Res. Not. (IMRN)
We prove that the torsion subgroup of the abelian fundamental group is finite for a regular geometrically integral projective variety over a local field. We also study the structure of $SK_1(X)$ for a regular projective variety $X$ over a local field. As an application, we get class field theory for regular projective curves over local fields.
We prove that the torsion points of an abelian variety are equidistributed over the corresponding berkovich space with respect to the canonical measure.
We give a simple axiomatic description of the degree 0 part of the polylogarithm on abelian schemes and show that its realisation in analytic Deligne cohomology can be described in terms of the Bismut-Köhler higher analytic torsion form of the Poincaré bundle.
We answer a question raised by Hindry and Ratazzi concerning the intersection between cyclotomic extensions of a number field $K$ and extensions of $K$ generated by torsion points of an abelian variety over $K$. We prove that a weak version of the property $(μ)$ they introduced holds for any abelian variety, while the same is not true for a slightly stronger version of the property they also considered.
Let X' be the toroidal compactification of the quotient of the complex 2-ball by a torsion free lattice G of SU(2,1). We say that X'is co-abelian if there is an abelian surface, birational to X'. The present work can be viewed as an illustration for the presence of a plenty of non-compact co-abelian torsion free toroidal compactifications. More precisely, it shows that all the admissible values for the volume of a torsion free quotient of the complex 2-ball are attained by co-abelian Picard modular ones over Eisenstein numbers. The article provides three types of infinite series of finite unra…
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.
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.
Let K denote the quadratic field $\mathbb{Q}(\sqrt{d})$ where d=$-1$ or $-3$. Let E be an elliptic curve defined over K. In this paper, we analyze the torsion subgroups of E in the maximal elementary abelian $2$-extension of $K$.
There are many equivalent ways to describe the p-torsion of a principally polarized abelian variety in characteristic p. We briefly explain these methods and then illustrate them for abelian varieties A of arbitrary dimension g in several important cases, including when A has p-rank f and a-number 1 and when A has p-rank f and a-number g-f. We provide complete tables for abelian varieties of dimension up to four.
Given a noetherian abelian category $\mathcal Z$ of homological dimension two with a tilting object $T$, the abelian category $\mathcal Z$ and the abelian category of modules over $\text{End} (T)^{\textit{op}}$ are related by a sequence of two tilts; we give an explicit description of the torsion pairs involved. We then use our techniques to obtain a simplified proof of a theorem of Jensen-Madsen-Su, that $\mathcal Z$ has a three-step filtration by extension-closed subcategories. Finally, we generalise Jensen-Madsen-Su's filtration to a noetherian abelian category of any finite homological dim…
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.
We consider the distribution of p-power group schemes among the torsion of abelian varieties over finite fields of characteristic p, as follows. Fix natural numbers g and n, and let $ξ$ be a non-supersingular principally quasipolarized Barsotti-Tate group of level n. We classify the F_q-rational forms $ξ^α$ of $ξ$. Among all principally polarized abelian varieties X/F_q of dimension g with p^n-torsion geometrically isomorphic to ξ, we compute the frequency with which X[p^n] is isomorphic to $ξ^α$. The error in our estimate is bounded by $D/\sqrt{q}$ where D depends on g, n and p, but not on $ξ…
In this paper we prove the Geyer-Jarden conjecture on the torsion part of the Mordell-Weil group for a large class of abelian varieties defined over finitely generated fields of arbitrary characteristic. The class consists of all abelian varieties with big monodromy, i.e., such that the image of Galois representation on l-torsion points, for almost all primes l, contains the full symplectic group.
Investigating a conjecture of Zannier, we study irreducible subvarieties of abelian schemes that dominate the base and contain a Zariski dense set of torsion points that lie on pairwise isogenous fibers. If everything is defined over the algebraic numbers and the abelian scheme has maximal variation, we prove that the geometric generic fiber of such a subvariety is a union of torsion cosets. We go on to prove fully or partially explicit versions of this result in fibered powers of the Legendre family of elliptic curves. Finally, we apply a recent result of Galateau-Martínez to obtain uniform b…
Let $K$ be a field finitely generated over the field of rational numbers, $K(c)$ the extension of $K$ obtained by adjoining all roots of unity, $L$ an infinite Galois extension of $K$, $X$ an abelian variety defined over $K$. We prove that under certain conditions on $X$ and $K$ the existence of infinitely many L-rational points of finite order on $X$ implies that the intersection of $L$ and $K(c)$ has infinite degree over $K$.
Let $\mathcal{O}_K$ be a discrete valuation ring with fraction field $K$ of characteristic $0$ and algebraically closed residue field $k$ of characteristic $p > 0$. Let $A/K$ be an abelian variety of dimension $g$ with a $K$-rational point of order $p$. In this article, we are interested in the reduction properties that $A/K$ can have. After discussing the general case, we specialize to $g=1$, and we study the possible Kodaira types that can occur.
The geometric torsion conjecture asserts that the torsion part of the Mordell--Weil group of a family of abelian varieties over a complex quasiprojective curve is uniformly bounded in terms of the genus of the curve. We prove the conjecture for abelian varieties with real multiplication, uniformly in the field of multiplication. Fixing the field, we furthermore show that the torsion is bounded in terms of the $\mathit{gonality}$ of the base curve, which is the closer analog of the arithmetic conjecture. The proof is a hybrid technique employing both the hyperbolic and algebraic geometry of the…
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 give a function F(d,n,p) such that if K/Q_p is a degree n field extension and A/K is a d-dimensional abelian variety with potentially good reduction, then #A(K)[tors] is at most F(d,n,p). Separate attention is given to the prime-to-p torsion and to the case of purely additive reduction. These latter bounds are applied to classify rational torsion on CM elliptic curves over number fields of degree at most 3, on elliptic curves over Q with integral j (recovering a theorem of Frey), and on abelian surfaces over Q with integral moduli. In the last case, our efforts leave us with 11 numbers whic…
Let $A$ be an abelian variety defined over a number field $K$. The number of torsion points that are rational over a finite extension $L$ is bounded polynomially in terms of the degree $[L:K]$ of $L$ over $K$. Under the following three conditions, we compute the optimal exponent for this bound, in terms of the dimension of abelian subvarieties and their endomorphism rings. The three hypothesis are the following: $(1)$ $A$ is geometrically isogenous to a product of simple abelian varieties of type I, II or III, according to the Albert classification; $(2)$ $A$ is of "Lefschetz type", that is, t…
We study semistable reduction and torsion points of abelian varieties. In particular, we give necessary and sufficient conditions for an abelian variety to have semistable reduction. We also study Néron models of abelian varieties with potentially good reduction and torsion points of small order. We study some invariants that measure the extent to which an abelian variety with potentially good reduction fails to have good reduction.
Let $A$ be an abelian variety defined over a number field $K$, the number of torsion points rational over a finite extension $L$ is bounded polynomially in terms of the degree $[L:K]$. When $A$ is isogenous to a product of simple abelian varieties of $\GSp$ type, i.e. whose Mumford-Tate group is "generic" (isomorphic to the group of symplectic similitudes) and which satisfy the Mumford-Tate conjecture, we compute the optimal exponent for this bound in terms of the dimensions of the abelian subvarieties of $A$. The result is unconditional for a product of simple abelian varieties with endomorph…
Let $p$ be a prime, let $K$ be a discretely valued extension of $\mathbb{Q}_p$, and let $A_{K}$ be an abelian $K$-variety with semistable reduction. Extending work by Kim and Marshall from the case where $p>2$ and $K/\mathbb{Q}_p$ is unramified, we prove an $l=p$ complement of a Galois cohomological formula of Grothendieck for the $l$-primary part of the Néron component group of $A_{K}$. Our proof involves constructing, for each $m\in \mathbb{Z}_{\geq 0}$, a finite flat $\mathscr{O}_K$-group scheme with generic fiber equal to the maximal 1-crystalline submodule of $A_{K}[p^{m}]$. As a corollar…
We are considering iterative derivations on the function field L of abelian schemes in positive characteristic p>0, and give conditions when the torsion group schemes of this abelian scheme occur as ID-automorphism groups, i.e. are the ID-Galois groups of L over certain ID-subfields. For an explicit example, we even give a construction of (a family of) such iterative derivations.
Let $X$ be a topological space upon which a compact connected Lie group $G$ acts. It is well-known that the equivariant cohomology $H_G^*(X;\Q)$ is isomorphic to the subalgebra of Weyl group invariants of the equivariant cohomology $H_T^*(X;\Q)$, where $T$ is a maximal torus of $G$. This relationship breaks down for coefficient rings $\k$ other than $\Q$. Instead, we prove that under a mild condition on $\k$ the algebra $H_G^*(X,\k)$ is isomorphic to the subalgebra of $H_T^*(X,\k)$ annihilated by the divided difference operators.
To a symmetric, relatively ample line bundle on an abelian scheme one can associate a linear combination of the determinant bundle and the relative canonical bundle, which is a torsion element in the Picard group of the base. We improve the bound on the order of this element found by Faltings and Chai. In particular, we obtain an optimal bound when the degree of the line bundle d is odd and the set of residue characteristics of the base does not intersect the set of primes p dividing d, such that $p\equiv -1\mod(4)$ and p<2g, where g is the relative dimension of the abelian scheme. Also, we sh…
Using analytic torsion associated to stable bundles, we introduce zeta functions for compact Riemann surfaces. To justify the well-definedness, we analyze the degenerations of analytic torsions at the boundaries of the moduli spaces, the singularities of analytic torsions at Brill-Noether loci, and the asymptotic behaviors of analytic torsions with respect to the degree. These new yet intrinsic zetas, both abelian and non-abelian, are expected to play key roles to understand global analysis and geometry of Riemann surfaces, such as the Tamagawa number conjecture for Riemann surfaces, searched …
In this paper we prove trace formulae for the Reidemeister number of a group endomorphism. This result implies the rationality of the Reidemeister zeta function in the following cases: the group is a direct product of a finite group and a finitely generated Abelian group; the group is finitely generated, nilpotent and torsion free. We continue to study analytical properties of the Nielsen zeta function. We connect the Reidemeister zeta function of an endomorphism of a direct product of a finite group and a finitely generated free Abelian group with the Lefschetz zeta function of the induced ma…
The main result of the paper is that if $A$ is an abelian variety over a subfield $F$ of ${\bold C}$, and $A$ has purely multiplicative reduction at a discrete valuation of $F$, then the Hodge group of $A$ is semisimple. Further, we give necessary and sufficient conditions for the Hodge group to be semisimple. We obtain bounds on certain torsion subgroups for abelian varieties which do not have purely multiplicative reduction at a given discrete valuation, and therefore obtain bounds on torsion for abelian varieties, defined over number fields, whose Hodge groups are not semisimple.
To define the notion of a generic property of finite dimensional 2-step nilpotent Lie algebras we use standard correspondence between such Lie algebras and points of an appropriate algebraic variety, where a negligible set is one contained in a proper Zariski-closed subset. We compute the maximal dimension of an abelian subalgebra of a generic Lie algebra and give a sufficient condition for a generic Lie algebra to admit no surjective homomorphism onto a non-abelian Lie algebra of a given dimension. Also we consider analogous questions for finitely generated torsion free nilpotent groups of cl…
