Math Conjectures

Clemens Conjecture

OPENMajorConjectureProposed 1986 · Standard version

Canonical statement

Let X⊂PC4X\subset\mathbb P^4_\mathbb C be a very general smooth quintic hypersurface, meaning one outside a countable union of proper Zariski-closed subsets of the parameter space. For every d≥1d\ge1, XX contains only finitely many irreducible rational curves of degree dd; every such curve is a smooth embedded P1\mathbb P^1 with normal bundle OP1(−1)⊕OP1(−1)\mathcal O_{\mathbb P^1}(-1)\oplus \mathcal O_{\mathbb P^1}(-1).
View source LaTeX
Let \(X\subset\mathbb P^4_\mathbb C\) be a very general smooth quintic hypersurface, meaning one outside a countable union of proper Zariski-closed subsets of the parameter space. For every \(d\ge1\), \(X\) contains only finitely many irreducible rational curves of degree \(d\); every such curve is a smooth embedded \(\mathbb P^1\) with normal bundle \(\mathcal O_{\mathbb P^1}(-1)\oplus \mathcal O_{\mathbb P^1}(-1)\).
AG-CY-016:[Clemens1986Curves][Katz1986RationalCurves][Cotterill2008RationalCurves]
Algebraic geometryCombinatorics

Notes

The Clemens conjecture concerns rational curves on the most classical Calabi–Yau threefold. For a very general smooth quintic hypersurface X⊂P4X\subset\mathbb P^4, it predicts that for each degree d≥1d\ge1 there are only finitely many irreducible rational curves of degree dd on XX, and that each is a smoothly embedded P1\mathbb P^1 with normal bundle O(−1)⊕O(−1)\mathcal O(-1)\oplus\mathcal O(-1), hence infinitesimally rigid. The conjecture was proposed by Clemens in 1986 in his study of curves on generic hypersurfaces [Clemens1986Curves].

Finiteness is what gives the degree-by-degree counts of rational curves on the quintic their enumerative meaning, and the conjecture has been verified in low degrees: Katz established finiteness for small dd [Katz1986RationalCurves], and Cotterill proved the statement for curves of degree 1111 [Cotterill2008RationalCurves]. Beyond such degree-by-degree results and selected components or degenerations, no uniform argument is known.

The conjecture is open in full: finiteness, smoothness, and rigidity have not been established simultaneously for every degree, and a resolution would require a mechanism controlling rational curves of arbitrarily high degree at once.

References (3)

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.