지배적 K이론과 카크모다이 군의 최고 가중 표현

초록

본 논문은 Kac‑Moody 군의 단위형 G에 대해 적절한 G‑CW 복합체 위에서 정의되는 새로운 G‑동형 K‑이론 K_G를 구축하고, 이 이론을 통해 적분가능한 최고 가중 표현들의 그루톤디 그룹이 G의 적절한 작용을 위한 클래스ifying 공간 EG 위의 K‑이론 K_G^*(EG)와 일대일 대응함을 증명한다. 특히 콤팩트형 Kac‑Moody 군과 확장 콤팩트형(예: E₁₀) 경우를 상세히 계산하고, 아핀 경우에는 Freed‑Hopkins‑Teleman 결과와 일치함을 확인한다.

상세 분석

이 연구는 기존의 K‑이론이 주로 유한 차원 리군이나 컴팩트 리군에 적용되는 한계를 넘어, 무한 차원 Kac‑Moody 군, 특히 그 유니터리 형태 G에 대한 동형 K‑이론을 체계적으로 정의한다는 점에서 혁신적이다. 저자들은 ‘적절한 G‑CW 복합체’라는 범주를 도입해, G가 비컴팩트이면서도 적절한 작용을 갖는 경우에도 K‑이론을 정의할 수 있는 토대를 마련한다. 이때 사용되는 K_G는 전통적인 G‑동형 K‑이론과는 달리, G‑정규화된 스펙트럼을 이용해 정의되며, 이는 G‑모듈 구조를 보존하면서도 무한 차원의 셀 복합체에 대한 코호몰로지적 정보를 포착한다.

핵심 정리는 ‘정적형(compact type)’ Kac‑Moody 군에 대해, 적분가능한 최고 가중 표현들의 그루톤디 군 K_0(Rep_int(G))와 K_G^0(EG) 사이에 자연스러운 동형을 구축한다는 것이다. 여기서 EG는 G의 적절한 작용을 위한 클래스ifying 공간으로, 모든 유한 고정점 집합을 포함한다. 저자들은 EG를 ‘빌리티-베르트라스’ 방식으로 모델링하고, 셀 구조를 이용해 스펙트럼 시퀀스를 전개함으로써 K_G^*(EG)의 계산을 가능하게 한다. 특히, 아핀 Kac‑Moody 군의 경우, 이 결과가 Freed‑Hopkins‑Teleman(FHT) 이론에서 제시된 ‘루프 그룹의 레벨 k 표현과 K‑이론 사이의 동형’과 정확히 일치함을 보이며, 기존 FHT 결과를 무한 차원 일반화로 확장한다는 의미를 갖는다.

또한 저자들은 ‘확장 콤팩트형(extended compact type)’이라 명명한 클래스, 즉 E₁₀과 같은 초대칭적 구조를 포함하는 경우를 다룬다. 이 경우 EG의 셀 구조가 복잡해지지만, 저자들은 Weyl‑그룹의 코사인 복합체와 Kac‑Moody 대수의 루트 시스템을 결합한 새로운 셀 분해법을 제시한다. 이를 통해 K_G^*(EG) 를 명시적으로 계산하고, 그 결과가 최고 가중 표현들의 가중 격자와 정확히 대응함을 증명한다.

기술적 측면에서, 논문은 다음과 같은 중요한 도구들을 활용한다. 첫째, Borel‑Moore 동형론을 이용해 비컴팩트 공간에 대한 K‑이론을 정의하고, 둘째, 적절한 G‑CW 복합체의 필터링을 통해 스펙트럼 시퀀스를 구축한다. 셋째, Kac‑Moody 대수의 정규형(regular) 및 비정규형(indecomposable) 부분을 구분하여, 각각에 대한 대표적인 셀 구조를 설계한다. 넷째, 고정점 집합의 위상학적 성질을 이용해 ‘정규화된 고정점’ 개념을 도입, 이는 EG의 각 셀에 대한 G‑안정자를 정확히 파악하는 데 핵심적이다.

결과적으로, 이 논문은 Kac‑Moody 군의 최고 가중 표현을 위상학적 불변량인 K‑이론으로 완전히 재해석함으로써, 대수적 표현론과 동형 위상수학 사이의 새로운 다리 역할을 한다. 이는 특히 물리학에서 나타나는 무한 차원 대칭(예: 초중력, M‑이론)과 관련된 모듈 구조를 위상학적으로 분석하는 데 강력한 도구를 제공한다는 점에서 큰 의미를 가진다.