Pith. sign in

REVIEW 1 major objections 5 minor 2 cited by

Hodge theory and o-minimality at CIRM

T0 review · 1 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

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

Pith's one-line read The geometric Zilber-Pink theorem says every Zariski closure component of the atypical Hodge locus is either maximal or fibered over a factor.

desk verdict Useful survey of Zilber-Pink and Ax-Schanuel; no new results, but one proof sketch has a flagged gap that a referee should ask the author to fix. read the letter →

arxiv 2502.03071 v1 pith:KWKOKV6L submitted 2025-02-05 math.AG math.LOmath.NT

Gregorio Baldi This is my paper · ORCID
classification math.AGmath.LOmath.NT MSC 14D0714C3014G3522F3003C64
keywords HodgetheoryMumford-Tatedomainso-minimalityfunctionaltranscendencetypicalandatypicalintersectionsZilber-Pinkconjecturelocusperiodmaps
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

These lecture notes make the case that two tools—o-minimality and functional transcendence—jointly control where extra Hodge classes can appear in a family of algebraic varieties. The main theorem presented, the geometric Zilber-Pink theorem for variations of Hodge structures, says that every irreducible component of the Zariski closure of the atypical Hodge locus is either a maximal atypical special subvariety or is fibered, with a Zariski-dense set of atypical weakly special fibers, over a nontrivial factor of the adjoint Mumford-Tate group. The notes also derive from this dichotomy the density of the typical Hodge locus when it is nonempty, the algebraicity and quasiprojectivity of images of period maps, and applications such as the non-Zariski-density of integral points on moduli spaces of hypersurfaces. The intended message is that the distribution of Hodge classes is not mysterious: a simple dimension inequality selects the atypical part, and definability plus an Ax-Schanuel statement force it into a tame geometric structure.

What carries the argument

The argument runs on the Ax-Schanuel theorem for variations of Hodge structures, a functional transcendence statement: if $W$ is an algebraic subvariety of $S \times D_H$ and $U$ is an analytic component of its intersection with the graph of the lifted period map, then any atypically small component projects into a strict weakly special subvariety of $S$. The proof machinery around this theorem is a definable counting device: a fundamental set $F$ for the period map, and a definable set $\Pi_0$ of triples $(x,g,M)$, where $x \in F$, $g$ is an element of the real group, and $M$ is a semisimple subgroup without compact factors whose orbit contains the period value $\widetilde{\Phi}(x)$. Subsets $\Pi_1$ and $\Pi_2$ select triples minimal with respect to two dimension functions, namely the dimension of the orbit and the dimension of its intersection with the image of the fundamental set. The key finiteness theorem states that the resulting collection of orbits $\{gMg^{-1}\}$ is finite; a proposition then identifies each such minimal orbit as weakly special. Ax-Schanuel supplies the countability of the atypical families, and the nilpotent orbit theorem makes the period map definable on $F$, so o-minimality turns the countable definable collection into a finite one.

What would settle it

Check the hidden orbit-intersection assertion in a concrete flag variety: for a small group such as $\mathrm{SL}_3$ acting on a Grassmannian, take two semisimple subgroup orbits and look at an irreducible component of their intersection; if any such component is not again an orbit of some algebraic subgroup, the unproved assertion carrying Proposition 3.8 fails, and the proof sketch as written would need repair.

Watch

Extended reading notes

Core claim

The central claim around which the notes are organized is Theorem 2.6, the geometric Zilber-Pink theorem. Let $(S,\mathbb{V})$ be a polarized integral variation of Hodge structures on a smooth quasi-projective base, with period map $\Phi$ into a Hodge variety, and let $Z$ be an irreducible component of the Zariski closure of the union of atypical special subvarieties of positive period dimension. The theorem asserts that either $Z$ is itself a maximal atypical special subvariety, or the adjoint Mumford-Tate group of $Z$ decomposes as a nontrivial product $H^{\mathrm{ad}}_Z \times L_Z$ and $Z$ contains a Zariski-dense set of fibers of the $L_Z$-factor of $\Phi$, each of which is an atypical weakly special subvariety; furthermore $Z$ is Hodge generic in a monodromically typical (hence typical) special subvariety. In words, the atypical Hodge locus is finitely generated up to families of atypical fibers forced by product decompositions of the ambient group. This is the geometric form of the Zilber-Pink finiteness expectation: atypical intersections are not arbitrary, they are organized by the structure of the Mumford-Tate group.

Load-bearing premise

The load-bearing premise is an algebraic fact that the notes themselves flag as hidden: every irreducible component of an intersection of two orbits of semisimple subgroups is itself an orbit of some subgroup; if this fails, the argument associating intersection components to triples in the definable set breaks.

Editorial extensions

If this is right

  • If the geometric Zilber-Pink theorem is correct, the strong Zilber-Pink conjecture for the atypical Hodge locus reduces to ruling out the fibered alternative: once no nontrivial product decomposition of the adjoint Mumford-Tate group produces atypical weakly special fibers, the atypical Hodge locus is a finite union of maximal atypical special subvarieties.
  • A nonempty typical Hodge locus is analytically (hence Zariski) dense in the base, so typical Hodge classes are either absent or everywhere dense.
  • For variations of level at least three whose algebraic monodromy group is as large as possible, every special subvariety is atypical, so the whole Hodge locus is governed by the atypical dichotomy.
  • Period maps factor through dominant algebraic maps to quasi-projective varieties, and Deligne-Mumford stacks admitting quasi-finite period maps have quasi-projective coarse moduli spaces.
  • The same machinery shows that integral points on moduli spaces of hypersurfaces are not Zariski dense, and outside a strict closed subscheme their Zariski closure has period dimension zero.

Reading between the lines

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

  • The same definable-counting mechanism should transfer to admissible graded-polarizable variations of mixed Hodge structures, which the notes identify as the most general setting; that would unify the abelian, Shimura, and pure-variation formulations of Zilber-Pink into one typical/atypical dichotomy.
  • The product-decomposition alternative suggests a testable criterion: any variation whose adjoint Mumford-Tate group is almost simple should have a finite atypical Hodge locus, since no nontrivial factor is available to generate fibered atypical families.
  • The hidden orbit-intersection assertion in the proof sketch is a natural lemma to isolate for a fully rigorous write-up; testing it in small flag-variety examples would confirm it or indicate where the route through the definable sets needs a replacement.
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

1 major / 5 minor

Summary. The paper is the second part of lecture notes from a CIRM mini-course, covering the interaction of o-minimality with Hodge theory. It surveys Zilber-Pink-type conjectures and results for variations of Hodge structures, presents Bakker-Tsimerman's Ax-Schanuel theorem, sketches the proof of the Geometric Zilber-Pink theorem (Theorem 2.6) via definable sets Π0–Π2, and reviews algebraicity and quasiprojectivity of period map images via definable GAGA. The notes include a large collection of exercises and cite the original sources for the main theorems.

Significance. The notes are a useful expository compilation: they assemble recent results on the typical/atypical Hodge locus, functional transcendence, and period map algebraicity, with concrete exercises and accurate references to the published literature. The author's own results (Baldi-Klingler-Ullmo [15], Baldi-Ullmo [17], etc.) are presented with appropriate citations, and theorem statements match the cited sources. No new theorem is claimed, and the main added value is pedagogical. However, the proof sketch of Theorem 2.6 contains a load-bearing gap in Proposition 3.8 (see major comments), so the exposition does not yet deliver a self-contained path to that result.

major comments (1)
  1. [Section 3.3, footnote 2, Proposition 3.8] The proof of Proposition 3.8 relies on the hidden claim that an irreducible component of the intersection of two orbits of semisimple algebraic subgroups is again an orbit of a subgroup, in order to associate the component Y to a triple (x, g_Y, M_Y) in Π0. This claim is false in the generality stated. For example, let G = SL_3(C) act on P^2, let H_1 = SL_2 in the (1,2)-coordinates and H_2 = SL_2 in the (2,3)-coordinates, and take p = [1:0:1]. Then H_1·p = {[x:y:1] : (x,y) ≠ (0,0)} and H_2·p = {[1:y:z] : (y,z) ≠ (0,0)}; their intersection has unique component {[x:y:1] : x ≠ 0}, which is isomorphic to C* × C. This component is not an orbit of a semisimple algebraic subgroup of SL_3: the semisimple subgroups have dimension 0, 3, or 8, and the only 2-dimensional orbit in P^2 arising from a semisimple subgroup is the full orbit of SL_3, not this locally closed set. Consequently the step "Y is associated to a triple (x, g_Y, M_Y) ∈ Π0" fails for the definable family Ω of semisimple groups used in the proof, and the minimality conditions defining Π1 and Π2 cannot be applied to Y. Since this step is load-bearing for the sketched proof of Theorem 2.6, Proposition 3.8 needs either a proof of a corrected version of the hidden claim valid in the Hodge-theoretic setting, a citation to a source proving it, or a replacement argument. The published result [15] is not in question; the notes' proof sketch is.
minor comments (5)
  1. [Section 0.2, Question 0.2] The phrase "about about Hodge loci" contains a duplicated word and should read "What can we say about Hodge loci?".
  2. [Section 2.4] In the paragraph after Definition 2.12, "tenor categories" should be "tensor categories".
  3. [Section 3.2] The sentence "Behind the proof Theorem 2.6 there are two basic observations" is missing "of": it should read "Behind the proof of Theorem 2.6".
  4. [Section 5.4.2] The sentence beginning "In more concrete theorems the theorem says the following. Since Φ ◦ p is locally liftable..." is grammatically unclear and should be rephrased.
  5. [Reference [13]] The title "What makes an algebraic curve specail?" contains a typo; it should read "special".

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the lecture notes expose published results, and the flagged footnote is an unproved lemma, not a circular derivation.

full rationale

The paper is an expository lecture-note survey rather than a new derivation. Its central theorem, Theorem 2.6 (Geometric Zilber-Pink), is explicitly imported from the author's published paper with Klingler and Ullmo ([15, Thm. 3.1]), and the notes only sketch a proof in Lecture 3. That self-citation is not load-bearing in a circular sense: [15] contains an independent published proof, and the sketch in Section 3.3 does not assume Theorem 2.6 as an input. The definitions of typical and atypical Hodge loci, weakly special subvarieties, and the sets Pi0, Pi1, and Pi2 are not defined in terms of the theorem's conclusion. No parameter is fitted to a subset of data and then renamed a prediction, and no conclusion is equivalent by construction to its hypothesis. The one passage the reviewing rules require flagging is footnote 2 in the proof of Proposition 3.8, where the text itself marks as hidden the claim that components of intersections of two orbits under semisimple subgroups are again orbits of some subgroup. The subsequent association of an intersection component Y to a triple (x, g_Y, M_Y) in Pi0 depends on this claim, and the skeptic's SL3/P^2 example indicates that the claim is false as stated, so the exposition's proof sketch has a genuine gap. However, an omitted or false lemma is a correctness gap, not a circular reduction: the published theorem can remain valid even if this sketch is incomplete. Under the hard rules, circularity requires exhibiting an equation-level reduction or a fitted parameter renamed as a prediction, and no such step occurs here. The score is therefore 0.

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

The paper is a survey and introduces no free parameters or invented entities. The only unproved assertion identified is the 'hidden claim' in the proof sketch of Proposition 3.8.

assumptions (1)
  • ad hoc to paper Components of intersections of two orbits under semisimple subgroups are again orbits of some subgroup
    Stated without proof in footnote 2 of the proof of Proposition 3.8, where it is used to associate any component of an intersection to a triple in the definable set Pi0.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hodge theory and o-minimality at CIRM." pith.science (2026). https://pith.science/paper/KWKOKV6L

@misc{pith2026250203071,
  author       = {Pith},
  title        = {Pith review of: Hodge theory and o-minimality at CIRM},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KWKOKV6L}},
  note         = {Machine review of arXiv:2502.03071}
}
read the original abstract

We discuss the relationship between o-minimality and the so called Zilber-Pink conjecture. Since the work of Pila and Zannier, algebraization theorems in o-minimal geometry had profound impacts in Diophantine geometry (most notably on the study of special points in abelian and Shimura varieties). We will first focus on functional transcendence, discussing various recent and spectacular Ax-Schanuel theorems, and the related geometric part of Zilber-Pink. Armed with these tools, we will study the distribution of the Hodge locus of an arbitrary variation of Hodge structures (the typical/atypical dichotomy) and present some recent applications. We will conclude by describing the algebraicity and quasiprojectivity of images of period maps.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. What makes an algebraic curve special?

    math.AG 2025-02 conditional novelty 3.0 of 10

    A survey of special curves and special subvarieties of moduli space, unifying Hodge-theoretic, Teichmüller, and bi-algebraic perspectives, with a few new results and conjectures.

  2. Unlikely intersections in Shimura varieties and beyond: a survey

    math.NT 2025-06 accept

    A survey of unlikely intersections in pure Shimura varieties, covering Andre-Oort, Andre-Pink-Zannier, Zilber-Pink, and the Pila-Zannier strategy.

Reference graph

Works this paper leans on

61 extracted references · 46 canonical work pages · cited by 2 Pith papers

  1. [15]

    Baldi, B

    G. Baldi, B. Klingler, and E. Ullmo. On the distribution of the Hodge locus. Invent. Math. , 235(2):441–487, 2024

    work page 2024

  2. [5]

    B. Bakker. Hodge theory and o-minimality. This volume (avaiable on the author’s website)

    work page

  3. [17]

    Baldi and E

    G. Baldi and E. Ullmo. Special subvarieties of non-arit hmetic ball quotients and Hodge theory. Annals of Mathematics , 197(1):159 – 220, 2023

    work page 2023

  4. [1]

    Acuna, D

    R. Acuna, D. Akman, and M. Kerr. Real regulator maps with fi nite 0-locus. Preprint, arXiv:2407.10392 [math.AG] (2024), 2024

    work page arXiv 2024

  5. [2]

    Y. André. Mumford-Tate groups of mixed Hodge structures and the theorem of the fixed part. Compositio Math. , 82(1):1–24, 1992

    work page 1992

  6. [3]

    Y. André. Finiteness of couples of singular modular inva riants on a plane non-modular algebraic curve. J. Reine Angew. Math. , 505:203–208, 1998

    work page 1998

  7. [4]

    J. Ax. Some topics in differential algebraic geometry. I: Analytic subgroups of algebraic groups. Am. J. Math. , 94:1195–1204, 1972

    work page 1972

  8. [6]

    B. Bakker. A short proof of a conjecture of Matsushita. arXiv e-prints, page arXiv:2209.00604, Sept. 2022

    work page Pith review arXiv 2022

Show all 61 references
  1. [7]

    Bakker, Y

    B. Bakker, Y. Brunebarbe, and J. Tsimerman. o-minimal GA GA and a conjecture of Griffiths. Invent. Math. , 232(1):163–228, 2023

    2023

  2. [8]

    Bakker, Y

    B. Bakker, Y. Brunebarbe, and J. Tsimerman. The linear Sh afarevich conjecture for quasiprojective varieties and algebraicity of Shafarevich morphisms. arXiv e-prints , page arXiv:2408.16441, Aug. 2024

    2024 arXiv

  3. [9]

    Bakker, B

    B. Bakker, B. Klingler, and J. Tsimerman. Tame topology o f arithmetic quotients and algebraicity of Hodge loci. J. Am. Math. Soc. , 33(4):917–939, 2020

    2020

  4. [10]

    Bakker and J

    B. Bakker and J. Tsimerman. The Ax–Schanuel conjecture for variations of Hodge structures. Invent. Math., 217(1):77–94, 2019

    2019

  5. [11]

    Bakker and J

    B. Bakker and J. Tsimerman. Lectures on the Ax-Schanuel conjecture. In Arithmetic geometry of logarithmic pairs and hyperbolicity of moduli spaces. Hy perbolicity in Montréal. Based on three workshops, Montréal, Canada, 2018–2019 , pages 1–68. Cham: Springer, 2020

    2018

  6. [12]

    Bakker and J

    B. Bakker and J. Tsimerman. Functional Transcendence o f Periods and the Geometric André– Grothendieck Period Conjecture. arXiv e-prints , page arXiv:2208.05182, Aug. 2022

    2022 arXiv

  7. [13]

    G. Baldi. What makes an algebraic curve specail? To appear

  8. [14]

    Baldi, B

    G. Baldi, B. Klingler, and E. Ullmo. On the geometric Zil ber-Pink theorem and the Lawrence- Venkatesh method. Expo. Math. , 41(3):718–722, 2023

    2023

  9. [16]

    Baldi, N

    G. Baldi, N. Miller, M. Stover, and E. Ullmo. Rich repres entations and superrigidity. arXiv e-prints (Ergodic Theory Dynam. Systems, published online) , page arXiv:2402.03601, Feb. 2024

    2024 arXiv

  10. [18]

    Baldi and D

    G. Baldi and D. Urbanik. Effective atypical intersectio ns and applications to orbit closures. arXiv e-prints, page arXiv:2406.16628, June 2024

    2024 arXiv

  11. [19]

    Binyamini

    G. Binyamini. Log-Noetherian functions. arXiv e-prints , page arXiv:2405.16963, May 2024

    2024 arXiv

  12. [20]

    Binyamini and C

    G. Binyamini and C. Daw. Effective computations for weak ly optimal subvarieties. arXiv e-prints. To appear in J. Eur. Math. Soc. , page arXiv:2105.12760, May 2021

    2021 arXiv

  13. [21]

    Blázquez-Sanz, G

    D. Blázquez-Sanz, G. Casale, J. Freitag, and J. Nagloo. A differential approach to the Ax-Schanuel, I. arXiv e-prints , page arXiv:2102.03384, Feb. 2021

    2021 arXiv

  14. [22]

    Bombieri, D

    E. Bombieri, D. Masser, and U. Zannier. Intersecting a c urve with algebraic subgroups of multi- plicative groups. Int. Math. Res. Not. , 1999(20):1119–1140, 1999

    1999

  15. [23]

    Candelas, X

    P. Candelas, X. de la Ossa, M. Elmi, and D. van Straten. A o ne parameter family of Calabi-Yau manifolds with attractor points of rank two. J. High Energy Phys. , 2020(10):74, 2020. Id/No 202

    2020

  16. [24]

    Cattani, P

    E. Cattani, P. Deligne, and A. Kaplan. On the locus of Hod ge classes. J. Amer. Math. Soc. , 8(2):483– 506, 1995

    1995

  17. [25]

    C. Daw, A. Javanpeykar, and L. Kühne. Effective estimate s for the degrees of maximal special subvarieties. Selecta Mathematica, 26(1), dec 2019

    2019

  18. [26]

    Daw and J

    C. Daw and J. Ren. Applications of the hyperbolic Ax-Sch anuel conjecture. Compos. Math. , 154(9):1843–1888, 2018

    2018

  19. [27]

    P. Deligne. Théorie de Hodge. II. Inst. Hautes Études Sci. Publ. Math. , 40:5–57, 1971. HODGE THEORY AND O-MINIMALITY AT CIRM 29

    1971

  20. [28]

    Deligne, J

    P. Deligne, J. S. Milne, A. Ogus, and K. yen Shih. Hodge cycles, motives, and Shimura varieties , volume 900. Springer, Cham, 1982

    1982

  21. [29]

    Eterović and T

    S. Eterović and T. Scanlon. Likely intersections. arXiv e-prints , page arXiv:2211.10592, Nov. 2022

    2022

  22. [30]

    Eyssidieux, L

    P. Eyssidieux, L. Katzarkov, T. Pantev, and M. Ramachan dran. Linear Shafarevich conjecture. Ann. Math. (2) , 176(3):1545–1581, 2012

    2012

  23. [31]

    J. Fresán. Hodge Theory and o-Minimality [after B. Bakk er, Y. Brunebarbe, B. Klingler, and J. Tsimerman]. Séminaire Bourbaki, 72e année, 2019–2020(1170), January 2020

    2019

  24. [32]

    Z. Gao. Recent developments of the Uniform Mordell-Lan g Conjecture. arXiv e-prints , page arXiv:2104.03431, Apr. 2021

    2021 arXiv

  25. [33]

    Gao and S.-W

    Z. Gao and S.-W. Zhang. Heights and periods of algebraic cycles in families. arXiv e-prints , page arXiv:2407.01304, July 2024

    2024

  26. [34]

    Green, P

    M. Green, P. Griffiths, and M. Kerr. Mumford-Tate groups and domains , volume 183 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2012. Their ge ometry and arith- metic

    2012

  27. [35]

    P. A. Griffiths. Periods of integrals on algebraic manifo lds. III: Some global differential-geometric properties of the period mapping. Publ. Math., Inst. Hautes Étud. Sci. , 38:125–180, 1970

    1970

  28. [36]

    Grushevsky, G

    S. Grushevsky, G. Mondello, R. Salvati Manni, and J. Tsi merman. Compact Subvarieties of the Moduli Space of Complex Abelian Varieties. arXiv e-prints , page arXiv:2404.06009, Apr. 2024

    2024

  29. [37]

    Gukov and C

    S. Gukov and C. Vafa. Rational conformal field theories a nd complex multiplication. Commun. Math. Phys., 246(1):181–210, 2004

    2004

  30. [38]

    R. Hain. The Rank of the Normal Functions of the Ceresa an d Gross–Schoen Cycles. arXiv e-prints, page arXiv:2408.07809, Aug. 2024

    2024 arXiv

  31. [39]

    W. V. D. Hodge. The topological invariants of algebraic varieties. Proc. Intern. Congr. Math. (Cam- bridge, Mass., Aug. 30-Sept. 6, 1950) 1, 182-192 (1952)., 19 52

    1952

  32. [40]

    C. Ji. Effectivity for bounds on points of good reduction in the moduli space of hypersurfaces. arXiv e-prints, page arXiv:2401.04981, Jan. 2024

    2024 arXiv

  33. [41]

    Kerr and S

    M. Kerr and S. Tayou. On the torsion locus of the Ceresa no rmal function. arXiv e-prints , page arXiv:2406.19366, June 2024

    2024 arXiv

  34. [42]

    Khelifa and D

    N. Khelifa and D. Urbanik. Existence and density of typi cal Hodge loci. arXiv e-prints. To appear in Mathematische Annalen , page arXiv:2303.16179, Mar. 2023

    2023 arXiv

  35. [43]

    Klingler

    B. Klingler. Hodge loci and atypical intersections: co njectures, 2017. To appear in the book Motives and Complex Multiplication

    2017

  36. [44]

    Klingler

    B. Klingler. Hodge theory, between algebraicity and tr anscendence. In International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual , July 6–14, 2022. Volume 3. Sections 1–4 , pages 2250–2284. Berlin: European Mathematical Society ( EMS), 2023

    2022

  37. [45]

    Lawrence and A

    B. Lawrence and A. Venkatesh. Diophantine problems and p-adic period mappings. Invent. Math. , 221(3):893–999, 2020

    2020

  38. [46]

    Masser and U

    D. Masser and U. Zannier. Abelian varieties isogenous t o no Jacobian. Ann. Math. (2) , 191(2):635– 674, 2020

    2020

  39. [47]

    N. Mok, J. Pila, and J. Tsimerman. Ax-Schanuel for Shimu ra varieties. Ann. of Math. (2) , 189(3):945–978, 2019

    2019

  40. [48]

    D. Mumford. A note of Shimura’s paper: Discontinuous gr oups and Abelian varieties. Math. Ann. , 181:345–351, 1969

    1969

  41. [49]

    J. Pila. O-minimality and the André-Oort conjecture fo rCn. Ann. of Math. (2) , 173(3):1779–1840, 2011

    2011

  42. [50]

    J. Pila. Point-counting and the Zilber-Pink conjecture, volume 228 of Camb. Tracts Math. Cambridge: Cambridge University Press, 2022

    2022

  43. [51]

    J. Pila, A. N. Shankar, J. Tsimerman, H. Esnault, and M. G roechenig. Canonical Heights on Shimura Varieties and the André-Oort Conjecture. arXiv e-prints , page arXiv:2109.08788, Sept. 2021

    2021 arXiv

  44. [52]

    Pila and A

    J. Pila and A. J. Wilkie. The rational points of a definabl e set. Duke Math. J. , 133(3):591–616, 2006

    2006

  45. [53]

    Pila and U

    J. Pila and U. Zannier. Rational points in periodic anal ytic sets and the Manin-Mumford conjecture. Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Re nd. Lincei, Mat. Appl. , 19(2):149–162, 2008. 30 GREGORIO BALDI

    2008

  46. [54]

    M. Raynaud. Sous-variétés d’une variété abélienne et p oints de torsion. Arithmetic and geometry, Pap. dedic. I. R. Shafarevich, Vol. I: Arithmetic, Prog. Mat h. 35, 327-352 (1983)., 1983

    1983

  47. [55]

    T. Scanlon. O-minimality as an approach to the André-Oo rt conjecture. In Autour de la conjecture de Zilber-Pink , pages 111–165. Paris: Société Mathématique de France (SMF ), 2017

    2017

  48. [56]

    W. Schmid. Variation of Hodge structure: The singulari ties of the period mapping. Invent. Math. , 22:211–319, 1973

    1973

  49. [57]

    Tsimerman

    J. Tsimerman. The André-Oort conjecture for Ag. Ann. of Math. (2) , 187(2):379–390, 2018

    2018

  50. [58]

    Tsimerman

    J. Tsimerman. Functional transcendence and arithmeti c applications. In Proceedings of the inter- national congress of mathematicians 2018, ICM 2018, Rio de J aneiro, Brazil, August 1–9, 2018. Volume II. Invited lectures , pages 435–454. Hackensack, NJ: World Scientific; Rio de...

    2018

  51. [59]

    Tsimerman

    J. Tsimerman. Abelian varieties are not quotients of lo w-dimension Jacobians. arXiv e-prints , page arXiv:2302.05860, Feb. 2023

    2023 arXiv

  52. [60]

    C. Voisin. Torsion points of sections of Lagrangian tor us fibrations and the Chow ring of hyper- Kähler manifolds. In Geometry of moduli. Proceedings of the Abel symposium, Svin øya Rorbuer, Svolvær, Norway, August 7–11, 2017 , pages 295–326. Cham: Springer, 2018

    2017

  53. [61]

    U. Zannier. Some problems of unlikely intersections in arithmetic and g eometry. With appendixes by David Masser , volume 181 of Ann. Math. Stud. Princeton, NJ: Princeton University Press, 2012. CNRS, IMJ-PRG, Sorbonne Université, 4 place Jussieu, 75005 P aris, France E-mail a...

    2012

Pith tools

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