@misc{Pink2005,
  author = {Pink, Richard},
  title = {A Common Generalization of the Conjectures of {Andr\'e--Oort}, {Manin--Mumford}, and {Mordell--Lang}},
  year = {2005},
  howpublished = {Preprint, April 17},
  note = {\url{https://people.math.ethz.ch/~pink/ftp/AOMMML.pdf}},
  url = {https://people.math.ethz.ch/~pink/ftp/AOMMML.pdf}
}
@article{DawOrr2022,
  author = {Daw, Christopher and Orr, Martin},
  title = {Quantitative Reduction Theory and Unlikely Intersections},
  journal = {International Mathematics Research Notices},
  year = {2022}, volume = {2022}, number = {20}, pages = {16138--16195},
  doi = {10.1093/imrn/rnab173},
  url = {https://arxiv.org/abs/1911.05618v4}
}
@article{DawOrrECM2021,
  author = {Daw, Christopher and Orr, Martin},
  title = {Unlikely intersections with {$E\times\mathrm{CM}$} curves in {$\mathcal A_2$}},
  journal = {Annali della Scuola Normale Superiore di Pisa, Classe di Scienze},
  year = {2021}, volume = {22}, number = {4}, pages = {1705--1745},
  doi = {10.2422/2036-2145.202006_014},
  url = {https://arxiv.org/abs/1902.10483v4}
}
@article{PilaTsimerman2013,
  author = {Pila, Jonathan and Tsimerman, Jacob},
  title = {The {Andr\'e--Oort} conjecture for the moduli space of abelian surfaces},
  journal = {Compositio Mathematica},
  year = {2013}, volume = {149}, number = {2}, pages = {204--216},
  doi = {10.1112/S0010437X12000589},
  url = {https://people.maths.ox.ac.uk/pila/A2.pdf}
}
@article{MasserWustholz1994,
  author = {Masser, David W. and W{\"u}stholz, Gisbert},
  title = {Endomorphism estimates for abelian varieties},
  journal = {Mathematische Zeitschrift},
  year = {1994}, volume = {215}, pages = {641--653},
  doi = {10.1007/BF02571735},
  url = {https://archive.mpim-bonn.mpg.de/1350/1/preprint_1991_51.pdf},
  note = {Author preprint: MPI 1991/51}
}
@article{Pazuki2012,
  author = {Pazuki, Fabien},
  title = {Theta height and {Faltings} height},
  journal = {Bulletin de la Soci\'et\'e Math\'ematique de France},
  year = {2012}, volume = {140}, number = {1}, pages = {19--49},
  doi = {10.24033/bsmf.2623},
  url = {https://www.numdam.org/item/BSMF_2012__140_1_19_0.pdf}
}
@article{Andre1992,
  author = {Andr\'e, Yves},
  title = {{Mumford--Tate} groups of mixed {Hodge} structures and the theorem of the fixed part},
  journal = {Compositio Mathematica},
  year = {1992}, volume = {82}, number = {1}, pages = {1--24},
  url = {https://www.numdam.org/item/CM_1992__82_1_1_0.pdf}
}
@article{MVW1984,
  author = {Matthews, Colin R. and Vaserstein, Leonid N. and Weisfeiler, Boris},
  title = {Congruence Properties of {Zariski}-Dense Subgroups {I}},
  journal = {Proceedings of the London Mathematical Society. Third Series},
  year = {1984}, volume = {48}, number = {3}, pages = {514--532},
  doi = {10.1112/plms/s3-48.3.514},
  url = {https://weisfeiler.com/boris/papers/1984-plms.pdf}
}
@article{Schmid1973,
  author = {Schmid, Wilfried},
  title = {Variation of {Hodge} Structure: The Singularities of the Period Mapping},
  journal = {Inventiones Mathematicae},
  year = {1973}, volume = {22}, pages = {211--319},
  doi = {10.1007/BF01389674},
  url = {https://webhomes.maths.ed.ac.uk/~v1ranick/papers/schmid.pdf}
}
@book{Deligne1970,
  author = {Deligne, Pierre},
  title = {\'Equations diff\'erentielles \`a points singuliers r\'eguliers},
  series = {Lecture Notes in Mathematics}, volume = {163},
  publisher = {Springer-Verlag}, address = {Berlin--Heidelberg--New York}, year = {1970},
  doi = {10.1007/BFb0061194},
  url = {https://publications.ias.edu/sites/default/files/Number9.pdf}
}
@article{Katz1970,
  author = {Katz, Nicholas M.},
  title = {Nilpotent connections and the monodromy theorem: Applications of a result of {Turrittin}},
  journal = {Publications Math\'ematiques de l'IH\'ES},
  year = {1970}, volume = {39}, pages = {175--232},
  doi = {10.1007/BF02684688},
  url = {https://www.numdam.org/item/PMIHES_1970__39__175_0.pdf}
}
@article{Berthelot1982,
  author = {Berthelot, Pierre},
  title = {G\'eom\'etrie rigide et cohomologie des vari\'et\'es alg\'ebriques de caract\'eristique {$p$}},
  journal = {Groupe d'\'etude d'analyse ultram\'etrique},
  year = {1981--1982}, volume = {9}, number = {3}, pages = {J1--J18},
  note = {Expos\'e J2},
  url = {https://www.numdam.org/item/GAU_1981-1982__9_3_A3_0.pdf}
}
@article{BerthelotOgus1983,
  author = {Berthelot, Pierre and Ogus, Arthur},
  title = {{$F$}-isocrystals and de {Rham} cohomology. {I}},
  journal = {Inventiones Mathematicae},
  year = {1983}, volume = {72}, number = {2}, pages = {159--199},
  doi = {10.1007/BF01389319}
}
@incollection{MilneAV,
  author = {Milne, James S.}, title = {Abelian Varieties},
  booktitle = {Arithmetic Geometry},
  editor = {Cornell, Gary and Silverman, Joseph H.},
  publisher = {Springer-Verlag}, address = {New York},
  year = {1986}, pages = {103--150},
  note = {Author's revised version, January 2, 2022; theorem numbering unchanged; revised text: \url{https://www.jmilne.org/math/xnotes/AVs.pdf}},
  url = {https://www.jmilne.org/math/xnotes/AVs.pdf}
}
@misc{MilneShimura1995,
  author = {Milne, James S.},
  title = {Shimura Varieties: The Geometric Side of the Zeta Function},
  year = {1995},
  howpublished = {Notes for four talks at the Institute for Advanced Study, March 6},
  note = {\url{https://www.jmilne.org/math/articles/1995a.pdf}},
  url = {https://www.jmilne.org/math/articles/1995a.pdf}
}
@incollection{MilneModuli2013,
  author = {Milne, James S.}, title = {Shimura varieties and moduli},
  booktitle = {Handbook of Moduli. Vol. II},
  editor = {Farkas, Gavril and Morrison, Ian},
  series = {Advanced Lectures in Mathematics}, volume = {25},
  publisher = {International Press}, address = {Somerville, MA},
  year = {2013}, pages = {467--548},
  note = {Citations follow the published numbering},
  url = {https://www.jmilne.org/math/xnotes/svhIP.pdf}
}
@article{Dube1990,
  author = {Dub\'e, Thomas W.},
  title = {The Structure of Polynomial Ideals and {Gr{\"o}bner} Bases},
  journal = {SIAM Journal on Computing},
  year = {1990}, volume = {19}, number = {4}, pages = {750--773},
  doi = {10.1137/0219053},
  url = {https://cs.uwaterloo.ca/~r5olivei/courses/2025-spring-cs860/D90.pdf}
}
@article{Hermann1926,
  author = {Hermann, Grete},
  title = {Die Frage der endlich vielen Schritte in der Theorie der Polynomideale},
  journal = {Mathematische Annalen},
  year = {1926}, volume = {95}, pages = {736--788},
  doi = {10.1007/BF01206635}
}
@article{Aschenbrenner2004,
  author = {Aschenbrenner, Matthias},
  title = {Ideal Membership in Polynomial Rings over the Integers},
  journal = {Journal of the American Mathematical Society},
  year = {2004}, volume = {17}, number = {2}, pages = {407--441},
  doi = {10.1090/S0894-0347-04-00451-5},
  url = {https://www.mat.univie.ac.at/~maschenbrenner/pdf/ideal2.pdf}
}
@article{KrickPardoSombra2001,
  author = {Krick, Teresa and Pardo, Luis Miguel and Sombra, Mart\'in},
  title = {Sharp estimates for the arithmetic {Nullstellensatz}},
  journal = {Duke Mathematical Journal},
  year = {2001}, volume = {109}, number = {3}, pages = {521--598},
  doi = {10.1215/S0012-7094-01-10934-4},
  url = {https://www.maia.ub.edu/~sombra/publications/arith-nss/maino.pdf}
}
@misc{CompanionECM,
  author = {{OpenAI}},
  title = {{The $E\times\mathrm{CM}$ component of Zilber--Pink for curves in $\mathcal A_2$}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-E-times-CM-Component-of-Zilber-Pink-for-Curves-in-A2-September-24-2026/paper.pdf}{OAI:The-E-times-CM-Component-of-Zilber-Pink-for-Curves-in-A2-September-24-2026}},
  year = {2026}
}
@misc{CompanionQuaternion,
  author = {{OpenAI}},
  title = {{Quaternionic division points on curves in the Siegel threefold}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Quaternionic-Division-Points-on-Curves-in-the-Siegel-Threefold-September-24-2026/paper.pdf}{OAI:Quaternionic-Division-Points-on-Curves-in-the-Siegel-Threefold-September-24-2026}},
  year = {2026}
}
@article{MoonenZarhin1999,
  author = {Moonen, Ben and Zarhin, Yuri G.},
  title = {Hodge classes on abelian varieties of low dimension},
  journal = {Mathematische Annalen}, volume = {315}, number = {4},
  year = {1999}, pages = {711--733},
  doi = {10.1007/s002080050333},
  url = {https://arxiv.org/abs/math/9901113}
}
@book{FaltingsChai1990,
  author = {Faltings, Gerd and Chai, Ching-Li},
  title = {Degeneration of Abelian Varieties},
  series = {Ergebnisse der Mathematik und ihrer Grenzgebiete (3)}, volume = {22},
  publisher = {Springer-Verlag}, address = {Berlin}, year = {1990},
  note = {With an appendix by David Mumford},
  doi = {10.1007/978-3-662-02632-8}
}
@book{Lan2013,
  author = {Lan, Kai-Wen},
  title = {Arithmetic Compactifications of {PEL}-Type {Shimura} Varieties},
  series = {London Mathematical Society Monographs}, volume = {36},
  publisher = {Princeton University Press}, address = {Princeton}, year = {2013},
  doi = {10.23943/princeton/9780691156545.001.0001},
  url = {https://www.kwlan.org/articles/cpt-PEL-type-thesis-revision.pdf},
  note = {Numbered statements checked in the author's revised thesis, March 14, 2021; \url{https://www.kwlan.org/articles/cpt-PEL-type-thesis-revision.pdf}}
}
@book{BLR1990,
  author = {Bosch, Siegfried and L{\"u}tkebohmert, Werner and Raynaud, Michel},
  title = {N\'eron Models},
  series = {Ergebnisse der Mathematik und ihrer Grenzgebiete (3)}, volume = {21},
  publisher = {Springer-Verlag}, address = {Berlin}, year = {1990},
  doi = {10.1007/978-3-642-51438-8},
  url = {https://math.arizona.edu/~cais/scans/BLR-Neron_Models/neron4.pdf}
}
@book{MazurMessing1974,
  author = {Mazur, Barry and Messing, William},
  title = {Universal Extensions and One Dimensional Crystalline Cohomology},
  series = {Lecture Notes in Mathematics}, volume = {370},
  publisher = {Springer-Verlag}, address = {Berlin--Heidelberg}, year = {1974},
  doi = {10.1007/BFb0061628}
}
@article{Cais2010,
  author = {Cais, Bryden},
  title = {Canonical extensions of {N\'eron} models of {Jacobians}},
  journal = {Algebra \& Number Theory},
  year = {2010}, volume = {4}, number = {2}, pages = {111--150},
  doi = {10.2140/ant.2010.4.111},
  url = {https://msp.org/ant/2010/4-2/ant-v4-n2-p01-s.pdf}
}
@article{EdixhovenLido2023,
  author = {Edixhoven, Bas and Lido, Guido},
  title = {Geometric quadratic {Chabauty}},
  journal = {Journal of the Institute of Mathematics of Jussieu},
  year = {2023}, volume = {22}, number = {1}, pages = {279--333},
  doi = {10.1017/S1474748021000244}
}
@article{LawrenceVenkatesh2020,
  author = {Lawrence, Brian and Venkatesh, Akshay},
  title = {Diophantine problems and {$p$}-adic period mappings},
  journal = {Inventiones Mathematicae},
  year = {2020}, volume = {221}, number = {3}, pages = {893--999},
  doi = {10.1007/s00222-020-00966-7},
  url = {https://arxiv.org/abs/1807.02721}
}
@misc{AbhinandanYoucis2025,
  author = {{Abhinandan} and Youcis, Alex},
  title = {An integral comparison of crystalline and de {Rham} cohomology},
  year = {2025}, howpublished = {Preprint, arXiv:2507.17631},
  url = {https://arxiv.org/abs/2507.17631},
  note = {The introductory restatement of the classical rational comparison is used}
}
@book{Fulton1998,
  author = {Fulton, William}, title = {Intersection Theory}, edition = {2},
  series = {Ergebnisse der Mathematik und ihrer Grenzgebiete (3)}, volume = {2},
  publisher = {Springer-Verlag}, address = {New York}, year = {1998},
  doi = {10.1007/978-1-4612-1700-8}
}

@article{PilaWilkie2006,
  author = {Pila, Jonathan and Wilkie, Alex J.},
  title = {The rational points of a definable set},
  journal = {Duke Mathematical Journal},
  volume = {133}, number = {3}, year = {2006}, pages = {591--616},
  doi = {10.1215/S0012-7094-06-13336-7}
}

@article{PilaZannier2008,
  author = {Pila, Jonathan and Zannier, Umberto},
  title = {Rational points in periodic analytic sets and the {Manin--Mumford} conjecture},
  journal = {Rendiconti Lincei. Matematica e Applicazioni}, series = {9},
  volume = {19}, number = {2}, year = {2008}, pages = {149--162},
  doi = {10.4171/RLM/514}, eprint = {0802.4016}, archivePrefix = {arXiv}
}

@article{Petrequin2003,
  author = {Petrequin, Denis},
  title = {Classes de {Chern} et classes de cycles en cohomologie rigide},
  journal = {Bulletin de la Soci\'et\'e Math\'ematique de France},
  volume = {131}, number = {1}, year = {2003}, pages = {59--121},
  doi = {10.24033/bsmf.2437},
  url = {https://www.numdam.org/item/BSMF_2003__131_1_59_0/}
}

@article{Zilber2002,
  author = {Zilber, Boris},
  title = {Exponential sums equations and the {Schanuel} conjecture},
  journal = {Journal of the London Mathematical Society},
  series = {2},
  volume = {65},
  number = {1},
  year = {2002},
  pages = {27--44},
  doi = {10.1112/S0024610701002861},
  url = {https://doi.org/10.1112/S0024610701002861}
}

@article{BertrandBeukers1985,
  author = {Bertrand, Daniel and Beukers, Frits},
  title = {\'{E}quations diff\'erentielles lin\'eaires et majorations de multiplicit\'es},
  journal = {Annales scientifiques de l'\'{E}cole Normale Sup\'erieure},
  series = {4}, volume = {18}, number = {1}, year = {1985}, pages = {181--192},
  doi = {10.24033/asens.1488},
  url = {https://www.numdam.org/article/ASENS_1985_4_18_1_181_0.pdf}
}

@incollection{Bombieri1981,
  author = {Bombieri, Enrico}, title = {On {G}-functions},
  booktitle = {Recent Progress in Analytic Number Theory, Vol. 2 (Durham, 1979)},
  editor = {Halberstam, Heini and Hooley, Christopher},
  publisher = {Academic Press}, address = {London--New York},
  year = {1981}, pages = {1--67}
}

@book{Andre1989,
  author = {Andr\'e, Yves}, title = {{G}-Functions and Geometry},
  series = {Aspects of Mathematics}, volume = {E13},
  publisher = {Friedr. Vieweg \& Sohn}, address = {Braunschweig}, year = {1989},
  doi = {10.1007/978-3-663-14108-2}
}

@incollection{Andre1995,
  author = {Andr\'e, Yves},
  title = {Th\'eorie des motifs et interpr\'etation g\'eom\'etrique des valeurs {$p$}-adiques de {G}-functions (une introduction)},
  booktitle = {Number Theory: Paris 1992--3}, editor = {David, Sinnou},
  series = {London Mathematical Society Lecture Note Series}, volume = {215},
  publisher = {Cambridge University Press}, address = {Cambridge}, year = {1995},
  pages = {37--60}, doi = {10.1017/CBO9780511661990.003}
}

@article{AndreSurvey2025,
  author = {Andr\'e, Yves},
  title = {{G}-functions, motives, and unlikely intersections---old and new},
  journal = {Rendiconti Lincei. Matematica e Applicazioni},
  volume = {36}, year = {2025}, pages = {381--392}, doi = {10.4171/RLM/1075},
  url = {https://ems.press/content/serial-article-files/52560}
}

@misc{PapasGFunctionsI2025,
  author = {Papas, Georgios},
  title = {On the {$v$}-adic values of {G}-functions {I}: Splittings in {$\mathcal A_2$}},
  year = {2025}, howpublished = {Preprint, arXiv:2510.11806v1},
  url = {https://arxiv.org/abs/2510.11806v1}
}

@misc{DawOrrMultiplicative2025,
 author = {Daw, Christopher and Orr, Martin},
 title = {The large {Galois} orbits conjecture under multiplicative degeneration},
 year = {2025}, howpublished = {Preprint, arXiv:2306.13463v2},
 url = {https://arxiv.org/abs/2306.13463v2}
}

@article{DawOrrModular2025,
 author = {Daw, Christopher and Orr, Martin},
 title = {{Zilber--Pink} in a product of modular curves assuming multiplicative degeneration},
 journal = {Duke Mathematical Journal},
 year = {2025}, volume = {174}, number = {13}, pages = {2877--2926},
 doi = {10.1215/00127094-2025-0011},
 url = {https://arxiv.org/abs/2208.06338v4}
}

@misc{DawOrrPapas2026,
 author = {Daw, Christopher and Orr, Martin and Papas, Georgios},
 title = {Some new cases of {Zilber--Pink} in {$Y(1)^3$}},
 year = {2026}, howpublished = {Preprint, arXiv:2510.09603v2},
 url = {https://arxiv.org/abs/2510.09603v2}
}