[논문 리뷰] A proof of Gromov's cube inequality on scalar curvature

Jinmin Wang, Zhizhang Xie외 1명|arXiv (Cornell University)|2021. 05. 25.

Advanced Operator Algebra Research참고 문헌 21인용 수 6

한 줄 요약

이 논문은 디랙 연산자 방법을 사용하여 모든 차원에서 그로모프의 입자형 불등식에 대한 완전한 증명을 제공하며, 불등식의 최적 상수 $\frac{1}{4\pi^2}$를 확립한다. 이는 이면 각 조건 하에서 엄밀한 불등식을 증명함으로써 $n \geq 9$ 차원에 대한 추측을 해결하고, 커버링 공간 위의 지수 이론을 통해 모서리가 있는 스피너 다양체로 결과를 확장한다.

ABSTRACT

Gromov proved a cube inequality on the bound of distances between opposite faces of a cube equipped with a positive scalar curvature metric in dimension $\leq 8$ using minimal surface method. He conjectured that the cube inequality also holds in dimension $\geq 9$. In this paper, we prove Gromov's cube inequality in all dimensions with the optimal constant via Dirac operator method. In fact, our proof yields a strengthened version of Gromov's cube inequality, which does not seem to be accessible by minimal surface method.

연구 동기 및 목표

• 모든 차원, 특히 이전에 증명되지 않았던 $n \geq 9$ 차원에서 그로모프의 스칼라 곡률에 대한 입자형 불등식을 증명하는 것.
• 이 불등식에서 최적 상수 $\frac{1}{4\pi^2}$를 확립하여 이전의 비최적 상한을 향상시키는 것.
• 고급 지수 이론과 상대 지수 정리법을 통해 모서리가 있는 스피너 다양체로 결과를 확장하는 것.
• 이면 각이 $\pi$ 미만일 경우 엄밀한 불등식이 성립하는 강화된 버전을 증명하여, 최소 표면 방법으로는 접근할 수 없는 결과를 확보하는 것.

제안 방법

• 스칼라 곡률 유계를 도출하기 위해 $\mathbb{R}^n$ 상에서 적절히 선택된 포텐셜을 가진 디랙 연산자를 사용하여 지수를 계산한다.
• 정량적 상대 지수 정리를 적용하여 캘리아스 유형 연산자의 지수를 다양체의 기하학과 연결한다.
• $\Gamma$-균형 지수 이론을 모서리가 있는 다양체의 $\Gamma$-커버링 공간 $\widetilde{Z}$ 상에서 적용하여 지수의 비영임을 탐지한다.
• $\widetilde{Y}_{\pitchfork} \times \mathbb{R}^m$ 상에서 일반화된 보트-디랙 연산자를 구성하여 지수를 비교하고, 불등식이 실패할 경우 모순을 이끌어낸다.
• 귀납법을 사용하여 기울기 노름이 제어되고, 컴acts한 수준집합을 갖는 다양체 $Z$ 상에 완비 거리형을 구축한다.
• 고차 지수의 곱 공식과 상대 지수 정리를 적용하여 $\mathrm{Ind}_\Gamma(B_o) = \mathrm{Ind}_\Gamma(B)$임을 보이고, $D_{\widetilde{Y}_{\pitchfork}}$의 지수가 비영일 경우 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 그로모프의 입자형 불등식이 스칼라 곡률에 대해 최적 상수 $\frac{1}{4\pi^2}$를 갖는 모든 차원, 특히 $n \geq 9$ 에서도 성립하는가?
• RQ2 이면 각이 $\pi$ 미만일 경우 엄밀한 불등식 형태의 입자형 불등식을 증명할 수 있는가?
• RQ3 지수 이론적 방법을 사용하여 입자형 불등식을 모서리가 있는 스피너 다양체로 확장할 수 있는가?
• RQ4 디랙 연산자 방법이 최소 표면 방법으로는 접근할 수 없는 강화된 불등식을 제공할 수 있는가?
• RQ5 기본군과 그의 단사성은 엄밀한 불등식 증명에서 어떤 역할을 하는가?

주요 결과

• 스칼라 곡률 $\mathrm{Sc}_g \geq k > 0$ 일 때, 모든 $n \geq 2$ 에 대해 불등식 $\sum_{i=1}^{n} \frac{1}{\ell_i^2} \geq \frac{kn}{4\pi^2(n-1)}$ 이 성립하며, 상수 $\frac{1}{4\pi^2}$ 는 최적이 된다.
• 이면 각이 $\pi$ 보다 작을 경우 엄밀한 불등식 $\sum_{i=1}^{n} \frac{1}{\ell_i^2} > \frac{kn}{4\pi^2(n-1)}$ 이 성립하며, 이는 $\min_i \ell_i < 2\pi \sqrt{\frac{n-1}{k}}$ 를 의미한다.
• 이 증명은 최소 표면 방법으로는 접근할 수 없는 강화된 그로모프의 불등식을 도출하며, 이는 모서리가 있는 다양체에서의 지수 이론의 사용 덕분이다.
• 결과는 $n$차원의 모서리가 있는 스피너 다양체 $X$ 와 codimension $m$ 의 부분다양체 $Y_{\pitchfork}$ 로 일반화되며, $\mathrm{Sc}(X) \geq k > 0$ 조건 하에서 불등식 $\sum_{i=1}^{m} \frac{1}{\ell_i^2} \geq \frac{kn}{4\pi^2(n-1)}$ 이 성립한다.
• 불등식이 성립하기 위해서는 고차 지수 $\mathrm{Ind}_\Gamma(D_{Y_{\pitchfork}})$ 가 $KO_{n-m}(C^*_\text{max}(\Gamma;\mathbb{R}))$ 에서 비영이어야 하며, 이는 위상수학적 성질과 곡률 유계를 연결한다.
• 증명에서의 모순은 역수의 합이 너무 작다고 가정함으로써 발생하며, 이는 캘리아스 유형 연산자의 지수가 0이 되게 하지만, 보트-디랙 연산자의 지수는 여전히 비영이기 때문이다.