Remark: Family 016. 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.

The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.