[논문 리뷰] Quantitative K-theory, positive scalar curvature, and band width

Hao Guo, Zhizhang Xie외 1명|arXiv (Cornell University)|2020. 10. 05.

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

한 줄 요약

이 논문은 삼각형 이론의 고차수 이론을 연산자 K-이론에서 정량적으로 개선하여 양의 스칼라 곡률과 그로모프의 밴드 폭 추측을 연구한다. 스핀 다양체에서 균일하게 양의 스칼라 곡률을 가질 경우, 고차수 지표가 사라지는 전파 척도는 곡률 하한의 제곱근의 역수에 비례하며, 정량적 K-이론 기법을 사용하여 명시적인 상수를 포함한 밴드 폭 부등식을 증명한다.

ABSTRACT

We develop two connections between the quantitative framework of operator $K$-theory for geometric $C^*$-algebras and the problem of positive scalar curvature. First, we introduce a quantitative notion of higher index and use it to give a refinement of the well-known obstruction of Rosenberg to positive scalar curvature on closed spin manifolds coming from the higher index of the Dirac operator. We show that on a manifold with uniformly positive scalar curvature, the propagation at which the index of the Dirac operator vanishes is related inversely to the curvature lower bound. Second, we give an approach, using related techniques, to Gromov's band width conjecture, which has been the subject of recent work by Zeidler and Cecchini from a different point of view.

연구 동기 및 목표

• 기하학적 C*-대수에서의 고차수 이론에 대한 정량적 프레임워크를 개발하기 위해.
• 정량적 K-이론을 사용하여 로제르의 양의 스칼라 곡률에 대한 장벽을 정밀화하기 위해.
• 정량적 지표 소멸을 사용하여 그로모프의 밴드 폭 추측에 대한 새로운 증명을 제공하기 위해.
• 곡률과 관련된 명시적 경계를 통해 밴드 폭에 대한 균일한 상한을 확립하기 위해.

제안 방법

• 기하학적 C*-대수의 프레임워크에서 연산자 K-이론을 바탕으로 정량적 최대 고차수 지표를 도입하기 위해.
• 스펙트럼 스킴과 컷오프 함수를 사용하여 균일 커버 위의 디랙 연산자의 근사 단위를 구성하기 위해.
• 스펙트럼 프로젝션과 리졸베이트의 노름에 대한 추정을 적용하여 지표의 전파를 통제하기 위해.
• 함수 해석학과 다항식 근사(테일러 급수를 통한)를 사용하여 디랙 연산자의 역행의 근사 오차를 제한하기 위해.
• 근사 단위와 그 역행의 노름에 대한 균일한 경계를 곡률과 척도 매개변수의 관계로 확립하기 위해.
• 정량적 지표 소멸 조건을 활용하여 곡률 의존적인 상한을 통해 밴드 폭에 대한 상한을 유도하기 위해.

실험 결과

연구 질문

• RQ1 디랙 연산자의 고차수 지표가 사라지는 전파 척도는 스칼라 곡률의 하한에 어떻게 의존하는가?
• RQ2 정량적 K-이론이 폐쇄된 스핀 다양체에서 양의 스칼라 곡률 계량의 존재에 대한 정밀한 장벽을 제공할 수 있는가?
• RQ3 K-이론적 방법을 사용하여 그로모프 추측의 최적 정량적 경계는 무엇인가?
• RQ4 정량적 고차수 지표를 사용하여 기존의 밴드 폭 추정치를 복원하거나 개선할 수 있는가?
• RQ5 양의 스칼라 곡률을 가진 다양체에 대한 밴드 폭 부등식의 명시적 상수는 무엇인가?

주요 결과

• 균일하게 양의 스칼라 곡률 $ c $ 를 가진 폐쇄된 스핀 다양체에서, 디랙 연산자의 $ \Gamma $-동차 정량적 최대 고차수 지표는 $ r \geq \frac{\omega_0}{\sqrt{c}} $ 에서 사라지며, 여기서 $ \omega_0 $ 는 절대 상수이다.
• 스칼라 곡률 $ \sigma > 0 $ 를 가진 다양체 $ V \cong M \times [-1,1] $ 의 밴드 폭 $ L $ 은 $ L \leq C \sqrt{\frac{n-1}{n}} \frac{1}{\sqrt{\sigma}} $ 를 만족하며, 짝수 $ n $ 에서는 $ C \leq 190\pi $, 홀수 $ n $ 에서는 $ C \leq 328\pi $ 이다.
• 만약 $ L > C \sqrt{\frac{n-1}{n}} \frac{1}{\sqrt{\sigma}} $ 이면, 최대 고차수 지표 $ \operatorname{Ind}_{\Gamma,\textnormal{max}}(D_{\widetilde{M}}) $ 는 $ K_1(C^*_{\textnormal{max}}(\Gamma)) $ 에서 사라진다.
• 이 방법은 곡률 경계와 유 end-전파 시점에서 지표의 소멸을 연결하는 리히너비츠 지표 소멸 정리의 정량적 개선을 제공한다.
• 수치적 추정치는 근사 단위 구성에서의 오차가 0.209 이하임을 보여주며, 이는 K-이론에서의 변형 이론 적용 가능성을 보장한다.
• 컴퓨터 보조 개선을 통해 상수 $ C $ 는 약 $ 64\pi $ 로 감소시킬 수 있으며, 이는 원래의 경계를 더욱 정밀하게 개선한다.