Abstract:In this paper we study upper and lower bounds of the index and the nullity for sequences of harmonic maps with uniformly bounded Dirichlet energy from a two-dimensional Riemann surface into a compact target manifold. The main difficulty stems from the fact that in the limit the sequence can develop finitely many bubbles. We obtain the index bounds by studying the limiting behavior of sequences of eigenfunctions of the linearized operator and the key novelty of the present paper is that we diagonalize the index form of the Dirichlet energy with respect to a bilinear form which varies with the sequence of harmonic maps and which helps us to show the convergence of the sequence of eigenfunctions on the weak limit, the bubbles and the intermediate neck regions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the upper and lower bound estimates of the index (index) and nullity of harmonic mapping sequences. Specifically, the author studies the upper and lower bounds of the index and nullity of harmonic mapping sequences with uniformly bounded Dirichlet energy from two - dimensional Riemannian surfaces to compact target manifolds. The main difficulty lies in the fact that in the limit case, the sequence may generate a finite number of "bubbles". The main contribution of the paper is to obtain these index boundary estimates by studying the limit behavior of the eigenfunction sequences of the linearized operator and by diagonalizing the index form of the Dirichlet energy with respect to the bilinear form that varies with the harmonic mapping sequence.
### Background of the paper
- **Harmonic mapping**: A harmonic mapping is a mapping \(u\) from one Riemannian manifold \((M, g)\) to another Riemannian manifold \((N, h)\) such that its Dirichlet energy \(E(u)=\frac{1}{2}\int_M|\nabla u|^2d\text{vol}_g\) reaches a minimum. Harmonic mappings satisfy the elliptic partial differential equation \(-\Delta u = A(u)(\nabla u,\nabla u)\), where \(A\) is the second fundamental form of the embedding \(N\hookrightarrow\mathbb{R}^m\).
- **Bubble phenomenon**: For a harmonic mapping sequence \(u_k\) with uniformly bounded Dirichlet energy, in the limit case, the sequence may concentrate energy near certain points, forming so - called "bubbles" \(\omega_i\). These bubbles are non - trivial harmonic mappings defined on \(S^2\).
### Main results
1. **Lower bound estimate**:
- Theorem 1.1: Let \(u_k\in W^{1,2}(M, N)\) be a harmonic mapping sequence with uniformly bounded energy \(E(u_k)\leq C\), and with a weak limit \(u_0\in C^\infty(M, N)\) and a finite number of bubbles \(\omega_i\in C^\infty(S^2, N)\). Then
\[
\text{Ind}(u_0)+\sum_{i = 1}^L\text{Ind}(\omega_i)\leq\liminf_{k\rightarrow\infty}\text{Ind}(u_k),
\]
where \(\text{Ind}(\cdot)\) represents the index of the corresponding mapping.
2. **Upper bound estimate**:
- Theorem 1.2: Let \(u_k, u_0\) and \(\omega_i\) be as described in Theorem 1.1. Then
\[
\limsup_{k\rightarrow\infty}(\text{Ind}(u_k)+\text{Null}(u_k))\leq\text{Ind}(u_0)+\text{Null}(u_0)+\sum_{i = 1}^L(\text{Ind}(\omega_i)+\text{Null}(\omega_i)),
\]
where \(\text{Null}(\cdot)\) represents the nullity of the corresponding mapping.
### Methods and techniques
- **Bilinear form**: The author defines a bilinear form \(\langle\langle X, Y \rangle\rangle_{u_k}=\int_M(\langle X, Y \rangle+\langle A^2_{u_k}(X), Y \rangle)d\text{vol}_g\) that varies with the harmonic mapping sequence and proves that it can be used as an inner product.
- **Convergence of eigenfunctions**: Through the study of eigenfunctions...