[논문 리뷰] Homological index formulas for elliptic operators over C*-algebras

Charlotte Wahl|arXiv (Cornell University)|2006. 03. 30.

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

한 줄 요약

이 논문은 K-이론에서 매끄러운 부분대수의 de Rham 호모로지로 가는 Karoubi의 캐런 특성에 의해, C*-대수 계수를 가진 닫힌 다양체 위의 타원형 연산자에 대한 호모로지적 인덱스 공식을 수립한다. 일반적인 인덱스 정리를 증명하여, 덮개의 고차 인덱스 정리, 평탄한 폴리에이션 다발, C*-동역학계를 통합하고 확장하며, 비가환 스펙트럴 플로우와 C*-대수 위의 미분연산자의 정규성에 응용한다.

ABSTRACT

We prove index formulas for elliptic operators acting between sections of C*-vector bundles on a closed manifold. The formulas involve Karoubi's Chern character from K-theory of a C*-algebra to de Rham homology of smooth subalgebras. We show how they apply to the higher index theorem for coverings and to flat foliated bundles, and prove an index theorem for C*-dynamical systems associated to actions of compact Lie groups. In an Appendix we relate the pairing of odd K-theory and KK-theory to the noncommutative spectral flow and prove the regularity of elliptic pseudodifferential operators over C*-algebras.

연구 동기 및 목표

• C*-대수 계수를 가진 닫힌 다양체 위의 타원형 연산자에 대해 Karoubi의 캐런 특성을 이용한 호모로지적 인덱스 공식을 개발한다.
• 이 인덱스 공식이 덮개와 평탄한 폴리에이션 다발의 고차 인덱스 정리와 어떻게 관련되어 있는지 규명한다.
• 콤��� 리 군 작용과 관련된 C*-동역학계에 대한 인덱스 정리를 수립한다.
• 인덱스 이론의 맥락에서 K-이론과 KK-이론의 쌍대화가 비가환 스펙트럴 플로우와 어떻게 관련되어 있는지 연결한다.
• Sobolev 공간 위에서 C*-대수 위의 타원형 미분연산자에 대한 정규성과 수반 가능성(аджой나빌리티)을 증명한다.

제안 방법

• C*-대수의 K-이론에서 그 매끄러운 부분대수의 de Rham 호모로지로 가는 Karoubi의 캐런 특성을 활용한다.
• Karoubi의 캐런 특성이 K-이론의 텐서곱과 호환되도록 보장하여, Mishenko–Fomenko의 캐런 특성과 비교한다.
• 인덱스 공식을 적용하여 Connes–Moscovici의 고차 인덱스 정리의 C*-대수적 형태를 유도한다.
• 평탄한 폴리에이션 다발을 위한 새로운 매끄러운 부분대수를 도입하여 이전의 구성들을 일반화한다.
• 타원형 미분연산자가 적절한 Sobolev 공간 간에 정규적인 비유계 연산자로서 및 수반 가능하다는 것을 증명한다.
• C*-대수 위의 고전적 미분연산자의 기호 수열의 정확성(exactness)을 이용하여 핵심적인 구조적 성질을 확립한다.

실험 결과

연구 질문

• RQ1 Karoubi의 캐런 특성을 어떻게 활용하여 C*-대수 위의 타원형 연산자에 대한 호모로지적 인덱스 공식을 구성할 수 있는가?
• RQ2 C*-대수적 인덱스 이론의 맥락에서 Karoubi의 캐런 특성과 Mishenko–Fomenko의 캐런 특성 간의 관계는 무엇인가?
• RQ3 제안된 인덱스 공식이 덮개와 평탄한 폴리에이션 다발의 고차 인덱스 정리를 어떻게 복원하거나 일반화하는가?
• RQ4 K₁-이론과 KK-이론의 쌍대화가 비가환 스펙트럴 플로우와 어떤 방식으로 관련되어 있는가?
• RQ5 Sobolev 공간 위에서 C*-대수 위의 타원형 미분연산자의 정규성 및 수반 가능성 성질은 무엇인가?

주요 결과

• 논문은 C*-대수 계수를 가진 닫힌 다양체 위의 타원형 연산자에 대해 Karoubi의 캐런 특성을 de Rham 호모로지로 이용한 일반적인 인덱스 정리를 증명한다.
• 인덱스 공식은 Connes–Moscovici의 고차 인덱스 정리의 C*-대수적 형태를 특수한 경우로 포함한다.
• 논문은 $ K_1(\text{A}) \times KK_1(\text{A}, \text{B}) \to K_1(\text{B}) $의 쌍대화가 비가환 스펙트럴 플로우에 해당함을 수립한다.
• C*-대수 위의 타원형 미분연산자가 고정된 Sobolev 공간 위에서 비유계 연산자로서 정규적이며, Sobolev 공간 간에 수반 가능하다는 것이 입증된다.
• 항등사상은 연산자의 힐버트 C*-모듈과 Sobolev 공간 $ H^s(M,E) $ 사이에 수반 가능한 동형사상(induces an adjointable isomorphism)을 유도하여 인덱스가 잘 정의됨을 보장한다.
• C*-대수 위의 고전적 미분연산자에 대한 기호 수열이 정확함을 보이며, $ \Psi_{\mathcal{A}} \cong \Psi_{\mathbb{C}} \otimes \mathcal{A} $로 표현되어 K-이론 클래스의 구조를 유지한다.