지역 지수 이론과 Z/kZ K‑이론의 분석 지수 및 리만‑로흐‑그로텐베르크 공식

초록

본 논문은 폐곡면을 갖는 스핀ᶜ 섬유를 가진 서브머전 π:X→B에 대해, 커널 번들 가정 없이 Atiyah‑Singer‑Gorokhovsky‑Lott(ASGL) 접근법을 이용해 odd Z/kZ K‑이론에서 코사이클 수준의 분석 지수 indₐᵏ를 정의한다. 또한 이 지수의 Cheeger‑Chern‑Simons 형태를 원래 코사이클의 형태와 연결시키는 Riemann‑Roch‑Grothendieck(RRG) 유형 공식도 증명한다. 마지막으로 indₐᵏ와 RRG 공식이 R/ℤ K‑이론의 대응 결과들을 정밀하게 정제함을 보인다.

상세 분석

논문은 먼저 Atiyah‑Patodi‑Singer이 제시한 Z/kZ K‑이론을 Karoubi의 함자적 정의와 결합해, 기하학적 번들(계량·연결을 포함) 범주 Bun∇(X) 위에 ϕₖ,∇ 함자를 정의한다. 이를 통해 odd Z/kZ K‑그룹 K⁻¹(X;ℤ/kℤ)을 k‑코사이클 (E,F,α) (α:kE→kF) 로 표현한다. 주요 목표는 서브머전 π:X→B의 스핀ᶜ 디랙터 연산자 D_S⊗E, D_S⊗F에 대해 커널 번들 가정을 두지 않고도, 각각의 “기하학적 커널 번들” Ker(D_S⊗E;Δ_E), Ker(D_S⊗F;Δ_F) 를 구성하고, α에 대응하는 Z₂‑그레이드 사상 e_h 을 만든 뒤,
indₐᵏ(E,F,α) := ( Ker(D_S⊗E;Δ_E), Ker(D_S⊗F;Δ_F), e_h )
을 B 위의 k‑코사이클로 정의한다. 여기서 Δ_E, Δ_F는 ASGL 방식의 퍼트베이션이며, Bismut‑Cheeger η‑형식의 변분 공식을 확장해 e_h를 얻는다. 중요한 기술적 단계는 (1) η‑형식의 변분 공식을 커널 번들 가정 없이 증명하고, (2) 두 접근법(ASGL vs. Miščenko‑Fomenko‑Freed‑Lott, 이하 MFFL)에서 얻은 기하학적 커널 번들의 차이를 보정하기 위해 추가적인 trivial 번들을 적절히 삽입해 도메인·코도메인의 차원을 k의 배수로 맞추는 것이다. 이 과정에서 Lemma 5.1과 Proposition 5.5가 핵심 역할을 한다.

다음으로 Cheeger‑Chern‑Simons 형태 CCSₖ(E,F,α) 를 정의하고, B‑측의 η‑형식 eη(E,π,HE,sE), eη(F,π,HF,sF)와 결합해
CCSₖ(indₐᵏ(E,F,α)) = ∫_{X/B} T_odd(∇TVX)∧CCSₖ(E,F,α) + eη(E) − eη(F)
(동등류는 d‑exact 형태로서) 라는 RRG‑유형 공식을 증명한다. 이는 전통적인 R/ℤ K‑이론의 RRG 정리와 일치함을 보이기 위해, 각 k‑코사이클을 R/ℤ K‑이론의 생성자 T(E,F,α) 로 사상하는 사상 T:K⁻¹(X;ℤ/kℤ)→K⁻¹(X;ℝ/ℤ) 을 정의하고, Proposition 6.2·6.3을 통해
T(indₐᵏ(E,F,α)) = indₐ^{ℝ/ℤ}(T(E,F,α))
임을 확인한다. 따라서 indₐᵏ와 그 RRG 공식은 R/ℤ K‑이론의 대응 결과들을 보다 미세한 ℤ/kℤ‑정수 구조로 정제한다는 결론에 도달한다. 마지막으로, ASGL과 MFFL 접근법이 차등 K‑이론(bK)에서 동일한 분석 지수를 제공함을 Proposition 4.1(=Proposition B)로 증명함으로써, 본 논문의 결과가 두 전통적 방법론 사이의 일관성을 확보함을 보인다.