Abstract:We show that under some natural geometric assumption, Einstein metrics on conformal products of two compact conformal manifolds are warped product metrics.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to find the conditions for Einstein metrics on conformal product manifolds. Specifically, the author studied the existence of an Einstein metric \(g\) on the product \(M = M_1\times M_2\) of two compact conformal manifolds \((M_1, c_1)\) and \((M_2, c_2)\), and assumed that under a certain condition, the Lee form of the adapted Weyl connection of \(g\) is parallel in the \(M_1\) direction when restricted to \(M_2\).
### Main Problem of the Paper
The core problem of the paper is: **Under the given geometric assumptions, determine whether the Einstein metric on the conformal product manifold is a warped product metric.**
### Main Conclusions
Through a series of complex geometric and analytical derivations, the author reached the following main conclusions:
- If there exists an Einstein metric \(g\) on \(M_1\times M_2\), and \(g\) satisfies specific geometric assumptions (that is, the restriction of the Lee form of \(g\) on \(M_2\) is parallel in the \(M_1\) direction), then \(g\) must be a conformal transformation of a certain product metric.
Specifically, let \((M_1, c_1)\) and \((M_2, c_2)\) be two compact conformal manifolds, and \(\dim(M_1\times M_2)\geq3\). If \(c\) is a conformal product structure on \(M_1\times M_2\), and \(c\) contains an Einstein metric \(g\) such that the restriction of the Lee form of \(g\) on \(M_2\) is parallel in the \(M_1\) direction, then there exist metrics \(h_i\in c_i\) such that \(c = [h_1 + h_2]\), that is, the Einstein metric \(g\) is a conformal transformation of a certain product metric.
### Formula Summary
The key formulas involved in the paper include:
1. **Definition of the Lee form**:
\[
\theta_g=-d_1 f_2 - d_2 f_1
\]
2. **Expression of the Ricci curvature tensor**:
\[
\text{Ric}_g(X_1, X_2)=(1 - n_1)X_1(X_2(f_1))+(1 - n_2)X_2(X_1(f_2))+(2 - n)X_1(f_2)\cdot X_2(f_1)
\]
\[
\text{Ric}_g(X_1, X_1)=\text{Ric}_{g_1}(X_1, X_1)+(e^{-2f_2}\Delta_2 f_1 + e^{-2f_1}\Delta_1 f_1)|X_1|^2_g+(2 - n_2)g(d_2 f_1, d_2 f_2)|X_1|^2_g
\]
\[
- [n_2 g(d_1 f_1, d_1 f_2)+n_1 |d_2 f_1|^2_g-(2 - n_1) |d_1 f_1|^2_g]|X_1|^2_g+(2 - n_1)[\text{Hess}_{g_1}(f_1)(X_1, X_1)-(X_1(f_1))^2]
\]
\[
- n_2 [\text{Hess}_{g_1}(f_2)(X_1, X_1)+(X_1(f_2))^2 - 2X_1(f_1)\cdot X_1(f_2)]
\]
These results provide an important theoretical basis for understanding Einstein metrics on conformal product manifolds.