미분 꼬임 K이론과 그 응용

초록

본 논문에서는 꼬임 게라베(gerbe)의 연결과 커빙을 선택함으로써 정의되는 미분 꼬임 K이론을 체계화하고, 이에 대한 꼬임 체르니 캐릭터를 구축한다. 또한 꼬임 K이론에서 일반화된 리만-로흐 정리를 증명하고, 이를 이용해 컴팩트 단순 리군들의 꼬임 K이론을 계산한다.

상세 분석

논문은 먼저 전통적인 K-이론을 꼬임(또는 ‘twisted’) 구조와 결합하는 방법을 재정의한다. 꼬임은 3차 동형류 H³(X,ℤ) 로 표현되는 디비전 클래스에 대응하는 가브라(gerbe)로 모델링되며, 이 가브라에 연결(connection)과 커빙(curving) 데이터를 부여함으로써 미분 형태의 정보를 끌어낸다. 저자들은 이러한 데이터가 주어졌을 때, 미분 꼬임 K-이론 (\widehat{K}^{\tau}(X)) 를 스무스 스택 혹은 Deligne 복합체를 이용해 구체적으로 구성한다. 핵심은 전통적인 K-이론의 차원 상승 구조와, 가브라의 2-형식(curvature 3‑form) 사이의 일관성을 확보하는 데 있다.

그 다음, 저자들은 꼬임 Chern character (\operatorname{ch}{\tau} : \widehat{K}^{\tau}(X) \to \Omega^{\text{even}}(X)/\operatorname{im} d) 를 정의한다. 이 사상은 선택된 연결과 커빙에 의존하지만, 동형류 수준에서는 독립성을 보인다. 구체적으로, (\operatorname{ch}{\tau})는 전통적인 Chern‑Weil 이론을 꼬임 배경에 끌어와, 3‑형식 H와 결합된 ‘twisted de Rham complex’를 통해 미분 형식 클래스를 만든다. 이 과정에서 Bianchi identity와 같은 기본적인 미분 기하학적 관계가 꼬임 상황에서도 유지됨을 확인한다.

리만‑로흐 정리의 일반화는 두 가지 주요 성분을 포함한다. 첫째, 푸시포워드(정역) 연산 (f_{!} : \widehat{K}^{\tau}(X) \to \widehat{K}^{\tau’}(Y)) 가 적절한 스핀ᶜ 구조와 꼬임 전이 (\tau \mapsto \tau’) 를 만족할 때 정의될 수 있음을 보인다. 둘째, 푸시포워드와 꼬임 Chern character 사이에 다음과 같은 교환식이 성립한다.
\