Points of small order on three-dimensional abelian varieties; with an appendix by Yuri Zarhin
type: Item
instance of: scholarly article
title: Points of small order on three-dimensional abelian varieties; with an appendix by Yuri Zarhin
zbMATH Open document ID: 1198.14041
author: John Cullinan
published in: Journal of Algebra
publication date: 2010-08-11T00:00:00Z
review text: If \(A\) is an abelian variety over a number field \(K\), and \(A_\wp\) has an \(\ell\)-torsion point (\(\ell\) prime) for almost all primes \(\wp\) of \(K\), does some \(A'\), isogenous over \(K\) to \(A\), have an \(\ell\)-torsion point? In general the answer is no (though it is yes for surfaces) but for \(3\)-folds the exceptions are few enough to be worth classifying, and that has been done for \(\ell\geq 7\) by the author. For \(\ell=2\) the answer is yes for \(3\)-folds, so what remains is \(\ell=3\) and \(\ell=5\). This is what is dealt with here: more precisely, the object of study is the image of the mod \(\ell\) representation \[ \overline\rho_\ell: {\mathop{\mathrm{Gal}}}(\overline K/K)\to {\mathop{\mathrm{Aut}}}(T_\ell(A)\otimes{\mathbb F}_\ell)\cong {\mathop{\mathrm{GL}}\nolimits}_6({\mathbb F}_\ell). \] The main result is that if \(A'\) does exist then the Levi component of the image is \({\mathbb Z}/2\times {\mathbb Z}/2\), \(D_4\), \(S_4\) or (for \(\ell=5\)) \(D_5\). The problem was reformulated in those terms by N.~Katz, and the Weil pairing allows us to consider subgroups of symplectic groups only. So most of the proof consists of an analysis of the maximal subgroups of \({\mathop{\mathrm{Sp}}\nolimits}_6({\mathbb F}_3)\) and \({\mathop{\mathrm{Sp}}\nolimits}_6({\mathbb F}_5)\), which are known, and showing that most of them do not contain an appropriate subgroup. Zarhin's appendix in concerned with \(\ell=2\) and \(2\leq \dim A\leq 4\). In those cases, if \(A_2\) is an absolutely simple simple module for the image of the Galois group in \({\mathop{\mathrm{Aut}}} A_2\) then \({\mathop{\mathrm{End}}}A={\mathbb Z}\) or \(K\) is of positive characteristic and \(A\) is supersingular.
Mathematics Subject Classification ID: 14K15
Mathematics Subject Classification ID: 11G10
Mathematics Subject Classification ID: 20G40
zbMATH DE Number: 5768898
zbMATH Keywords: Abelian variety
zbMATH Keywords: torsion points
reviewed by: G. K. Sankaran
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2010.03.032
OpenAlex ID: W2054054904
cites work: The classification of the finite simple groups
cites work: The transitive groups of degree up to eleven+
cites work: Local-global properties of torsion points on three-dimensional abelian varieties
cites work: A computational approach to the 2-torsion structure of abelian threefolds
cites work: Q2739526
cites work: Q4266494
cites work: Galois properties of torsion points on abelian varieties
cites work: A characterization of some locally finite simple groups of Lie type
cites work: Q3996618
cites work: On the equations defining Abelian varieties. I-III
cites work: Q5597385
cites work: Polarizations on abelian varieties
cites work: Q2739535
cites work: Q4671978
DOI: 10.1016/J.JALGEBRA.2010.03.032
Recommended article: Petits points des hypersurfaces d’une variété abélienne
Recommended article: Q4035816
Recommended article: Points of small height on semi-Abelian varieties
Recommended article: Groups of points on abelian threefolds over finite fields
Recommended article: Abelian points on algebraic varieties
Recommended article: A special point problem of André-Pink-Zannier in the universal family of abelian varieties
Recommended article: On the order of the reduction of a point on an abelian variety
Recommended article: Points of small height on semiabelian varieties
Recommended article: Integral points on threefolds and other varieties
Recommended article: Points de petite hauteur sur une variété semi‐abélienne de la forme Gmn×A$\mathbb {G}_m^n \times A$
description: scientific article; zbMATH DE number 5768898