Non-compactness results for the spinorial Yamabe-type problems with non-smooth geometric data

Takeshi Isobe,Yannick Sire,Tian Xu
2023-06-02
Abstract:Let $(M,\textit{g},\sigma)$ be an $m$-dimensional closed spin manifold, with a fixed Riemannian metric $\textit{g}$ and a fixed spin structure $\sigma$; let $\mathbb{S}(M)$ be the spinor bundle over $M$. The spinorial Yamabe-type problems address the solvability of the following equation \[ D_{\textit{g}}\psi = f(x)|\psi|_{\textit{g}}^{\frac2{m-1}}\psi, \quad \psi:M\to\mathbb{S}(M), \ x\in M \] where $D_{\textit{g}}$ is the associated Dirac operator and $f:M\to\mathbb{R}$ is a given function. The study of such nonlinear equation is motivated by its important applications in Spin Geometry: when $m=2$, a solution corresponds to a conformal isometric immersion of the universal covering $\widetilde M$ into $\mathbb{R}^3$ with prescribed mean curvature $f$; meanwhile, for general dimensions and $f\equiv constant\neq0$, a solution provides an upper bound estimate for the Bär-Hijazi-Lott invariant. The aim of this paper is to establish non-compactness results related to the spinorial Yamabe-type problems. Precisely, concrete analysis is made for two specific models on the manifold $(S^m,\textit{g})$ where the solution set of the spinorial Yamabe-type problem is not compact: $1).$ the geometric potential $f$ is constant (say $f\equiv1$) with the background metric $\textit{g}$ being a $C^k$ perturbation of the canonical round metric $\textit{g}_{S^m}$, which is not conformally flat somewhere on $S^m$; $2).$ $f$ is a perturbation from constant and is of class $C^2$, while the background metric $\textit{g}\equiv\textit{g}_{S^m}$.
Differential Geometry
What problem does this paper attempt to address?
### What problem does the paper attempt to solve? The paper aims to study the results of the spinorial Yamabe-type problem in the context of non-compactness. Specifically, it focuses on concrete models when the solution set is non-compact. #### Main Objectives: 1. **Establish non-compactness results**: The goal of the paper is to establish non-compactness results related to the spinorial Yamabe-type problem on spin manifolds. Specifically, for two particular models, it proves that the solution set is not compact. - Model 1: The geometric potential function \( f \) is a constant (e.g., \( f \equiv 1 \)), the background metric \( g \) is a \( C^k \) perturbation of the standard round metric \( g_{S^m} \), and it is not conformally flat at some point on \( S^m \). - Model 2: \( f \) is a \( C^2 \) function perturbed from a constant, while the background metric \( g \equiv g_{S^m} \). 2. **Address strict inequality issues**: By constructing specific geometric data to prove strict inequalities. In particular, when \( f \equiv 1 \), by constructing a non-smooth metric \( g \), the strict inequality of the Bär-Hijazi-Lott invariant holds. 3. **Explore the impact of external potential functions**: Investigate the impact of non-constant functions \( f \) on the spinorial Yamabe-type problem under a fixed background metric \( g_{S^m} \). #### Specific Results: - **Theorem 1.2**: For a given dimension \( m \geq 4k+2 \), there exists a \( C^k \) metric \( g \) and a sequence of spinors \( \{\psi_i\}_{i=1}^\infty \) satisfying the following conditions: - \( g \) is not locally conformally flat. - \( \psi_i \) is a non-trivial solution of the equation \( D_g \psi = |\psi|^{\frac{2m}{m-1}}_g \psi \). - The integral of the solution \( \int_{S^m} |\psi_i|^{\frac{2m}{m-1}}_g \, d\text{vol}_g \) is strictly less than \( \left(\frac{m}{2}\right)^m \omega_m \). - \( \sup_{S^m} |\psi_i|_g \to +\infty \) as \( i \to \infty \). - **Theorem 1.4**: For any \( m \geq 2 \), there exists a non-constant function \( f \in C^2(S^m) \) and a sequence of spinors \( \{\psi_i\}_{i=1}^\infty \) satisfying the following conditions: - \( \psi_i \) is a non-trivial solution of the equation \( D_{g_{S^m}} \psi = f(x) |\psi|^{\frac{2m}{m-1}}_{g_{S^m}} \psi \). - The integral of the solution \( \int_{S^m} f(x) |\psi_i|^{\frac{2m}{m-1}}_{g_{S^m}} \, d\text{vol}_{g_{S^m}} \) approaches \( \left(\frac{m}{2}\right)^m \omega_m \). - \( \sup_{S^m} |\psi_i|_{g_{S^m}} \to +\infty \) as \( i \to \infty \). Through these results, the paper demonstrates the non-compactness of the solution set of the spinorial Yamabe-type problem under certain specific conditions and provides new perspectives for understanding this problem.