1 · The essentials
These four manuscripts study unusually large encounters between geometric objects governed by arithmetic rules. The question is whether all such encounters can be collected into finitely many exceptional pieces. The main manuscript claims a positive answer for objects called abelian varieties, in the setting of algebraic numbers. Each exception must, however, be measured within the smallest particular setting that already contains the object under study. Three companion manuscripts concern curves in a space called , whose points represent abelian surfaces. Each claims finiteness for one type of exceptional point, and their combination is presented as yielding the full curve case under the stated assumptions. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine a city map on which you look for unusually large areas of overlap between different routes. You judge them at the scale of the relevant neighborhood rather than the whole city, and seek to collect them into finitely many maximal exceptional areas. This image illustrates the role of the comparison setting, but does not replace the mathematical definition of an atypical encounter.
Why it matters
The main claim is a precise kind of finiteness: it concerns maximal atypical subvarieties, not necessarily all exceptional points individually. For curves in , the three companion results bring distinct cases together into one statement. The repository summary presents this curve case as requiring neither boundary nor reduction assumptions.
2 · Going further
The main manuscript addresses the abelian Zilber–Pink conjecture over . For every irreducible subvariety of an abelian variety, it claims finiteness of the maximal atypical subvarieties. An essential qualification is that atypicality is measured inside the smallest torsion coset containing the subvariety, rather than simply inside the ambient abelian variety.
The other three manuscripts concern Hodge-generic algebraic curves in defined over . The second claims finiteness of points whose abelian surface is isogenous to a product of elliptic curves with at least one factor having complex multiplication. The third treats points whose full geometric rational endomorphism algebra is an indefinite quaternion division algebra over ; it explicitly states that no boundary or reduction hypothesis is required.
The fourth manuscript treats surfaces isogenous to the square of an elliptic curve without complex multiplication. It states that combining this finiteness result with the two companion results yields the curve case of Zilber–Pink in , without a boundary hypothesis. This is the only argument structure supplied by the abstracts: they give neither a method for establishing the individual finiteness statements nor the mechanism behind the main abelian result.
Useful notions
- Algebraic numbers and the field
- Algebraic varieties and subvarieties
- Abelian varieties and elliptic curves
- Torsion and isogenies
- Special loci and Hodge genericity
What was known before / what is new
Before
The source places these statements within the Zilber–Pink conjecture, with an abelian part and a part concerning curves in . It describes no earlier results, chronology, or previously available methods, so it does not support a more specific account of the prior state of the problem.
New
The main manuscript claims the abelian conjecture over , measuring atypicality relative to the smallest containing torsion coset. The companions claim three finiteness statements: products with a complex multiplication factor, quaternionic-division points, and elliptic squares without complex multiplication. Their combination is presented as yielding the full case of Hodge-generic curves in over , without boundary or reduction assumptions according to the repository summary.
Limits and assumptions
The abelian result concerns irreducible subvarieties of abelian varieties over and their maximal atypical subvarieties, with the specified relative torsion setting. The results in concern Hodge-generic algebraic curves defined over ; they are not a general statement about every subvariety of that space. The main result is not formalized in Lean and has not been formally verified. The abstracts do not supply detailed arguments or identify which questions remain open beyond these settings.
Mini glossary
- Atypical subvariety —
- A subvariety arising from a larger-than-expected encounter, assessed here relative to the smallest torsion coset containing the object under study.
- Maximal —
- An atypical subvariety is maximal if it is not contained in any strictly larger atypical subvariety in the setting under consideration.
- Torsion coset —
- A translate of an abelian subvariety by a torsion point.
- Hodge-generic —
- Here, a curve is Hodge-generic if it is not contained in any proper special subvariety of the ambient space.
- Isogeny —
- A surjective morphism of abelian varieties that respects their group laws and has finite kernel.
Keywords : Zilber–Pink · Abelian varieties · Siegel threefold
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves the abelian Zilber–Pink conjecture over : 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 for Hodge-generic curves defined over , without boundary or reduction assumptions.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
The abelian Zilber–Pink conjecture
24/09/2026We prove the abelian Zilber–Pink conjecture over . Every irreducible subvariety of an abelian variety has only finitely many maximal atypical subvarieties, where atypicality is measured inside its smallest containing torsion coset.
The E×CM component of Zilber–Pink for curves in A2
24/09/2026We prove the component of Zilber–Pink for Hodge-generic algebraic curves in over . Each such curve contains only finitely many points whose abelian surface is isogenous to a product of elliptic curves with at least one factor having complex multiplication.
Quaternionic division points on curves in the Siegel threefold
24/09/2026We prove the quaternionic-division component of Zilber–Pink for curves in over . A Hodge-generic algebraic curve contains only finitely many points whose full geometric rational endomorphism algebra is an indefinite quaternion division algebra over ℚ. No boundary or reduction hypothesis is required.
Elliptic squares and Zilber–Pink for curves in A2
24/09/2026We prove that every Hodge-generic algebraic curve in over contains only finitely many points whose abelian surface is isogenous to the square of an elliptic curve without complex multiplication (CM). Combining this result with the companion and quaternionic-division finiteness theorems, we prove the curve case of Zilber–Pink in over , without a boundary hypothesis.