@article{Andre1992,
  author = {Andr{\'e}, Yves},
  title = {{Mumford--Tate} groups of mixed {Hodge} structures and the theorem of the fixed part},
  journal = {Compositio Mathematica},
  volume = {82},
  number = {1},
  year = {1992},
  pages = {1--24},
  url = {https://www.numdam.org/item/CM_1992__82_1_1_0/}
}

@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},
  volume = {39}, year = {1970}, pages = {175--232},
  doi = {10.1007/BF02684688},
  url = {https://www.numdam.org/item/PMIHES_1970__39__175_0/}
}

@article{MW1994,
  author = {Masser, David W. and W{\"u}stholz, Gisbert},
  title = {Endomorphism estimates for abelian varieties},
  journal = {Mathematische Zeitschrift},
  volume = {215},
  number = {4},
  year = {1994},
  pages = {641--653},
  doi = {10.1007/BF02571735},
  url = {https://archive.mpim-bonn.mpg.de/1350/1/preprint_1991_51.pdf},
  note = {Author preprint: Max-Planck-Institut f{\"u}r Mathematik, 1991 (51)}
}

@article{MVW1984,
  author = {Matthews, C. R. and Vaserstein, L. N. and Weisfeiler, B.},
  title = {Congruence properties of {Zariski}-dense subgroups {I}},
  journal = {Proceedings of the London Mathematical Society},
  series = {3},
  volume = {48},
  number = {3},
  year = {1984},
  pages = {514--532},
  doi = {10.1112/plms/s3-48.3.514},
  url = {https://weisfeiler.com/boris/papers/1984-plms.pdf}
}

@article{BO1983,
  author = {Berthelot, Pierre and Ogus, Arthur},
  title = {{$F$}-isocrystals and de {Rham} cohomology. {I}},
  journal = {Inventiones Mathematicae},
  volume = {72},
  number = {2},
  year = {1983},
  pages = {159--199},
  doi = {10.1007/BF01389319},
  url = {https://link.springer.com/article/10.1007/BF01389319}
}

@article{Ogus1984,
  author = {Ogus, Arthur},
  title = {{$F$}-isocrystals and de {Rham} cohomology {II}---Convergent isocrystals},
  journal = {Duke Mathematical Journal},
  volume = {51},
  number = {4},
  year = {1984},
  pages = {765--850},
  doi = {10.1215/S0012-7094-84-05136-6},
  url = {https://doi.org/10.1215/S0012-7094-84-05136-6}
}

@misc{PapasI2025,
  author = {Papas, Georgios},
  title = {On the {$v$}-adic values of {$G$}-functions {I}: Splittings in {$\mathcal A_2$}},
  year = {2025},
  eprint = {2510.11806},
  archivePrefix = {arXiv},
  primaryClass = {math.NT},
  doi = {10.48550/arXiv.2510.11806},
  howpublished = {\href{https://arxiv.org/abs/2510.11806v1}{arXiv:2510.11806v1}},
  url = {https://arxiv.org/abs/2510.11806v1},
  note = {Version 1, 13 October 2025}
}

@misc{PapasIII2025,
  author = {Papas, Georgios},
  title = {On the {$v$}-adic values of {$G$}-functions {III}: {QM} points in {$\mathcal A_2$}},
  year = {2025},
  eprint = {2510.19683},
  archivePrefix = {arXiv},
  primaryClass = {math.NT},
  doi = {10.48550/arXiv.2510.19683},
  howpublished = {\href{https://arxiv.org/abs/2510.19683v1}{arXiv:2510.19683v1}},
  url = {https://arxiv.org/abs/2510.19683v1},
  note = {Version 1, 22 October 2025}
}

@article{DawOrr2022,
  author = {Daw, Christopher and Orr, Martin},
  title = {Quantitative reduction theory and unlikely intersections},
  journal = {International Mathematics Research Notices},
  volume = {2022},
  number = {20},
  year = {2022},
  pages = {16138--16195},
  doi = {10.1093/imrn/rnab173},
  eprint = {1911.05618},
  archivePrefix = {arXiv},
  url = {https://academic.oup.com/imrn/article/2022/20/16138/6322312}
}

@misc{DawOrrMultiplicative2025,
  author = {Daw, Christopher and Orr, Martin},
  title = {The large {Galois} orbits conjecture under multiplicative degeneration},
  year = {2025},
  eprint = {2306.13463}, archivePrefix = {arXiv}, primaryClass = {math.NT},
  howpublished = {\href{https://arxiv.org/abs/2306.13463v2}{arXiv:2306.13463v2}},
  url = {https://arxiv.org/abs/2306.13463v2},
  note = {Version 2, 15 May 2025}
}

@article{Papas2024,
  author = {Papas, Georgios},
  title = {Some cases of the {Zilber--Pink} conjecture for curves in {$\mathcal A_g$}},
  journal = {International Mathematics Research Notices},
  volume = {2024},
  number = {5},
  year = {2024},
  pages = {4160--4206},
  doi = {10.1093/imrn/rnad201},
  eprint = {2211.06763},
  archivePrefix = {arXiv},
  url = {https://academic.oup.com/imrn/article/2024/5/4160/7247421},
  note = {Published online 23 August 2023}
}

@article{HabeggerPila2016,
  author = {Habegger, Philipp and Pila, Jonathan},
  title = {O-minimality and certain atypical intersections},
  journal = {Annales Scientifiques de l'{\'E}cole Normale Sup{\'e}rieure},
  series = {4},
  volume = {49},
  number = {4},
  year = {2016},
  pages = {813--858},
  doi = {10.24033/asens.2296},
  url = {https://www.numdam.org/articles/10.24033/asens.2296/}
}

@article{Schmid1973,
  author = {Schmid, Wilfried},
  title = {Variation of {Hodge} structure: The singularities of the period mapping},
  journal = {Inventiones Mathematicae},
  volume = {22},
  number = {3--4},
  year = {1973},
  pages = {211--319},
  doi = {10.1007/BF01389674},
  url = {https://doi.org/10.1007/BF01389674}
}

@article{Pazuki2012,
  author = {Pazuki, Fabien},
  title = {Theta height and {Faltings} height},
  journal = {Bulletin de la Soci{\'e}t{\'e} Math{\'e}matique de France},
  volume = {140},
  number = {1},
  year = {2012},
  pages = {19--49},
  doi = {10.24033/bsmf.2623},
  url = {https://numdam.org/articles/10.24033/bsmf.2623/}
}

@article{Dube1990,
  author = {Dub{\'e}, Thomas W.},
  title = {The structure of polynomial ideals and {Gr{\"o}bner} bases},
  journal = {SIAM Journal on Computing},
  volume = {19},
  number = {4},
  year = {1990},
  pages = {750--773},
  doi = {10.1137/0219053},
  url = {https://doi.org/10.1137/0219053}
}

@article{Aschenbrenner2004,
  author = {Aschenbrenner, Matthias},
  title = {Ideal membership in polynomial rings over the integers},
  journal = {Journal of the American Mathematical Society},
  volume = {17},
  number = {2},
  year = {2004},
  pages = {407--441},
  doi = {10.1090/S0894-0347-04-00451-5},
  url = {https://www.mat.univie.ac.at/~maschenbrenner/pdf/ideal2.pdf}
}

@article{KPS2001,
  author = {Krick, Teresa and Pardo, Luis Miguel and Sombra, Mart{\'i}n},
  title = {Sharp estimates for the arithmetic {Nullstellensatz}},
  journal = {Duke Mathematical Journal},
  volume = {109},
  number = {3},
  year = {2001},
  pages = {521--598},
  doi = {10.1215/S0012-7094-01-10934-4},
  url = {https://www.maia.ub.edu/~sombra/publications/arith-nss/maino.pdf}
}

@incollection{Milne1986,
  author = {Milne, James S.},
  title = {Abelian varieties},
  booktitle = {Arithmetic Geometry},
  editor = {Cornell, Gary and Silverman, Joseph H.},
  publisher = {Springer},
  address = {New York},
  year = {1986},
  pages = {103--150},
  doi = {10.1007/978-1-4613-8655-1_5},
  url = {https://www.jmilne.org/math/xnotes/AVs.pdf},
  note = {Corrected author version dated 2 January 2022, with unchanged numbering}
}

@book{FaltingsChai1990,
  author = {Faltings, Gerd and Chai, Ching-Li},
  title = {Degeneration of Abelian Varieties},
  series = {Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge},
  volume = {22},
  publisher = {Springer},
  address = {Berlin},
  year = {1990},
  doi = {10.1007/978-3-662-02632-8},
  url = {https://doi.org/10.1007/978-3-662-02632-8}
}

@book{BLR1990,
  author = {Bosch, Siegfried and L{\"u}tkebohmert, Werner and Raynaud, Michel},
  title = {{N{\'e}ron} Models},
  series = {Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge},
  volume = {21},
  publisher = {Springer},
  address = {Berlin},
  year = {1990},
  doi = {10.1007/978-3-642-51438-8},
  url = {https://doi.org/10.1007/978-3-642-51438-8}
}

@misc{KubrakPrikhodko2022,
  author = {Kubrak, Dmitry and Prikhodko, Artem},
  title = {Rational {$p$}-adic {Hodge} theory for {$d$}-de {Rham}-proper stacks},
  year = {2022},
  eprint = {2211.17227},
  archivePrefix = {arXiv},
  primaryClass = {math.AG},
  doi = {10.48550/arXiv.2211.17227},
  url = {https://arxiv.org/abs/2211.17227v1},
  howpublished = {\href{https://arxiv.org/abs/2211.17227v1}{arXiv:2211.17227v1}},
  note = {With an appendix by Haoyang Guo. Version 1, 30 November 2022}
}

@misc{StacksProject,
  author = {{The Stacks Project Authors}},
  title = {The {Stacks} Project},
  year = {2026},
  howpublished = {\url{https://stacks.math.columbia.edu}},
  note = {Tags \href{https://stacks.math.columbia.edu/tag/01PE}{01PE} and \href{https://stacks.math.columbia.edu/tag/01Q3}{01Q3}, accessed 12 September 2026}
}

@book{EKM2008,
  author = {Elman, Richard and Karpenko, Nikita and Merkurjev, Alexander},
  title = {The Algebraic and Geometric Theory of Quadratic Forms},
  series = {American Mathematical Society Colloquium Publications},
  volume = {56},
  publisher = {American Mathematical Society},
  address = {Providence, RI},
  year = {2008},
  doi = {10.1090/coll/056},
  url = {https://www.math.ucla.edu/~rse/book/Kniga.pdf}
}

@misc{SchulzePillot2020,
  author = {Schulze-Pillot, Rainer},
  title = {Lecture notes on quadratic forms and their arithmetic},
  year = {2020},
  eprint = {2008.12847},
  archivePrefix = {arXiv},
  primaryClass = {math.NT},
  doi = {10.48550/arXiv.2008.12847},
  url = {https://arxiv.org/abs/2008.12847v2},
  howpublished = {\href{https://arxiv.org/abs/2008.12847v2}{arXiv:2008.12847v2}},
  note = {Version 2, revised 21 March 2021}
}

@article{Orr2021,
  author = {Orr, Martin},
  title = {{Galois} conjugates of special points and special subvarieties
           in {Shimura} varieties},
  journal = {Journal of the Institute of Mathematics of Jussieu},
  volume = {20},
  number = {3},
  year = {2021},
  pages = {1075--1089},
  doi = {10.1017/S1474748019000525},
  url = {https://arxiv.org/abs/1812.06819v2},
  note = {First published online 30 October 2019;
          author version \href{https://arxiv.org/abs/1812.06819v2}
          {arXiv:1812.06819v2}, 19 August 2019}
}

@article{MaulikPoonen2012,
  author = {Maulik, Davesh and Poonen, Bjorn},
  title = {{N{\'e}ron--Severi} groups under specialization},
  journal = {Duke Mathematical Journal},
  volume = {161},
  number = {11},
  year = {2012},
  pages = {2167--2206},
  doi = {10.1215/00127094-1699490},
  url = {https://math.mit.edu/~poonen/papers/NSjumping.pdf},
  note = {Author version dated 4 June 2012}
}

@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{Pila2011,
  author = {Pila, Jonathan},
  title = {O-minimality and the {Andr\'e--Oort} conjecture for {$\mathbb C^n$}},
  journal = {Annals of Mathematics}, series = {2},
  volume = {173}, number = {3}, year = {2011}, pages = {1779--1840},
  doi = {10.4007/annals.2011.173.3.11}
}

@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{DMM1994,
  author = {van den Dries, Lou and Macintyre, Angus and Marker, David},
  title = {The elementary theory of restricted analytic fields with exponentiation},
  journal = {Annals of Mathematics}, series = {2},
  volume = {140}, number = {1}, year = {1994}, pages = {183--205},
  doi = {10.2307/2118545}
}

@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},
  note = {March 6, 1995},
  url = {https://www.jmilne.org/math/articles/1995a.pdf}
}

@incollection{MilneShimura2005,
  author = {Milne, James S.},
  title = {Introduction to {Shimura} Varieties},
  booktitle = {Harmonic Analysis, the Trace Formula, and Shimura Varieties},
  series = {Clay Mathematics Proceedings},
  volume = {4},
  publisher = {American Mathematical Society},
  year = {2005},
  pages = {265--378},
  url = {https://www.jmilne.org/math/xnotes/svi2005.pdf},
  note = {Revised version dated September 16, 2017, available at \url{https://www.jmilne.org/math/xnotes/svi.pdf}; theorem numbering in Section 6 unchanged}
}

@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},
  url = {https://www.jmilne.org/math/xnotes/svhIP.pdf}
}

@article{Grothendieck1966DeRham,
  author = {Grothendieck, Alexander},
  title = {On the de {Rham} cohomology of algebraic varieties},
  journal = {Publications Math\'ematiques de l'IH\'ES},
  volume = {29},
  year = {1966},
  pages = {95--103},
  doi = {10.1007/BF02684807},
  url = {https://www.numdam.org/item/PMIHES_1966__29__95_0/}
}

@article{KatzOda1968,
  author = {Katz, Nicholas M. and Oda, Tadao},
  title = {On the differentiation of {De Rham} cohomology classes with respect to parameters},
  journal = {Journal of Mathematics of Kyoto University},
  volume = {8},
  number = {2},
  year = {1968},
  pages = {199--213},
  doi = {10.1215/kjm/1250524135},
  url = {https://www.its.caltech.edu/~matilde/GaussManinKatzOda.pdf}
}

@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}
}

@unpublished{Pink2005,
  author = {Pink, Richard},
  title = {A common generalization of the conjectures of
    {Andr\'{e}--Oort}, {Manin--Mumford}, and {Mordell--Lang}},
  year = {2005},
  note = {ETH Z\"{u}rich preprint, April 17, 2005, 13 pp.},
  url = {https://people.math.ethz.ch/~pink/ftp/AOMMML.pdf}
}

@book{Chai1985,
  author = {Chai, Ching-Li},
  title = {Compactification of {Siegel} Moduli Schemes},
  series = {London Mathematical Society Lecture Note Series},
  volume = {107},
  publisher = {Cambridge University Press},
  year = {1985},
  isbn = {9780521312530},
  doi = {10.1017/CBO9780511721298}
}

@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}
}

@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}
}

@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}
}