[논문 리뷰] A quantitative relative index theorem and Gromov's conjectures on positive scalar curvature

Zhizhang Xie|arXiv (Cornell University)|2021. 03. 26.

Advanced Operator Algebra Research참고 문헌 43인용 수 8

한 줄 요약

이 논문은 양의 스칼라 곡률에 대한 그로모프의 추측을 다루는 데 위한 개념적 프레임워크를 제공하는 정량적 상대 지표 정리(quantitative relative index theorem)를 수립한다. 구면과 반구면에서 특정 부분집합을 제거한 리만 메트릭에 대해 점 渐近적으로 최적인 λ-Lipschitz 강성 정리(λ-Lipschitz rigidity theorem)를 증명하고, 그로모프의 □^{n-m} 부등식 및 리만 입자와 밴드의 폭에 대한 관련 기하 제약 조건에 대해 최적은 아니지만 타당한 경계를 도출한다.

ABSTRACT

In this paper, we prove a quantitative relative index theorem. It provides a conceptual framework for studying some conjectures and open questions of Gromov on positive scalar curvature. More precisely, we prove a $λ$-Lipschitz rigidity theorem for (possibly incomplete) Riemannian metrics on spheres with certain types of subsets removed. This $λ$-Lipschitz rigidity theorem is asymptotically optimal. As a consequence, we obtain an asymptotically optimal $λ$-Lipschitz rigidity theorem for positive scalar curvature metrics on hemispheres. These give positive answers to the corresponding open questions raised by Gromov. As another application, we prove Gromov's $\square^{n-m}$ inequality on the bound of distances between opposite faces of spin manifolds with cube-like boundaries with a suboptimal constant. As immediate consequences, this implies Gromov's cube inequality on the bound of widths of Riemannian cubes and Gromov's conjecture on the bound of widths of Riemannian bands with suboptimal constants. Further geometric applications will be discussed in a forthcoming paper.

연구 동기 및 목표

• 정량적 상대 지표 정리를 기반으로 한 개념적 프레임워크를 개발하여 그로모프의 양의 스칼라 곡률 추측을 연구하는 데 목적이 있다.
• 구면과 반구면에서 특정 부분집합을 제거한 리만 메트릭에 대해 점 渐진적으로 최적인 λ-Lipschitz 강성 정리를 증명하는 데 목적이 있다.
• 스핀 다양체에서 큐브 형태의 경계를 가진 다양체의 반대 면 사이의 거리에 대한 그로모프의 □^{n-m} 부등식에 대해 최적은 아니지만 타당한 경계를 확립하는 데 목적이 있다.
• 이러한 결과를 확장하여 리만 입자와 밴드의 폭에 대한 경계를 유도하고, 최적화되지 않은 상수를 사용하여 그로모프의 추측을 확인하는 데 목적이 있다.
• 정량적 지표 정리의 보편 상수 C에 대한 수치적 추정치를 제공하고, 최적화된 정규화 함수를 통해 이전의 경계를 향상시키는 데 목적이 있다.

제안 방법

• 경계가 있는 리만 다양체의 갈루아 피복에 대해 정량적 상대 지표 정리를 수립하며, 최대 군 C*-대수와 고차 지표를 사용한다.
• 이 정리를 부분집합이 제거된 리만 다양체에 적용하며, 보완의 r-근처에서 등거리성과 클리포드 호환성 조건을 가정한다.
• 디랙 연산자 제곱에서 곡률 항을 통해 제거된 부분집합의 곡률 조건을 부과한다: D_j^2 = ∇*∇ + R_j.
• 傅리에 변환의 지지 집합이 [-2,2]에 포함되는 정규화 함수 χ를 사용하여 스펙트럼 성질을 제어하고 보편 상수 C에 대한 경계를 도출한다.
• 짝수이면서 컴act하게 지지된 함수 f에 대한 수치적 최적화를 통해 σ를 최소화하며, χ_f(x) ≈ 1 (x ≥ σ) 및 χ_f(x) ≈ -1 (x ≤ -σ)가 되도록 한다.
• 문제를 f의 삼각함수 다항식 근사에 대한 선형부등식계의 해법으로 환원하여, σ와 개선된 C-추정치의 수치적 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 그로모프의 양의 스칼라 곡률 추측을 다룰 수 있는 정량적 상대 지표 정리를 수립할 수 있는가?
• RQ2 구면에서 부분집합을 제거한 메트릭에 대한 λ-Lipschitz 강성 정리가 점 渐진적으로 최적인가?
• RQ3 제안된 프레임워크를 통해 그로모프의 □^{n-m} 부등식을 최적화되지 않은 상수로 증명할 수 있는가?
• RQ4 정량적 지표 정리의 보편 상수 C에 대해 가장 좋은 수치적 추정치는 무엇인가?
• RQ5 이 프레임워크를 확장하여 리만 입자와 밴드의 폭에 대한 경계를 도출할 수 있는가?

주요 결과

• 논문은 특정 부분집합을 제거한 구면에서의 (가능한 완비되지 않은) 리만 메트릭에 대해 점 渐진적으로 최적인 λ-Lipschitz 강성 정리를 증명한다.
• 반구면에서 양의 스칼라 곡률 메트릭에 대해 점 渐진적으로 최적인 λ-Lipschitz 강성 정리가 확립된다.
• 정량적 상대 지표 정리는 σ·r > C 이면 항상 Ind_Γ( D̃₁ ) - Ind_Γ( D̃₂ ) = 0 이 되며, KO_n(C_max*(Γ;ℝ)) 내에서 성립한다. 표준 정규화 함수를 사용할 경우 C ≤ 86.0463 이다.
• 개선된 수치적 추정치는 최적화된 정규화 함수를 사용하여 C ≤ 40.65로 감소시키며, n=50일 때 약 σ ≈ 1.355를 달성할 수 있다.
• 이 프레임워크는 그로모프의 □^{n-m} 부등식에 대해 최적화되지 않은 상수를 제공하여, C ≤ 40.65로 부등식이 성립함을 확인한다.
• 즉각적인 결과로서, 논문은 최적화되지 않은 상수를 사용하여 그로모프의 입자 부등식과 밴드 폭에 대한 추측을 증명하며, 주요 정리와 일관된다.