A bound for the torsion on subvarieties of abelian varieties
type: Item
instance of: scholarly article
title: A bound for the torsion on subvarieties of abelian varieties
author: Aurélien Galateau
author: César Martínez
published in: Transactions of the American Mathematical Society
publication date: 2024-07-04T00:00:00Z
review text: This is a counterpart in the context of abelian varieties to the theorem proved in [J. Reine Angew. Math. 755, 103--126 (2019; Zbl 1427.14051)] by the second author in the context of tori. That is, for a subvariety \(V\) of an abelian variety \(A\), the authors give a bound on the number of subvarieties of \(V\) that are abelian subvarieties of \(A\) translated by a torsion point and maximal among such subvarieties.\N\NThe bound is simply \((\deg V)^{\dim A}\), but that hides a constant that depends on \(A\) and on a polarisation. Such bounds can be seen as analogues of the Manin-Mumford conjecture (Raynaud's theorem) and the methods used here include many ideas that have been used for other extensions of that. In other respects, the broad outline of the proof is similar to the one for the torus case. The hidden constant is given in terms of a constant that appears in a well-known theorem of Serre: according to a conjecture of Lang, if \(L\) is a finite extension of the field of definition of \(A\) then the adelic representation induced by the action of \(\operatorname{Gal}_{L/K}\) on the \(\ell\)-adic Tate module for all \(\ell\) should contain an open subgroup of the group of homotheties, but all that is known is Serre's result that it contains some power of the homothety group. This power is a mysterious constant and occurs in the description of the constant here.\N\NSerre's result is also a main tool for the proof, because it is used to reduce the size of the problem by replacing \(V\) by a typically much smaller subvariety that still contains the torsion cosets. Namely, one intersects \(V\) with a Galois conjugate that acts by homothety on torsion. If \(V\) is a curve, that is enough (and indeed gives a stronger result), because the torsion can be bounded by an application of Bézout's theorem, but applying that repeatedly in the general case is too weak, and the interpolation approach used in the torus case is required.
reviewed by: G. K. Sankaran
Mathematics Subject Classification ID: 11G10
Mathematics Subject Classification ID: 14K12
zbMATH DE Number: 7876002
zbMATH Keywords: torsion points
zbMATH Keywords: abelian varieties
zbMATH Keywords: Manin-Mumford conjecture
MaRDI profile type: MaRDI publication profile
cites work: Solving algebraic equations in roots of unity
cites work: Points de petite hauteur sur une sous-variété d'un tore
cites work: Small points on subvarieties of a torus
cites work: Small points on rational subvarieties of tori
cites work: Transplanting Cohomology Classes in Complex-Projective Space
cites work: Q4432295
cites work: Q3905398
cites work: Q4351906
cites work: Examples of torsion points on genus two curves
cites work: Geometry of \(p\)-jets
cites work: Une majoration de la fonction de Hilbert et ses conséquences pour l'interpolation algébrique
cites work: Q4699502
cites work: Torsion points on curves and p-adic abelian integrals
cites work: Ramified torsion points on curves
cites work: Uniform Manin-Mumford for a family of genus 2 curves
cites work: Torsion points on isogenous abelian varieties
cites work: Uniformity in Mordell-Lang for curves
cites work: Diophantine approximation on abelian varieties
cites work: Lower bound for the essential minimum on abelian varieties
cites work: Petits points des hypersurfaces d’une variété abélienne
cites work: Polarization and isogenies
cites work: Autour d'une conjecture de Serge Lang. (Around a conjecture by Serge Lang)
cites work: On the existence of absolutely simple abelian varieties of a given dimension over an arbitrary field
cites work: The Manin-Mumford conjecture and the model theory of difference fields
cites work: Division points on curves
cites work: Complete systems of addition laws an abelian varieties
cites work: Bounds for Serre's open image theorem for elliptic curves over number fields
cites work: The number of maximal torsion cosets in subvarieties of tori
cites work: Division points on semi-abelian varieties
cites work: On alternative heights. III
cites work: Courbes sur une variété abélienne et points de torsion
cites work: Q3704011
cites work: Solving algebraic equations in roots of unity.
cites work: Q4302493
cites work: On the embedding of Abelian varieties in projective spaces
cites work: Q4782297
DOI: 10.1090/TRAN/8933
description: scientific article; zbMATH DE number 7876002