Result 057, Algebraic and complex geometry

Fundamental groups of special complex varieties and root orbifolds

Proves Campana's abelianity conjecture: special compact Kähler manifolds have virtually abelian fundamental groups. Using this theorem, establishes the same conclusion for order-two root orbifolds of smooth projective complex fourfolds along one nonempty smooth connected divisor, when special in the stated differential-line sense. For smooth special complex quasi-projective varieties, proves that every finite-dimensional complex linear representation of the fundamental group has virtually nilpotent image of class at most two.

Proof

The bigger picture

Why it matters

A space's fundamental group records how loops can wind through it. These manuscripts claim that a geometric condition called specialness sharply limits how complicated those loop structures, or their matrix representations, can be.

What changes?

The manuscripts report that every special compact Kähler manifold, in any dimension, has a virtually abelian fundamental group: a finite-index subgroup has commuting elements. This includes smooth compact connected Kähler manifolds of Kodaira dimension zero. For connected smooth special complex quasi-projective varieties, every finite-dimensional complex linear representation, encoding loops by invertible matrices, instead has virtually nilpotent image of class at most two: a finite-index subgroup has all commutators central. This second claim constrains matrix images, not necessarily the entire group.

What does that help mathematicians do?

Using the compact theorem, another manuscript obtains virtual abelianity for the entire fundamental group of an order-two root orbifold, which adds order-two symmetry along a divisor. Here the underlying space must be a smooth projective complex fourfold, the divisor nonempty, smooth and connected, and the orbifold special in the stated differential-line sense. The construction uses a special smooth projective eightfold whose fundamental group maps onto the orbifold group, transferring the restriction on loop complexity to this setting.

Are there practical applications?

The immediate value is foundational: these claims restrict which groups and matrix representations can arise from special complex geometry. The quasi-projective manuscript also constructs special open surfaces whose general quasi-Albanese fibres are not special. That counterexample warns researchers not to assume specialness passes to those fibres when building arguments about open varieties.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

3 manuscripts

The abelianity conjecture for special compact Kähler manifolds

September 23, 2026 50 pages

We prove that the fundamental group of every special compact Kähler manifold is virtually abelian, resolving Campana's abelianity conjecture in all dimensions. In particular, every smooth compact connected Kähler manifold of Kodaira dimension zero has virtually abelian ordinary fundamental group.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:The-abelianity-conjecture-for-special-compact-Kahler-manifolds-September-23-2026,
  author = {{OpenAI}},
  title = {{The abelianity conjecture for special compact K\"ahler manifolds}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-abelianity-conjecture-for-special-compact-Kahler-manifolds-September-23-2026/paper.pdf}{OAI:The-abelianity-conjecture-for-special-compact-Kahler-manifolds-September-23-2026}},
  year = {2026}
}

Two-step monodromy of special quasi-projective varieties

September 24, 2026 19 pages

We give an independent proof that every complex linear representation of the ordinary fundamental group of a connected smooth special complex quasi-projective variety has virtually nilpotent image of class at most two. This conclusion was previously announced by Cao–Deng–Hacon–Păun. We also construct special open surfaces whose general quasi-Albanese fibres are not special.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Two-step-monodromy-of-special-quasi-projective-varieties-September-24-2026,
  author = {{OpenAI}},
  title = {{Two-step monodromy of special quasi-projective varieties}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Two-step-monodromy-of-special-quasi-projective-varieties-September-24-2026/paper.pdf}{OAI:Two-step-monodromy-of-special-quasi-projective-varieties-September-24-2026}},
  year = {2026}
}

A conditional abelianity theorem for special fourfold pairs with a half-weight divisor

October 5, 2026 14 pages

Using the abelianity theorem for special compact Kähler manifolds in every dimension, we prove virtual abelianity of the entire orbifold fundamental group of the special order-two root orbifold associated with a pair (X,12D)(X,\tfrac12D), where X is a smooth projective fourfold and D is a nonempty smooth connected divisor. We construct a special smooth projective eightfold whose fundamental group surjects onto the required group.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:A-conditional-abelianity-theorem-for-special-fourfold-pairs-with-a-half-weight-divisor-October-5-2026,
  author = {{OpenAI}},
  title = {{A conditional abelianity theorem for special fourfold pairs with a half-weight divisor}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-conditional-abelianity-theorem-for-special-fourfold-pairs-with-a-half-weight-divisor-October-5-2026/main.pdf}{OAI:A-conditional-abelianity-theorem-for-special-fourfold-pairs-with-a-half-weight-divisor-October-5-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 7 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.