Reductivity of the automorphism group of K-polystable Fano varieties (Q2208434)

Moduli spaces for Fano varieties defined over \(k\) have been studied intensively over the last ten years, both from the analytic and the algebraic side. A central goal of the theory is to construct the moduli spaces for K-semistable/polystable varieties. More precisely the K-moduli conjecture predicts that the moduli functor \(\mathfrak{X}^{\mathrm{Kss}}_{n, V}\) parametrising \(\mathbb{Q}\)-Fano varieties of dimension \(n\) and volume \(V\) is represented by a finite type Artin stack that admits a projective good moduli space \(\mathfrak{X}^{\mathrm{Kss}}_{n, V} \rightarrow X^{\mathrm{Kps}}_{n, V}\). In this setting a morphism \(\phi: \mathcal X \rightarrow X\) from an Artin stack of finite type over \(k\) (where \(k\) is an algebraically closed field of characteristic zero) to an algebraic space is called a good moduli space if \(\phi_*\) is exact on coherent \(\mathcal{O}_{\mathcal{X}}\)-modules and the map \(\mathcal{O}_X \rightarrow \phi_* \mathcal{O}_{\mathcal{X}}\) is an isomorphism. The standard example of a good moduli space is given by the morphism \([X^{\mathrm{ss}}/G] \rightarrow X /\!\!/G\) to the GIT quotient, but for moduli spaces of K-stable Fano varieties it is not clear if they fit into the GIT framework. In this paper the authors prove that the moduli functor \(\mathfrak{X}^{\mathrm{Kss}}_{n, V}\) satisfies the necessary and sufficient conditions for the existence of a good moduli space introduced by two of them and \textit{J. Heinloth} in [``Existence of moduli spaces for algebraic stacks'', Preprint, \url{arXiv:1812.01128}]. Combined with the recent result of the other two authors and \textit{Y. Liu} guaranteeing that K-semistability is an open condition [``Openness of K-semistability for Fano varieties'', Preprint, \url{arXiv:1907.02408}], this proves that \(\mathfrak{X}^{\mathrm{Kss}}_{n, V}\) is indeed an Artin stack having a good moduli space \(\mathfrak{X}^{\mathrm{Kss}}_{n, V} \rightarrow X^{\mathrm{Kps}}_{n, V}\). In fact the results of this paper are more general since the statements hold for K-semistable log Fano pairs (cf. the preprint by \textit{J. Kollár} [``Families of divisors'', Preprint, \url{arXiv:1910.00937}] for more details on moduli of log Fanos). As an immediate application the authors obtain that if \((X, D)\) is a K-polystable log Fano pair, then its automorphism group \(\Aut(X,D)\) is reductive.