[논문 리뷰] A cohomological formula for the Atiyah-Patodi-Singer index on manifolds with boundary

Carrillo Rouse, Paulo, Paulo Carrillo Rouse외 2명|arXiv (Cornell University)|2012. 07. 15.

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

한 줄 요약

이 논문은 군oids $C^*$-대수의 $K$-이론과 군oids 기법을 사용하여 경계를 가진 다양체에서 Atiyah-Patodi-Singer(APS) 지수에 대한 코homological 공식을 제시한다. 특히, 군oids의 $C^*$-대수의 $K$-이론을 통해 일반화된 Atiyah-Singer 접근 방식을 적용하고, 정규 쌍곡선으로의 변형과 탄성 군oids 구조를 이용함으로써, 비국소적 경계 조건으로 인해 기존 방법이 실패하는 비유한, 경계 영향을 받는 설정으로의 고전적 지수 정리의 확장을 달성한다. 이는 정규 군집의 특이성에 대한 적분으로 표현된 지수 공식을 유도한다.

ABSTRACT

We give a cohomological formula for the index of a fully elliptic pseudodifferential operator on a manifold with boundary. As in the classic case of Atiyah-Singer, we use an embedding into an euclidean space to express the index as the integral of a cohomology class depending in this case on a noncommutative symbol, the integral being over a $C^\\infty$-manifold called the singular normal bundle associated to the embedding. The formula is based on a K-theoretical Atiyah-Patodi-Singer theorem for manifolds with boundary that is drawn from Connes' tangent groupoid approach.

연구 동기 및 목표

• 비국소적 경계 조건으로 인해 표준 방법이 실패하는 경계를 가진 다양체로 Atiyah-Singer 지수 정리를 확장하기 위해.
• 비가환 위상수학과 군oids $C^*$-대수를 이용한 비가환 $K$-이론 프레임워크를 통해 APS 지수를 개발하기 위해.
• 고전적 Atiyah-Singer 공식과 유사하지만 경계를 가진 다양체에 적응된 코homological 공식을 제공하기 위해.
• 유클리드 공간에 대한 임bedding과 관련된 특이 정규 군집을 통한 지수의 기하학적 해석을 수립하기 위해.
• Connes의 탄성 군oids 접근 방식을 경계를 가진 다양체의 설정으로 일반화하여, APS 정리의 직접적인 군oids 해석을 피하기 위해.

제안 방법

• 경계를 가진 다양체에서 프레드홀름 미분형 연산자의 해석적 지수를 모델링하기 위해 군oids에 관련된 $C^*$-대수의 $K$-이론을 사용한다.
• 정규 쌍곡선으로의 변형 함수를 적용하고, $\mathbb{R}^N$에 임베딩된 경계를 가진 다양체를 위한 탄성 군oids를 구축한다.
• Connes-Thom 동형과 $\mathbb{R}^N$에서의 준직접 군oids 구성법을 사용하여 정규 군집과 유클리드 공간을 연결한다.
• 지수를 미분형식의 적분을 통해 계산할 수 있도록 하는 스무스 다양체로서의 특이 정규 군집을 도입한다.
• 타원형 이론, 정규 군집으로의 제약, Bott 주기성의 조합으로 해석적 지수를 실현함으로써 $K$-이론적 APS 지수 정리를 수립한다.
• Chern 특성형식의 적분으로 표현된 코homological 공식을 도출하기 위해 $K$-이론적 지수를 de Rham 코homology로 변환한다.

실험 결과

연구 질문

• RQ1 경계를 가진 다양체에서 Atiyah-Patodi-Singer 지수는 고전적 Atiyah-Singer 공식과 유사한 코homological 형태로 어떻게 표현할 수 있는가?
• RQ2 군oids $C^*$-대수의 $K$-이론을 통해 비국소적 경계 조건의 문제를 극복할 수 있는가?
• RQ3 특이 정규 군집은 지수를 스무스 다양체 위의 적분으로 실현하는 데 어떤 역할을 하는가?
• RQ4 탄성 군oids 구조는 경계를 가진 다양체로 어떻게 일반화되어 APS 지수를 복원하는가?
• RQ5 Connes의 군oids 접근 방식은 어느 정도까지 APS 지수 정리의 $K$-이론적 공식화를 위한 것으로 일반화될 수 있는가?

주요 결과

• 논문은 특이 정규 군집 위의 적분으로 표현된 새로운 코homological 공식을 통해 APS 지수를 수립한다: $\text{ind}\,D = \int_{N(M)} \text{ch}(\mathscr{T}([\sigma_D]))$.
• 해석적 지수는 $K^0(T^*M) \xrightarrow{\mathscr{T}} K^0(N(M)) \xrightarrow{j!} K^0(\mathbb{R}^N) \xrightarrow{B} \mathbb{Z}$의 형태로, Atiyah-Singer 분해를 일반화한 사상의 조합으로 실현된다.
• 임베딩에 관련된 자유로운 적절한 준직접 군oids를 사용하여 탄성 군oids 변형이 잘 정의됨을 보장한다.
• 특이 정규 군집이 $C^\infty$-다양체임을 증명하여 코homological 공식에서 미분형식의 적분이 가능함을 보장한다.
• 군oids 작용의 적절성과 사상 $h: \mathscr{G} \to \mathbb{R}^N$의 단사성에 기반하여 탄성 군oids 내 수열의 수렴성을 확보한다.
• 최종 공식은 $\mathbb{R}^N$에 대한 임베딩의 선택과 무관하며, 지수가 위상적 성질이므로 이러한 변형에 대해 불변하기 때문이다.