OpenAI reports the generalized Mukai conjecture

Every positive-dimensional smooth complex Fano manifold of dimension n, Picard number rho, and pseudoindex iota satisfies rho(iota - 1) <= n; equality holds exactly for a product of rho copies of projective space of dimension iota - 1.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

Every positive-dimensional smooth complex Fano manifold of dimension n, Picard number rho, and pseudoindex iota satisfies rho(iota - 1) <= n; equality holds exactly for a product of rho copies of projective space of dimension iota - 1.

Why it matters

If correct, resolves the generalized Mukai inequality and its equality classification for all smooth complex Fano manifolds.

What counts as progress

Do the Picard number and pseudoindex of every smooth Fano manifold obey the generalized Mukai bound?

Website timeline

Publication dates and editorial changes.