Kähler-Einstein Fano 3-folds

Iskovskikh-Mori-Mukai classification

Fanography

What is done?

• The book: the classification is completed there except for Families 1.9, 1.10, 2.1, 2.2, 2.3, 2.4, 2.5, 2.6, 2.7, 2.8, 2.9, 2.10, 2.11, 2.12, 2.13, 2.14, 2.15, 2.16, 2.17, 2.18, 2.19, 2.20, 2.21, 2.22, 3.2, 3.3, 3.4, 3.5, 3.6, 3.7, 3.8, 3.11, 3.12 and 4.1.
• Yuchen: K-stability of every smooth member of Family 2.8. (paper)
• Tiago, Luca and Nivedita: K-stability of every smooth member of Family 2.15.
• Vanya, Kento, Takashi and Jihun: K-stability of every smooth member of Families 2.18 and 3.4.
• Joe: the K-polystable members of Family 2.21, with explicit exceptional cases. (paper)
• Vanya and Jihun: the K-polystable members of Family 2.22.
• Vanya, Kento, Takashi and Takuzo: K-stability of every smooth member of Family 3.3.
• Lena: the complete classification of K-polystable smooth members of Family 3.12. (paper)
• Costya and Grisha: K-stability of every smooth member of Family 4.1.
• Vanya, Lena and Kento: K-stability of every smooth member of Families 2.1, 2.2, 2.3, 2.4, 2.6 and 2.7; also Family 2.5 when no fibre of the cubic-surface fibration has a Du Val singular point of type D₅ or E₆. (paper)
• Tiago, Luca and Nivedita: K-stability of infinitely many smooth members of Family 2.19. (paper)
• Junyan: K-stability of every smooth member of Family 2.19 and a description of its K-moduli space. (paper)
• Kento: K-stability of a particular member, and hence of a general member, of Family 3.11. (paper)
• Vanya, Anne-Sophie, Robert and Junyan: K-stability of every smooth member of Family 3.11 and a classification of its K-semistable degenerations. (paper)
• Vanya, Oliver, Sione and Antoine: K-stable examples in Family 2.12 and a reduction of possible destabilizing centres to points of the intersection of the two exceptional divisors. (paper)
• Vanya, DongSeon, Alex, Antonio, Frédéric, Alex, Jihun and Junyan: K-stability criteria for Family 2.16, including every smooth member whose conic-bundle discriminant is smooth. (paper)
• Anne-Sophie, Yuchen, Andrea and Junyan: every K-semistable degeneration of members of Family 2.16 is the blow-up of a (2,2)-complete intersection in ℙ⁵ along a conic; the K-moduli stack of Family 2.16 is smooth (Appendix A, Theorem A.1). (paper)
• Vanya and Piotr: K-stability criteria and infinitely many K-stable examples in Family 2.17. (paper)
• Grisha and Costya: K-stability in Family 3.2 under an explicit generality condition on the singularities of the cubic fibres containing double conics. (paper)
• Vanya: K-stability in Family 3.6 when the conic bundle has only reduced fibres. (paper)
• Lena and Theodoros: an announced K-classification and GIT description of the K-moduli space of Family 3.5; the manuscript is in preparation. (announcement)

AI generated solution (non-prime smooth Fano 3-folds)

Kähler-Einstein Fano 3-folds (PDF version)

Reading group (non-prime smooth Fano 3-folds)

• Vanya: checking the proofs for Family 2.11 (Sections 23–31) and Family 2.20 (Sections 69–82).
• Kristin: checking the proofs for Family 2.9 (Sections 10–18), Family 2.16 (Sections 53–60) and Family 3.7 (Sections 108–116).
• Tiago: checking the proofs for Family 2.5 (Sections 7–9), Family 3.6 (Sections 103–107) and Family 3.8 (Sections 117–128).
• Lena: checking the proofs for Family 2.5 (Sections 7–9), Family 2.13 (Sections 38–42) and Family 2.14 (Sections 43–52).
• Anne-Sophie: checking the proofs for Family 2.10 (Sections 19–22) and Family 2.20 (Sections 69–82).
• Daniel: checking the proofs for Family 2.17 (Sections 61–68) and Family 3.5 (Sections 89–102).
• Jesus: checking the proofs for Family 2.12 (Sections 32–37), Family 3.2 (Sections 83–88) and Family 3.5 (Sections 89–102).

What is left?

• Families 1.9, 1.10.