Abstract:Given any compact homogeneous space $H/K$ with $H$ simple, we consider the new space $M=H\times H/\Delta K$, where $\Delta K$ denotes diagonal embedding, and study the existence, classification and stability of $H\times H$-invariant Einstein metrics on $M$, as a first step into the largely unexplored case of homogeneous spaces of compact non-simple Lie groups. We find unstable Einstein metrics on $M$ for most spaces $H/K$ such that their standard metric is Einstein (e.g., isotropy irreducible) and the Killing form of $\mathfrak{k}$ is a multiple of the Killing form of $\mathfrak{h}$ (e.g., $K$ simple), a class which contains $17$ families and $50$ individual examples. A complete classification is obtained in the case when $H/K$ is an irreducible symmetric space with $K$ simple. We also study the behavior of the scalar curvature function on the space of all normal metrics on $M=H\times H/\Delta K$ (none of which is Einstein), obtaining that the standard metric is a global minimum.
What problem does this paper attempt to address?
This paper aims to solve the problems of the existence, classification and stability of Einstein metrics on the homogeneous space \(M = H\times H /\Delta K\). Specifically:
1. **Research Background**: Most studies on the existence and classification of Einstein metrics on the compact homogeneous space \(M = G/K\) focus on the case where the Lie group \(G\) is simple. When \(G\) is not simple, that is, when \(G\) has more than one simple factor, the complex structure of the isomorphic representation makes the space of \(G\)-invariant metrics large and intractable, making the study of Einstein metrics more difficult.
2. **Research Object**: The paper considers a new class of compact homogeneous spaces \(M = H\times H /\Delta K\), where \(H\) is a compact simple Lie group, \(K\) is a proper closed subgroup of \(H\), and \(\Delta K\) represents the diagonal embedding. The main goal of the research is to find \(H\times H\)-invariant Einstein metrics on these spaces and explore their stability and classification.
3. **Main Results**:
- **Theorem 1.1**: For the homogeneous space defined on \(M = H\times H /\Delta K\), the author proves that:
- The normal metric is always diagonal (i.e., \(x_4 = 0\)) and is never an Einstein metric.
- The standard metric (defined by \(-B_g\)) is the global minimum point of the scalar curvature function \(Sc:M_{\text{norm}}^1\rightarrow\mathbb{R}\) and is also the unique critical point. In particular, the normal metric is not invariant under the Ricci flow.
- **Theorem 1.2**: The paper further studies the existence of diagonal Einstein metrics and proves that:
- When certain conditions are met, there exist diagonal Einstein metrics on the homogeneous space \(M = H\times H /\Delta K\). The specific conditions include:
- \(C_{\chi}=\kappa I_q\), where \(C_{\chi}\) is the Casimir operator of the isomorphic representation of the homogeneous space \(H/K\).
- \(B_k = aB_h|_k\), where \(B_k\) and \(B_h\) are the Killing forms of \(K\) and \(H\) respectively.
- \((2\kappa + 1)^2\geq8a(1 - a+\kappa)\).
- In this case, there are two non - homogeneous Einstein metrics \(g_1\) and \(g_2\), unless \(K\) is an Abelian group or \(H/K\) is a specific space (such as \(Sp(24)/Sp(8)^3\) or \(Sp(12)/Sp(3)^4\)).
- These diagonal Einstein metrics are all canonical variants of the sub - diffusion \(M = H\times H /\Delta K\rightarrow H/K\times H/K\).
- Among them, \(g_1\) is \(G\)-unstable, with a co - index \(\geq2\), and is a local minimum point of the scalar curvature function \(Sc:M_{\text{diag}}^1\rightarrow\mathbb{R}\); while \(g_2\) is also \(G\)-unstable, but it is a saddle point of the scalar curvature function.
4. **Further Research**: The paper also studies the existence of non - diagonal Einstein metrics and obtains a complete classification of \(G\)-invariant Einstein metrics when \(H/K\) is an irreducible symmetric space and \(K\) is simple.
Through these studies, the paper provides an important theoretical basis for understanding Einstein metrics on homogeneous spaces under the action of non - simple Lie groups.