The generalized Mukai conjecture

1 · The essentials

The manuscript addresses a proposed numerical rule for a particular class of geometric spaces called Fano manifolds. The spaces must have positive dimension, be smooth, be complex, and be projective. The rule connects their dimension with two other numerical measures, called the Picard number and the pseudoindex. It says that the Picard number multiplied by one less than the pseudoindex cannot exceed the dimension. The manuscript also identifies exactly when this limit is reached: the space must be a product of identical projective spaces of a specified dimension. This result is shown in the manuscript, but it is not formalized in Lean and has not been formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, think of a packing rule: the number of boxes multiplied by an allotted size must fit within a total capacity. Here the numerical measures play those roles, and the manuscript says that filling the capacity exactly forces one particular geometric arrangement.

Why it matters

The claimed result would settle the generalized Mukai conjecture for the full class of spaces stated in the source. It does more than set a numerical limit: it identifies exactly which spaces attain that limit.

2 · Going further

The precise claim concerns every positive-dimensional smooth complex projective Fano manifold of dimension $n$ , Picard number $ρ$ , and pseudoindex $ι$ . The pseudoindex is the least anticanonical degree of a rational curve. The inequality shown in the manuscript is $ρ (ι - 1) \leq n$ .

The equality statement is equally specific: $ρ (ι - 1) = n$ holds precisely when the manifold is $(P^{ι - 1})^{ρ}$ , the product of $ρ$ copies of projective space of dimension $ι - 1$ . Thus the claim combines a bound on numerical measures with an exact description of the spaces that reach the bound.

The supplied material names this statement the generalized Mukai conjecture but gives no account of earlier partial results or historical development. The abstract states the result without describing the main idea of its argument, so no argument can be reconstructed from this source alone. Only one manuscript is supplied; no companion manuscripts or relationships between them are described.

Useful notions

Smooth complex projective Fano manifolds
Dimension and Picard number
Rational curves and anticanonical degree
Projective spaces and their products

What was known before / what is new

Before

The source presents the numerical bound and its equality characterization under the name “the generalized Mukai conjecture.” It does not state which special cases were previously known or provide historical context.

New

The manuscript claims the inequality for every positive-dimensional smooth complex projective Fano manifold. It also claims that equality occurs exactly for the stated products of projective spaces, rather than merely exhibiting those products as examples.

Limits and assumptions

The claim is restricted to positive-dimensional smooth complex projective Fano manifolds; the source supplies no extension beyond those hypotheses. The abstract gives neither an argument nor intermediate results with which to assess the claim. The main result is not formalized in Lean and has not been formally verified. Although the manuscript claims to settle the stated conjecture, the supplied material identifies no further open questions.

Mini glossary

Pseudoindex: The pseudoindex $ι$ is the least anticanonical degree of a rational curve.
Picard number: The Picard number is the numerical measure denoted by $ρ$ in the stated inequality; the supplied source does not define it further.
Generalized Mukai conjecture: This is the statement that $ρ (ι - 1) \leq n$ for the specified Fano manifolds, with equality precisely for $(P^{ι - 1})^{ρ}$ .
Product of projective spaces: In the equality statement, $(P^{ι - 1})^{ρ}$ denotes a product of $ρ$ copies of projective space of dimension $ι - 1$ .

Keywords : Generalized Mukai conjecture · Fano manifolds · Pseudoindex

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

3 · Technical details and sources

Claim made in the manuscript (source text)

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

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

The generalized Mukai conjecture

24/09/2026

To be verified

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

PDF GitHub folder