Abstract:We prove the existence of nonconstant harmonic maps of optimal regularity from an arbitrary closed manifold of dimension to any closed, non-aspherical manifold containing no stable minimal two-spheres. In particular, this gives the first general existence result for harmonic maps from higher-dimensional manifolds to a large class of positively curved targets. In the special case of the round spheres , , we obtain a distinguished family of nonconstant harmonic maps of index at most , with singular set of codimension at least 7 for sufficiently large. Furthermore, if , we show that these smooth harmonic maps stabilize as becomes large, and correspond to the solutions of an eigenvalue optimization problem on , generalizing the conformal maximization of the first Laplace eigenvalue on surfaces.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the existence and regularity of harmonic maps between high - dimensional manifolds. Specifically, the authors proved the existence of non - constant harmonic maps from an arbitrary closed manifold \((M^n, g)\) to another specific type of closed manifold \((N^k, h)\), where \(n > 2\) and \(N\) does not contain stable minimal two - spheres. In addition, for specific target manifolds, such as the standard sphere \(S^k\) (\(k\geq3\)), the authors also obtained harmonic maps with a specific Morse index and studied the stability of these maps on high - dimensional manifolds and the properties of the singularity sets.
### Main Contributions
1. **Existence Results**:
- Proved the existence of non - constant harmonic maps from an arbitrary closed manifold \((M^n, g)\) to a closed manifold \((N^k, h)\) that does not contain stable minimal two - spheres.
- In particular, when the target manifold is the standard sphere \(S^k\), a series of non - constant harmonic maps \(u: M^n\rightarrow S^k\) with Morse index not exceeding \(k + 1\) were obtained.
2. **Regularity Results**:
- Studied the properties of the singularity sets of these harmonic maps. In particular, when \(3\leq n\leq5\), these harmonic maps are smooth under certain conditions.
- When \(k\) is large enough, the codimension of the singularity sets of these harmonic maps is at least 7.
3. **Eigenvalue Optimization Problem**:
- Applied the existence results of harmonic maps to the eigenvalue optimization problem. In particular, for the case of \(3\leq n\leq5\), it was proved that certain energy density functions achieve the maximum value of \(V_1(M, g)\).
- Further studied the relationship between these energy density functions and harmonic maps, especially the stability on high - dimensional manifolds.
### Specific Problems
- **Existence of Harmonic Maps**:
- Proved the existence of non - constant harmonic maps from high - dimensional manifolds to specific target manifolds under given conditions.
- **Regularity of Harmonic Maps**:
- Studied the properties of the singularity sets of these harmonic maps, especially the local stability on high - dimensional manifolds.
- **Eigenvalue Optimization Problem**:
- Applied the results of harmonic maps to the eigenvalue optimization problem, especially studied the maximum value of \(V_1(M, g)\) and its corresponding energy density function.
### Methods
- **Variational Method**:
- Used the Ginzburg - Landau - type energy functional for variational construction and proved the existence of harmonic maps by the min - max method.
- **Regularity Theory**:
- With the help of the existing regularity theory, studied the properties of the singularity sets of harmonic maps, especially the local stability on high - dimensional manifolds.
- **Eigenvalue Optimization**:
- Applied the results of harmonic maps to the eigenvalue optimization problem and proved the maximum value of \(V_1(M, g)\) by analyzing the properties of energy density functions.
### Conclusion
Through the variational method and regularity theory, this paper successfully solved the problems of the existence and regularity of harmonic maps from high - dimensional manifolds to specific target manifolds and applied them to the eigenvalue optimization problem, providing new perspectives and tools for research in related fields.