Scalar curvature rigidity of almost Hermitian manifolds which are asymptotic to \(\mathbb CH^m\) (Q2507687): Difference between revisions

\((\mathbb{C} H^m, g_0)\) denotes the complex hyperbolic space of complex dimension \(m\) and holomorphic sectional curvature \(-4\). An almost Hermitian manifold \((M,g,I)\) is said to be strongly asymptotically complex hyperbolic if there is a compact manifold \(C\subset M\) and a diffeomorphism \(f: M\setminus C\to\mathbb{C} H^m\setminus\overline{B_R(0)}\) such that the positive definite gauge transformation \(A\in \Gamma (\text{End}(TM|_{M\setminus C}))\) given by \(g(AX,AY)= (f^*g_0)(X,Y)\) and \(g(AX,Y)= g(X,AY)\) satisfies: (1) \(A\) is uniformly bounded; (2) suppose that \(r\) is the \(f^*g_0\)-distance to a fixed point, \(\nabla^0\) the Levi-Cività connection for \(f^*g\) and \(I_0\) the complex structure of \(\mathbb{C} H^m\) pulled back to \(M\setminus C\), then for some \(\varepsilon> 0\) \[ |\nabla^0A|+ |A- \text{Id}|+ |I_0- I|= O(e^{-2(m+ 1+\varepsilon)r}). \] Denote by \(\Omega= g(\cdot,I)\) the almost Kähler form of an almost Hermitian manifold. The main result is the following: Theorem. Let \((M,g,I)\) be a complete almost Hermitian strongly asymptotically complex hyperbolic manifold of complex dimension \(m\). Suppose \(\omega\) is a closed \((1,1)\)-form on \(M\) such that \([{\omega\over 2\pi}]\) is an integral class associated to a \(\text{spin}^c\)-structure of \(M\). If \[ 2\widetilde m\Omega+ \omega= O(e^{-2(m+1+\varepsilon)r}) \] and the scalar curvature satisfies \[ \text{scal}\geq -4m(m+ 1)+ c_1|d^*\Omega|+ c_2[\| D'\Omega\|+ \| D''\Omega\|+ 2\| 2\widetilde m\Omega+ \omega\|], \] then \((M,g,I)\) is Kähler and isometric to \(\mathbb{C} M^m\). Here \(\widetilde m= 0\) if \(m\) is odd and \(\widetilde m= 1\) if \(m\) is even. \(\| \eta\|\) is defined as the operator norm of \(\gamma(\eta)\) on \(S^c M\) for an exterior form \(\eta\). \(C_1,C_2\)-constants depending on \(m\). \(D'+ D''\) is the Dolbeault decomposition of the Dirac operator \(D= d+ d^*\) in \(\Lambda^*(TM)\otimes\mathbb{C}\).