pith. sign in

arxiv: 2604.20440 · v1 · submitted 2026-04-22 · 🧮 math.AG

A Matsushima theorem for K-polystable polarised smooth Fano threefolds

Hamid Abban , Paolo Cascini , Ivan Cheltsov This is my paper

Pith reviewed 2026-05-09 23:23 UTC · model grok-4.3

classification 🧮 math.AG
keywords Fano threefoldsK-polystabilityautomorphism groupsreductive groupsYau-Tian-Donaldson conjectureMatsushima theorempolarised varieties
0
0 comments X

The pith

If a smooth Fano threefold with an ample Q-divisor is K-polystable, then its automorphism group is reductive.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that K-polystability of the pair (X, L) forces the automorphism group of a smooth Fano threefold X to be reductive. This is an algebraic version of Matsushima's theorem that applies even when L is an arbitrary ample rational divisor rather than the anticanonical class. It confirms the reductivity prediction of the Yau-Tian-Donaldson conjecture specifically for smooth threefolds. Readers care because the result ties a stability condition directly to the structure of the symmetry group without first requiring a Kähler-Einstein metric.

Core claim

We prove that if X is a smooth Fano threefold and L is an ample Q-divisor such that (X,L) is K-polystable, then the automorphism group Aut(X) is reductive. This verifies the reductivity statement predicted by the Yau--Tian--Donaldson conjecture in the setting of smooth Fano threefolds with arbitrary ample polarisation.

What carries the argument

The K-polystability condition on the polarised pair (X, L), which is shown to imply that Aut(X) is a reductive algebraic group.

If this is right

  • The reductivity part of the Yau-Tian-Donaldson conjecture holds for all smooth Fano threefolds equipped with any ample Q-divisor polarisation.
  • Reductivity of Aut(X) follows from K-polystability even in the absence of a Kähler-Einstein metric.
  • The conclusion applies equally when L is not a multiple of the anticanonical class.
  • This gives an algebraic test for reductivity of automorphism groups on these varieties.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same reductivity statement might be provable in higher dimensions by adapting the three-dimensional techniques.
  • K-polystability could serve as a practical criterion to restrict possible automorphism groups during classification of Fano threefolds.
  • The result hints that K-polystability encodes strong information about the global geometry and symmetries of the variety.

Load-bearing premise

The standard definition and basic properties of K-polystability for a smooth Fano threefold paired with any ample rational divisor are taken as given.

What would settle it

A smooth Fano threefold X together with an ample Q-divisor L such that (X, L) is K-polystable but Aut(X) fails to be reductive would disprove the claim.

read the original abstract

We prove that if $X$ is a smooth Fano threefold and $L$ is an ample $\mathbb{Q}$-divisor such that $(X,L)$ is K-polystable, then the automorphism group $\operatorname{Aut}(X)$ is reductive. This verifies the reductivity statement predicted by the Yau--Tian--Donaldson conjecture in the setting of smooth Fano threefolds with arbitrary ample polarisation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that if X is a smooth Fano threefold and L is an ample Q-divisor such that the pair (X, L) is K-polystable, then the automorphism group Aut(X) is reductive. This is framed as a verification of the reductivity statement predicted by the Yau-Tian-Donaldson conjecture for smooth Fano threefolds equipped with arbitrary ample polarizations.

Significance. If the result holds, it supplies a dimension-specific confirmation of a key consequence of the YTD conjecture, extending the classical Matsushima theorem from the Kähler-Einstein case to K-polystable polarized Fano threefolds. The argument relies on established properties of K-stability in low dimensions rather than a new general framework, providing concrete algebraic evidence that strengthens the link between K-polystability and reductivity of automorphism groups.

minor comments (2)
  1. In the introduction, the statement of the main theorem could explicitly note that the result is specific to dimension three, to prevent readers from assuming a general statement for higher-dimensional Fano varieties.
  2. Section 2: the notation for the polarization L as an arbitrary ample Q-divisor is introduced clearly, but a brief reminder of the precise definition of K-polystability used (e.g., via test configurations or the Donaldson-Futaki invariant) would aid readers unfamiliar with the most recent conventions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending acceptance. The report accurately captures the main result: a verification of the reductivity of Aut(X) for K-polystable polarised smooth Fano threefolds, extending the classical Matsushima theorem in this setting.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper proves that K-polystability of (X, L) for smooth Fano threefolds X with arbitrary ample Q-divisor L implies reductivity of Aut(X). This is presented as a direct algebraic verification of a YTD-predicted consequence using established definitions and properties of K-polystability in dimension 3. No load-bearing step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain; the argument relies on independent algebraic checks and prior external results on K-stability without tautological reduction. The central claim has independent content beyond its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard definition of K-polystability for polarized varieties and on the known properties of smooth Fano threefolds; no free parameters or new invented entities appear in the abstract statement.

axioms (1)
  • domain assumption K-polystability of the pair (X,L) implies reductivity of Aut(X) for smooth Fano threefolds
    This is the statement being proved; the abstract treats the definition of K-polystability as given from prior literature.

pith-pipeline@v0.9.0 · 5362 in / 1224 out tokens · 19939 ms · 2026-05-09T23:23:42.823422+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · 1 internal anchor

  1. [1]

    Alper, H

    J. Alper, H. Blum, D. Halpern-Leistner, C. Xu,Reductivity of the automorphism group of K-polystable Fano varieties, Invent. Math.222(2020), 995–1032

    work page 2020

  2. [2]

    Araujo, A.-M

    C. Araujo, A.-M. Castravet, I. Cheltsov, K. Fujita, A.-S. Kaloghiros, J. Martinez-Garcia, C. Shramov, H. S¨ uß, N. Viswanathan,The Calabi problem for Fano threefolds, Lecture Notes in Mathematics, Cambridge University Press485(2023), 450 pages

    work page 2023

  3. [3]

    Belmans,Fanography,https://www.fanography.info/

    P. Belmans,Fanography,https://www.fanography.info/

    work page

  4. [4]

    Berman, T

    R. Berman, T. Darvas, C. Lu,Regularity of weak minimizers of the K-energy and applications to properness and K-stability, Ann. Sci. ´Ec. Norm. Sup´ er.53(2020), 267–289

    work page 2020

  5. [5]

    Boucksom and M

    S. Boucksom, M. Jonsson,On the Yau-Tian-Donaldson conjecture for weighted cscK metrics, arXiv:2509.15016 (2025), 84 pp

    work page arXiv 2025

  6. [6]

    Cheltsov, J

    I. Cheltsov, J. Martinez-Garcia,Unstable polarized del Pezzo surfaces, Transactions of the American Mathe- matical Society372(2019), 7255–7296

    work page 2019

  7. [7]

    Cheltsov, C

    I. Cheltsov, C. Shramov,Log canonical thresholds of smooth Fano threefolds, Russian Mathematical Surveys 63(2008), 859–958. 30

    work page 2008

  8. [8]

    Cheltsov, V

    I. Cheltsov, V. Przyjalkowski, C. Shramov,Fano threefolds with infinite automorphism groups, Izvestia: Math- ematics83(2019), 860–907

    work page 2019

  9. [9]

    X.-X. Chen, S. Donaldson, S. Sun,K¨ ahler-Einstein metrics on Fano manifolds. I, II, III, Journal of the American Mathematical Society28(2015), 183–197, 199–234, 235–278

    work page 2015

  10. [10]

    Codogni, J

    G. Codogni, J. Stoppa,Torus equivariant K-stability, Moduli of K-stable varieties, Springer INdAM Series31 (2019), 15–35

    work page 2019

  11. [11]

    Dervan, E

    R. Dervan, E. Legendre,Valuative stability of polarised varieties, Mathematische Annalen385(2023), 357–391

    work page 2023

  12. [12]

    Donaldson,Scalar curvature and stability of toric varieties, Journal of Differential Geometry62(2002), 289–349

    S. Donaldson,Scalar curvature and stability of toric varieties, Journal of Differential Geometry62(2002), 289–349

    work page 2002

  13. [13]

    Donaldson,Constant scalar curvature metrics on toric surfaces, Geometric and Functional Analysis19 (2009), 83–136

    S. Donaldson,Constant scalar curvature metrics on toric surfaces, Geometric and Functional Analysis19 (2009), 83–136

    work page 2009

  14. [14]

    Fujita,A valuative criterion for uniform K-stability ofQ-Fano varieties, Journal f¨ ur die Reine und Ange- wandte Mathematik751(2019), 309–338

    K. Fujita,A valuative criterion for uniform K-stability ofQ-Fano varieties, Journal f¨ ur die Reine und Ange- wandte Mathematik751(2019), 309–338

    work page 2019

  15. [15]

    Futaki,On compact K¨ ahler manifolds of constant scalar curvatures, Proc

    A. Futaki,On compact K¨ ahler manifolds of constant scalar curvatures, Proc. Japan Acad., Ser. A59(1983), 401–402

    work page 1983

  16. [16]

    Grothendieck,Cohomologieℓ-adique et fonctionsL(SGA 5), Lecture Notes in Math.589, Springer-Verlag, Berlin–Heidelberg, 1977

    A. Grothendieck,Cohomologieℓ-adique et fonctionsL(SGA 5), Lecture Notes in Math.589, Springer-Verlag, Berlin–Heidelberg, 1977

    work page 1977

  17. [17]

    Iskovskikh, Yu

    V. Iskovskikh, Yu. Prokhorov,Fano varieties, Encyclopaedia of Mathematical Sciences47(1999) Springer, Berlin

    work page 1999

  18. [18]

    Legendre,Localizing the Donaldson-Futaki invariant, Internat

    E. Legendre,Localizing the Donaldson-Futaki invariant, Internat. J. Math.32(2021), Paper No. 2150055, 23 pp

    work page 2021

  19. [19]

    Li,Geodesic rays and stability in the cscK problem, Ann

    C. Li,Geodesic rays and stability in the cscK problem, Ann. Sci. ´Ec. Norm. Sup´ er.(4) 55(2022), 1529–1574

    work page 2022

  20. [20]

    Mabuchi,An algebraic character associated with the Poisson brackets, Recent topics in differential and analytic geometry, Adv

    T. Mabuchi,An algebraic character associated with the Poisson brackets, Recent topics in differential and analytic geometry, Adv. Stud. Pure Math.18(1990), 339–358

    work page 1990

  21. [21]

    Malbon,Automorphisms of Fano threefolds of rank 2 and degree 28, Annali dell’Universita di Ferrara70 (2024), 1083–1092

    J. Malbon,Automorphisms of Fano threefolds of rank 2 and degree 28, Annali dell’Universita di Ferrara70 (2024), 1083–1092

    work page 2024

  22. [22]

    Matsuki,Weyl groups and birational transformations among minimal models, Memoirs of the American Mathematical Society116(1995), 133 pages

    K. Matsuki,Weyl groups and birational transformations among minimal models, Memoirs of the American Mathematical Society116(1995), 133 pages

    work page 1995

  23. [23]

    Matsushima,Sur la structure du groupe d’hom´ eomorphismes analytiques d’une certaine vari´ et´ e K¨ ahl´ erienne, Nagoya Mathematical Journal11(1957), 145–150

    Y. Matsushima,Sur la structure du groupe d’hom´ eomorphismes analytiques d’une certaine vari´ et´ e K¨ ahl´ erienne, Nagoya Mathematical Journal11(1957), 145–150

    work page 1957

  24. [24]

    Maschler,Distinguished K¨ ahler metrics and equivariant cohomology invariant, Thesis, Stony Brook, August 1997

    G. Maschler,Distinguished K¨ ahler metrics and equivariant cohomology invariant, Thesis, Stony Brook, August 1997

    work page 1997

  25. [25]

    Phong, J

    D. Phong, J. Sturm,The Futaki invariant and the Mabuchi energy of a complete intersection, Commun. Anal. Geom.12(2004), 321–343

    work page 2004

  26. [26]

    Sektnan, C

    L. Sektnan, C. Tipler,On the Futaki invariant of Fano threefolds, Ann Univ Ferrara70(2024), 811–837

    work page 2024

  27. [27]

    Stoppa,K-stability of constant scalar curvature K¨ ahler manifolds, Advances in Mathematics221(2009), 1397–1408

    J. Stoppa,K-stability of constant scalar curvature K¨ ahler manifolds, Advances in Mathematics221(2009), 1397–1408

    work page 2009

  28. [28]

    Toric mirrors and test configurations

    J. Stoppa,Toric mirrors and test configurations, preprint, arXiv:2412.03189, 2024

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  29. [29]

    Takeuchi,Weak Fano threefolds with del Pezzo fibration, European Journal of Mathematics8(2022), 1225– 1290

    K. Takeuchi,Weak Fano threefolds with del Pezzo fibration, European Journal of Mathematics8(2022), 1225– 1290

    work page 2022

  30. [30]

    Tian,Futaki invariant and CM polarisation, Springer Proceedings in Mathematics & Statistics154(2016), 327–348

    G. Tian,Futaki invariant and CM polarisation, Springer Proceedings in Mathematics & Statistics154(2016), 327–348. Hamid Abban University of Nottingham, Nottingham, England hamid.abban@nottingham.ac.uk Paolo Cascini Imperial College, London, England p.cascini@imperial.ac.uk Ivan Cheltsov University of Edinburgh, Edinburgh, Scotland i.cheltsov@ed.ac.uk 31

    work page 2016