[논문 리뷰] A spinorial analogue of Aubin's inequality

Bernd Ammann, Jean-François Grosjean외 2명|ArXiv.org|2003. 08. 12.

Nonlinear Partial Differential Equations참고 문헌 13인용 수 4

한 줄 요약

이 논문은 차원 $ n \geq 2 $ 인 컴act 리만 스피너 다양체에 대해 아빈의 부등식의 스피너 버전을 수립한다. 첫 번째 양의 디랙 연산자 고유값의 하한을 체적의 $ 1/n $ 거듭제곱으로 정규화한 값이 $ \frac{n}{2} \omega_n^{1/n} $ 이하로 유계임을 증명하며, 표준 구에서 등호가 성립함을 보인다. 증명은 $ S^n $ 에서의 킬링 스피너를 구면 투영을 통해 변환하여 시험 스피너를 구성하며, 임계 경우인 $ n=2 $ 에서 비자명한 디랙 핵을 다루기 위해 로그 컷오프 함수를 사용한다.

ABSTRACT

Let $(M,g,\si)$ be a compact Riemannian spin manifold of dimension $\geq 2$. For any metric $ ilde g$ conformal to $g$, we denote by $ ildeλ$ the first positive eigenvalue of the Dirac operator on $(M, ilde g,\si)$. We show that $$\inf_{ ilde{g} \in [g]} ildeλ\Vol(M, ilde g)^{1/n} \leq (n/2) \Vol(S^n)^{1/n}.$$ This inequality is a spinorial analogue of Aubin's inequality, an important inequality in the solution of the Yamabe problem. The inequality is already known in the case $n \geq 3$ and in the case $n = 2$, $\ker D=\{0\}$. Our proof also works in the remaining case $n=2$, $\ker D eq \{0\}$. With the same method we also prove that any conformal class on a Riemann surface contains a metric with $2 ildeλ^2\leq ildeμ$, where $ ildeμ$ denotes the first positive eigenvalue of the Laplace operator.

연구 동기 및 목표

• 메트릭 $ \tilde{g} $ 가 $ g $ 와 동형일 때, $ \lambda_1^+(\tilde{g}) \cdot {\rm Vol}(M,\tilde{g})^{1/n} $ 의 하한을 취한 $ \lambda_{\rm min}^{+}(M,g,\sigma) $ 의 날카운 상계를 수립하는 것.
• 이전 방법들(그로세의 기반 기반 접근 포함)이 실패했던, 디랙 연산자가 비자명한 핵을 가진 경우의 $ n=2 $ 차원의 열린 문제를 해결하는 것.
• 이전에 문제시되었던 $ n=2 $, $ \ker D \neq \{0\} $ 경우를 포함하여 모든 차원 $ n \geq 2 $ 에서 통일된 증명 방법을 제공하는 것.
• 이 방법을 확장하여 리만 곡면에서 디랙 연산자와 라플라스 연산자의 첫 번째 양의 고유값 사이의 새로운 부등식을 유도하는 것.

제안 방법

• 구면 $ S^n $ 에서의 킬링 스피너를 구면 투영을 통해 $ \mathbb{R}^n $ 에로 당겨, $ D\psi = c|\psi|^{2/(n-1)}\psi $ 를 만족하는 해를 얻는 시험 스피너를 구성한다.
• 로그 컷오프 함수 $ \eta $ 를 사용하여 이 스피너를 스케일링하고 컷오프 처리하며, 이는 링골 영역에서 1에서 0으로 천천히 감쇠하여 디랙 노름의 기울기 항 기여도를 최소화한다.
• 보르구아노-고시옹의 스피너 배럴의 자명화를 사용하여 컷오프 스피너를 다양체 $ M $ 의 점 $ p \in M $ 근처로 옮기며, 이는 디랙 연산자의 타일러 전개를 단순화한다.
• 지지의 크기를 제어하는 변수 $ \varepsilon \to 0 $ 의 극한에서 점근 전개를 사용하여 $ L^2 $-노름 $ \int |D\psi|^{2n/(n+1)} $ 과 내적 $ \int \langle D\psi, \psi \rangle $ 을 추정한다.
• 변분 특성 $ \lambda_{\rm min}^{+}(M,g,\sigma) = \inf_\psi J(\psi) $ (여기서 $ J(\psi) = \left( \int |D\psi|^{2n/(n+1)} \right)^{(n+1)/n} / \int \langle D\psi, \psi \rangle $) 을 사용하여 동형 불변량을 유계로 제한한다.
• 특히 $ n=2 $ 에서는 로그 컷오프를 적응하여 기울기의 $ L^2 $-노름을 제어함으로써, 이 차원에서 이전 방법이 실패한 문제를 극복한다.

실험 결과

연구 질문

• RQ1 차원 $ n \geq 2 $ 인 컴팩트 스피너 다양체에서 스피너-동형 불변량 $ \lambda_{\rm min}^{+}(M,g,\sigma) $ 의 날카운 상계는 무엇인가?
• RQ2 디랙 연산자가 비자명한 핵을 가진 경우, 아빈의 부등식의 스피너 버전이 $ n=2 $ 에서도 증명될 수 있는가? 이는 이전에 해결되지 않은 문제였다.
• RQ3 $ n \geq 3 $ 에서 사용된 동일한 방법이 $ n=2 $ 에도 확장 가능한가, 특히 디랙 연산자의 핵이 비자명한 경우에 대해?
• RQ4 리만 곡면에서 메트릭의 동형 변화에 따라 디랙 연산자와 라플라스 연산자의 첫 번째 양의 고유값 사이에 어떤 관계가 존재하는가?
• RQ5 $ S^n $ 에서의 킬링 스피너로 구성된 시험 스피너를 변분 원리에 의해 동형 불변량을 유계로 제한하는 데 사용할 수 있는가?

주요 결과

• 모든 차원 $ n \geq 2 $ 인 컴팩트 스피너 다양체에 대해 $ \lambda_{\rm min}^{+}(M,g,\sigma) \leq \frac{n}{2} \omega_n^{1/n} $ 이 성립하며, $ (M,g,\sigma) = (S^n, g_{\text{std}}, \sigma_{\text{std}}) $ 일 때 등호가 성립한다.
• 이 증명은 오랫동안 열려 있던 $ n=2 $, $ \ker D \neq \{0\} $ 경우를 해결하였으며, 이전 방법들이 컷오프 함수 기여도가 크기 때문에 실패한 바 있다.
• 특히 $ n=2 $ 에서는 $ \inf_{\bar{g} \in [g]} \frac{\lambda_1^+(\bar{g})^2}{\mu_1(\bar{g})} \leq \frac{1}{2} $ 라는 부등식을 도출하였으며, 여기서 $ \mu_1 $ 은 라플라시안의 첫 번째 양의 고유값이다.
• 점근 분석 결과, 컷오프 함수의 기울기 항이 $ \delta \to 0 $ 일 때 디랙 노름에 기여하는 바가 사라지므로, 유계가 날카로워질 수 있다.
• 구성된 시험 스피너는 극한에서 $ \int |D\psi|^2 \to 8\pi $ 이고 $ \int \langle D\psi, \psi \rangle \to 4\pi\varepsilon $ 를 만족하며, 이는 최종적으로 $ \lambda_{\rm min}^{+}(M,g,\sigma)^2 \cdot {\rm Vol}(M) \leq 4\pi + o(1) $ 를 이끈다.
• 결과적으로 표준 구가 유계를 도달함을 확인하였으며, 이 방법은 $ n=2 $ 를 포함한 모든 차원에서 통일된 접근을 제공한다.