Abstract:Nearly Kähler and Einstein structures admit a variational characterization, where the second variation is associated with a strongly elliptic operator. This allows us to associate a Morse-like index to each structure. Our study focuses on how these indices behave under the assumption that the nearly Kähler structure admits a cohomogeneity one action. Specifically, we investigate elements of the index that also exhibit cohomogeneity one symmetry, reducing the analysis to an ODE eigenvalue problem.
We apply our discussion to the two inhomogeneous examples constructed by Foscolo and Haskins. We obtain non-trivial lower bounds on the Hitchin index and Einstein co-index for the inhomogeneous nearly Kähler structure on $S^3\times S^3$, answering a question of Karigiannis and Lotay.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is how to study the behavior of the Hitchin index in nearly Kähler structures with cohomogeneity one. Specifically, the author focuses on how these indices behave when the nearly Kähler structure allows a cohomogeneity one action, and specifically studies the index elements that exhibit cohomogeneity one symmetry. This simplifies the analysis to an ordinary differential equation (ODE) eigenvalue problem.
### Background and Problem Description of the Paper
The core problem of the paper is to understand the variational characteristics of nearly Kähler and Einstein structures, where the second variation is associated with a strongly elliptic operator. This association allows us to define an index similar to the Morse index for each structure, called the Hitchin index. The author's research focuses on the behavior of these indices when the nearly Kähler structure has a cohomogeneity one action.
### Specific Problems
1. **Calculation of the Hitchin Index**: The author attempts to calculate the Hitchin index on specific nearly Kähler manifolds, especially for the two inhomogeneous examples constructed by Foscolo and Haskins.
2. **Simplification of the Eigenvalue Problem**: By assuming that the solution also has cohomogeneity one symmetry, the author simplifies the problem to a singular ordinary differential equation eigenvalue problem.
3. **Application Examples**: The author applies his discussion to the two inhomogeneous examples constructed by Foscolo and Haskins, obtaining non - trivial lower bounds for the Hitchin index and the Einstein co - index.
### Main Conclusions
Through a detailed analysis of the eigenvalue problem, the author proves that:
- For the inhomogeneous nearly Kähler structure \( S^3\times S^3 \) constructed by Foscolo and Haskins, its Hitchin index is at least 1.
- Its Einstein co - index is at least 4.
This result answers the questions raised by Karigiannis and Lotay and provides an important basis for further research.
### Summary of Mathematical Formulas
The key formulas involved in the paper include:
1. **Nearly Kähler Condition**:
\[
d\omega = 3\rho, \quad d^*\rho = - 4\omega
\]
where \(\omega\) and \(\rho\) are stable forms respectively.
2. **Eigenvalue Problem of the Hitchin Index**:
\[
E(\nu)=\left\{\beta\in\Omega^2_8\mid d^*\beta = 0,\Delta\beta=\nu\beta\right\}
\]
for \(\nu\in(0,12)\), where \(\Omega^2_8\) is the smooth section of the sub - bundle associated with the adjoint representation of \(SU(3)\).
3. **ODE Form of the Eigenvalue Problem**:
\[
\lambda\partial_tu_i + 3v_i=f(\lambda,u,v),\quad\partial_tv_i-4\lambda u_i = g(\lambda,u,v)
\]
These equations are used to describe the evolution of the nearly Kähler structure.
Through these formulas and analysis, the author successfully solves the Hitchin index problem of inhomogeneous nearly Kähler structures and provides new perspectives and methods for future research.