Calabi type functionals for coupled K\"ahler-Einstein metrics

TL;DR

This paper introduces new functionals to measure deviations from coupled K"ahler-Einstein metrics, providing inequalities and Hessian formulas that relate to algebraic invariants and obstructions.

Contribution

It defines coupled Ricci-Calabi and H-functionals, establishes inequalities linking them to algebraic invariants, and derives Hessian formulas with applications to existence obstructions.

Findings

Inequalities estimating functionals via algebraic invariants

Hessian formulas at critical points of the functionals

Obstruction theorem for coupled K"ahler-Einstein metrics

Abstract

We introduce the coupled Ricci-Calabi functional and the coupled H-functional which measure how far from a coupled K\"ahler-Einstein metric in the sense of Hultgren-Witt Nystr\"om. We first give corresponding moment weight type inequalities which estimate each functional in terms of algebraic invariants. Secondly, we give corresponding Hessian formulas for these functionals at each critical point, which have an application to a Matsushima type obstruction theorem for the existence of a coupled K\"ahler-Einstein metric.

Equations

$$2\pi c_1(X)={\alpha }_1+\cdots +{\alpha }_N$$

$$\mathcal{M}:=\prod _{i=1}^N{\mathcal{M}}_i:=\prod _{i=1}^N\left\{{\varphi }_i\in C^{\infty }(X;\mathbb{R})\right\}{\omega }_{{\varphi }_i}:={\theta }_i+\sqrt{-1}\partial \overline{\partial }{\varphi }_i>0,$$

$$\mathrm{Ric}({\omega }_{{\varphi }_i})-\sum _{j=1}^N{\omega }_{{\varphi }_j}=\sqrt{-1}\partial \overline{\partial }{f}_i(\Phi )\text{and}{\int }_X(1-e^{f_i(\Phi )}){\omega }_{{\varphi }_i}^n=0.$$

$$\mathrm{Ric}({\omega }_{{\varphi }_1})=\cdots =\mathrm{Ric}({\omega }_{{\varphi }_N})=\sum _{i=1}^N{\omega }_{{\varphi }_i}.$$

$$R_c(\Phi )=\sum _{i=1}^N\frac{1}{V_i}{\int }_X(1-e^{f_i(\Phi )}{)}^2{\omega }_{{\varphi }_i}^n\text{and}{H}_c(\Phi )=\sum _{i=1}^N\frac{1}{V_i}{\int }_X{f}_i(\Phi )e^{f_i(\Phi )}{\omega }_{{\varphi }_i}^n.$$

$$\underset{\Phi \in \mathcal{M}}{\inf }{R}_c(\Phi {)}^{1/2}\ge \underset{(\mathcal{X},({\mathcal{L}}_i{)}_{i=1}^N)}{\sup }\frac{-D_c(\mathcal{X},({\mathcal{L}}_i{)}_{i=1}^N)}{\Vert (\mathcal{X},({\mathcal{L}}_i{)}_{i=1}^N){\Vert }_2}\text{and}\underset{\Phi \in \mathcal{M}}{\inf }{H}_c(\Phi )\ge \underset{(\mathcal{X},({\mathcal{L}}_i{)}_{i=1}^N)}{\sup }-H_c(\mathcal{X},({\mathcal{L}}_i{)}_{i=1}^N).$$

$$D_c(\mathcal{X},({\mathcal{L}}_i{)}_{i=1}^N)\ge 0\text{and}{H}_c(\mathcal{X},({\mathcal{L}}_i{)}_{i=1}^N)\ge 0$$

$$\frac{d}{dt}{\varphi }_i(t)=1-e^{f_i(\Phi (t))}(i=1,\dots ,N)$$

$$\frac{d}{dt}{\varphi }_i(t)=-f_i(\Phi (t))(i=1,\dots ,N).$$

$$⟨⟨\mathbf{u},\mathbf{v}{⟩⟩}_{\Phi }=\sum _{i=1}^N\frac{1}{V_i}{\int }_X{u}_i\overline{v_i}{\omega }_{{\varphi }_i}^n\text{and}⟨⟨\mathbf{u},\mathbf{v}{⟩⟩}_{\Phi }^f=\sum _{i=1}^N\frac{1}{V_i}{\int }_X{u}_i\overline{v_i}{e}^{f_i(\Phi )}{\omega }_{{\varphi }_i}^n.$$

$$\mathrm{Hess}(R_c)(\delta {\Phi }_1,\delta {\Phi }_2)=2⟨⟨P_{{\Phi }_R}^f\overline{P_{{\Phi }_R}^f}\delta {\Phi }_1,\delta {\Phi }_2{⟩⟩}_{{\Phi }_R}=2⟨⟨\overline{P_{{\Phi }_R}^f}{P}_{{\Phi }_R}^f\delta {\Phi }_1,\delta {\Phi }_2{⟩⟩}_{{\Phi }_R}$$

$$\mathrm{Hess}(H_c)(\delta {\Phi }_1,\delta {\Phi }_2)=⟨⟨P_{{\Phi }_R}\overline{P_{{\Phi }_R}}\delta {\Phi }_1,\delta {\Phi }_2{⟩⟩}_{{\Phi }_R}^f=⟨⟨\overline{P_{{\Phi }_R}}{P}_{{\Phi }_R}\delta {\Phi }_1,\delta {\Phi }_2{⟩⟩}_{{\Phi }_R}^f$$

$$\mathfrak{h}(X)=\sum _{\lambda \ge 0}{\mathfrak{h}}_{\lambda }(X)$$

$$E(\mathcal{X},{\mathcal{L}}_i)=\frac{{\overline{{\mathcal{L}}_i}}^{n+1}}{(n+1)V_i}$$

$$\displaystyle D_{c}\Bigl{(}\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N}\Bigr{)}$$

$$E(\mathcal{X},{\mathcal{L}}_i)=\underset{k\to \infty }{\lim }\frac{{\sum }_{j=1}^{N_{i,k}}{\lambda }_{i,j}}{k{N}_{i,k}}.$$

$$\|(\mathcal{X},\mathcal{L}_{i})\|_{p}=\lim_{k\to\infty}\Bigg{[}\frac{\sum_{j=1}^{N_{i,k}}|\lambda_{i,j}-\hat{\lambda_{i}}|^{p}}{k^{p}N_{i,k}}\Bigg{]}^{1/p}$$

$$\|(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})\|_{p}=\Bigg{[}\sum_{i=1}^{N}\|(\mathcal{X},\mathcal{L}_{i})\|_{p}^{p}\Bigg{]}^{1/p}.$$

$$\displaystyle H_{c}\Big{(}\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N}\Big{)}$$

$$E_{{\theta }_i}({\varphi }_i)=\frac{1}{(n+1)V_i}\sum _{k=0}^n{\int }_X{\varphi }_i{\omega }_{{\varphi }_i}^k\wedge {\theta }_i^{n-k}.$$

$$L(\Phi )=-\log {\int }_X{e}^{-{\sum }_{i=1}^N{\varphi }_i}{\theta }_0^n$$

$$D_c(\Phi )=L(\Phi )-\sum _{i=1}^N{E}_{{\theta }_i}({\varphi }_i).$$

$$\frac{e^{-{\sum }_i{\varphi }_i}{\theta }_0^n}{{\int }_X{e}^{-{\sum }_i{\varphi }_i}{\theta }_0^n}=\frac{e^{f_1(\Phi )}{\omega }_{{\varphi }_1}^n}{V_1}=\cdots =\frac{e^{f_N(\Phi )}{\omega }_{{\varphi }_N}^n}{V_N},$$

$$\delta D_{c}(\delta\Phi)=-\sum_{i=1}^{N}\frac{1}{V_{i}}\int_{X}\delta\phi_{i}\Bigl{(}1-e^{f_{i}(\Phi)}\Bigr{)}\omega_{\phi_{i}}^{n}$$

$$E(\mathcal{X},{\mathcal{L}}_i)=\underset{t\to \infty }{\lim }\frac{E_{{\theta }_i}({\varphi }_i^t)}{t}\text{and}{D}_c(\mathcal{X},({\mathcal{L}}_i{)}_{i=1}^N)=\underset{t\to \infty }{\lim }\frac{D_c(({\varphi }_i^t{)}_{i=1}^N)}{t}.$$

$$\frac{1}{N_{i,k}}\sum _{j=1}^{N_{i,k}}{\delta }_{\frac{{\lambda }_{i,j}}{k}}\to \mathrm{DH}(\mathcal{X},{\mathcal{L}}_i)$$

$$\|(\mathcal{X},\mathcal{L}_{i})\|_{p}=\Bigg{[}\frac{1}{V_{i}}\int_{X}\Big{|}\dot{\phi_{i}^{t}}-E(\mathcal{X},\mathcal{L}_{i})\Big{|}^{p}\omega_{\phi_{i}^{t}}^{n}\Bigg{]}^{1/p}.$$

$$F(\dot{{\varphi }_i^t})=-\log \frac{1}{V_i}{\int }_X{e}^{-\dot{{\varphi }_i^t}}{\omega }_{{\varphi }_i}^n=-\log {\int }_{\mathbb{R}}{e}^{-x}\mathrm{DH}(\mathcal{X},{\mathcal{L}}_i)$$

$$H_{c}\Big{(}\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N}\Big{)}=\lim_{t\to\infty}\Bigg{[}\frac{L(\sum_{i=1}^{N}\phi_{i}^{t})}{t}-\sum_{i=1}^{N}F(\dot{\phi_{i}^{t}})\Bigg{]}.$$

$$-D(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})=\lim_{t\to\infty}\frac{-D_{c}((\phi_{i}^{t})_{i=1}^{N})}{t}\leq-\frac{d}{dt}\bigg{|}_{t=0}D_{c}((\phi_{i}^{t})_{i=1}^{N}).$$

Full text

1. 1 Introduction
2. 2 Moment weight type inequalities
3. 3 Hessian formulas and its application

1. Introduction

Hultgren-Witt Nyström [31] introduced the notion of a coupled Kähler-Einstein metric on a compact complex manifold of general type or a Fano manifold. In this paper we mainly focus on the Fano case. Let $X$ be an $n$-dimensional Fano manifold. A decomposition of the first Chern class $2\pi c_{1}(X)$ is a sum

[TABLE]

where each $\alpha_{i}$ is a Kähler class for $X$. Let $\theta_{i}\in\alpha_{i}$ be a reference Kähler metric and let $V_{i}$ be the volume $\int_{X}\theta_{i}^{n}$ of $\alpha_{i}$. We define the set of tuples of Kähler potentials by

[TABLE]

and identify a Kähler metric $\omega_{\phi_{i}}$ with its potential $\phi_{i}$. A tangent space of $\mathcal{M}$ is identified with $(C^{\infty}(X;\mathbb{R}))^{N}$. For any tuple of Kähler metrics $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$, since the Ricci form $\mathrm{Ric}(\omega_{\phi_{i}}):=-\sqrt{-1}\partial\overline{\partial}\log\omega_{\phi_{i}}^{n}$ and the sum $\sum_{i=1}^{N}\omega_{\phi_{i}}$ represent $2\pi c_{1}(X)$, there exists a unique smooth real function $f_{i}(\Phi)$ satisfying

[TABLE]

In this paper we call the tuple $(f_{i}(\Phi))_{i=1}^{N}$ the Ricci potential for $\Phi=(\phi_{i})_{i=1}^{N}$. Then the tuple $\Phi=(\phi_{i})_{i=1}^{N}$ is a coupled Kähler-Einstein metric for the decomposition $(\alpha_{i})_{i=1}^{N}$ if every $f_{i}(\Phi)$ vanishes, that is,

[TABLE]

Coupled Kähler-Einstein metrics were studied extensively in recent years [13, 15, 21, 23, 24, 25, 31, 30, 37, 38, 42, 43]. One of the motivation to study comes from algebro-geometric stabilities. Indeed, Hultgren-Witt Nyström [31] introduced the notion of called K-polystability for $(X,(\alpha_{i})_{i=1}^{N})$, and showed that the existence of a coupled Kähler-Einstein metric implies it. Datar-Pingali [13] introduced a framework of geometric invariant theory for a coupled constant scalar curvature Kähler metric which is a generalization of a coupled Kähler-Einstein metric.

The well-known Calabi functional [6, 7], which is the $L^{2}$-norm of a scalar curvature, plays an important role for studies of a Kähler-Einstein metric and a constant scalar curvature Kähler metric. In this paper, we introduce two Calabi type functionals which measure how $\Phi$ is far from a coupled Kähler-Einstein metric. We first discuss moment weight type inequalities which give lower bounds of these functionals in terms of algebro-geometric stability invariants. Secondly, we discuss Hessians for these functionals at each critical point to obtain various corollaries including a new proof of a Matsushima type obstruction theorem for the existence of a coupled Kähler-Einstein metric.

Let us introduce two Calabi type functionals as follows.

[TABLE]

In this paper we call $R_{c}$ the coupled Ricci-Calabi functional and $H_{c}$ the coupled H-functional. These are non-negative functionals in $\mathcal{M}$ whose zeros are coupled Kähler-Einstein metrics (see the inequality (8)). When $N=1$, these functional are written as $R$ and $H$ respectively, and are called the Ricci-Calabi functional and the H-functional respectively. Functionals $R$ and $H$ were studied in [2, 16, 19, 26, 28, 36, 44, 45, 46], and in particular play important roles in the context of optimal destabilizers for a Fano manifold admitting no Kähler-Einstein metric.

1.1. Moment weight type inequalites

The Calabi functional for a polarized manifold has a lower bound in terms of the Donaldson-Futaki invariant [17]. Such an inequality is called the moment weight inequality since it already appears in geometric invariant theory as an inequality between the squared norm of a moment map and a Hilbert-Mumford weight. The Ricci-Calabi functional $R$ and the $H$-Functional $H$ satisfy a corresponding moment weight inequality [2, 16, 26, 27, 28]. The first results in this paper are two moment weight type inequalities for $R_{c}$ and $H_{c}$ which generalize these inequalities.

Theorem 1.1**.**

We have

[TABLE]

Here $(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})$ in the above supremums runs through arbitrary test configuration of the decomposition $(X,(\alpha_{i})_{i=1}^{N})$ introduced in [31], $\|(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})\|_{2}$ is the $L^{2}$-norm, $D_{c}(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})$ is the coupled Ding-invariant, and $H_{c}(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})$ is the coupled $H$-invariant. These notions are introduced in Section 2.

As a direct consequence of Theorem 1.1, a Fano manifold admitting a coupled Kähler-Einstein metric satisfies algebraic (semi-)stability conditions.

Corollary 1.2**.**

Suppose the existence of a coupled Kähler-Einstein metric for the decomposition $(\alpha_{i})_{i=1}^{N}$ of $2\pi c_{1}(X)$. Then we have

[TABLE]

for any test configuration $(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})$ for $(X,(\alpha_{i})_{i=1}^{N})$.

When $N=1$, the equalities in Theorem 1.1 in fact hold. Dervan-Székelyhidi [16] showed the moment weight equality for $H$ by applying the Kähler-Ricci flow together with deep results in [8, 10]. Hisamoto [28] showed corresponding equalities for $R$ and $H$ by using the inverse Monge-Ampère flow [12] and the Kähler-Ricci flow respectively, together with a technique for multiplier ideal sheaves. When $N>1$, in order to establish the equality in Theorem 1.1, it is natural to consider the generalization of these flow, that is, the coupled inverse Monge-Ampère flow

[TABLE]

and the coupled Kähler-Ricci flow

[TABLE]

However little is known for these flows at present. For instance the short time existence for each flow is true since they are parabolic. However the long time existence is not established. In Section 3, we see that each flow is a gradient flow for $R_{c}$ and $H_{c}$ respectively (Corollary 3.5). They will present not only some applications to establish the equalities in Theorem 1.1 but also some interesting problems in geometric analysis.

Remark 1.3**.**

Very recently, Hashimoto [25] introduced a different framework of test configurations for a decomposition $(\alpha_{i})_{i=1}^{N}$ where $\alpha_{i}=2\pi c_{1}(L_{i})$ for a line bundle $L_{i}\to X$. The author expects that corresponding moment weight type inequalities hold in his framework.

1.2. Hessian formulas for functionals and its application to a Matsushima type obstruction theorem

In this paper, we call a critical point of $R_{c}$ a coupled Mabuchi soliton (cf. [29, 46]) and call a critical point of $H_{c}$ a coupled Kähler-Ricci soliton (cf. [26]). In Section 3 we show that a tuple $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$ is a coupled Mabuchi soliton if and only if the vector fields $\mathrm{grad}_{\phi_{i}}e^{f_{i}(\Phi)}$ are holomorphic and $\mathrm{grad}_{\phi_{1}}e^{f_{1}(\Phi)}=\cdots=\mathrm{grad}_{\phi_{N}}e^{f_{N}(\Phi)}$. Similarly, we show that $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$ is a coupled Kähler-Ricci soliton if and only if the vector fields $\mathrm{grad}_{\phi_{i}}f_{i}(\Phi)$ are holomorphic and $\mathrm{grad}_{\phi_{1}}f_{1}(\Phi)=\cdots=\mathrm{grad}_{\phi_{N}}f_{N}(\Phi)$.

Examples of coupled Mabuchi solitons and coupled Kähler-Ricci solitons on Fano manifolds with large symmetry have already appeared in [15] (see also [30]). However, in that paper, the conditions $\mathrm{grad}_{\phi_{1}}e^{f_{1}(\Phi)}=\cdots=\mathrm{grad}_{\phi_{N}}e^{f_{N}(\Phi)}$ and $\mathrm{grad}_{\phi_{1}}f_{1}(\Phi)=\cdots=\mathrm{grad}_{\phi_{N}}f_{N}(\Phi)$ are not required for each definition. Their motivation is the construction of such metrics by proving $C^{0}$-estimate to a class of coupled Monge-Ampère equation, which is independent of the Calabi type functionals.

The second result in this paper shows that each critical metric is in fact a local minimum of the corresponding functional by giving the Hessian formulas at each critical point. Let ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}$ and ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}^{f}_{\Phi}$ be Hermitian inner products on $(C^{\infty}(X;\mathbb{C}))^{N}$ defined by

[TABLE]

Let $P_{\Phi}$ and $P_{\Phi}^{f}$ be the operators acting on $T_{\Phi}\mathcal{M}$ defined by (9) and (10) in Section 3.1.

Theorem 1.4**.**

At a coupled Mabuchi soliton $\Phi_{R}\in\mathcal{M}$, the Hessian of the coupled Ricci-Calabi functional $R_{c}$ is written as

[TABLE]

for any variations $\delta\Phi_{1},\delta\Phi_{2}\in T_{\Phi_{R}}\mathcal{M}$. At a coupled Kähler-Ricci soliton $\Phi_{H}\in\mathcal{M}$, the Hessian of the coupled $H$-functional is written as

[TABLE]

for any variations $\delta\Phi_{1},\delta\Phi_{2}\in T_{\Phi_{H}}\mathcal{M}$.

Here the operator $\overline{P_{\Phi_{R}}}$ (resp. $\overline{P_{\Phi_{R}}^{f}}$) in the above theorem is the complex conjugate of $P_{\Phi_{R}}$ (resp. $P_{\Phi_{R}}^{f}$). Since the operator $P_{\Phi}^{f}$ (resp. $P_{\Phi}$) is self-adjoint and non-negative with respective to ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}$ (resp. ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}^{f}$) (Proposition 3.1), it turns out the following.

Corollary 1.5**.**

Operators $P_{\Phi_{R}}^{f}$ and $\overline{P_{\Phi_{R}}^{f}}$ (resp. $P_{\Phi_{H}}$ and $\overline{P_{\Phi_{H}}}$) are commutative. As the result, the composition $P_{\Phi_{R}}^{f}\overline{P_{\Phi_{R}}^{f}}$ (resp. $P_{\Phi_{H}}\overline{P_{\Phi_{H}}}$) is a self-adjoint non-negative operator with respect to ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi_{R}}$ (resp. ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi_{H}}^{f}$). In particular each Hessian of $R_{c}$ and $H_{c}$ is non-negative at each critical point.

When $N=1$, the Hessian formula of the Ricci-Calabi functional at a Mabuchi soliton is obtained by the author [36]. On the other hand Fong [19] gives the Hessian formula of the H-functional at any point by a tensor calculus. It seems to be technically difficult to apply the Fong’s tensor calculus for our case where $N>1$. A unifying technique which generalizes the author’s one in [36] gives the Hessian formulas for $R_{c}$ and $H_{c}$ in Theorem 1.4.

By Corollary 1.5, operators $P_{\Phi}^{f}$ and $\overline{P_{\Phi}^{f}}$ (resp. $P_{\Phi}$ and $\overline{P_{\Phi}}$) are commutative at a coupled Mabuchi soliton (resp. at a coupled Kähler-Ricci soliton). Applying this commutativity, we show a Matsushima type obstruction theorem for the existence of a coupled Mabuchi soliton and a coupled Kähler-Ricci soliton.

Theorem 1.6**.**

Let $X$ be a Fano manifold and $\mathfrak{h}(X)$ be the space of holomorphic vector fields. If $X$ admits a coupled Mabuchi soliton $\Phi=(\phi_{i})_{i=1}^{N}$, then $\mathfrak{h}(X)$ is, as a vector space, the direct sum

[TABLE]

where $\mathfrak{h}_{\lambda}(X)$ is the $\lambda$-eigenspace of the adjoint action of the holomorphic vector field $\mathrm{grad}_{\phi_{1}}(1-e^{f_{1}(\Phi)})=\cdots=\mathrm{grad}_{\phi_{N}}(1-e^{f_{N}(\Phi)})$. If $X$ admits a coupled Kähler-Ricci soliton $\Phi=(\phi_{i})_{i=1}^{N}$, then $\mathfrak{h}(X)$ has the same decomposition as above where $\mathfrak{h}_{\lambda}(X)$ is the $\lambda$-eigenspace of the adjoint action of the holomorphic vector field $-\mathrm{grad}_{\phi_{1}}f_{1}(\Phi)=\cdots=-\mathrm{grad}_{\phi_{N}}f_{N}(\Phi)$. Furthermore, in both cases, $\mathfrak{h}_{0}(X)$ coincides with the complexification of the Lie algebra of Killing vector fields for every $\omega_{\phi_{i}}$. In particular, $\mathfrak{h}_{0}(X)$ is reductive.

The above theorem gives a new proof of a Matsushima type obstruction theorem for the existence of a coupled Kähler-Einstein metric which is already proved by Hultgren-Witt Nyström [31] and Futaki-Zhang [23].

Corollary 1.7**.**

Let $X$ be a Fano manifold admitting a coupled Kähler-Einstein metric for a decomposition of $2\pi c_{1}(X)$. The holomorphic automorphism group $\mathrm{Aut}(X)$ is reductive.

Organization

This paper is organized as follows. In Section 2, we introduce the notion of test configurations for a decomposition and some algebraic invariants to prove the moment weight type inequalities for $R_{c}$ and $H_{c}$. Some energy functionals and its slope formulas at infinity play an important role for the proof. In Section 3, we give the Hessian formulas of $R_{c}$ and $H_{c}$ to see that each critical point is a local minimum. As an application of the Hessian formulas, Matsushima type obstruction theorems for the existence of coupled Mabuchi solitons and coupled Kähler-Ricci solitons are proved.

Acknowledgments

The author would like to thank Tomoyuki Hisamoto for helpful discussion about geodesic rays on the space of Kähler metrics. He would like to thank the referee for numerous useful suggestions which improved the presentation of the paper. He is partly supported by JSPS KAKENHI Grant JP 21K20342.

2. Moment weight type inequalities

2.1. Test configurations and invariants

Following [31], we define the notion of test configurations for a decomposition $(\alpha_{i})_{i=1}^{N}$ of $2\pi c_{1}(X)$.

Definition 2.1**.**

Let $L$ be an ample line bundle over a projective manifold $Y$. A test configuration $(\mathcal{Y},\mathcal{L})$ for $(Y,L)$ is a normal scheme $\mathcal{Y}$, a flat surjective morphism $\mathcal{Y}\to\mathbb{C}$ and a relatively ample line bundle $\mathcal{L}$ together with a $\mathbb{C}^{*}$-action on $\mathcal{L}$ compatible with the standard $\mathbb{C}^{*}$-action on $\mathbb{C}$, such that the fiber over $1\in\mathbb{C}$ is equal to $(Y,L)$.

An $\mathbb{R}$-line bundle is understood as a formal linear combination over $\mathbb{R}$ of line bundles. The following definition is based on the fact that any Kähler class $\alpha$ on a Fano manifold can be written as the first Chern class of an $\mathbb{R}$-line bundle, that is, $\alpha=c_{1}(\sum_{j}r_{j}L_{j}):=\sum_{j}r_{j}c_{1}(L_{j})$ for an ample line bundle $L_{j}$ and a positive real number $r_{j}$.

Definition 2.2**.**

Let $\alpha$ be a Kähler class on a Fano manifold $X$. A test configuration $(\mathcal{X},\mathcal{L})$ for $(X,\alpha)$ is defined as a test configuration in the sense of Definition 2.1 satisfying the following.

1. (1)

The scheme $\mathcal{X}$ is $\mathbb{Q}$-Gorenstein. 2. (2)

There exists an $\mathbb{R}$-line bundle $L=\sum_{j}r_{j}L_{j}$ over $X$ satisfying $\alpha=c_{1}(L)$, where each $L_{j}$ is ample and $r_{j}>0$. 3. (3)

The line bundle $\mathcal{L}$ is written as $\sum_{j}r_{j}\mathcal{L}_{j}$ where $\mathcal{L}_{j}$ is a line bundle over $\mathcal{X}$ such that $(\mathcal{X},\mathcal{L}_{j})$ is a test configuration for $(X,L_{j})$ in the sense of Definition 2.1.

Definition 2.3**.**

Let $(\alpha_{i})_{i=1}^{N}$ be a decomposition of $2\pi c_{1}(X)$. A test configuration $(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})$ for $(X,(\alpha_{i})_{i=1}^{N})$ is defined as follows.

1. (1)

The scheme $\mathcal{X}$ is $\mathbb{Q}$-Gorenstein. 2. (2)

For each $i$, the $\mathbb{R}$-line bundle $\mathcal{L}_{j}$ over $\mathcal{X}$ defines a test configuration $(\mathcal{X},\mathcal{L}_{j})$ for $(X,\alpha_{i})$ in the sense of Definition 2.2. 3. (3)

The sum $\sum_{i=1}^{N}\mathcal{L}_{i}$ defines a test configuration $(\mathcal{X},\sum_{i=1}^{N}\mathcal{L}_{i})$ for the Fano manifold $(X,-K_{X})$ in the sense of Definition 2.1.

Now we define some invariants appearing in the right hand side of moment weight type inequalities. Gluing each $(\mathcal{X},\mathcal{L}_{i})$ with the trivial family we have the unique $\mathbb{C}^{*}$-equivalent family $(\bar{\mathcal{X}},\bar{\mathcal{L}_{i}})$ over $\mathbb{P}^{1}$. This gives a compactification of a test configuration $(\mathcal{X},(\mathcal{L})_{i=1}^{N})$ for $(X,(\alpha_{i})_{i=1}^{N})$. Set

[TABLE]

to define the coupled Ding invariant (cf. [2]) using the log canonical threshold

[TABLE]

where $\mathcal{X}|_{t=0}$ is the fiber over $0\in\mathbb{P}^{1}$ and $\mathcal{B}$ is the boundary divisor uniquely determined by the properties $\mathcal{B}\sim_{\mathbb{Q}}-K_{\bar{\mathcal{X}}/\mathbb{P}^{1}}-\sum_{i=1}^{N}\bar{\mathcal{L}_{i}}$ and $\mathrm{supp}\mathcal{B}\subset\mathcal{X}|_{t=0}$. We can consider the $\mathbb{C}^{*}$-action on the fiber over $t=0$ to describe $E(\mathcal{X},\mathcal{L}_{i})$ in terms of the weight $\lambda_{i,1},\dots,\lambda_{i,N_{i,k}}$ for the action on $H^{0}(\mathcal{X}|_{t=0},k\mathcal{L}_{i}|_{t=0})$ for fixed positive integer $k$, where $N_{i,k}:=\dim H^{0}(\mathcal{X}|_{t=0},k\mathcal{L}_{i}|_{t=0})$. It is well-known that we have

[TABLE]

In view of this formula, the equality $E(\mathcal{X},\mathcal{L}_{i}+c\mathcal{X}|_{t=0})=E(\mathcal{X},\mathcal{L}_{i})+c$ holds under the constant replacing $\mathcal{L}_{i}\mapsto\mathcal{L}_{i}+c\mathcal{X}|_{t=0}$. Setting $\hat{\lambda_{i}}=N_{i,k}^{-1}(\lambda_{i,1}+\cdots+\lambda_{i,N_{i,k}})$ we can define the $L^{p}$-norm

[TABLE]

which is invariant under the replacing $\mathcal{L}_{i}\mapsto\mathcal{L}_{i}+c\mathcal{X}|_{t=0}$. We define the $L^{p}$-norm of $(\mathcal{X},(\mathcal{L})_{i=1}^{N})$ by

[TABLE]

Finally we define the coupled H-invariant (cf. [16])

[TABLE]

Note that Jensen’s inequality shows H_{c}\Big{(}\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N}\Big{)}\geq D_{c}\Big{(}\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N}\Big{)}.

2.2. Energy functionals and geodesic rays

We define some energy functionals on $\mathcal{M}$. For $\Phi=(\phi_{i})_{i=1}^{N}\in\prod_{i=1}^{N}(\mathrm{PSH}(X,\theta_{i})\cap L^{\infty})$, the Monge-Ampère energy is defined by

[TABLE]

The functional $E_{\theta_{i}}$ satisfies $E_{\theta_{i}}(\phi_{i}+C)=E_{\theta_{i}}(\phi_{i})+C$ for any $C\in\mathbb{R}$. For $\Phi=(\phi_{i})_{i=1}^{N}\in\prod_{i=1}^{N}(\mathrm{PSH}(X,\theta_{i})\cap L^{\infty})$, set

[TABLE]

where $\theta_{0}$ is a Kähler metric satisfying $\mathrm{Ric}(\theta_{0})=\sum_{i=1}^{N}\theta_{i}$ and $\int_{X}\theta_{0}^{n}=1$. Hultgren-Witt Nyström [31] introduced the coupled Ding functional

[TABLE]

For any smooth $\Phi\in\mathcal{M}$, by using the equality of probability measures

[TABLE]

we have the first variation formula

[TABLE]

which shows that a coupled Kähler-Einstein metric is a critical point of $D_{c}$.

In order to relate the invariants of test configurations and the energy functional, we introduce the notion of geodesic rays on the space of Kähler metrics.

Definition 2.4**.**

Let $\theta$ is a Kähler form on $X$ and $\Delta^{*}$ be the punctured unit disc in $\mathbb{C}$. We identify $\theta$ with its lift to $X\times\Delta^{*}$. Let $\phi(x,\tau)$ be an upper-semicontinuous, locally integrable, $S^{1}$-invariant function on $X\times\Delta^{*}$ and $\Omega(x,\tau)$ be the $(1,1)$-form on $X\times\Delta^{*}$ defined by $\theta+\sqrt{-1}\partial\overline{\partial}\phi$. Then $\phi^{t}(x):=\phi(x,\tau)\in\mathrm{PSH}(X,\theta)$ with $t=-\log|\tau|^{2}$ is a subgeodesic ray if the restriction of $\Omega$ to $X\times\{\tau\}$ is semipositive for all $\tau$. Moreover $\phi^{t}(x)$ is a weak geodesic ray if it is a subgeodesic ray satisfying $\Omega^{n+1}=0$ on $X\times\Delta^{*}$.

The optimal $C^{1,1}$-regularity of the weak geodesic ray is proved by [11] (see also [40]).

For each locally bounded weak geodesic ray $\phi_{i}^{t}\in\mathrm{PSH}(X,\theta_{i})$, the function $t\mapsto E_{\theta_{i}}(\phi_{i}^{t})$ is affine [3]. Since $\sum_{i=1}^{N}\phi_{i}^{t}$ is a locally bounded subgeodesic ray in $\mathrm{PSH}(X,\sum_{i=1}^{N}\theta_{i})$, the function $t\mapsto L(\sum_{i=1}^{N}\phi^{t}_{i})$ is convex [4]. Thus the coupled Ding functional $D_{c}$ is convex along $(\phi_{i}^{t})_{i=1}^{N}$.

In view of [9, 39, 41], a test configuration $(\mathcal{X},\mathcal{L})$ for a Fano manifold $X$ with an ample line bundle $L$ in the sense of Definition 2.1 defines a weak geodesic ray starting from a given Kähler potential. Note that it is equivalent to the rays constructed in [9, 39, 41], since it is known the uniqueness theorem for the completely degenerate complex Monge-Ampère equation [40]. It follows from an argument in [31, page 6786] that a test configuration $(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})$ for $(X,(\alpha)_{i=1}^{N})$ in the sense of Definition 2.3 and a collection of given Kähler potentials $(\phi^{0}_{i})_{i=1}^{N}\in\mathcal{M}$ induce a collection of weak geodesic rays $(\phi^{t}_{i})_{i=1}^{N}\in\prod_{i=1}^{N}\mathrm{PSH}(X,\theta_{i})$ for $t\geq 0$.

The slopes at infinity of energy functionals along $(\phi^{t}_{i})_{i=1}^{N}$ play an important role in the moment weight type inequalities we are interested in. Results of Berman [2] showed

[TABLE]

By the $C^{1,1}$-regularity of the weak geodesic ray $\phi_{i}^{t}$, the existence of the time derivative $\dot{\phi^{t}_{i}}$ is guaranteed. Berndtsson [5] showed that the push forward probability measure $\mathrm{DH}(\mathcal{X},\mathcal{L}_{i}):=(\dot{\phi_{i}^{t}})_{*}(V_{i}^{-1}\omega_{\phi_{i}^{t}}^{n})$ on $\mathbb{R}$ is independent of $t$. Hisamoto [27] showed that the weak convergence of the spectral measure

[TABLE]

as $k\to\infty$ to obtain the equality

[TABLE]

Consider the “virtual slope”

[TABLE]

to obtain the slope formula

[TABLE]

2.3. Proof of Theorem 1.1

Proof of the moment weight type inequality for $R_{c}$.

Fix any $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$ and any test configuration $(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})$ for a decomposition $(\alpha_{i})_{i=1}^{N}$ of $2\pi c_{1}(X)$. Take weak geodesic rays $(\phi_{i}^{t})_{i=1}^{N}$ for $t\geq 0$ starting from $(\phi_{i})_{i=1}^{N}$ associated with $(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})$.

By the convexity of the coupled Ding functional,

[TABLE]

By the equality (7), the normalization of the Ricci potentials and the Schwartz inequality,

[TABLE]

This completes the proof. ∎

Before a proof of the moment weight type inequality for the coupled H-functional $H_{c}$ we give some remarks. For two probability measures $\mu$ and $\nu$ on $X$, the relative entropy is defined by

[TABLE]

In this terminology, $H_{c}(\Phi)$ is written as $\sum_{i=1}^{N}H(\mu_{\Phi}|\nu_{\phi_{i}})$ where $\mu_{\Phi}$ is one of the probability measures in the equality (6), that is,

[TABLE]

and where $\nu_{\phi_{i}}=\omega_{\phi_{i}}^{n}/V_{i}$. Note that the Csiszár-Kullback-Pinsker inequality yields the inequality

[TABLE]

which shows that a zero point of $H_{c}$ is a coupled Kähler-Einstein metric. Note also that the relative entropy has an expression in terms of the Legendre duality as follows [1].

[TABLE]

Proof of the moment weight type inequality for $H_{c}$.

We use the same notation as in the previous proof. By using the Legendre duality expression and the convexity of the function $L(\sum_{i=1}^{N}\phi_{i}^{t})$ for $t\geq 0$, we have

[TABLE]

Taking $t\to\infty$, we get $H_{c}(\Phi)\geq-H_{c}(\mathcal{X},(\mathcal{L}_{i})_{i=1}^{N})$. This completes the proof. ∎

3. Hessian formulas and its application

3.1. Hessian formulas

We fix notations to obtain Hessian formulas for the coupled Ricci-Calabi functional $R_{c}$ and the coupled H-functional $H_{c}$. For any $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$, we write one of the probability measures in the equality (6) as $\mu_{\Phi}$. Let $\Delta_{\phi_{i}}$ be the negative Laplacian of the metric $\phi_{i}$, and let $P_{\Phi}$ and $P_{\Phi}^{f}$ be operators acting on $(C^{\infty}(X;\mathbb{C}))^{N}$ defined by

[TABLE]

and

[TABLE]

for $\bm{u}=(u_{i})_{i=1}^{N}\in(C^{\infty}(X;\mathbb{C}))^{N}$. Their complex conjugates are defined by

[TABLE]

Recall the Hermitian inner products ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}$ and ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}^{f}_{\Phi}$ on $(C^{\infty}(X;\mathbb{C}))^{N}$ are defined by

[TABLE]

The followings are basic properties for the operator $P_{\Phi}$ and the inner product ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}^{f}$.

Proposition 3.1**.**

([43, Proposition 2.4])**

1. (1)

The operator $P_{\Phi}$ is self-adjoint with respect to the inner product ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}^{f}$. 2. (2)

The operator $P_{\Phi}$ is non-negative, and the Kernel $\operatorname{Ker}P_{\Phi}$ is equal to

[TABLE]

where $\mathrm{grad}_{\phi_{i}}u_{i}$ is a type $(1,0)$ gradient vector field on $X$ defined by

[TABLE]

Note that the same properties as in the above proposition holds for $P_{\Phi}^{f}$ and ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}$.

We give the first variation formula of the Ricci potential to obtain that of $R_{c}$ and $H_{c}$. Note that the variation $\delta\Phi$ of $\Phi\in\mathcal{M}$ is in $T_{\Phi}\mathcal{M}$ and it is identified with an element in $(C^{\infty}(X;\mathbb{R}))^{N}$.

Lemma 3.2**.**

The first variation of the Ricci potential at $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$ is given by

[TABLE]

for any variation $\delta\Phi=(\delta\phi_{i})_{i=1}^{N}\in T_{\Phi}\mathcal{M}$.

Proof..

The derivation of the first equation in (1) shows $\delta f_{i}(\delta\Phi)=-\Delta_{\phi_{i}}\delta\phi_{i}-\sum_{j=1}^{N}\delta\phi_{j}+C$ for some constant $C$. The constant $C$ is equal to $\int_{X}\sum_{j=1}^{N}\delta\phi_{j}\mu_{\Phi}$ since

[TABLE]

∎

Lemma 3.3**.**

The first variations of $R_{c}$ and $H_{c}$ at $\Phi\in\mathcal{M}$ are given by

[TABLE]

and

[TABLE]

for any variation $\delta\Phi\in T_{\Phi}\mathcal{M}$.

Remark 3.4**.**

In lemma 3.3, the first variation of the coupled Ricci-Calabi functional is also expressed as $2{\langle\!\hskip 0.56917pt\!\langle}P_{\Phi}(e^{f_{1}(\Phi)},\dots,e^{f_{N}(\Phi)}),\delta\Phi{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}^{f}$. However the expression in lemma 3.3 is technically crucial for the proof of Theorem 1.4.

Proof..

For any variation $\delta\Phi=(\delta\phi_{i})_{i=1}^{N}$, direct computations together with Lemma 3.2 show

[TABLE]

and

[TABLE]

By the integration by parts, we have

[TABLE]

to show that

[TABLE]

On the other hand, by the integration by parts, we have

[TABLE]

to show that

[TABLE]

Similarly, we have

[TABLE]

and

[TABLE]

which yield the equalities

[TABLE]

and

[TABLE]

This completes the proof. ∎

Therefore Proposition 3.1 and Lemma 3.3 show that a pair $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$ is a coupled Mabuchi soliton if and only if the vector fields $\mathrm{grad}_{\phi_{i}}e^{f_{i}(\Phi)}$ are holomorphic and $\mathrm{grad}_{\phi_{1}}e^{f_{1}(\Phi)}=\cdots=\mathrm{grad}_{\phi_{N}}e^{f_{N}(\Phi)}$. Similarly, $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$ is a coupled Kähler-Ricci soliton if and only if the vector fields $\mathrm{grad}_{\phi_{i}}f_{i}(\Phi)$ are holomorphic and $\mathrm{grad}_{\phi_{1}}f_{1}(\Phi)=\cdots=\mathrm{grad}_{\phi_{N}}f_{N}(\Phi)$.

Now we prove the Hessian formulas. The following argument generalizes the authors’s one in [36].

Proof of Theorem 1.4.

We first compute the variation $(\delta_{\Phi}P_{\Phi}^{f})(e^{f_{1}(\Phi)},\dots,e^{f_{N}(\Phi)})$ at a coupled Mabuchi soliton $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$ to obtain the Hessian of the coupled Ricci-Calabi functional

[TABLE]

where $\delta_{\Phi}$ stands for the variation along $\delta\Phi=(\delta\phi_{i})_{i=1}^{N}$ at $\Phi$, and $\delta\Psi$ is another variation at $\Phi$. Now we have the holomorphic vector field

[TABLE]

since $\Phi=(\phi_{i})_{i=1}^{N}$ is a coupled Mabuchi soliton. Note that $Z_{R}$ is also expressed as

[TABLE]

Indeed, the equality $i_{Z_{R}}(\omega_{\phi_{i}}+t\sqrt{-1}\partial\overline{\partial}\delta\phi_{i})=\sqrt{-1}\overline{\partial}(e^{f_{i}(\Phi)}+tZ_{R}(\delta\phi_{i}))$ holds for each $i$ and for any small $t\in(-\varepsilon,\varepsilon)$. Set $\Phi_{t}=(\phi_{i}+t\delta\phi_{i})_{i=1}^{N}\in\mathcal{M}$ as a perturbation of $\Phi$. Since $Z_{R}\in\operatorname{Ker}P^{f}_{\Phi_{t}}$ by Proposition 3.1, we then have

[TABLE]

Thus the derivative of the above equation at $t=0$ yields the equality

[TABLE]

Therefore, by using the equation (3.1) , the formula $Z_{R}(\delta\phi_{i})=\overline{\langle\overline{\partial}\delta\phi_{i},\overline{\partial}(e^{f_{i}(\Phi)})\rangle}_{\phi_{i}}$ and the formula of the derivative of $e^{f_{i}(\Phi)}$ in Lemma 3.2, we obtain

[TABLE]

Similarly $\delta_{\Phi}(\overline{P_{\Phi}^{f}}(e^{f_{1}(\Phi)},\dots,e^{f_{N}(\Phi)}))=\overline{P_{\Phi}^{f}}P_{\Phi}^{f}(\delta\Phi).$ This completes the proof of the Hessian formula for the coupled Ricci-Calabi functional.

In order to prove the Hessian formula for the coupled H-functional $H_{c}$, we follow the same argument as above to obtain

[TABLE]

where $\Phi=(\phi_{i})_{i=1}^{N}\in\mathcal{M}$ is a coupled Kähler-Ricci soliton, $Z_{H}$ is the holomorphic vector field $\mathrm{grad}_{\phi_{1}}f_{1}(\Phi)=\cdots=\mathrm{grad}_{\phi_{N}}f_{N}(\Phi)$ and $\delta\Phi:=(\delta\phi_{i})_{i=1}^{N}$ is a variation at $\Phi$. By the equation (3.1), the formula $Z_{H}(\delta\phi_{i})=\overline{\langle\overline{\partial}\delta\phi_{i},\overline{\partial}(f_{i}(\Phi))\rangle}_{\phi_{i}}$ and Lemma 3.2 we have

[TABLE]

where $\delta\Psi$ is another variation at $\Phi$. Similarly $\mathrm{Hess}(H_{c})(\delta\Phi,\delta\Psi)={\langle\!\hskip 0.56917pt\!\langle}\overline{P_{\Phi}}P_{\Phi}(\delta\Phi),\delta\Psi{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}^{f}$. This completes the proof of Theorem 1.4. ∎

Proof of Corollary 1.5.

This is a consequence of Theorem 1.4 and the non-negativity of $P_{\Phi}$ (resp. $P_{\Phi}^{f}$) with respect to ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}^{f}$ (resp. ${\langle\!\hskip 0.56917pt\!\langle}\cdot,\cdot{\rangle\!\hskip 0.56917pt\!\rangle}_{\Phi}$) in Proposition 3.1. ∎

To end this subsection we discuss the coupled flows introduced in Section 1. Lemma 3.3 shows the following.

Corollary 3.5**.**

The coupled Ricci-Calabi functional $R_{c}$ is monotonically decreasing along a coupled inverse Monge-Ampére flow in the sense of (3). The coupled H-functional $H_{c}$ is monotonically decreasing along a coupled Kähler-Ricci flow in the sense of (2).

Proof..

Set $F_{R}=F_{R}(t)=(e^{f_{i}(\Phi_{R}(t))})_{i=1}^{N}$ where $\Phi_{R}=\Phi_{R}(t)\in\mathcal{M}$ is a coupled inverse Monge-Ampére flow. Set $F_{H}=F_{H}(t)=(f_{i}(\Phi_{H}(t))_{i=1}^{N}$ where $\Phi_{H}=\Phi_{H}(t)\in\mathcal{M}$ is a coupled Kähler-Ricci flow. Lemma 3.3 shows

[TABLE]

which are both non-positive by Proposition 3.1. This completes the proof. ∎

Since a coupled Mabuchi soliton is a self-similar solution of a coupled inverse Monge-Ampére flow $\Phi_{R}(t)$, Corollary 1.5 suggests that for a Fano manifold admitting a coupled Mabuchi soliton, this flow $\Phi_{R}(t)$ starting from any metric converges to a coupled Mabuchi soliton in some sense. The same statement for a coupled Kähler-Ricci flow and a coupled Kähler-Ricci soliton is expected to hold.

3.2. An application to Matsushima type obstruction theorem

As an application of the commutativity of the operators in Corollary 1.5, we prove Theorem 1.6.

Proof of Theorem 1.6.

We first fix a coupled Mabuchi soliton $\Phi=(\phi_{i})_{i=1}^{N}$. Since operators $P_{\Phi}^{f}$ and $\overline{P_{\Phi}^{f}}$ are commutative by Corollary 1.5, $\overline{P_{\Phi}^{f}}\in\mathrm{End}(\operatorname{Ker}P_{\Phi}^{f})$. Let $E_{\lambda}$ be the $\lambda$-eigenspace of $\overline{P_{\Phi}^{f}}$ in $\operatorname{Ker}P_{\Phi}^{f}$. Then we have

[TABLE]

Note that, by Proposition 3.1, every $V\in\mathfrak{h}(X)$ is written as $V=\mathrm{grad}_{\phi_{1}}u_{1}=\cdots=\mathrm{grad}_{\phi_{N}}u_{N}$ for some $(u_{i})_{i=1}^{N}\in\operatorname{Ker}P_{\Phi}^{f}$ which are unique up to additive constants. Thus, setting

[TABLE]

and using the relation (14), we have the decomposition

[TABLE]

Here we claim that $\mathfrak{h}_{\lambda}(X)$ is the $\lambda$-eigenspace of the adjoint action of $Z_{R}:=\mathrm{grad}_{\phi_{1}}(1-e^{f_{1}(\Phi)})=\cdots=\mathrm{grad}_{\phi_{N}}(1-e^{f_{N}(\Phi)})$. To see this, fix an element $V=\mathrm{grad}_{\phi_{1}}u_{1}=\cdots=\mathrm{grad}_{\phi_{N}}u_{N}$ in $\mathfrak{h}_{\lambda}(X)$ where $(u_{i})_{i=1}^{N}\in E_{\lambda}$, and observe

[TABLE]

where $\{\cdot,\cdot\}_{\phi_{i}}$ is the Poisson bracket defined by $\{u,v\}_{\phi_{i}}=(\mathrm{grad}_{\phi_{i}}v)u-(\mathrm{grad}_{\phi_{i}}u)v$. Since the map $u\to-\mathrm{grad}_{\phi_{i}}u$ is a complex Lie algebra homomorphism from $(C^{\infty}(X;\mathbb{C}),\{\cdot,\cdot\}_{\phi_{i}})$ to $(\Gamma(TX),[\cdot,\cdot])$ where $[\cdot,\cdot]$ is the Lie bracket defined by $[Z,W]=ZW-WZ$, it follows that

[TABLE]

This shows $\mathfrak{h}_{\lambda}(X)$ is the $\lambda$-eigenspace of the adjoint action of $Z_{R}$.

We next focus on $\mathfrak{h}_{0}(X)$. Since $E_{0}=\operatorname{Ker}P_{\Phi}^{f}\cap\operatorname{Ker}\overline{P_{\Phi}^{f}}$, then both the real part $(\mathrm{Re}u_{i})_{i=1}^{N}$ and the imaginary part $(\mathrm{Im}u_{i})_{i=1}^{N}$ of $(u_{i})_{i=1}^{N}\in E_{0}$ are in $E_{0}$ again. It follows that

[TABLE]

and thus

[TABLE]

According to [20, Lemma 2.3.8], the vector filed $V+\overline{V}=\mathrm{grad}_{\phi_{i}}u_{i}+\overline{\mathrm{grad}_{\phi_{i}}u_{i}}$ as above is killing with respect to the Kähler metric $\omega_{\phi_{i}}$. Therefore $\mathfrak{h}_{0}(X)$ is the complexification of the Lie algebra of Killing vector fields for $\omega_{\phi_{i}}$. This completes the proof for the case when $\Phi=(\phi_{i})_{i=1}^{N}$ is a coupled Mabuchi soliton.

When $\Phi=(\phi_{i})_{i=1}^{N}$ is a coupled Kähler-Ricci soliton, we follow the same argument as above to obtain the decomposition

[TABLE]

where $\mathfrak{h}_{\lambda}(X)=\Set{V\in\mathfrak{h}(X)}{V=\mathrm{grad}_{\phi_{1}}u_{1}=\cdots=\mathrm{grad}_{\phi_{N}}u_{N}\quad\text{and}\quad(u_{i})_{i=1}^{N}\in E_{\lambda}}$ and $E_{\lambda}$ is the $\lambda$-eigenspace of $\overline{P_{\Phi}}$ in $\operatorname{Ker}P_{\Phi}$. In order to finish the proof, we only check that $\mathfrak{h}_{\lambda}(X)$ is the $\lambda$-eigenspace of the adjoint action of $Z_{H}:=-\mathrm{grad}_{\phi_{1}}f_{1}(\Phi)=\cdots=-\mathrm{grad}_{\phi_{N}}f_{N}(\Phi)$. For any $V=\mathrm{grad}_{\phi_{1}}u_{1}=\cdots=\mathrm{grad}_{\phi_{N}}u_{N}$ in $\mathfrak{h}_{\lambda}(X)$ where $(u_{i})_{i=1}^{N}\in E_{\lambda}$, we have

[TABLE]

This yields the equality $\lambda V=[Z_{H},V].$ The remaining proof is very similar to the case of coupled Mabuchi solitons. ∎