루프군과 뒤틀린 K이론 I

초록

본 논문은 콤팩트 리 군 G의 뒤틀린 등변 K-이론과 그 루프군의 “베를린데 환”(Verlinde ring) 사이의 관계를 탐구하는 연속 논문 시리즈의 첫 번째이다. 여기서는 뒤틀린 등변 K-군, 더 일반적으로는 군동형체(groupoid)의 뒤틀린 K-이론의 기초를 구축한다. 효과적인 계산을 가능하게 하는 충분한 기본 성질들을 정립하고, Mayer‑Vietoris 스펙트럴 시퀀스를 이용하여 기본군이 무한소 없는(compact connected Lie group G, π₁이 torsion‑free) 경우의 뒤틀린 등변 K-군을 계산한다. 마지막으로 이 계산을 뒤틀림에 대응하는 레벨(level)에서의 루프군 표현론과 연결시킨다.

상세 요약

이 논문은 현대 수학·물리학에서 중요한 두 축, 즉 고전적인 위상수학적 도구인 K‑이론과 양자장론·정수론에서 등장하는 루프군의 표현론을 연결하려는 시도이다. 기존의 “Verlinde ring”은 2차원 컨포멀 필드 이론(CFT)에서 나타나는 모듈러 변환 성질과 관련된 유한 차원 가환 대수 구조로, 루프군의 정수 레벨(level) 표준표현들의 가환적 결합법칙을 기술한다. 한편, 뒤틀린 K‑이론은 전통적인 K‑이론을 일반화하여, 배경 전자기장(또는 B‑field)과 같은 ‘뒤틀림(twist)’에 의해 변형된 벡터 번들을 다룰 수 있게 한다. 특히 등변(Equivariant) 버전은 대칭군 G의 작용을 동시에 고려함으로써, 물리학에서 말하는 ‘게이지 대칭’과 직접적인 연관을 갖는다.

논문은 먼저 군동형체(groupoid) 전반에 걸친 뒤틀린 K‑이론의 정의와 기본 성질을 체계화한다. 여기서 중요한 점은 뒤틀림을 3‑계(cohomology class in H³)로 지정하고, 이를 ‘돌베르그(Deligne) 2‑버클’ 혹은 ‘U(1)‑가산 2‑형식’으로 해석함으로써, 기존의 스펙트럼 시퀀스와 푸시‑포워드(pull‑push) 연산을 그대로 적용할 수 있게 만든다. 이러한 일반화는 기존 문헌에서 다루어지던 ‘twisted equivariant K‑theory for compact groups’보다 훨씬 포괄적이며, 특히 비자유 작용이나 비정상적인 고리 구조를 포함하는 경우에도 적용 가능하도록 설계되었다.

핵심 계산 도구로는 Mayer‑Vietoris 스펙트럴 시퀀스가 사용된다. 저자들은 G가 연결되고 π₁(G)가 torsion‑free인 경우, G를 적절한 최대 토러스와 그 보조군들의 합성으로 분해하고, 각 조각에 대한 뒤틀린 K‑군을 명시적으로 구한다. 이후 시퀀스의 E₂ 페이지를 분석하여 최종적인 K‑군을 도출하는 과정에서, 뒤틀림 클래스가 루프군 레벨(k)와 정확히 일치함을 보인다. 즉, 뒤틀린 등변 K‑군의 구조는 레벨 k의 양자화된 루프군 표현들의 가환 대수와 동형임을 증명한다. 이는 물리학에서 ‘양자 윌슨 선형화(quantum Wilson line)’와 ‘카시-시루(Verlinde) 공식’이 수학적으로 동일한 구조를 공유한다는 강력한 증거가 된다.

이 결과는 두 가지 중요한 함의를 가진다. 첫째, 뒤틀린 K‑이론을 이용해 루프군의 고차원 표현론을 위상수학적 방법으로 계산할 수 있는 새로운 길을 연다. 둘째, 물리학에서의 ‘정수 레벨’ 조건이 위상수학적 뒤틀림 클래스의 정수성 조건과 정확히 대응한다는 사실을 명시적으로 보여줌으로써, 양자장론과 대수적 위상수학 사이의 교량을 강화한다. 향후 논문 시리즈에서는 이러한 기초 결과를 바탕으로 비단 컴팩트 군뿐 아니라 비컴팩트 혹은 초대칭(supersymmetric) 경우까지 일반화하고, 모듈러 형식과 K‑이론 사이의 깊은 관계를 탐구할 것으로 기대된다.