루프군과 뒤틀린 K 이론 I

본 논문은 “Loop groups and twisted K‑theory I”라는 제목 아래, 컴팩트 리 군 G와 그 루프군 LG 사이의 깊은 관계를 뒤틀린 등변 K‑이론을 매개로 탐구한다. 서두에서는 등변 K‑이론이 리 군의 구조와 표현론을 연결하는 강력한 도구임을 강조하고, 루프군의 양자화(positive energy representation)와 그에 대응하는 ‘Verlinde 환’이 존재함을 소개한다. 이러한 환은 퓨전 곱이라는 특별한 곱 구조를 갖는데, 이는 전통적인 K‑이론의 Pontryagin 곱과 유사하지만, 뒤틀림이 존재할 때만 정확히 정의된다. 2장에서는 뒤틀림(twisting)의 개념을 구체화한다. 먼저 ‘그레이드된 T‑번들’과 ‘그레이드된 중앙 확장’이라는 두 단계의 구조를 정의하고, 이를 통해 K‑이론에 삽입될 수 있는 뒤틀림을 형식화한다. 뒤틀림은 H⁰_G(X;ℤ/2)·H¹_G(X;ℤ/2)·H³_G(X;ℤ) 로 분류되며, 각각 차수, 1차 위상, 그리고 레벨에 해당한다. 특히 레벨 τ는 LG의 중앙 확장 U(1) → ĹG → LG와 동형이며, 이는 뒤틀린 K‑이론의 핵심 파라미터가 된다. 3장에서는 뒤틀린 K‑그룹 K^τ_G(X) 를 정의하고, 그 공리들을 검증한다. Thom 동형, 푸시포워드, 그리고 Pontryagin 곱 등 전통적인 K‑이론 연산이 뒤틀린 상황에서도 그대로 적용될 수 있음을 보이며, 특히 Pontryagin 곱은 ‘primitive’ 뒤틀림(즉, 곱사상 아래에서 뒤틀림이 직접 합으로 분해되는 경우)에만 정의된다는 중요한 제약을 제시한다. 또한, 기본 스펙트럴 시퀀스와 Mayer‑Vietoris 전개를 이용해 계산 가능한 도구들을 마련한다. 4장에서는 본 논문의 핵심 계산을 수행한다. 가정은 G가 연결이며 기본군 π₁(G)가 자유 아벨 군(즉, 무토션)이라는 것이다. 이 경우, G의 Weyl 군 W와 토러스 T의 가중 격자 Λ, 코중량 격자 Π를 이용해 K^ζ(τ)_G(G) 를 명시적으로 구한다. 여기서 ζ(τ)=g+ĥ+τ 라는 뒤틀림은 세 부분으로 구성된다. ‘g’는 G의 인접 표현에서 유도된 뒤틀림, ‘ĥ’는 그 전이(transgression)된 dual Coxeter 뒤틀림, 그리고 τ는 레벨에 대응한다. 계산 결과는 Δ⁻¹·K^ζ(τ)_G(G) ≅ Δ⁻¹·R(G)/I_τ 로 요약되며, 여기서 Δ는 Weyl 분모, I_τ는 ‘Verlinde 이상’이라 불리는 특정 표현들의 차원을 소거하는 아이디얼이다. 이 식은 기존에 복잡하게 다루어졌던 Verlinde 대수와 정확히 일치함을 보여준다. 정리 1(주요 정리)은 위 계산을 토대로, 레벨 τ에 대한 Verlinde 환 R_τ(LG) 와 뒤틀린 등변 K‑이론 K^ζ(τ)_G(G) 가 동형이며, 퓨전 곱 ↔ Pontryagin 곱 대응을 갖는다고 선언한다. 특히 G가 단순·단순 연결이면 H³_G(G)≅ℤ 로서 레벨과 뒤틀림이 정수 하나로 완전히 기술된다. 부록 A에서는 그룹오이드를 상세히 정의하고, ‘강하게 등변’ 그룹오이드를 통해 뒤틀린 K‑이론이 실제로는 전통적인 G‑작용 공간에 대한 K‑이론과 동등함을 보인다. 또한, Hilbert 번들, Fredholm 연산자, 그리고 K‑이론 스펙트럼을 그룹오이드 위에 구축하는 기술적 배경을 제공한다. 논문의 마지막 부분에서는 향후 파트 II, III 에서 다룰 내용들을 예고한다. 파트 II에서는 Dirac 연산자를 이용해 일반 컴팩트 리 군에 대한 Verlinde 환을 정의하고, 파트 III에서는 이 구조를 Kac‑Moody 군까지 일반화한다. 또한, Rothenberg‑Steenrod 스펙트럴 시퀀스 K_G^*(ΩG) → K_G^τ(G) 를 통해 루프군의 등변 K‑이론과 전통적인 대수적 토폴로지 사이의 새로운 연결고리를 제시한다. 전반적으로 이 논문은 뒤틀린 등변 K‑이론을 체계적으로 구축하고, 이를 통해 루프군의 양자화 구조와 Verlinde 대수 사이의 깊은 동형을 밝혀냈으며, 향후 연구에 풍부한 도구와 방향을 제공한다.