[논문 리뷰] Positive curvature, partial vanishing theorems, and coarse indices

John Roe|arXiv (Cornell University)|2012. 10. 23.

Advanced Operator Algebra Research참고 문헌 3인용 수 11

한 줄 요약

이 논문은 완비 리만다이만 다양체 위의 딜라 연산자에 대해, 부분집합 $ Z $ 외부에서 양의 곡률을 가지는 국소화된 거친 색인 정리를 수립한다. 이는 이러한 연산자의 거친 색인이 $ C^*(Z\backslash X) $, 즉 $ Z $ 근처에 지지된 연산자의 $ C^* $-대수의 $ K $-이론에 속해 있음을 보여준다. 주요 결과는 유한 전파와 곡률 경계 조건을 기반으로 한 상대 색인 구성에 의해, 그로모프-로우슨 소멸 정리를 비유한 공간으로 일반화한다.

ABSTRACT

Let M be a complete Riemannian manifold, D a Dirac-type operator on M whose Weitzenbock curvature is uniformly positive on the complement of a subset Z of M. We show that the coarse index of D is localized to the K-theory of the coarse C*-algebra of Z. Applications are discussed, including a coarse form of the relative index theorem.

연구 동기 및 목표

• 양의 곡률이 부분집합 $ Z $ 외부에서 성립할 조건 하에서 거친 색인의 부분 소멸 정리에 대한 상세한 증명을 제공함으로써, 이전의 거친 색인 이론 결과를 확장한다.
• 곡률의 양성과 $ C^*(Z\backslash X) $의 $ K $-이론에서의 거친 색인의 지지 집합 간의 관계를 명확히 한다.
• 외부에서 곡률이 일관되게 양성인 영역 $ Z $ 에서 동일한 조건을 만족하는 딜라 연산자에 대해 상대 색인 정리를 수립한다.
• 국소화된 거친 색인이 오직 $ Z $ 근처의 기하학에 의존하며, 대규모 기하학적 구조와 독립적임을 보여준다.
• 거친 색인과 $ K $-호모로지 사이의 연결 고리를 거친 어셈블리 맵을 통해 형식화하며, 상대 호모로지 클래스를 사용한다.

제안 방법

• 유한 전파 속도 방법을 사용하여 딜라 연산자의 함수 해석학, 특히 $ f(D) $ (함수 $ f $ 가 $ (-a,a) $ 에 컴actsupport를 가지는 경우) 를 분석한다.
• 웨이츠엔보크 공식 $ D^2 = \nabla^*\nabla + R_D $ 을 적용하며, 여기서 $ R_D $ 는 곡률 자기변환이고, $ Z $ 외부에서 $ R_D \geq a^2 I $ 라고 가정한다.
• 경계 사상이 $ D^*(X)/C^*(X) $ 의 $ K $-이론 정확수열에서 작용하는 바에 따라, 국소화된 거친 색인 $ \operatorname{Index}_Z(D) \in K_j(C^*(Z\subseteq X)) $ 를 정의한다. 이때 $ C^*(Z\subseteq X) $ 는 이상으로 간주된다.
• 두 다양체 $ (M_1, M_2) $ 가 $ Z $ 외부에서 일치할 경우를 고려하여, 그에 대응하는 피복 $ C^* $-대수 $ A $ 를 도입함으로써, $ K_j(C^*(Z)) $ 에서의 상대 색인 정의를 가능하게 한다.
• 분할된 짧은 정확수열을 사용하여 $ K_j(A) $ 를 직합으로 분해하고, 상대 색인을 국소화된 색인의 차이로 분리한다.
• 거친 어셈블리 맵 $ A: K_*(Z) \to K_*(C^*(Z)) $ 를 이용하여 상대 색인이 상대 호모로지 클래스와 연결되며, 이는 국소 기하학에 대한 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 부분집합 $ Z $ 외부에서 양의 곡률이 성립할 경우, $ K $-이론에서 거친 색인의 지지 집합에 어떤 영향을 미치는가?
• RQ2 곡률이 $ Z $ 외부에서 일관되게 양성일 경우, 딜라 연산자의 거친 색인이 부분집합 $ Z $ 로 국소화될 수 있는가?
• RQ3 국소화된 거친 색인과 $ K $-이론에서의 상대 색인 간의 정확한 관계는 무엇인가?
• RQ4 상대 색인이 오직 불일치 영역 근처의 기하학에 의존하는가, 아니면 전체 기하학적 구조에 의존하는가?
• RQ5 거친 어셈블리 맵은 상대 호모로지 클래스를 $ C^*(Z) $ 의 $ K $-이론과 어떻게 연결하는가?

주요 결과

• 곡률 자기변환 $ R_D $ 가 모든 $ x \notin Z $ 에 대해 $ R_D \geq a^2 I $ 를 만족하면, 모든 $ f \in C_c(-a,a) $ 에 대해 $ f(D) \in C^*(Z\subseteq X) $ 이며, 이는 국소화된 색인이 $ K_j(C^*(Z\subseteq X)) $ 에 속해 있음을 의미한다.
• 거친 색인 $ \operatorname{Index}(D) \in K_j(C^*(X)) $ 는 $ \operatorname{Index}_Z(D) \in K_j(C^*(Z\subseteq X)) $ 를 통해 인수분해되며, 이는 양의 곡률 조건 하에서 색인이 $ Z $ 근처에 지지됨을 보여준다.
• 상대 색인 $ \operatorname{Index}_r(D_1,D_2) \in K_j(C^*(Z)) $ 는 $ K_j(A) $ 의 직합 분해에서 $ \operatorname{Index}_Z(D_1) - \operatorname{Index}_Z(D_2) $ 의 성분으로 정의되며, 이는 오직 $ Z_1 $ 과 $ Z_2 $ 근처의 기하학에 의존한다.
• 상대 색인은 $ K_*(Z) $ 의 상대 호모로지 클래스에 대한 거친 어셈블리 맵의 상이며, 이는 오직 불일치 영역 근처의 국소 기하학에 의존한다.
• 만약 $ Z $ 가 컴팩트하다면 $ C^*(Z\subseteq X) $ 는 컴팩트 연산자와 동형이며, 국소화된 색인은 고전적 프레드홀름 색인을 회복한다. 이는 그로모프-로우슨 소멸 정리를 일반화한다.
• 모든 정규화 함수 $ \chi $ 에 대해 $ \chi^2 - 1 $ 이 $ (-a,a) $ 에 지지되어 있으면, $ \chi(D) $ 는 $ C^*(Z\subseteq X) $ 모odulo 에서 잘 정의된 인보리션을 정의한다.