[논문 리뷰] Differential Equivariant K-Theory

Michael Luis Ortiz|ArXiv.org|2009. 05. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 40인용 수 12

한 줄 요약

이 논문은 매끄러운 다양체 위의 유한군 작용에 대한 미분 등변 K-이론의 기하학적 정의를 제안하며, Hopkins와 Singer의 프레임워크를 확장한다. 이는 위상수학적 등변 푸시포워드를 개선하는 푸시포워드 맵을 구성하고, 추측된 해석적 공식을 증명한다: 한 점으로의 미분 등변 푸시포워드는 외부로 뒤틀린 디랙 연산자의 등변 에타 불변량과 일치한다. 이는 자유 작용, 경계, 일반적인 미분 K-이론의 경우에 검증된다.

ABSTRACT

Following Hopkins and Singer, we give a definition for the differential equivariant K-theory of a smooth manifold acted upon by a finite group. The ring structure for differential equivariant K-theory is developed explicitly. We also construct a pushforward map which parallels the topological pushforward in equivariant K-theory. An analytic formula for the pushforward to the differential equivariant K-theory of a point is conjectured, and proved in the boundary case, in the case of a free action, and for ordinary differential K-theory in general. The latter proof is due to K. Klonoff.

연구 동기 및 목표

• 유한군 작용이 있는 매끄러운 다양체에 대한 등변 K-이론의 기하학적, 미분적 개선을 개발하는 것.
• 위상수학적 등변 푸시포워드를 일반화하는 미분 등변 K-이론 내의 푸시포워드 맵을 정의하는 것.
• 미분 푸시포워드와 외부로 뒤틀린 디랙 연산자의 등변 에타 불변량을 동일시하는 해석적 공식을 추측하고 증명하는 것.
• 미분 코hom로지 프레임워크 내에서 캐런 지표와 곡률 맵과의 호환성을 확립하는 것.
• 특수한 경우에서 추측을 입증하는 것: 경계 다양체, 자유군 작용, 일반적인 미분 K-이론.

제안 방법

• 등변 캐런 지표를 통해 등변 K-이론과 등변 de Rham 코homology를 연결하기 위해 Atiyah-Segal 국소화 정리를 사용한다.
• 고정점 집합 위의 미분형식을 사용하여 등변 K-이론의 미분적 개선으로서 미분 등변 K-이론을 정의하고, 곡률 및 특성류 맵과 함께 가환 다이어그램에 맞춘다.
• 위상수학적 푸시포워드를 개선하는 $\wp_\Gamma$ 맵을 $\check{K}^0_\Gamma(X)$ 에서 $\check{K}^{-\dim X}_\Gamma(\text{pt})$ 로 구성한다.
• 홀수 $i$ 에 대해 $\check{K}^{-i}_\Gamma(\text{pt}) \cong R(\Gamma) \otimes \mathbb{R}/R(\Gamma)$ 인 등급을 이용하여 토파스 불변량을 포착한다.
• 군 $\Gamma$ 의 기약 표현을 통한 디랙 연산자의 고유공간 분해를 사용하여 등변 에타 불변량을 특성의 합으로 표현한다.
• 직교 투영과 특성 이론을 적용하여 푸시포워드를 에타 불변량과 연결하고, 일반적인 미분 K-이론 내의 알려진 결과로 환원하여 추측을 증명한다.

실험 결과

연구 질문

• RQ1 고정점 집합 위의 위상수학적 K-이론과 미분형식을 모두 포함하는, 등변 K-이론의 미분적 개선을 구성할 수 있는가?
• RQ2 미분 등변 K-이론 내의 푸시포워드가 디랙 연산자의 등변 에타 불변량을 통해 해석적으로 표현될 수 있는가?
• RQ3 $(X,V)$ 가 경계일 경우에 추측된 $\wp_\Gamma(\check{x}) = \xi_\Gamma(D_V)$ 가 성립하는가?
• RQ4 Klonoff 가 자명군에 대해 한 것처럼, 추측을 경계 경우나 일반적인 미분 K-이론으로 환원할 수 있는가?
• RQ5 푸시포워드 맵은 미분 설정에서 표현환과 특성 이론과 어떻게 상호작용하는가?

주요 결과

• 미분 등변 K-이론 군 $\check{K}^{-i}_\Gamma(X)$ 는 곡률 $\omega$ 와 특성류 $c$ 와 함께 가환 다이어그램에 들어가며, 위상수학적 이론을 개선한다.
• 푸시포워드 맵 $\wp_\Gamma: \check{K}^0_\Gamma(X) \to \check{K}^{-\dim X}_\Gamma(\text{pt})$ 가 구성되고, 위상수학적 푸시포워드를 개선한다는 게 입증된다.
• 홀수 차원의 $X$ 에서, 푸시포워드는 토러스 $(R(\Gamma) \otimes \mathbb{R})/R(\Gamma)$ 에 떨어지며, 2차 기하 불변량을 포착한다.
• 추측 $\wp_\Gamma(\check{x}) = \xi_\Gamma(D_V)$ 는 $(X,V)$ 가 경계일 경우에 증명되었으며, Klonoff 의 결과를 일반화한다.
• 자유 작용 및 일반적인 미분 K-이론의 경우에도 추측이 증명되었으며, 경계 경우로의 환원을 통해 이루어졌다.
• 증명은 디랙 연산자의 고유공간을 기약 표현을 통해 분해하고, 에타 불변량을 특성의 합으로 표현하는 데 의존한다.