oai-math-revised beta

Browse › Algebraic and complex geometry › 067 The Campana–Peternell conjecture in dimension six

The Campana–Peternell conjecture in dimension six

OpenAI · September 25, 2026

Open PDFCite Report a problem Add a reference or comment Interested in working on this Start a discussion

Edit NOTES.md · Existing issues · Source on GitHub

Abstract

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.

If the PDF does not display here, open it directly: Open PDF.

Notes

No notes yet. Add a reference, a comment or your name with the buttons above, or edit NOTES.md on GitHub.

Automatically collected notes (unreviewed)

work in progress

Collected automatically by AI tools (Claude Opus 5.5 and GPT-6 Astra, 2026-10-21) and not checked by a person. May be wrong or incomplete. Report an error.

Possibly relevant literature (found by the agent, not checked)

Elsewhere

Independent sites; their content is not reviewed here.

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}
}

From OpenAI's README for this paper:

Verification

Use Python 3.12.13 with SymPy 1.14.0 and NumPy 2.3.5. From this paper directory, run the exact-arithmetic certificate with assertions enabled:

env -u PYTHONOPTIMIZE python3 -u verification/verify.py

Successful execution prints N done followed by pass. The program checks the finite calculations documented in the paper's appendix.

Family 067: The Campana–Peternell conjecture in dimension six

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

This is the only paper in this family.