Pith. sign in

REVIEW 2 major objections 4 minor 53 references

Intersecting subvarieties of abelian schemes with group subschemes I

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that in every family of abelian varieties, algebraic points of a non-anomalous subvariety that lie close to small flat group subschemes have bounded height.

desk verdict Family version of Habegger's bounded height theorem is a genuine advance; the proof is credible, but Lemma 5.10 needs a proper proof of the algebraicity step. read the letter →

arxiv 2411.16108 v1 pith:RHOWWQRH submitted 2024-11-25 math.NT math.AG

Tangli Ge This is my paper · ORCID
classification math.NTmath.AG MSC 11G5014G4014K0511G10
keywords abelianschemesboundedheightdegeneracylocusweaklyspecialsubvarietiesadeliclinebundlesAx–SchanuelunlikelyintersectionsspecializationofMordell–Weilgroups
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves a family version of the bounded-height theorem for subvarieties of abelian varieties. Working with an abelian scheme over a normal quasi-projective base, the author shows that after removing the t-th degeneracy locus, every algebraic point lying within a sufficiently small height neighborhood of a flat group subscheme of relative dimension at most t has bounded total height. The result recovers the known single-abelian-variety theorem when the base is a point, and it yields two Diophantine applications: a specialization theorem for Mordell–Weil groups over higher-dimensional bases, and a bounded-height result for a determinant height that points toward an ICM conjecture on small specializations. A sympathetic reader should care because it turns a qualitative rarity statement into a quantitative height bound in a relative, non-compact setting.

What carries the argument

The engine is the $t$-th degeneracy locus $X^{\mathrm{deg}(t)}$, defined as the union of all positive-dimensional subvarieties $Y \subseteq X$ whose vertical defect $\delta_v(Y) = \operatorname{rel.dim}\langle Y \rangle - \dim Y$ is less than $t$, where $\langle Y \rangle$ is the smallest weakly special subvariety (a translate of a group subscheme by a constant section) containing $Y$. The argument has three gears: a nondegeneracy criterion, proved with a weak Ax–Schanuel inequality, showing that vanishing of the pullback volume form along $X$ forces $X \subseteq X^{\mathrm{deg}(g-g')}$; a compactness statement for surjective R-homomorphisms, reducing all flat group subschemes to finitely many isogeny types; and intersection theory of adelic line bundles on quasi-projective varieties, which converts positivity of self-intersections $[(f^*\widetilde{L}_B)^d]_X$ into a uniform height upper bound that competes with a lower bound for points near $B$-null loci. Choosing $\epsilon$ small makes the lower bound beat the upper bound and confines the total height to a bounded interval.

What would settle it

Find an abelian scheme over a curve, a subvariety $X$ with $\tau(X) \ge 0$, and a sequence of algebraic points $p_n \in (X \setminus X^{\mathrm{deg}(t)}) \cap C(1/n, A_{\le t})$ with total height $h_M(p_n) \to \infty$; such a sequence would directly contradict Theorem 8.4. Equivalently, computing $[(f^*\widetilde{L}_B)^d]_X$ for a single surjective R-homomorphism $f$ of relative dimension $\le t$ on a $t$-nondegenerate $X$ and finding zero would falsify the positivity criterion behind the proof.

Watch

Extended reading notes

Core claim

Let $\pi: A \to S$ be an abelian scheme over a number field with a fibre-wise Néron–Tate height and a total height $h$. For $t \in \mathbb{N}$, denote by $A_{\le t}$ the union of all flat group subschemes of relative dimension at most $t$ and by $X^{\mathrm{deg}(t)}$ the $t$-th degeneracy locus of a subvariety $X \subseteq A$. The central claim (Theorem 8.4) is that there are constants $\epsilon, c > 0$ such that every algebraic point of $X \setminus X^{\mathrm{deg}(t)}$ lying in the $\epsilon$-height neighborhood $C(\epsilon, A_{\le t})$ satisfies $h(p) \le c$. Equivalently, on the non-anomalous part of $X$, points that are very close to small group subschemes cannot escape to infinite height. The proof shows that this bounded-height statement follows from positivity of self-intersections of pulled-back adelic line bundles, which in turn follows from a nondegeneracy criterion: if a pulled-back invariant volume form vanishes on $X$, then $X$ is contained in the corresponding degeneracy locus.

Load-bearing premise

The load-bearing premise is the geometric fact that a subvariety on which a pulled-back invariant volume form vanishes must already lie in the corresponding degeneracy locus; if that bridge failed, the positivity of self-intersections that drives the height comparison would not get started.

Editorial extensions

If this is right

  • When $S$ is a point, Theorem 8.4 reduces to the original bounded-height theorem for a single abelian variety, so the relative statement is a genuine generalization rather than an analogue.
  • Under the maximal-variation and dimension assumptions, the set of closed points where specialization fails to be injective on a finitely generated Mordell–Weil group is contained in a strict Zariski closed set together with a set of bounded height (Theorem 9.4).
  • For a non-constant abelian scheme over a curve, the set of points where the determinant height $h_\Lambda(s)$ is smaller than some $\epsilon > 0$ is a set of bounded height; in particular, only finitely many bounded-degree points can have $h_\Lambda(s) < \epsilon$ (Theorem 9.5).
  • The proof establishes a practical criterion: $t$-nondegeneracy of $X$ is equivalent to positivity of the self-intersection $[(f^*\widetilde{L}_B)^d]_X$ for every surjective R-homomorphism $f: A \to B$ with $\dim B \ge \dim A - t$ (Theorem 8.3 and Corollary 6.14).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper only handles flat group subschemes that come from the generic fibre, namely the union $A_{\le t}$; if the same height bound held for the larger union $A(\le t)$ of group subschemes inside all fibres, Conjecture 9.6 would be true, and the natural missing ingredient is a relative compactness statement for fibre-wise homomorphisms.
  • One testable consequence of Theorem 9.5 is that for a non-isotrivial elliptic surface over $\mathbb{P}^1$ with a finitely generated group of sections, the small-value set $\{s : h_\Lambda(s) < \epsilon\}$ should have bounded height; a computer search for explicit $\epsilon$ and height bounds in a concrete family would provide numerical evidence.
  • The nondegeneracy criterion turns a transcendental analytic condition into an algebraic one; this suggests that the degeneracy locus, and hence the height bound, could in principle be computed for explicit families of abelian schemes.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper proves a family version of Habegger's bounded height theorem: for an abelian scheme A/S over a number field K and a subvariety X of A, the intersection of X outside Gao's t-th degeneracy locus with a sufficiently small height neighborhood of the union A_{\le t} of flat group subschemes of relative dimension at most t is a set of bounded total height. The proof has three main parts: a geometric bridge theorem (Theorem 5.9) using the Ax–Schanuel theorem and Betti forms to convert nondegeneracy into positivity of self-intersections; an arithmetic height-competition argument (Section 7) using Yuan–Zhang intersection theory and a compactness transfer from Habegger's lemma via Masser's specialization theorem; and a Noetherian induction enlarging the Zariski open subset to the complement of the degeneracy locus (Theorem 8.4). The paper gives two applications: a higher-dimensional generalization of Silverman's specialization theorem and a bounded-height result toward Zhang's ICM conjecture.

Significance. If the proof is completed, this is a substantial contribution. It establishes a genuine family version of Habegger's theorem, with applications to specialization of Mordell–Weil groups and to Zhang's conjecture, and it cleanly isolates the required geometric inputs. The paper is honest about its external dependencies: the degeneracy locus is Gao's, the intersection theory is Yuan–Zhang's, and the compactness transfer in Proposition 2.7 relies on Masser's specialization theorem and Habegger's lemma. The overall architecture is coherent: Theorem 7.2 follows from explicit height inequalities, and Theorem 8.4 follows by Noetherian induction. The main weakness is the under-proved Lemma 5.10, which is load-bearing for the geometric bridge and hence for all later height bounds.

major comments (2)
  1. [§5.2, Lemma 5.10] The second statement of Lemma 5.10 is not proved. The proof asserts that Proposition 3.6 implies End(A)=End(A^{biZar}) and that an R-homomorphism A→B extends to an R-homomorphism A_1→B_1 over S^{biZar}, but Proposition 3.6 is a characterization of bi-algebraic subvarieties as weakly special subvarieties and does not directly compare endomorphism groups nor provide such an extension. This extension is load-bearing: Theorem 5.9 uses the algebraicity of ~W to conclude rel.dim ~F^{Zar}≤g−g′, and Theorem 8.3 converts that into the positivity [(f^*~L_B)^d]_X>0 used in Propositions 7.3–7.5 and Theorem 7.2. A complete proof of the extension statement, or an alternative argument establishing the needed rank bound on the Zariski closure of the lifted fibers, is required.
  2. [§8.2, proof of Theorem 8.4] The identity A_{\le t}=∪_{i=1}^r N(B_i) is stated without justification. For a flat group subscheme H of relative dimension ≤t, the argument should specify a surjective homomorphism to a quotient of A that kills H; this requires composing the quotient A→A/H^0 with a sufficiently divisible endomorphism to kill the finite part. The current text, which writes 'the quotient A/NH ... Then H⊆N(B)', does not make clear that the killing homomorphism is the composite [N]∘(A→A/NH). Please spell out this step explicitly, since the main theorem depends on it.
minor comments (4)
  1. [§2.3, Proposition 2.7] The proof of Proposition 2.7 would be easier to follow if the precise compactness property from Habegger's [27, Lem. 2] were recorded, since the definitions of K_N(A,B) and K_{N_δ}(A,B) in Section 7.1 rely on it.
  2. [§5.2, proof of Theorem 5.9] After applying Corollary 3.9, the notation ~F is reused for the lift of F to C^g×H_g; please state the lifting construction explicitly, since it is not literally the same as the fiber component defined earlier in the paragraph.
  3. [§9.2, proof of Theorem 9.5] The sentence asserting H_μ⊆B_{\le g−1} after noting H_μ∩B is strict should clarify that this holds for the flat group-subscheme components; possible vertical components over finitely many fibers should be handled explicitly or excluded by a bounded-height observation.
  4. [Introduction, Theorems A and B] Theorems A and B are restated in Section 9 as Theorem 9.4 and Theorem 9.5; adding explicit cross-references at the statements in the introduction would help the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem's inputs are independent prior results and the conclusion is not built into the definitions.

full rationale

The paper's central result, Theorem 8.4, is a family version of Habegger's bounded height theorem. Its statement concerns points outside Gao's degeneracy locus X^deg(t) lying in an epsilon-height neighborhood of A_<=t; the degeneracy locus is defined via weakly special closures and is not constructed from the bounded-height conclusion. The proof chain is: Theorem 5.9 converts vanishing of the pulled-back Betti volume form into inclusion in X^deg(g-g'), using Ax-Schanuel (Theorem 3.8/Corollary 3.9), Gao's finiteness theorem (Theorem 3.10), and Lemma 5.10. Corollary 6.14 identifies the nonzero volume form with positivity of the self-intersection [(f^*~L_B)^d]_X via Yuan-Zhang intersection theory and Theorem 6.13. Theorem 8.3 then derives this positivity from t-nondegeneracy. Section 7 turns positivity into competing height bounds (Propositions 7.3 and 7.5), giving Theorem 7.2, and Theorem 8.4 assembles the finitely many isogeny classes from Lemma 2.5. None of these steps fits the listed circularity patterns. In particular, the definitions of X^deg(t), t-nondegeneracy, and tau(X) are not defined in terms of the height bound, and no parameter is fitted to a subset of data and then renamed a prediction. The paper contains no self-citations by the author that carry a load-bearing argument; citations to Gao, Habegger, Yuan-Zhang, and others are independent external results. The skeptical concern that Lemma 5.10's extension claim is under-proven is a correctness risk, not evidence of circularity: even if that lemma failed, the argument would be wrong rather than circular. Similarly, Theorem 6.13 being quoted from Yuan-Zhang is an external input, not a self-referential reduction. Therefore the derivation is self-contained in the sense relevant to circularity, and the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted to data; the constants epsilon and c in Theorem 8.4 are existential and non-explicit. The proof relies on external deep theorems rather than circular reasoning. No new physical or mathematical entities are introduced.

assumptions (6)
  • domain assumption Ax-Schanuel theorem for universal abelian varieties (Gao [20, Thm. 3.5]), including Corollary 3.9.
    Used in Theorem 5.9 to derive the geometric criterion: vanishing of the Betti volume form implies X = X^deg(g-g'). This is the bridge from geometry to arithmetic positivity.
  • domain assumption Gao's finiteness a la Bogomolov-Ullmo (Theorem 3.10): weakly optimal subvarieties are classified by finitely many triples (A1, B1, N).
    Used in Theorems 5.5 and 5.6 to show finiteness of types and Zariski closedness of degeneracy loci.
  • standard math Yuan-Zhang theory of integrable adelic line bundles on quasi-projective varieties, including Siu-Yuan's bigness theorem and the intersection formula (7.5).
    Foundational for Sections 6 and 7; supplies the height upper and lower bounds in Propositions 7.3 and 7.5.
  • domain assumption Habegger's compactness lemma [27, Lem. 2] transferred to abelian schemes via Masser's specialization theorem in Proposition 2.7.
    Provides the compact subset K(A,B) of surjective R-homomorphisms; without it the uniform height inequalities lose uniformity.
  • domain assumption Assumption (2.1): End(A_eta) = End(A_bar eta), achieved by a finite etale base change (Lemma 2.2).
    Used to identify abelian subschemes over the algebraic closure with those over K(S) and to make Proposition 2.7 work; the paper argues it is harmless by base change.
  • standard math Standard background on abelian schemes: Lang-Neron theorem, Poincare complete reducibility, projectivity of abelian schemes over normal bases (Raynaud-Grothendieck).
    Used throughout Sections 2-4; accepted prior results.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Intersecting subvarieties of abelian schemes with group subschemes I." pith.science (2026). https://pith.science/paper/RHOWWQRH

@misc{pith2026241116108,
  author       = {Pith},
  title        = {Pith review of: Intersecting subvarieties of abelian schemes with group subschemes I},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RHOWWQRH}},
  note         = {Machine review of arXiv:2411.16108}
}
abstract

In this paper, we establish the following family version of Habegger's bounded height theorem on abelian varieties: a locally closed subvariety of an abelian scheme with Gao's $t^{\mathrm{th}}$ degeneracy locus removed, intersected with all flat group subschemes of relative dimension at most $t$, gives a set of bounded total height. Our main tools include the Ax--Schanuel theorem, and intersection theory of adelic line bundles as developed by Yuan--Zhang. As two applications, we generalize Silverman's specialization theorem to a higher dimensional base, and establish a bounded height result towards Zhang's ICM Conjecture.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

53 extracted references · 52 canonical work pages

  1. [1]

    Achter and S

    J. Achter and S. Casalaina-Martin. Images of abelian schemes. Available on arXiv , 2023

    work page 2023

  2. [2]

    Barroero and L

    F. Barroero and L. Capuano. Linear relations in families of powers of elliptic curves. Algebra Number Theory, 10(1):195–214, 2016

    work page 2016

  3. [3]

    Barroero and L

    F. Barroero and L. Capuano. Unlikely intersections in products o f families of elliptic curves and the multiplicative group. Q. J. Math. , 68(4):1117–1138, 2017

    work page 2017

  4. [4]

    Barroero and L

    F. Barroero and L. Capuano. Unlikely intersections in families of ab elian varieties and the polynomial Pell equation. Proc. Lond. Math. Soc. (3) , 120(2):192–219, 2020

    work page 2020

  5. [5]

    Bedford and B

    E. Bedford and B. A. Taylor. A new capacity for plurisubharmonic functions. Acta Math., 149(1-2):1–40, 1982

    work page 1982

  6. [6]

    Bombieri, D

    E. Bombieri, D. Masser, and U. Zannier. Intersecting a curve wit h algebraic subgroups of multiplicative groups. Internat. Math. Res. Notices , (20):1119–1140, 1999

    work page 1999

  7. [7]

    Bombieri, D

    E. Bombieri, D. Masser, and U. Zannier. Anomalous subvarieties— structure theorems and applications. Int. Math. Res. Not. IMRN , (19):Art. ID rnm057, 33, 2007

    work page 2007

  8. [8]

    Bombieri, D

    E. Bombieri, D. Masser, and U. Zannier. Intersecting a plane with algebraic subgroups of multiplicative groups. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 7(1):51–80, 2008

    work page 2008

Show all 53 references
  1. [9]

    Cantat, Z

    S. Cantat, Z. Gao, P. Habegger, and J. Xie. The geometric Bogo molov conjecture. Duke Math. J. , 170(2):247–277, 2021

    2021

  2. [10]

    B. Conrad. Chow’s K/k-image and K/k-trace, and the Lang-N´ eron theorem.Enseign. Math. (2) , 52(1- 2):37–108, 2006

    2006

  3. [11]

    Demailly

    J.-P. Demailly. Monge-Amp` ere operators, Lelong numbers and intersection theory. In Complex analysis and geometry, Univ. Ser. Math., pages 115–193. Plenum, New York, 1993

    1993

  4. [12]

    Demailly

    J.-P. Demailly. Complex analytic and differential geometry. Availab le at https://www-fourier.ujf-grenoble.fr/ ~demailly/manuscripts/agbook.pdf, 2012

    2012

  5. [13]

    Dimitrov, Z

    V. Dimitrov, Z. Gao, and P. Habegger. Uniformity in Mordell-Lang for curves. Ann. of Math. (2) , 194(1):237–298, 2021

    2021

  6. [14]

    Dimitrov, Z

    V. Dimitrov, Z. Gao, and P. Habegger. A consequence of the re lative Bogomolov conjecture. J. Number Theory, 230:146–160, 2022

    2022

  7. [15]

    Faltings

    G. Faltings. Diophantine approximation on abelian varieties. Ann. of Math. (2) , 133(3):549–576, 1991

    1991

  8. [16]

    Faltings and C.-L

    G. Faltings and C.-L. Chai. Degeneration of abelian varieties , volume 22 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Rela ted Areas (3)] . Springer-Verlag, Berlin,

  9. [17]

    Z. Gao. A special point problem of Andr´ e-Pink-Zannier in the un iversal family of Abelian varieties. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 17(1):231–266, 2017. INTERSECTING SUBV ARIETIES OF ABELIAN SCHEMES WITH GROUP SU BSCHEMES I 41

    2017

  10. [18]

    Z. Gao. Towards the Andre-Oort conjecture for mixed Shimur a varieties: the Ax-Lindemann theorem and lower bounds for Galois orbits of special points. J. Reine Angew. Math. , 732:85–146, 2017

    2017

  11. [19]

    Z. Gao. Generic rank of Betti map and unlikely intersections. Compos. Math., 156(12):2469–2509, 2020

    2020

  12. [20]

    Z. Gao. Mixed Ax-Schanuel for the universal abelian varieties a nd some applications. Compos. Math. , 156(11):2263–2297, 2020

    2020

  13. [21]

    Z. Gao. Distribution of points on varieties: various aspects and interactions. Available at https://ziyangjeremygao.github.io/articles/hdr.pdf, 2021

    2021

  14. [22]

    Z. Gao. Bigness of the tautological line bundle and degeneracy lo ci in families of abelian varieties. Available at https://ziyangjeremygao.github.io/articles/ALBBigness.pdf, 2024

    2024

  15. [23]

    Gao and P

    Z. Gao and P. Habegger. The Relative Manin-Mumford Conjectu re. Available on arXiv , 2023

    2023

  16. [24]

    Griffiths and J

    P. Griffiths and J. Harris. Principles of algebraic geometry . Wiley Classics Library. John Wiley & Sons, Inc., New York, 1994. Reprint of the 1978 original

    1994

  17. [25]

    Grothendieck

    A. Grothendieck. ´El´ ements de g´ eom´ etrie alg´ ebrique. IV.´Etude locale des sch´ emas et des morphismes de sch´ emas. III.Inst. Hautes ´Etudes Sci. Publ. Math. , (28):255, 1966

    1966

  18. [26]

    R. Guo. An integration formula of Chern forms on quasi-projec tive varieties. Available on arXiv , 2023

    2023

  19. [27]

    Habegger

    P. Habegger. Intersecting subvarieties of abelian varieties wit h algebraic subgroups of complementary dimension. Invent. Math. , 176(2):405–447, 2009

    2009

  20. [28]

    Habegger

    P. Habegger. On the bounded height conjecture. Int. Math. Res. Not. IMRN , (5):860–886, 2009

    2009

  21. [29]

    Habegger and J

    P. Habegger and J. Pila. O-minimality and certain atypical interse ctions. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 49(4):813–858, 2016

    2016

  22. [30]

    Klingler

    B. Klingler. Hodge loci and atypical intersections: conjecture s. Available on arXiv , 2017

    2017

  23. [31]

    Klingler, E

    B. Klingler, E. Ullmo, and A. Yafaev. Bi-algebraic geometry and th e Andr´ e-Oort conjecture. InAlgebraic geometry: Salt Lake City 2015 , volume 97 of Proc. Sympos. Pure Math. , pages 319–359. Amer. Math. Soc., Providence, RI, 2018

    2015

  24. [32]

    L. K¨ uhne. The bounded height conjecture for semiabelian var ieties. Compos. Math., 156(7):1405–1456, 2020

    2020

  25. [33]

    Lang and A

    S. Lang and A. N´ eron. Rational points of abelian varieties over function fields. Amer. J. Math. , 81:95– 118, 1959

    1959

  26. [34]

    Lazarsfeld

    R. Lazarsfeld. Positivity in algebraic geometry. I , volume 48 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathem atics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics ]. Springer...

    2004

  27. [35]

    Masser and U

    D. Masser and U. Zannier. Torsion anomalous points and families o f elliptic curves. C. R. Math. Acad. Sci. Paris , 346(9-10):491–494, 2008

    2008

  28. [36]

    D. W. Masser. Specializations of endomorphism rings of abelian va rieties. Bull. Soc. Math. France , 124(3):457–476, 1996

    1996

  29. [37]

    J. S. Milne. Abelian varieties. In Arithmetic geometry (Storrs, Conn., 1984) , pages 103–150. Springer, New York, 1986

    1984

  30. [38]

    Mumford, J

    D. Mumford, J. Fogarty, and F. Kirwan. Geometric invariant theory , volume 34 of Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathemat ics and Related Areas (2)] . Springer-Verlag, Berlin, third edition, 1994

    1994

  31. [39]

    Peterzil and S

    Y. Peterzil and S. Starchenko. Complex analytic geometry and analytic-geometric categories. J. Reine Angew. Math. , 626:39–74, 2009

    2009

  32. [40]

    Pila and U

    J. Pila and U. Zannier. Rational points in periodic analytic sets and the Manin-Mumford conjecture. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. , 19(2):149–162, 2008

    2008

  33. [41]

    R. Pink. A combination of the conjectures of Mordell-Lang and A ndr´ e-Oort. InGeometric methods in algebra and number theory , volume 235 of Progr. Math. , pages 251–282. Birkh¨ auser Boston, Boston, MA, 2005

    2005

  34. [42]

    R. Pink. A common generalization of the conjectures of Andr´ e -Oort, Manin-Mumford, and Mordell- Lang. Available at https://people.math.ethz.ch/~pink/ftp/AOMMML.pdf, 2005

    2005

  35. [43]

    M. Raynaud. Faisceaux amples sur les sch´ emas en groupes et les espaces h omog` enes. Lecture Notes in Mathematics, Vol. 119. Springer-Verlag, Berlin-New York, 1970

    1970

  36. [44]

    R´ emond

    G. R´ emond. Intersection de sous-groupes et de sous-vari ´ et´ es. II.J. Inst. Math. Jussieu , 6(2):317–348, 2007. INTERSECTING SUBV ARIETIES OF ABELIAN SCHEMES WITH GROUP SU BSCHEMES I 42

    2007

  37. [45]

    R´ emond

    G. R´ emond. Intersection de sous-groupes et de sous-vari´ et´ es. III.Comment. Math. Helv. , 84(4):835–863, 2009

    2009

  38. [46]

    Silverberg

    A. Silverberg. Fields of definition for homomorphisms of abelian va rieties. J. Pure Appl. Algebra , 77(3):253–262, 1992

    1992

  39. [47]

    J. H. Silverman. Heights and the specialization map for families of a belian varieties. J. Reine Angew. Math., 342:197–211, 1983

    1983

  40. [48]

    Ullmo and A

    E. Ullmo and A. Yafaev. A characterization of special subvariet ies. Mathematika, 57(2):263–273, 2011

    2011

  41. [49]

    E. Viada. The optimality of the bounded height conjecture. J. Th´ eor. Nombres Bordeaux, 21(3):769–784, 2009

    2009

  42. [50]

    Yuan and S.-W

    X. Yuan and S.-W. Zhang. Adelic line bundles on quasi-projective v arieties. Available on arXiv , 2024

    2024

  43. [51]

    S.-W. Zhang. Small points and Arakelov theory. In Proceedings of the International Congress of Math- ematicians, Vol. II (Berlin, 1998) , number Extra Vol. II, pages 217–225, 1998

    1998

  44. [52]

    B. Zilber. Exponential sums equations and the Schanuel conje cture. J. London Math. Soc. (2) , 65(1):27– 44, 2002. Department of Mathematics, Princeton University, Princet on, NJ 08540, U.S.A. Email address : tangli@princeton.edu

    2002

  45. [1990]

    With an appendix by David Mumford

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.