oai-math-revised beta

Browse › Number theory › 016 Zilber–Pink in abelian varieties and the Siegel threefold

The abelian Zilber–Pink conjecture

OpenAI · September 24, 2026

Open PDFCite Report a problem Add a reference or comment Interested in working on this Start a discussion

Edit NOTES.md · Existing issues · Source on GitHub

Abstract

We prove the abelian Zilber–Pink conjecture over $\overline{\mathbb Q}$. Every irreducible subvariety of an abelian variety has only finitely many maximal atypical subvarieties, where atypicality is measured inside its smallest containing torsion coset.

If the PDF does not display here, open it directly: Open PDF.

Notes

No notes yet. Add a reference, a comment or your name with the buttons above, or edit NOTES.md on GitHub.

Automatically collected notes (unreviewed)

work in progress

Collected automatically by AI tools (Claude Opus 5.5 and GPT-6 Astra, 2026-10-21) and not checked by a person. May be wrong or incomplete. Report an error.

Follow-up works

Possibly relevant literature (found by the agent, not checked)

Digests and expositions

Elsewhere

Independent sites; their content is not reviewed here.

Cite

@misc{OAI:The-Abelian-Zilber-Pink-Conjecture-September-24-2026,
  author = {{OpenAI}},
  title = {{The abelian Zilber--Pink conjecture}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-Abelian-Zilber-Pink-Conjecture-September-24-2026/paper.pdf}{OAI:The-Abelian-Zilber-Pink-Conjecture-September-24-2026}},
  year = {2026}
}

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.

Other papers in this family: