Result 063, Algebraic and complex geometry

The generalized Mukai conjecture

Proves the generalized Mukai conjecture: every positive-dimensional smooth complex projective Fano manifold of dimension n, Picard number ρ and pseudoindex ι satisfies ρ(ι−1)≤n\rho(\iota-1)\le n, with equality exactly for (Pι−1)ρ(\mathbb P^{\iota-1})^\rho. Here the pseudoindex is the least anticanonical degree of a rational curve.

Proof

The bigger picture

Why it matters

A geometric space's curves and divisor classes encode different aspects of its shape. The unreviewed manuscript reports a sharp constraint linking these features for Fano manifolds, and identifies exactly which spaces reach the limit.

What changes?

For every smooth complex projective Fano manifold of positive dimension n, the claimed bound is rho times (iota minus one) at most n. Fano means the anticanonical line bundle is ample, a positivity condition. Here rho, the Picard number, counts independent numerical classes of divisors, represented by hypersurfaces. The pseudoindex iota is the least anticanonical degree of a rational curve, parametrized by a projective line. Equality holds exactly for products of rho projective spaces, each of dimension iota minus one.

What does that help mathematicians do?

For a fixed dimension and pseudoindex greater than one, the claim puts a ceiling on the number of independent divisor classes. Achieving equality leaves no freedom in the manifold's form: it must be the specified product. Researchers could therefore rule out proposed numerical data that violate the bound and identify any manifold attaining equality without further classification. For pseudoindex one, the inequality gives no restriction on the Picard number.

Are there practical applications?

Its immediate value is foundational, in understanding how numerical measurements constrain complex algebraic geometry. The claim links curve degrees to the number of independent divisor classes and makes products of projective spaces the exact extremal models. The supplied abstract establishes no practical application outside mathematics.

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.

Manuscript

The generalized Mukai conjecture

September 24, 2026 19 pages

We prove the generalized Mukai conjecture: every positive-dimensional smooth complex Fano manifold of dimension n, Picard number ρ, and pseudoindex ι satisfies ρ(ι−1)≤n\rho(\iota-1)\le n. Equality holds precisely for the product of ρ copies of Pι−1\mathbb P^{\iota-1}.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:The-Generalized-Mukai-Conjecture-September-24-2026,
  author = {{OpenAI}},
  title = {{The generalized Mukai conjecture}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-Generalized-Mukai-Conjecture-September-24-2026/article.pdf}{OAI:The-Generalized-Mukai-Conjecture-September-24-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 8 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.