Fundamental groups of special complex varieties and root orbifolds

2 · Going further

The central problem concerns the ordinary fundamental group ${\pi }_1(X)$ of a special compact Kähler manifold $X$. Manuscript 1 shows that this group is virtually abelian: it contains an abelian subgroup of finite index. The abstract presents this as a resolution of Campana’s abelianity conjecture in all dimensions. It also states the particular consequence that every smooth compact connected Kähler manifold of Kodaira dimension zero has virtually abelian ordinary fundamental group. The supplied abstract does not describe the argument establishing this main theorem.

Manuscript 2 treats a connected smooth special complex quasi-projective variety. For every finite-dimensional complex linear representation of its ordinary fundamental group, it shows that the image is virtually nilpotent of class at most two. In other words, the image has a finite-index subgroup whose commutators are central. This is a statement about representation images, not a claim that the entire fundamental group is virtually abelian. The manuscript describes its argument as independent and says the conclusion was previously announced by Cao–Deng–Hacon–Păun; the abstract gives no further details of the method. It also constructs special open surfaces whose general quasi-Albanese fibres are not special.

Manuscript 3 uses the all-dimensional compact Kähler result for the order-two root orbifold associated with $(X,\frac{1}{2}D)$, where $X$ is a smooth projective complex fourfold and $D$ is a nonempty smooth connected divisor. Assuming this orbifold is special in the stated differential-line sense, it shows that the entire orbifold fundamental group is virtually abelian. The construction described in the abstract is a special smooth projective eightfold whose fundamental group surjects onto that orbifold group. Thus this companion depends on the main theorem, whereas Manuscript 2 presents an independent argument.

Useful notions

• Loops and fundamental groups
• Abelian groups and finite-index subgroups
• Compact Kähler and projective manifolds
• Complex linear representations
• Divisors and orbifolds

What was known before / what is new

Limits and assumptions

The compact theorem requires both specialness and the compact Kähler hypotheses. The quasi-projective conclusion concerns finite-dimensional complex linear representation images, not virtual abelianity of the full fundamental group. The orbifold result requires a smooth projective fourfold, one nonempty smooth connected divisor, order two, and specialness in the stated differential-line sense; it depends on the main theorem. The supplied abstracts do not define the specialness conditions or provide the main theorem’s argument. The main result is not formalized in Lean and has not been formally verified. The source specifies no further open problems.

Mini glossary

Fundamental group

—

A group recording loops based at a point, with loops identified when they can be continuously deformed into one another while keeping that point fixed.

Virtually abelian

—

A group is virtually abelian if it contains an abelian subgroup of finite index.

Finite index

—

A subgroup has finite index when the full group consists of finitely many of its cosets.

Complex linear representation

—

A complex linear representation describes a group by invertible linear transformations of a complex vector space.

Virtually nilpotent of class at most two

—

A group has this property if it contains a finite-index subgroup in which all commutators are central.

Keywords : Special complex varieties · Fundamental groups · Virtual abelianity

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Manuscripts in this family