[논문 리뷰] Scalar Curvature on Compact Symmetric Spaces

Mario Listing|arXiv (Cornell University)|2010. 07. 12.

Geometric Analysis and Curvature Flows참고 문헌 8인용 수 8

한 줄 요약

이 논문은 국소 대칭 공간 $$(M_0,g_0)$$ 의 스칼라 곡률 비율 비교 조건을 약화시켜 컴팩트 대칭 공간에 대한 새로운 스칼라 곡률 고정성 결과를 확립한다. 만약 $$ \mathrm{scal}_g \cdot g \geq \mathrm{scal}_0 \cdot g_0 $$ 을 만족하는 메트릭 $$g$$가 존재하면, $$\chi(M_0) \neq 0$$ 이면 $$g$$는 $$g_0$$의 상수배여야 한다. 표준 구면 $$S^{2m}$$의 경우 조건을 더 약화시켜 $$\mathrm{scal}_g \geq (2m-1)\cdot\mathrm{tr}_g(g_0)$$로 줄여도 여전히 $$g$$는 표준 메트릭의 상수배임을 유도할 수 있다.

ABSTRACT

A classic result by Gromov and Lawson states that a Riemannian metric of non--negative scalar curvature on the Torus must be flat. The analogous rigidity result for the standard sphere was shown by Llarull. Later Goette and Semmelmann generalized it to locally symmetric spaces of compact type and nontrivial Euler characteristic. In this paper we improve the results by Llarull and Goette, Semmelmann. In fact we show that if $(M,g_0)$ is a locally symmetric space of compact type with $χ(M) eq 0$ and $g$ is a Riemannian metric on $M$ with $\mathrm{scal}_g\cdot g\geq \mathrm{scal}_0\cdot g_0$, then $g$ is a constant multiple of $g_0$. The previous results by Llarull and Goette, Semmelmann always needed the two inequalities $g\geq g_0$ and $\mathrm{scal}_g\geq \mathrm{scal}_0$ in order to conclude $g=g_0$. Moreover, if $(S^{2m},g_0)$ is the standard sphere, we improve this result further and show that any metric $g$ on $S^{2m}$ of scalar curvature $\mathrm{scal}_g\geq (2m-1)\mathrm{tr}_g(g_0)$ is a constant multiple of $g_0$.

연구 동기 및 목표

• 이전의 대칭 공간에 대한 스칼라 곡률 고정성 결과를 일반화하여, 메트릭 비례를 유도하기 위한 조건을 약화시키는 것.
• Llarull과 Goette–Semmelmann의 이전 연구에서 중심이었던 면적 또는 거리 감소 사상의 필요성을 제거하는 것.
• 메트릭이 컴팩트 대칭 공간에 대해 여전히 고정성을 보이도록 하는 국소적이고 스케일 불변 곡률 비교 조건을 설정하는 것.
• 표준 구면 $$S^{2m}$$에 대한 고정성 조건을 점별 메트릭 비교에서 메트릭 트레이스 기반 부등식으로 줄이는 것.
• 기하적 사상 조건 대신 새로운 함수 기반 비교 방법을 사용하여 스칼라 곡률 고정성 결과를 통합하고 확장하는 것.

제안 방법

• 스칼라 곡률를 상한으로 제어하는 음이 아닌 함수를 다양체 위에 도입하여 전역 사상 조건의 필요성을 대체한다.
• 디랙 연산자와 스핀 기하학을 이용하여 $$\widehat{A}$$-유형과 지수 이론을 통해 곡률 비교를 유도한다.
• 메트릭 $$\overline{g} = \alpha g$$를 가진 리만 하향사상 $$f: (M, \overline{g}) \to (M_0, g_0)$$를 정의하고 수평 및 수직 분해에서 리치 곡률의 분해를 분석한다.
• 리만 수평 배분에서 리치 텐서의 트레이스를 사용하여 $$\alpha$$, $$\mathrm{d}\alpha$$ 및 곡률 항을 포함하는 핵심 PDE를 유도한다.
• 유도된 방정식에 부분 적분을 적용하여 곡률 조건 하에서 왼쪽 항은 비음성, 오른쪽 항은 비양성임을 보인다.
• 결국 $$\mathrm{d}\alpha = 0$$, $$|A|^2 = 0$$, $$|T|^2 = |N|^2$$ 는 $$\alpha$$ 가 상수임을 의미하므로 $$g$$는 $$g_0$$의 상수배임을 유추한다.

실험 결과

연구 질문

• RQ1 컴팩트 대칭 공간에서 면적 또는 거리 감소 사상의 가정 없이도 스칼라 곡률 고정성을 확립할 수 있는가?
• RQ2 에일러 특성 $$\chi(M_0) \neq 0$$ 인 대칭 공간에서 메트릭이 원래 메트릭의 상수배임을 보장하는 가장 약한 곡률 비교 조건은 무엇인가?
• RQ3 표준 구면 $$S^{2m}$$에 대한 고정성 조건을 점별 메트릭 비교에서 트레이스 기반 부등식으로 어떻게 약화시킬 수 있는가?
• RQ4 이전 연구에서 전역 사상 기반 가정을 대체하여 국소적이고 점별 스케일링된 스칼라 곡률 비교로 전환할 수 있는가?
• RQ5 에일러 특성 또는 커베이르 반특성의 비영인 정규 동차 공간으로 고정성 결과를 확장할 수 있는가?

주요 결과

• 모든 국소 대칭 공간 $$(M_0, g_0)$$ 가 컴팩트 유형이며 $$\chi(M_0) \neq 0$$ 이면, 만약 점별적으로 $$\mathrm{scal}_g \cdot g \geq \mathrm{scal}_0 \cdot g_0$$ 를 만족하면 $$g$$는 $$g_0$$의 상수배여야 한다.
• 표준 구면 $$S^{2m}$$ 에서는 조건 $$\mathrm{scal}_g \geq (2m-1)\cdot\mathrm{tr}_g(g_0)$$ 가 성립하면 $$g$$는 표준 메트릭의 상수배임을 유도한다.
• 이 증명은 이전 연구에서 요구되었던 면적 또는 거리 감소 사상에 대한 가정을 피한다.
• 이 방법은 조율 인자 $$\alpha$$를 가진 리만 하향사상에 기반하며, 곡률 PDE의 적분을 통해 $$\mathrm{d}\alpha = 0$$ 를 유도한다.
• 적분 후 유도된 핵심 방정식은 $$\int_M c(n,m)\alpha^{n-4}|\pi_{\mathcal{H}}\mathrm{d}\alpha|^2_g + \frac{m(n-2)}{2}\alpha^{n-4}|\pi_{\mathcal{H}^\perp}\mathrm{d}\alpha|^2_g = -\int_M 2|A|^2_{\overline{g}} + (|T|^2_{\overline{g}} - |N|^2_{\overline{g}})$$ 이며, 이는 $$n,m \geq 3$$ 일 때 $$\mathrm{d}\alpha = 0$$ 을 강제한다.
• 결과는 $$|T|^2 = |N|^2$$ 인 경우에도 성립하며, 최소한의 섬유 조건 하에서 메트릭 $$g$$는 리치 평탄한 섬유를 가진 국소 리만 곱으로 표현된다.