On the Zilber-Pink conjecture for complex abelian varieties

Fabrizio Barroero; Gabriel Andreas Dill

REVIEW 3 major objections 4 minor 43 references

On the Zilber-Pink conjecture for complex abelian varieties

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The Zilber-Pink conjecture for abelian varieties over any algebraically closed field of characteristic 0 reduces to the same conjecture over the algebraic numbers.

desk verdict Reduces Zilber-Pink over arbitrary fields to the Qbar case via the trace; the proof is solidly written but depends on an unpublished theorem of Gao, which is the main thing to check. read the letter →

arxiv 1909.01271 v2 pith:NJLBNTUH submitted 2019-09-03 math.NT math.AG

Fabrizio Barroero , Gabriel Andreas Dill This is my paper · ORCID

classification math.NTmath.AG MSC 11G1014K1214K0511G5014G35

keywords Zilber-Pinkconjectureabelianvarietiesatypicalintersectionsunlikelytraceofanvarietyoptimalsubvarietiesdefect

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 reduction theorem for the Zilber-Pink conjecture on atypical intersections in abelian varieties. The conjecture for an abelian variety $A$ over any algebraically closed field of characteristic $0$ follows from the same statement for the largest abelian subvariety of $A$ that can be defined over the algebraic numbers, called the trace. In other words, the finiteness of maximal atypical subvarieties in $A$ is implied by the same finiteness inside the algebraic trace. The proof moves to a universal family of abelian varieties, uses a structure theorem showing that optimal subvarieties are controlled by a finite set of torsion cosets, and then quotients by the associated abelian subvarieties. The same mechanism also gives a reduction to Pink's formulation and proves the conjecture in cases of small dimension or defect.

What carries the argument

The machinery is organized around the trace: for $A$ over $K$ with $K/\overline{\mathbb{Q}}$-trace $(T,\mathrm{Tr})$, every homomorphism from an abelian variety defined over $\overline{\mathbb{Q}}$ into $A$ factors through $\mathrm{Tr}(T_K)$. Subvarieties are measured by the defect $\delta(W)=\dim\langle W\rangle-\dim W$, where $\langle W\rangle$ is the smallest special subvariety containing $W$, and by a modified $\overline{\mathbb{Q}}$-geodesic defect that allows translates by torsion points and by $\overline{\mathbb{Q}}$-points of the trace. Optimal subvarieties (those for which the defect strictly increases along any larger subvariety) are shown to be geodesic-optimal in this modified sense. A structure theorem for universal abelian varieties says that, outside a fixed lower-dimensional locus, each optimal $W$ is an irreducible component of $(t+q_0+H)\cap V$ for one of finitely many pairs $(q_0,H)$ consisting of a torsion point $q_0$ and an abelian subvariety $H$. This finite family is the load-bearing finiteness input: it either pushes $W$ into a lower-dimensional base case or allows the proof to quotient by $H$ and apply induction.

What would settle it

Check the cited structure theorem on a positive-dimensional subvariety $S\subset A_{g,l}$ with $l\ge 3$: Theorem 3.1 asserts that the optimal subvarieties of the geometric generic fiber of $\mathcal{A}_{g,l}\times_{A_{g,l}} S$ are, outside a fixed proper locus, components of $(t+q_0+H)\cap V$ with $(q_0,H)$ in a finite set. Exhibiting a single optimal subvariety whose $\overline{\mathbb{Q}}$-geodesic defect is realized only by a translate of an abelian subvariety not in that finite set would refute the reduction.

Watch

Extended reading notes

Core claim

The central result is Theorem 1.5: fix non-negative integers $m,d$; let $K$ be an algebraically closed field of characteristic $0$ and $A$ an abelian variety over $K$ with $K/\overline{\mathbb{Q}}$-trace $(T,\mathrm{Tr})$. If Conjecture 1.4 holds for subvarieties of dimension at most $m$ in $T$ over $\overline{\mathbb{Q}}$, then it holds for the same parameter range in $A$ over $K$. The proof proceeds by double induction, first on the dimension of $A$ and then on the transcendence degree of its field of definition. At the minimal transcendence degree the variety appears as the geometric generic fiber of a subfamily of the universal principally polarized abelian variety with level structure; there a structure theorem puts every optimal subvariety, outside a fixed proper locus, into one of finitely many torsion cosets $t+q_0+H$, and quotienting by $H$ reduces the dimension. To increase the transcendence degree the paper reduces to a structure theorem for geodesic-optimal subvarieties after introducing a modified $\overline{\mathbb{Q}}$-geodesic defect. Along the way Theorem 1.9 shows that Zilber's formulation follows from Pink's formulation over $\overline{\mathbb{Q}}$, and Theorem 7.1 proves Conjecture 1.4 for defect at most $1$ over $\overline{\mathbb{Q}}$.

Load-bearing premise

The entire reduction rests on the truth of the cited structure theorem for optimal subvarieties in universal abelian varieties, which the paper uses without proving; if that theorem were false, or its hypotheses were not met for the families $\mathcal{A}_{g,l}\to A_{g,l}$, the reduction would collapse.

Editorial extensions

If this is right

To prove the Zilber-Pink conjecture for an abelian variety over any algebraically closed field of characteristic $0$, it suffices to prove it over $\overline{\mathbb{Q}}$ for the trace subvariety; transcendental parameters in the field of definition create no new obstacle.
For curves, the full statement holds over every algebraically closed field of characteristic $0$: $V\cap A^{[2]}$ is finite unless $V$ is contained in a proper algebraic subgroup of $A$ (Theorem 1.1).
Conjecture 1.4 is proved for all subvarieties of dimension at most $1$ or defect at most $1$ (Corollary 1.6), and for any abelian variety whose trace has dimension at most $4$ (Corollary 1.7).
Assuming Pink's formulation over $\overline{\mathbb{Q}}$ for all abelian subvarieties of the trace implies Zilber's optimal-subvariety formulation over $K$ (Corollary 1.10).

Reading between the lines

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

A natural reading of the reduction is that the arithmetic content of the Zilber-Pink conjecture is concentrated entirely in the trace over the algebraic numbers; if the conjecture is ever proved over $\overline{\mathbb{Q}}$, it transfers automatically to fields such as $\mathbb{C}$ with arbitrary transcendental parameters.
The same trace-plus-finite-set strategy could be attempted for other families of abelian schemes, or for mixed Shimura varieties where the role of the trace is played by the largest constant part defined over $\overline{\mathbb{Q}}$.
A concrete next target is Conjecture 1.4 over $\overline{\mathbb{Q}}$ with defect $d=2$; by the mechanism of Corollary 1.7, a proof there would raise the dimension bound on the trace beyond $4$.

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.

Desk Editor's Note

read the letter

You should know about this one. Barroero and Dill prove a clean reduction: Zilber-Pink (in its optimal-defect form) for abelian varieties over any algebraically closed field of characteristic 0 follows from the same statement over the algebraic numbers, provided you pass to the K/Qbar-trace. If you believe the conjecture over Qbar, you get it everywhere. The toric analogue was known (BMZ08), but tori are already defined over Qbar, so the trace step is genuinely new here.

The proof is a double induction on dimension and transcendence degree. The dimension step goes through the universal abelian variety and a structure theorem of Gao; the transcendence-degree step uses Rémond's results and a descent argument. Along the way they prove Conjecture 1.4 for d=1 over Qbar (following a suggestion of Habegger), which gives several unconditional corollaries: for example, the conjecture holds for any A whose Qbar-trace has dimension at most 4, and for curves and codimension-2 subvarieties in general.

The paper is well organized and honest. The main theorem is explicitly conditional, and the authors separate their unconditional results clearly. I give them credit for including a counterexample (Lemma 2.9) showing that a naive generalization fails; it makes their hypotheses believable. There is no sign of circularity.

The soft spot is exactly where the stress-test says it is: Theorem 3.1, the engine of the dimension induction, blacks-boxes Gao's Theorem 8.2 from arXiv:1806.01408, plus a piece of [Gao18b]. If Gao's theorem is wrong, or if its hypotheses fail for the subvarieties they construct, the reduction to the trace collapses. I don't see an internal error — the descent arguments, the trace extension lemmas, and the intersection C∩K=Qbar all look right on a close read — but I did not verify every step. The dependence on an unpublished preprint is a real but manageable risk for refereeing.

This paper is for people working in unlikely intersections and o-minimality. It deserves a serious referee. I'd send it to review with the explicit instruction that the referee check the quoted form of Gao's theorem and its applicability in Theorem 3.1, and perhaps ask the authors to state Gao's theorem in an appendix. If Gao's paper has since been published, that would clear the main concern.

Recommendation: accept for peer review, with a request for careful scrutiny of the Gao input.

Referee Report

3 major / 4 minor

Summary. This paper proves a reduction theorem for the Zilber-Pink conjecture on abelian varieties. Let K be algebraically closed of characteristic 0, let A be an abelian variety over K, and let (T, Tr) be its K/Qbar-trace. Theorem 1.5 states that if Conjecture 1.4, the optimal-subvariety formulation of Zilber-Pink, holds for subvarieties of dimension at most m in T over Qbar, then it holds for subvarieties of dimension at most m in A over K. The proof is a double induction on the dimension of A and on the transcendence degree of the field of definition. The first reductions (Lemma 2.7, Proposition 4.1) replace A by a geometric generic fibre in a subfamily of a universal abelian scheme. The key finiteness tool is Theorem 3.1, which packages Gao's deep finiteness theorem for geodesic-optimal subvarieties in the mixed Shimura variety (A_g,l)_C: it yields a finite list of abelian subvarieties H and torsion points q0 such that every optimal subvariety is either in an exceptional locus or is an irreducible component of (t + q0 + H) ∩ V. Proposition 3.2 uses this list to quotient by positive-dimensional H and to apply induction, while the zero-dimensional case is handled through the trace. The paper also proves Theorem 1.9, which reduces Conjecture 1.4 to Pink's Conjecture 1.8, and Theorem 7.1, which establishes the defect-at-most-1 case over Qbar.

Significance. If the main theorem is valid, it is a significant structural result: it reduces the Zilber-Pink conjecture for abelian varieties over arbitrary algebraically closed fields of characteristic 0 to the same conjecture over Qbar, and it yields new unconditional cases such as curves in arbitrary abelian varieties (Theorem 1.1) and all subvarieties of abelian varieties whose Qbar-trace has dimension at most 4 (Corollary 1.7). The paper is well organized, with each induction step isolated in a lemma or proposition, and the new Qbar-geodesic defect is a useful technical tool. The authors are also careful to include a counterexample (Lemma 2.9) showing where a naive extension of abelian subschemes fails. The main caveat is that the central finiteness step, Theorem 3.1, is black-boxed from two arXiv preprints of Gao; the paper is not self-contained at the one point on which the whole reduction rests. This is not an internal inconsistency, but it is a load-bearing external dependency that should be resolved before final acceptance.

major comments (3)

[Section 3, Theorem 3.1 and Lemma 2.14] The proof of Theorem 3.1 depends on Gao's Theorem 8.2 in [Gao18a] and Proposition 5.3 in [Gao18b], both cited from arXiv preprints (arXiv:1806.01408 and arXiv:1810.12929). The conclusion (2) of Theorem 3.1, namely the existence of a finite set of pairs (q0, H) independent of W, is exactly what Proposition 3.2 uses in the quotient step; without it the reduction to smaller dimension and to the trace fails. The manuscript neither states Gao's theorem nor verifies in detail that the subvariety W constructed before its invocation satisfies all hypotheses of Gao's result, for instance the precise class of geodesic-optimal subvarieties and the conditions on the ambient mixed Shimura variety. Please state Gao's theorem, verify the hypotheses in this setting, and replace the preprint citations with published versions if they exist; alternatively, supply a proof of the needed finiteness statement.
[Section 3, proof of Theorem 3.1, descent to Qbar] The final paragraph of the proof of Theorem 3.1 argues that the point t can be chosen in Tr(T(Qbar)) rather than merely in T(K), using the equality C ∩ K = Qbar and Corollaire 4.8.11 in [Gro65]. This descent is load-bearing because the theorem is stated with translates t + q0 + H over Qbar, and the finite set of pairs is only useful if the translation points are controlled independently of W. The sentence 'X is equal to the base change of a union of algebraic subvarieties of T' needs a precise explanation of why the union is defined over Qbar and why a Qbar-rational point can be selected from it. Please expand this step.
[Section 4, Proposition 4.1] The passage 'We can apply the results of Rémond in [Rém09]' is very brief, and the finite set of abelian subvarieties H is deduced for geodesic-optimal subvarieties U′ of V′ over an arbitrary algebraically closed field K. The rest of the induction in Proposition 4.1 depends on this finite set. Please spell out which theorem of [Rém09] is being used, why it applies over such a field K, and why it gives a set depending only on V′ (hence on A and m) rather than on the particular U′.

minor comments (4)

[Section 2, Lemma 2.10(2)] The sentence invoking Theorem 2.4 of [Sil92] should spell out why the hypotheses of that theorem are satisfied by the trace map; in particular, the descent of Tr from K(S′) to K(S′) needs the stated torsion-rationality condition to be made explicit.
[Section 5, proof of Theorem 1.5] The sentence 'If dim S = 0, we have nothing to do' is terse; since this is the base case in which A′_K′ is already defined over Qbar, a one-sentence explanation that the trace hypothesis then applies directly would improve readability.
[Section 6, Theorem 1.9] The assertion that every quotient of A admits a homomorphism of algebraic groups with finite kernel to A should be justified by a reference to Poincaré reducibility or by a one-line proof, because the subsequent reduction to A relies on it.
[Section 2, Definition 2.12] Definition 2.12 should mention explicitly that the trace homomorphism Tr being a closed embedding (from Definition 2.3) is used to identify T(K) with a subgroup of A(K), since the notation Tr(T(K)) + A_tors relies on this identification.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the main theorem is an explicit conditional reduction, with all load-bearing inputs external and independent.

full rationale

The paper's central result, Theorem 1.5, is a conditional implication: if Conjecture 1.4 holds for the K/Qbar-trace T over Qbar, then it holds for A over K. The conclusion is not assumed in the hypothesis; the proof reduces arbitrary optimal subvarieties of A to data on the trace T or on quotients by positive-dimensional abelian subvarieties. The descent steps are internal and are argued directly (Lemmas 2.9-2.10, 2.11, 2.13; Propositions 3.2 and 4.1), while the finiteness inputs are external results of Gao, Remond, and Habegger-Pila. In particular, Theorem 3.1 invokes Gao's Theorem 8.2 from arXiv:1806.01408, which is not a result of Barroero and Dill and is not derived from the conjecture being reduced. No parameter is fitted and then renamed a prediction, no self-citation carries the argument, and no definition identifies the target statement with the hypothesis. The reliance on an unpublished external theorem is a genuine correctness risk, but it is not circularity: the derivation does not reduce to its own inputs by construction. The paper is self-contained in the sense that if the stated external results hold, the reduction follows from the explicit internal lemmas and inductions.

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

The paper's central claim rests on a small set of deep external theorems: Gao's structure theorem, Rémond's theorem, two results from Habegger-Pila, a height bound of Habegger, and Conrad's trace theory. All are cited and used as black boxes. No new entities or fitted constants are introduced. These external results are not circular because they do not assume the Zilber-Pink conjecture or the theorem being proved.

assumptions (6)

domain assumption Gao's Theorem 8.2 in [Gao18a]: for geodesic-optimal subvarieties in the universal abelian variety, the mixed Shimura data (Q,Y+,N) and the associated abelian subvariety and torsion point (q0,H) lie in a finite set independent of the subvariety.
Used as the core of Theorem 3.1 (Section 3), feeding Proposition 3.2 and Theorem 1.5; cited as a recent result.
domain assumption Rémond's theorem in [Rém09]: any geodesic-optimal subvariety U of V in an abelian variety A satisfies ⟨U⟩_geo = u + H with H from a finite set of abelian subvarieties of A.
Used in Proposition 4.1 to show the descent candidates U' belong to a finite set; the connection to geodesic optimality is from Section 6 of [HP16].
domain assumption Habegger-Pila's Theorem 9.8(i) in [HP16]: under the LGO condition (finite optimal singletons of defect at most d in each quotient), every subvariety has finitely many optimal subvarieties of defect at most d.
Used in Section 6 (Theorem 6.1) to pass from singletons to all optimal subvarieties, and in Theorem 7.1.
domain assumption Habegger-Pila's equivalence of Conjectures 1.2 and 1.4 and the geodesic-optimality of optimal subvarieties (Lemma 2.7 and Proposition 4.5 in [HP16]).
Used throughout to reformulate the conjecture and to justify optimality implying K-geodesic and C-geodesic optimality.
domain assumption Habegger's height bound in [Hab09]: points of V over Q-bar not contained in a positive-dimensional coset contained in V have bounded height.
Used in the proof of Theorem 7.1 to derive LGO1(V) via [HP16, Proposition 9.7].
domain assumption Conrad's theory of the trace [Con06]: existence, functoriality, and base-change properties (Theorems 6.2, 6.4(3), 6.8).
The statement of Theorem 1.5 uses the trace; Section 5 uses these properties to identify traces under isogeny and base change.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the Zilber-Pink conjecture for complex abelian varieties." pith.science (2026). https://pith.science/paper/NJLBNTUH

@misc{pith2026190901271,
  author       = {Pith},
  title        = {Pith review of: On the Zilber-Pink conjecture for complex abelian varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NJLBNTUH}},
  note         = {Machine review of arXiv:1909.01271}
}

abstract

In this article, we prove that the Zilber-Pink conjecture for abelian varieties over an arbitrary field of characteristic $0$ is implied by the same statement for abelian varieties over the algebraic numbers. More precisely, the conjecture holds for subvarieties of dimension at most $m$ in the abelian variety $A$ if it holds for subvarieties of dimension at most $m$ in the largest abelian subvariety of $A$ that is isomorphic to an abelian variety defined over $\bar{ \mathbb{Q}}$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 42 canonical work pages

[1]

Artin, J

M. Artin, J. E. Bertin, M. Demazure, P. Gabriel, A. Grothendieck, M. Raynaud, and J.-P. Serre, Sch\' e mas en groupes. F asc. 2a: E xpos\' e s 5 et 6 , S\' e minaire de G\' e om\' e trie Alg\' e brique de l'Institut des Hautes \' E tudes Scientifiques, vol. 1963/64, Institut des Hautes \' E tudes Scientifiques, Paris, 1963/1965

work page 1963
[2]

Bombieri, P

E. Bombieri, P. Habegger, D. Masser, and U. Zannier, A note on M aurin's theorem , Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 21 (2010), no. 3, 251--260

work page 2010
[3]

Bombieri, D

E. Bombieri, D. Masser, and U. Zannier, Intersecting a curve with algebraic subgroups of multiplicative groups, Int. Math. Res. Not. IMRN (1999), no. 20, 1119--1140

work page 1999
[4]

, Anomalous subvarieties---structure theorems and applications, Int. Math. Res. Not. IMRN (2007), no. 19, Art. ID rnm057, 33

work page 2007
[5]

133 (2008), no

, On unlikely intersections of complex varieties with tori, Acta Arith. 133 (2008), no. 4, 309--323

work page 2008
[6]

Carrizosa, Probl\`eme de L ehmer et vari\' e t\' e s ab\' e liennes CM , C

M. Carrizosa, Probl\`eme de L ehmer et vari\' e t\' e s ab\' e liennes CM , C. R. Math. Acad. Sci. Paris 346 (2008), no. 23-24, 1219--1224

work page 2008
[7]

, Petits points et multiplication complexe, Int. Math. Res. Not. IMRN (2009), no. 16, 3016--3097

work page 2009
[8]

Conrad, Chow's K/k -image and K/k -trace, and the L ang- N \' e ron theorem , Enseign

B. Conrad, Chow's K/k -image and K/k -trace, and the L ang- N \' e ron theorem , Enseign. Math. (2) 52 (2006), no. 1-2, 37--108

work page 2006

Show all 43 references

[9]

Checcoli and E

S. Checcoli and E. Viada, On the torsion anomalous conjecture in CM abelian varieties , Pacific J. Math. 271 (2014), no. 2, 321--345

2014
[10]

Checcoli, F

S. Checcoli, F. Veneziano, and E. Viada, On torsion anomalous intersections, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 25 (2014), no. 1, 1--36

2014
[11]

Faltings and C

G. Faltings and C. Chai, Degeneration of abelian varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 22, Springer-Verlag, Berlin, 1990, With an appendix by David Mumford

1990
[12]

Galateau, Une minoration du minimum essentiel sur les vari\'et\'es ab\'eliennes, Comment

A. Galateau, Une minoration du minimum essentiel sur les vari\'et\'es ab\'eliennes, Comment. Math. Helv. 85 (2010), no. 4, 775--812

2010
[13]

Gao, A special point problem of A ndr\'e- P ink- Z annier in the universal family of A belian varieties , Ann

Z. Gao, A special point problem of A ndr\'e- P ink- Z annier in the universal family of A belian varieties , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 17 (2017), no. 1, 231--266

2017
[14]

, AAA M ixed A x- S chanuel for the universal abelian varieties and some applications , https://arxiv.org/pdf/1806.01408.pdf, 2018

2018 arXiv
[15]

, Generic rank of B etti map and unlikely intersections , https://arxiv.org/abs/1810.12929, 2018

2018 arXiv
[16]

Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique

A. Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique. I . L e langage des sch\' e mas , Inst. Hautes \' E tudes Sci. Publ. Math. (1960), no. 4, 5--214

1960
[17]

, \' E l\' e ments de g\' e om\' e trie alg\' e brique. IV . \' E tude locale des sch\' e mas et des morphismes de sch\' e mas. II , Inst. Hautes \' E tudes Sci. Publ. Math. (1965), no. 24, 5--223

1965
[18]

, \' E l\' e ments de g\' e om\' e trie alg\' e brique. IV . \' E tude locale des sch\' e mas et des morphismes de sch\' e mas. III , Inst. Hautes \' E tudes Sci. Publ. Math. (1966), no. 28, 5--248

1966
[19]

G\" o rtz and T

U. G\" o rtz and T. Wedhorn, Algebraic geometry I , Advanced Lectures in Mathematics, Vieweg + Teubner, Wiesbaden, 2010, Schemes with examples and exercises

2010
[20]

Habegger, Intersecting subvarieties of abelian varieties with algebraic subgroups of complementary dimension, Invent

P. Habegger, Intersecting subvarieties of abelian varieties with algebraic subgroups of complementary dimension, Invent. Math. 176 (2009), no. 2, 405--447

2009
[21]

Hartshorne, Algebraic geometry, Springer-Verlag, New York-Heidelberg, 1977, Graduate Texts in Mathematics, No

R. Hartshorne, Algebraic geometry, Springer-Verlag, New York-Heidelberg, 1977, Graduate Texts in Mathematics, No. 52

1977
[22]

Habegger and J

P. Habegger and J. Pila, O-minimality and certain atypical intersections, Ann. Sci. \'Ec. Norm. Sup\'er. (4) 49 (2016), no. 4, 813--858

2016
[23]

Hubschmid and E

P. Hubschmid and E. Viada, An addendum to the elliptic torsion anomalous conjecture in codimension 2, Rend. Semin. Mat. Univ. Padova 141 (2019), 209--220

2019
[24]

Maurin, Courbes alg\'ebriques et \'equations multiplicatives, Math

G. Maurin, Courbes alg\'ebriques et \'equations multiplicatives, Math. Ann. 341 (2008), no. 4, 789--824

2008
[25]

Mumford, J

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

1994
[26]

J. S. Milne, Abelian varieties, Arithmetic geometry ( S torrs, C onn., 1984), Springer, New York, 1986, pp. 103--150

1984
[27]

Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, No

D. Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, No. 5, Published for the Tata Institute of Fundamental Research, Bombay; Oxford University Press, London, 1970

1970
[28]

Pink, A common generalization of the conjectures of A ndr\' e - O ort, M anin- M umford, and M ordell- L ang , https://people.math.ethz.ch/ pink/ftp/AOMMML.pdf, April 2005

R. Pink, A common generalization of the conjectures of A ndr\' e - O ort, M anin- M umford, and M ordell- L ang , https://people.math.ethz.ch/ pink/ftp/AOMMML.pdf, April 2005

2005
[29]

Poizat, L'\' e galit\' e au cube , J

B. Poizat, L'\' e galit\' e au cube , J. Symbolic Logic 66 (2001), no. 4, 1647--1676

2001
[30]

Poonen, Rational points on varieties, Graduate Studies in Mathematics, vol

B. Poonen, Rational points on varieties, Graduate Studies in Mathematics, vol. 186, American Mathematical Society, Providence, RI, 2017

2017
[31]

Ratazzi, Intersection de courbes et de sous-groupes et probl\`emes de minoration de hauteur dans les vari\'et\'es ab\'eliennes C

N. Ratazzi, Intersection de courbes et de sous-groupes et probl\`emes de minoration de hauteur dans les vari\'et\'es ab\'eliennes C . M , Ann. Inst. Fourier (Grenoble) 58 (2008), no. 5, 1575--1633

2008
[32]

Raynaud, Sous-vari\' e t\' e s d'une vari\' e t\' e ab\' e lienne et points de torsion , Arithmetic and geometry, V ol

M. Raynaud, Sous-vari\' e t\' e s d'une vari\' e t\' e ab\' e lienne et points de torsion , Arithmetic and geometry, V ol. I , Progr. Math., vol. 35, Birkh\" a user Boston, Boston, MA, 1983, pp. 327--352

1983
[33]

R \'e mond, Intersection de sous-groupes et de sous-vari\' e t\' e s

G. R \'e mond, Intersection de sous-groupes et de sous-vari\' e t\' e s. I , Math. Ann. 333 (2005), no. 3, 525--548

2005
[34]

, Intersection de sous-groupes et de sous-vari\'et\'es. II , J. Inst. Math. Jussieu 6 (2007), no. 2, 317--348

2007
[35]

III , Comment

, Intersection de sous-groupes et de sous-vari\'et\'es. III , Comment. Math. Helv. 84 (2009), no. 4, 835--863

2009
[36]

R \'e mond and E

G. R \'e mond and E. Viada, Probl\`eme de M ordell- L ang modulo certaines sous-vari\'et\'es ab\'eliennes , Int. Math. Res. Not. IMRN (2003), no. 35, 1915--1931

2003
[37]

Silverberg, Fields of definition for homomorphisms of abelian varieties, J

A. Silverberg, Fields of definition for homomorphisms of abelian varieties, J. Pure Appl. Algebra 77 (1992), no. 3, 253--262

1992
[38]

The Stacks project authors , The stacks project, https://stacks.math.columbia.edu, 2019

2019
[39]

Ullmo and A

E. Ullmo and A. Yafaev, A characterization of special subvarieties, Mathematika 57 (2011), no. 2, 263--273

2011
[40]

Viada, The intersection of a curve with algebraic subgroups in a product of elliptic curves, Ann

E. Viada, The intersection of a curve with algebraic subgroups in a product of elliptic curves, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 2 (2003), no. 1, 47--75

2003
[41]

3, 249--298

, The intersection of a curve with a union of translated codimension-two subgroups in a power of an elliptic curve, Algebra Number Theory 2 (2008), no. 3, 249--298

2008
[42]

Zannier, Some Problems of Unlikely Intersections in Arithmetic and Geometry , Annals of Mathematics Studies, vol

U. Zannier, Some Problems of Unlikely Intersections in Arithmetic and Geometry , Annals of Mathematics Studies, vol. 181, Princeton University Press, 2012, With appendixes by David Masser

2012
[43]

Zilber, Exponential sums equations and the S chanuel conjecture , J

B. Zilber, Exponential sums equations and the S chanuel conjecture , J. London Math. Soc. (2) 65 (2002), no. 1, 27--44

2002

Pith tools

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

[1] [1]

Artin, J

M. Artin, J. E. Bertin, M. Demazure, P. Gabriel, A. Grothendieck, M. Raynaud, and J.-P. Serre, Sch\' e mas en groupes. F asc. 2a: E xpos\' e s 5 et 6 , S\' e minaire de G\' e om\' e trie Alg\' e brique de l'Institut des Hautes \' E tudes Scientifiques, vol. 1963/64, Institut des Hautes \' E tudes Scientifiques, Paris, 1963/1965

work page 1963

[2] [2]

Bombieri, P

E. Bombieri, P. Habegger, D. Masser, and U. Zannier, A note on M aurin's theorem , Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 21 (2010), no. 3, 251--260

work page 2010

[3] [3]

Bombieri, D

E. Bombieri, D. Masser, and U. Zannier, Intersecting a curve with algebraic subgroups of multiplicative groups, Int. Math. Res. Not. IMRN (1999), no. 20, 1119--1140

work page 1999

[4] [4]

, Anomalous subvarieties---structure theorems and applications, Int. Math. Res. Not. IMRN (2007), no. 19, Art. ID rnm057, 33

work page 2007

[5] [5]

133 (2008), no

, On unlikely intersections of complex varieties with tori, Acta Arith. 133 (2008), no. 4, 309--323

work page 2008

[6] [6]

Carrizosa, Probl\`eme de L ehmer et vari\' e t\' e s ab\' e liennes CM , C

M. Carrizosa, Probl\`eme de L ehmer et vari\' e t\' e s ab\' e liennes CM , C. R. Math. Acad. Sci. Paris 346 (2008), no. 23-24, 1219--1224

work page 2008

[7] [7]

, Petits points et multiplication complexe, Int. Math. Res. Not. IMRN (2009), no. 16, 3016--3097

work page 2009

[8] [8]

Conrad, Chow's K/k -image and K/k -trace, and the L ang- N \' e ron theorem , Enseign

B. Conrad, Chow's K/k -image and K/k -trace, and the L ang- N \' e ron theorem , Enseign. Math. (2) 52 (2006), no. 1-2, 37--108

work page 2006