A Brunn-Minkowski type inequality for Fano manifolds and some uniqueness theorems in Kähler geometry (Q2342178): Difference between revisions

In succession of the author's previous results [Ann. Math. (2) 169, No. 2, 531--560 (2009; Zbl 1195.32012); Math. Z. 269, No. 3--4, 1201--1218 (2011; Zbl 1252.32027)], the author shows the following in this paper first. Theorem 1.1 Let \(X\) be a projective manifold \((\)Fano manifold, for example\()\). Assume that the anticanonical bundle \(-K_X\geq 0\) in the sense that it has a smooth metric of semipositive curvature. Let \(\phi_t\) be a curve of \((\)possibly singular\()\) metrics on \(-K_X\) such that \(i\partial \bar\partial_{t,X}\phi\geq 0\) in the sense of currents. Then \(\mathcal F(t)=-\log \int_X^{} e^{-\phi_t}\) is subharmonic in \(\Omega=\{t\mid 0<\text{Re}\,t<1\}\). In particular, if \(\phi_t\) does not depend on the imaginary part of \(t\), \(\mathcal F\) is convex. This theorem is a formal analogue to the Brunn-Minkowski inequality for the volumes of convex sets, even more as to the functional version, Prekopa's result states that {\mathsf if \(\phi\) is a convex function on \({\mathbb R}^{n+1}\), then \(f(t)=-\log \int_{\mathbb R^n}^{} e^{-\phi_t}\) is convex.} The author considered the complex counterpart of this. The main result of this paper is the extension of the author's result of [J. Differ. Geom. 81, No. 3, 457--482 (2009; Zbl 1187.53076)] (the case when \(\phi\) is smooth and strictly plurisubharmonic on \(X\) for \(t\) fixed) to less regular situations. Theorem 1.2 Assume that \(H^{0,1}(X)=0\), and that the curve of metrics \(\phi_t\) is independent of the imaginary part of \(t\). Assume moreover that the metrics \(\phi_t\) are uniformly bounded in the sense that for some smooth metric on \(-K_X\), \(\psi\), \(|\phi_t-\psi|\leq C\). Then, if the function \(\mathcal F\) of Theorem \(1.1\) is affine in \(\Omega\), there is a holomorphic vector field \(V\) on \(X\) with flow \(F_t\) such that \(F_t^*(\partial \bar\partial\phi_t)= \partial \bar\partial \phi_0\). The assumption that \(H^{0,1}(X)=0\) is satisfied when \(X\) is Fano. This applies to give a new proof of the Bando-Mabuchi uniqueness theorem for Kähler-Einstein metrics on Fano manifolds. The author also obtains a generalization of this theorem, on so-called \textit{twisted Kähler-Einstein metrics} not only on Fano manifolds. Finally, he gives a new proof of the theorem of Tian and Zhu on uniqueness of Kähler-Ricci solitons.