∑math20

Algebraic and complex geometry · Result 067

The Campana–Peternell conjecture in dimension six

1 paper

Proves the Campana–Peternell conjecture in complex dimension six: every smooth connected complex projective Fano sixfold with nef tangent bundle is rational homogeneous.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of The Campana–Peternell conjecture in dimension six

The Campana–Peternell conjecture in dimension six

OpenAI · September 25, 2026

We prove that every smooth connected complex projective Fano sixfold with nef tangent bundle is rational homogeneous, resolving the Campana–Peternell conjecture in complex dimension six. As a consequence, a connected compact Kähler manifold X with nef holomorphic tangent bundle and \(\dim_{\mathbb C}X-\widetilde q(X)\leq6\) has ordinary universal cover \(F\times\mathbb C^{\widetilde q(X)}\), where F is a rational homogeneous manifold and \(\widetilde q(X)\) is the maximal irregularity of a connected finite étale cover.

Read PDF Download Source

Cite
@misc{OAI:The-Campana-Peternell-conjecture-in-dimension-six-September-25-2026,
  author = {{OpenAI}},
  title = {{The Campana--Peternell conjecture in dimension six}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-Campana-Peternell-conjecture-in-dimension-six-September-25-2026/main.pdf}{OAI:The-Campana-Peternell-conjecture-in-dimension-six-September-25-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.