Torsion hypersurfaces on abelian schemes and Betti coordinates
type: Item
instance of: scholarly article
title: Torsion hypersurfaces on abelian schemes and Betti coordinates
zbMATH Open document ID: 1412.14029
author: Pietro Corvaja
author: Umberto Zannier
author: D. Masser
published in: Mathematische Annalen
publication date: 2018-08-23T00:00:00Z
full work available at URL: 2017-17-torsion-final.pdf
review text: This paper completes the solution of the Zilber-Pink conjecture for abelian surface schemes over a curve. \par In more detail: Let \(\mathcal C\) be a complex curve, let \(\mathcal A\to\mathcal C\) be a scheme in abelian surfaces, and let \(\sigma:\mathcal C\to\mathcal A\) be a section of \(\mathcal A\to\mathcal C\) whose image is not contained in a proper group subscheme. It is then shown that there are only finitely many \(x\in\mathcal C\) for which \(\sigma(x)\) is torsion in the fiber \(\mathcal A_x\). \par More generally, let \(S\) be an irreducible complex quasi-projective variety, let \(\mathcal A\to S\) be a scheme in abelian surfaces, and let \(\sigma: S\to\mathcal A\) be a section whose image is not contained in a proper group subscheme. The paper shows that there are only finitely many hypersurfaces \(X\) in \(S\) such that \(\sigma(X)\) is torsion. \par When \(\mathcal A\) is isogenous to a product of elliptic curves, the former statement is already known [\textit{D. Masser} and \textit{U. Zannier}, Adv. Math. 259, 116--133 (2014; Zbl 1318.11075)]. Therefore the current paper deals only with the case that \(\mathcal A\) is simple (meaning that the generic fiber is geometrically simple). The proof also relies on the known case in which \(\mathcal A\to\mathcal C\) is simple and \(\mathcal C\) is a curve over a number field [\textit{D. Masser} and \textit{U. Zannier}, J. Eur. Math. Soc. (JEMS) 17, No. 9, 2379--2416 (2015; Zbl 1328.11068)]. \par The paper also resolves a question of Mazur. Let \(S\) be a quasi-projective scheme which is also a finite cover of the moduli space \(M_2\) of curves of genus \(2\) over \(\mathbb C\). This has dimension 3. Let \(\mathcal A\to S\) be the jacobian of the universal curve over \(S\), and let \(\sigma: S\to\mathcal A\) be a non-torsion section. The paper under review shows that there are infinitely many torsion curves in \(S\), and that they are dense in \(S\). In particular, confirming Mazur's expectation, they are not…
reviewed by: Paul Vojta
Mathematics Subject Classification ID: 14K05
Mathematics Subject Classification ID: 11G05
Mathematics Subject Classification ID: 14G05
Mathematics Subject Classification ID: 14K12
zbMATH DE Number: 6923793
zbMATH Keywords: torsion hypersurface
zbMATH Keywords: abelian scheme
zbMATH Keywords: Zilber-Pink conjecture
zbMATH Keywords: Betti coordinates
zbMATH Keywords: unlikely intersections
MaRDI profile type: Publication
OpenAlex ID: W2600402742
cites work: HEIGHTS AND LOGARITHMIC gcd ON ALGEBRAIC CURVES
cites work: Q4009141
cites work: Groupes de Galois motivques et p\'eriodes
cites work: Galois descent in Galois theories
cites work: Semianalytic and subanalytic sets
cites work: Q3977653
cites work: A Poncelet theorem in space
cites work: Q3309989
cites work: Q4001976
cites work: Torsion points on families of simple abelian surfaces and Pell's equation over polynomial rings (with an appendix by E. V. Flynn)
cites work: Specialization of endomorphism rings of abelian varieties
cites work: Torsion points on families of squares of elliptic curves
cites work: Torsion points on families of products of elliptic curves
cites work: Rational points on a subanalytic surface.
cites work: Good reduction of abelian varieties
cites work: Heights and the specialization map for families of abelian varieties.
cites work: Q4053771
cites work: Unlikely Intersections and Pell’s Equations in Polynomials
DOI: 10.1007/S00208-017-1537-Z
description: scientific article; zbMATH DE number 6923793