[논문 리뷰] Callias-type operators in $C^\ast$-algebras and positive scalar curvature on noncompact manifolds

S. Cecchini|arXiv (Cornell University)|2016. 11. 06.

Advanced Operator Algebra Research참고 문헌 27인용 수 4

한 줄 요약

이 논문은 비콤팩트 스피너 다양체 위의 힐버트 $C^{\bullet}$-대수 모듈러스 번들의 틀린 캘리아스형 연산자에 대한 이론을 개발하고, 완전한 메트릭이 양의 스칼라 곡률을 가질 수 없는 새로운 장벽을 이끌어내는 인덱스 정리를 확립한다. 핵심 결과는 완전한 스피너 다양체 $M$가 코디멘션-일치 부분다양체 $N$를 가지며, 스칼라 곡률이 비음성이고 $N$ 근처에서 엄격히 양성일 경우, 복소 라이즈버그 인덱스 $\alpha_{\mathbb{C}}(N)$가 반드시 0이 되어야 한다는 것이다. 이는 이러한 기하학적 구조에 대해 강력한 제약 조건을 제공한다.

ABSTRACT

A Dirac-type operator on a complete Riemannian manifold is of Callias-type if its square is a Schrödinger-type operator with a potential uniformly positive outside of a compact set. We develop the theory of Callias-type operators twisted with Hilbert $C^\ast$-module bundles and prove an index theorem for such operators. As an application, we derive an obstruction to the existence of complete Riemannian metrics of positive scalar curvature on noncompact spin manifolds in terms of closed submanifolds of codimension-one.

연구 동기 및 목표

• 비콤팩트 다양체 위의 힐버트 $C^*$-모듈러스 번들에 대한 캘리아스형 연산자의 인덱스 이론을 확장하기.
• 비콤팩트 스피너 다양체 위에 완전한 리만 메트릭이 양의 스칼라 곡률을 가질 수 없는 새로운 장벽을 확립하기.
• 만약 $N \times \mathbb{R}$가 비음성 스칼라 곡률을 가지며 $N$ 근처에서 엄격히 양성 곡률을 가진 완전한 메트릭을 가질 경우, 복소 라이즈버그 인덱스 $\alpha_{\mathbb{C}}(N)$가 0이 되는 것을 증명하기.
• 기본군에 대한 포함 사상 $i_*: \pi_1(N) \to \pi_1(M)$의 단사성 조건을 요구함으로써 로젠버그의 정리 1.3을 비균일 양의 스칼라 곡률 메트릭으로 일반화하기.

제안 방법

• 완전한 리만 다양체 위에서 캘리아스형 연산자를 다루기 위한 함수해석학적 프레임워크를 개발하며, 여기서 제곱 연산자는 컴팩트 집합 외부에서 양의 잠재력과 관련된 슈뢰딩거형 연산자이다.
• 기본군의 복소 군 $C^*$-대수에 관련된 힐버트 $C^*$-모듈러스 번들 값의 틀린 디랙 연산자를 도입하고 연구한다.
• 특정 지지집합 및 기울기 조건을 만족하는 커프오프 함수의 수열 $\{\phi_k\}$을 사용하여 항등원을 근사하고 연산자 노름을 제어한다.
• C^*$-대수의 순환 표현 이론을 적용하여 변형된 캘리아스 연산자의 수반성질을 분석하고, $L^2$-의미에서 자기수반성을 증명한다.
• 보흐너-리히너오피츠 공식과 콜라 주변의 곡률 양성 조건을 활용하여 인덱스 불변량의 소멸을 도출한다.
• 지배 수렴 정리와 $\|\phi_k Q_\rho s\|_0$의 균일한 유계성을 활용하여 극한으로 넘어가고, 형식적 수반의 필요 조건을 확립한다.

실험 결과

연구 질문

• RQ1 만약 $N \times \mathbb{R}$가 완전한 메트릭을 가지며 양의 스칼라 곡률을 가질 경우, 닫힌 스피너 다양체 $N$에 대해 복소 라이즈버그 인덱스 $\alpha_{\mathbb{C}}(N)$가 어떤 조건에서 소멸하는가?
• RQ2 비콤팩트 다양체에서의 양의 스칼라 곡률에 대한 장벽이 균일 양의 곡률 조건을 초월하여 부분다양체 근처에서의 약간의 점별 양성 곡률 조건으로 확장될 수 있는가?
• RQ3 기본군에 대한 포함 사상 $i_*: \pi_1(N) \to \pi_1(M)$의 단사성이 인덱스 소멸 결과에 어떤 역할을 하는가?
• RQ4 $C^*$-대수적 틀림 방식이 비콤팩트 다양체의 기존 인덱스 이론 장벽을 어떻게 정교화하는가?
• RQ5 복소 $C^*$-대수적 인덱스 장벽을 사용하여, 그로모프-로우슨-로젠버그 추측을 만족하는 모든 닫힌 스피너 다양체에 대해 추측 1.2를 도출할 수 있는가?

주요 결과

• 완전한 스피너 다양체 $M$가 코디멘션-일치 부분다양체 $N$를 가지며, 포함 사상이 $\pi_1$에서 단사일 경우, $M$이 비음성 스칼라 곡률을 가지며 $N$의 콜라 주변에서 엄격히 양성 곡률을 가질 경우, 복소 라이즈버그 인덱스 $\alpha_{\mathbb{C}}(N)$는 반드시 0이 된다.
• 결과는 실린더 $N \times \mathbb{R}$에도 적용되며, 만약 그러한 다양체가 비음성 스칼라 곡률과 $N$ 근처에서 엄격히 양성 곡률을 가진 완전한 메트릭을 가질 경우, $\alpha_{\mathbb{C}}(N) = 0$이 되며, 이는 균일 양성 조건이 없더라도 성립한다.
• 증명은 커프오프 함수와 $\|\phi_k Q_\rho s\|_0$의 균일 유계성에 기반한 새로운 함수해석적 접근을 사용하며, 이는 $L^2$-수렴을 보장한다.
• 자기수반성은 기울기가 제어된 커프오프 함수의 수열을 포함한 극한 근사에 의한 방법으로 확립된다.
• 이 방법은 전체 다양체에서 스칼라 곡률의 균일 양성 조건이 필요로 하지 않아, 더 넓은 범위의 메트릭에 적용 가능한 장벽을 제공한다.
• 결과는 로젠버그의 정리 1.3의 부분 역을 제공하며, 이를 비균일 양의 스칼라 곡률 메트릭으로 확장한다.