Zilber–Pink in abelian varieties and the Siegel threefold

Proves the abelian Zilber–Pink conjecture over $\overline{\mathbb Q}$: every irreducible subvariety has finitely many maximal atypical subvarieties relative to its smallest containing torsion coset. It also proves the full curve case in the Siegel threefold $\mathcal A_2$ for Hodge-generic curves defined over $\overline{\mathbb Q}$, without boundary or reduction assumptions.