Appendix to "The Betti map associated to a section of an abelian scheme"

Research output: Contribution to journalArticleResearchpeer review

Authors

  • Ziyang Gao
  • Yves André
  • Pietro Corvaja
  • Umberto Zannier

External Research Organisations

  • Université de Paris
  • University of Udine
  • Scuola Normale Superiore di Pisa
View graph of relations

Details

Original languageEnglish
Pages (from-to)161-202
Number of pages42
JournalInventiones Mathematicae
Volume222
Issue number1
Publication statusPublished - 2020
Externally publishedYes

Abstract

Given a point ξ on a complex abelian variety A, its abelian logarithm can be expressed as a linear combination of the periods of A with real coefficients, the Betti coordinates of ξ. When (A, ξ) varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions. Computing its rank (in the sense of differential geometry) becomes important when one is interested about how often ξ takes a torsion value (for instance, Manin’s theorem of the kernel implies that this coordinate system is constant in a family without fixed part only when ξ is a torsion section). We compute this rank in terms of the rank of a certain contracted form of the Kodaira–Spencer map associated to (A, ξ) (assuming A without fixed part, and Zξ Zariski-dense in A), and deduce some explicit lower bounds in special situations. For instance, we determine this rank in relative dimension ≤ 3 , and study in detail the case of jacobians of families of hyperelliptic curves. Our main application, obtained in collaboration with Z. Gao, states that if A→ S is a principally polarized abelian scheme of relative dimension g which has no non-trivial endomorphism (on any finite covering), and if the image of S in the moduli space A g has dimension at least g, then the Betti map of any non-torsion section ξ is generically a submersion, so that ξ-1Ators is dense in S(C).

ASJC Scopus subject areas

Cite this

Appendix to "The Betti map associated to a section of an abelian scheme". / Gao, Ziyang; André, Yves; Corvaja, Pietro et al.
In: Inventiones Mathematicae, Vol. 222, No. 1, 2020, p. 161-202.

Research output: Contribution to journalArticleResearchpeer review

Gao Z, André Y, Corvaja P, Zannier U. Appendix to "The Betti map associated to a section of an abelian scheme". Inventiones Mathematicae. 2020;222(1):161-202. doi: 10.1007/s00222-020-00963-w
Gao, Ziyang ; André, Yves ; Corvaja, Pietro et al. / Appendix to "The Betti map associated to a section of an abelian scheme". In: Inventiones Mathematicae. 2020 ; Vol. 222, No. 1. pp. 161-202.
Download
@article{59fa5626436d43fba0358ce022eeb969,
title = "Appendix to {"}The Betti map associated to a section of an abelian scheme{"}",
abstract = "Given a point ξ on a complex abelian variety A, its abelian logarithm can be expressed as a linear combination of the periods of A with real coefficients, the Betti coordinates of ξ. When (A, ξ) varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions. Computing its rank (in the sense of differential geometry) becomes important when one is interested about how often ξ takes a torsion value (for instance, Manin{\textquoteright}s theorem of the kernel implies that this coordinate system is constant in a family without fixed part only when ξ is a torsion section). We compute this rank in terms of the rank of a certain contracted form of the Kodaira–Spencer map associated to (A, ξ) (assuming A without fixed part, and Zξ Zariski-dense in A), and deduce some explicit lower bounds in special situations. For instance, we determine this rank in relative dimension ≤ 3 , and study in detail the case of jacobians of families of hyperelliptic curves. Our main application, obtained in collaboration with Z. Gao, states that if A→ S is a principally polarized abelian scheme of relative dimension g which has no non-trivial endomorphism (on any finite covering), and if the image of S in the moduli space A g has dimension at least g, then the Betti map of any non-torsion section ξ is generically a submersion, so that ξ-1Ators is dense in S(C).",
author = "Ziyang Gao and Yves Andr{\'e} and Pietro Corvaja and Umberto Zannier",
note = "Publisher Copyright: {\textcopyright} 2020, Springer-Verlag GmbH Germany, part of Springer Nature.",
year = "2020",
doi = "10.1007/s00222-020-00963-w",
language = "English",
volume = "222",
pages = "161--202",
journal = "Inventiones Mathematicae",
issn = "0020-9910",
publisher = "Springer New York",
number = "1",

}

Download

TY - JOUR

T1 - Appendix to "The Betti map associated to a section of an abelian scheme"

AU - Gao, Ziyang

AU - André, Yves

AU - Corvaja, Pietro

AU - Zannier, Umberto

N1 - Publisher Copyright: © 2020, Springer-Verlag GmbH Germany, part of Springer Nature.

PY - 2020

Y1 - 2020

N2 - Given a point ξ on a complex abelian variety A, its abelian logarithm can be expressed as a linear combination of the periods of A with real coefficients, the Betti coordinates of ξ. When (A, ξ) varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions. Computing its rank (in the sense of differential geometry) becomes important when one is interested about how often ξ takes a torsion value (for instance, Manin’s theorem of the kernel implies that this coordinate system is constant in a family without fixed part only when ξ is a torsion section). We compute this rank in terms of the rank of a certain contracted form of the Kodaira–Spencer map associated to (A, ξ) (assuming A without fixed part, and Zξ Zariski-dense in A), and deduce some explicit lower bounds in special situations. For instance, we determine this rank in relative dimension ≤ 3 , and study in detail the case of jacobians of families of hyperelliptic curves. Our main application, obtained in collaboration with Z. Gao, states that if A→ S is a principally polarized abelian scheme of relative dimension g which has no non-trivial endomorphism (on any finite covering), and if the image of S in the moduli space A g has dimension at least g, then the Betti map of any non-torsion section ξ is generically a submersion, so that ξ-1Ators is dense in S(C).

AB - Given a point ξ on a complex abelian variety A, its abelian logarithm can be expressed as a linear combination of the periods of A with real coefficients, the Betti coordinates of ξ. When (A, ξ) varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions. Computing its rank (in the sense of differential geometry) becomes important when one is interested about how often ξ takes a torsion value (for instance, Manin’s theorem of the kernel implies that this coordinate system is constant in a family without fixed part only when ξ is a torsion section). We compute this rank in terms of the rank of a certain contracted form of the Kodaira–Spencer map associated to (A, ξ) (assuming A without fixed part, and Zξ Zariski-dense in A), and deduce some explicit lower bounds in special situations. For instance, we determine this rank in relative dimension ≤ 3 , and study in detail the case of jacobians of families of hyperelliptic curves. Our main application, obtained in collaboration with Z. Gao, states that if A→ S is a principally polarized abelian scheme of relative dimension g which has no non-trivial endomorphism (on any finite covering), and if the image of S in the moduli space A g has dimension at least g, then the Betti map of any non-torsion section ξ is generically a submersion, so that ξ-1Ators is dense in S(C).

UR - http://www.scopus.com/inward/record.url?scp=85082687218&partnerID=8YFLogxK

U2 - 10.1007/s00222-020-00963-w

DO - 10.1007/s00222-020-00963-w

M3 - Article

VL - 222

SP - 161

EP - 202

JO - Inventiones Mathematicae

JF - Inventiones Mathematicae

SN - 0020-9910

IS - 1

ER -