뒤틀린 K‑동형론을 통한 지오메트릭 사이클과 지수 정리

초록

본 논문은 파라콤팩트 하우스도프 공간 (X) 위에 주어지는 3차 동형 (\alpha : X \to K(\mathbb Z,3))에 대한 (\alpha)-뒤틀린 Spin(^c) 다양체들의 bordism 군을 연구한다. 저자는 이 군에 대해 위상학적 지수와 분석적 지수를 정의하고, 두 지수가 동일함을 증명한다. 또한 Baum‑Douglas식 기하학적 사이클을 차용한 뒤틀린 K‑동형론의 기하학적 모델을 제시한다. 마지막으로, 이러한 뒤틀린 지수 정리를 이용해 뒤틀린 종단 지수 정리를 전개하고, 이는 Connes‑Skandalis의 foliated index theorem과 Atiyah‑Singer 가족 지수 정리를 뒤틀린 경우로 일반화한다.

상세 분석

논문은 먼저 (\alpha)-뒤틀린 Spin(^c) 구조를 정의한다. 여기서 (\alpha)는 (X)의 3차 Eilenberg‑MacLane 공간으로의 매핑이며, 이는 전통적인 Spin(^c) 구조에 (K)-이론 차원의 뒤틀림을 부여한다. 저자는 (\Omega^{\mathrm{Spin}^c}_(X,\alpha))라 명명한 (\alpha)-뒤틀린 Spin(^c) bordism 군을 구성하고, 이 군의 원소를 ((M,f,\xi)) 형태의 삼중항으로 표현한다. 여기서 (M)은 폐쇄된 Spin(^c) 다양체, (f:M\to X)는 연속 사상, (\xi)는 (f^\alpha)에 의해 정의된 뒤틀린 복소 벡터 번들이다.

위상학적 지수 (\operatorname{ind}t)는 Thom 동형사상과 Atiyah‑Bott‑Shapiro 구성에 기반해 정의된다. 구체적으로, (M)의 정상 번들에 대한 (K)-이론 클래스와 (\xi)의 K‑이론 클래스를 푸시포워드하여 (K^{\mathrm{top}}(X,\alpha))에 사상한다. 반면, 분석적 지수 (\operatorname{ind}a)는 Dirac 연산자와 그 뒤틀린 버전을 이용한다. (\alpha)에 의해 정의된 뒤틀린 복소 번들을 차용한 Spin(^c) Dirac 연산자를 구성하고, 그 핵심 지표인 Fredholm 지수를 K‑동형론의 분석적 모델 (K^{\mathrm{an}}(X,\alpha))에 매핑한다.

핵심 정리는 두 지수가 동일함을 보이는 동형정리이다. 저자는 Kasparov의 KK‑이론과 Baum‑Douglas의 기하학적 K‑동형론을 결합해, 위상학적 지수와 분석적 지수 사이의 자연스러운 변환을 구축한다. 이 과정에서 Poincaré‑Duality와 Thom‑Isomorphism의 뒤틀린 버전을 정밀히 다루며, 특히 (K)-이론의 차원 상승 연산이 (\alpha)에 의해 어떻게 변형되는지를 상세히 계산한다.

또한, 논문은 기하학적 뒤틀린 K‑동형론 (K_*^{\mathrm{geo}}(X,\alpha))을 정의한다. 여기서 사이클은 Baum‑Douglas식 ((M,E,f))에 뒤틀린 구조 (\xi)를 추가한 형태이며, 동형, 보드리즘, 그리고 벡터 번들 합동 관계를 통해 동등 클래스를 만든다. 저자는 이 기하학적 모델이 위상학적 및 분석적 모델과 동형임을 증명함으로써, 기존의 Baum‑Douglas 정리의 뒤틀린 아날로그를 완성한다.

마지막으로, 저자는 이러한 이론을 foliated manifold ((X,\mathcal F))에 적용한다. foliated 구조는 기본 군 (\pi_1)와 연관된 동형 (\alpha)와 결합해, foliated longitudinal 연산자의 뒤틀린 버전을 정의한다. Connes‑Skandalis의 index theorem을 뒤틀린 상황으로 일반화하고, 동시에 Atiyah‑Singer 가족 지수 정리의 뒤틀린 버전을 도출한다. 이는 비가환 기하학과 전통적인 대수적 위상수학 사이의 다리를 놓는 중요한 결과로 평가된다.