부드러운 K 이론: 분석과 응용

본 논문은 부드러운 코호몰로지 이론의 일반적 틀을 복소 K‑이론에 적용하여, 완전한 해석적 모델을 제시한다. 서론에서는 부드러운 코호몰로지의 역사적 배경을 소개하고, Cheeger‑Simons 차별적 문자와 Hopkins‑Singer 모델을 언급하며, 부드러운 K‑이론이 필요함을 동기화한다. 이어서 저자들은 부드러운 확장의 공리(곡률, 망각, 형태 작용)와 곱 구조에 대한 정의를 제시하고, 이를 복소 K‑이론에 맞추어 Z/2‑graded 링 ˆK(B)를 구축한다. 핵심 구성은 ‘기하학적 가족’이라는 데이터이다. 이는 기본적인 벡터 번들, 연결, 그리고 Dirac 연산자를 포함하는 구조로, 사이클 (E,ρ) 형태로 정의된다. 여기서 ρ는 Ω(B)/im(d)의 형태이며, 이는 부드러운 데이터의 차이를 기록한다. 두 사이클 사이의 관계는 (i) 동형동형 관계와 (ii) η‑형식에 기반한 차등 관계로 정의되며, 이는 Bismut‑Lott 슈퍼커넥션의 변분식과 일치한다. 이러한 관계를 통해 ˆK(B)의 동등류를 형성하고, 정확한 장 exact sequence K(B)→Ω(B)/im(d)→ˆK(B)→K(B)→0 를 얻는다. 다음 장에서는 정사영 p:W→B가 K‑오리엔테이션을 가질 때의 푸시포워드 연산을 정의한다. K‑오리엔테이션은 전통적인 스핀^c 구조와 연결된 기하학적 가족을 부드러운 형태로 강화한 것으로, 이를 통해 Bismut‑Freed의 위상적 인덱스 클래스를 부드러운 형태 A(p)∈ˆH^ev(W,ℚ) 로 만든다. 푸시포워드 ˆp! 은 사이클 수준에서 Bismut‑Lott 슈퍼커넥션을 적분하고, 보정 항 A(p)와 결합해 정의된다. 저자들은 이 연산이 함자성, 풀백과의 교환성, 곱에 대한 투영 공식, 보디즘 공식 등을 만족함을 상세히 증명한다. 특히 보디즘 공식은 경계가 있는 경우에도 푸시포워드가 경계 연산과 교환함을 보인다. 그 후 부드러운 체르니 캐릭터 ˆch 를 구축한다. 벡터 번들 V에 연결을 부여한 기하학적 가족을 입력으로, 전통적인 체르니 캐릭터 ch(V) 를 부드러운 형태로 정제한다. 이 과정에서 η‑형식과 전위 형태를 조합해 보정 항을 삽입함으로써, ˆch 가 곱을 보존하고, 유리 계수에서 동형임을 (ˆK(B)⊗ℚ≅ˆH(B,ℚ)) 증명한다. 또한 ˆch 가 푸시포워드와 호환됨을 보이기 위해, 수정된 푸시포워드 ˆp_A! 와의 교환 관계 ˆch∘ˆp! = ˆp_A!∘ˆch 를 입증한다. 이는 부드러운 아티야‑싱어 지수정리의 핵심이며, 전통적인 인덱스 정리의 부드러운 버전이다. 마지막 장에서는 다양한 예시와 응용을 제시한다. 매핑 토러스, 커널 번들, S^1‑값 맵, SU(2) 위의 K‑1 클래스, Z/kZ‑불변량, 스핀‑보디즘 등 다양한 기하학적 상황에서 부드러운 K‑클래스를 계산한다. 또한 부드러운 Grothendieck‑Riemann‑Roch 정리를 서술하고, 기존의 Hopkins‑Singer 모델과 평탄 이론과의 비교를 통해 새 모델의 장점을 강조한다. 결론에서는 부드러운 K‑이론이 양자장 이론의 전위 형태와 위상 전하 정량화 문제에 제공할 수 있는 가능성을 논의한다.