Campana's abelianity conjecture
From OpenAI Aftermath
Campana's abelianity conjecture predicts that the fundamental group of every special compact Kähler manifold becomes abelian after passing to a finite unramified cover. In Campana's classification program, a compact Kähler manifold is special if no line bundle of Iitaka dimension p maps nontrivially into its holomorphic p-forms for any p ≥ 1, that is, if it has no such Bogomolov sheaf; the special manifolds are opposite to those that map onto bases of general type. Three manuscripts in OpenAI's public mathematics collection (github.com/openai/math), dated 23 September, 24 September and 5 October 2026, claim the conjecture in every dimension, a two-step nilpotence statement for linear representations in the quasi-projective case, and an extension to certain root orbifolds of fourfolds. The collection has no Lean formalization of the main theorem. This page summarizes the published claims and lists publicly available follow-up work. Statements are the respective authors' claims; the publication of a paper is not presented here as independent verification.
Background
- As recounted in the introduction of the main manuscript:
- Campana's program separates compact Kähler geometry into special varieties and bases of general type, and one of its central predictions is that the fundamental group of a special compact Kähler manifold is virtually abelian, in the form stated as Conjecture A.1 by Claudon and Höring.
- Earlier structure results for linear quotients of these fundamental groups were obtained by Campana and by Campana, Claudon and Eyssidieux; Claudon and Höring reduced the question to minimal counterexamples.
The original results
- Claim (abelianity). Theorem 1.1 of The abelianity conjecture for special compact Kähler manifolds states that the fundamental group of every connected special compact Kähler manifold, of any dimension, has an abelian subgroup of finite index. No linearity, residual finiteness, projectivity or prescribed Kodaira dimension is assumed; the index may depend on the manifold, and torsion is allowed. A corollary states that every compact Kähler manifold of Kodaira dimension zero has a virtually abelian fundamental group.
- Claim (quasi-projective case). Two-step monodromy of special quasi-projective varieties states that every finite-dimensional complex linear representation of the fundamental group of a smooth special quasi-projective variety has virtually nilpotent image of class at most two, and gives special open surfaces whose general quasi-Albanese fibre is not special.
- Claim (root orbifolds). A conditional abelianity theorem for special fourfold pairs with a half-weight divisor assumes the main theorem and states the same conclusion for order-two root orbifolds of smooth projective complex fourfolds along one nonempty smooth connected divisor, when special in the sense defined there.
- Method, as described: the main proof passes to a finite cover with largest first Betti number and studies the kernel of the Albanese map on fundamental groups; a spectral argument on infinite normal covers and a descent along torus fibrations handle the remaining cases, ending with cited theorems of Campana–Păun, Boucksom and Campana–Claudon–Eyssidieux.
- Sources (openai/math repository, commit
7ef5c0c):- The abelianity conjecture for special compact Kähler manifolds (23 September 2026);
- Two-step monodromy of special quasi-projective varieties (24 September 2026);
- A conditional abelianity theorem for special fourfold pairs with a half-weight divisor (5 October 2026).
- Formalization. The repository has no Lean scope note for this family. The Kollár–Pardon classification in the same collection rests on the main theorem.
Public follow-up work
| Date | Work | Relation | Public claim | Public status (checked 30 October 2026) |
|---|---|---|---|---|
| 2026-10-16 | J. Jardine, Lattice24, referee reviews rank_060 (main manuscript), rank_077 (quasi-projective manuscript) and rank_395 (root orbifolds) in JJardine919/openai-math-audit (archived at Zenodo 10.5281/zenodo.23422995) | Review (AI-assisted audit) | Reports no gap in any of the three manuscripts. For the main manuscript, the reviewer describes the spectral result on infinite normal covers as a new and strong ingredient and checked its estimates, and notes that both branches of the proof end with cited theorems of Campana–Păun, Boucksom and Campana–Claudon–Eyssidieux whose exact hypotheses were not checked against the sources. For the quasi-projective manuscript, it notes that one input, from a paper the manuscript cites as CDY, could not be checked against the source. For the fourfold manuscript, it notes that the result is conditional on the main theorem and that the notion of specialness for root orbifolds is the manuscript's own. | Part of an audit of the collection's manuscripts that the audit describes as complete. The reviews are published under CC BY 4.0. |
| 2026-10-26 | AI Proved What?, episode 057 Special means abelian?, current version of 26 October 2026; the page gives no date for the original | Reading (exposition) | Video explainer of the three claims. The episode states that Beauville's decomposition gives the case of vanishing first Chern class and that Campana and Claudon proved the conjecture for threefolds; that no uniform bound on the index is claimed; that for open varieties only matrix images, up to finite index, are claimed nilpotent; and that the fourfold result depends on the main theorem. It also reports that the quasi-projective manuscript says its open surfaces contradict a theorem on fibres in a preprint of Cao, Deng, Hacon and Păun. | Web page and video; the site states that its scripts and animations are produced with AI assistance and that the narration is an AI-generated voice. Status record last checked 27 October 2026: posted as preprints; under expert review: not yet; peer reviewed: not yet; checked in Lean: main theorem no, with one unlinked Lean file for an elementary group-theory step. The page states that it found no public response to the claim about the Cao–Deng–Hacon–Păun preprint and no public assessment by specialists. |
Notes
- The background summarizes the main manuscript's own account of earlier work.
- The list covers follow-ups found in public sources up to the date above; it is not a priority or completeness claim.
