표면 위 양밀스 이론과 아티야 세갈 정리

초록

본 논문에서는 양밀스 함수에 대한 모스 이론을 이용하여 표면 군에 대한 아티야‑세갈 정리의 유사판을 증명한다. 고전적인 아티야‑세갈 정리는 콤팩트 리 군 Γ의 표현환 R(Γ)과 그 클래스ifying 공간 BΓ의 복소 K‑이론 사이의 관계를 제시한다. 무한 이산 군의 경우, 표현의 변형을 고려해야 하므로 우리는 표현환을 카를슨이 정의한 변형 K‑이론 스펙트럼 𝔎(Γ) (R(Γ)의 동형론적 아날로그)로 대체한다. 우리의 주요 정리는 모든 콤팩트·비자명(비자유) 표면 Σ와 차원 *>0에 대해 동형 사상
\

상세 요약

아티야‑세갈 정리는 1960년대에 제시된 중요한 결과로, 콤팩트 리 군 Γ의 유한 차원 복소 표현들의 동형 클래스들을 원소로 갖는 환 R(Γ)와, 그 군의 클래스ifying 공간 BΓ의 복소 K‑이론 K⁰(BΓ) 사이에 동형을 만든다. 이 정리는 “표현 이론 = 위상수학”이라는 관점을 제공하며, 특히 고전적인 경우에 강력한 계산 도구가 된다. 그러나 이 정리는 기본적으로 Γ가 유한 차원 리 군일 때만 직접 적용 가능하고, 무한 이산 군에 대해서는 표현들의 연속적인 변형(예: 평탄 연결의 변형)까지 고려해야 한다는 한계가 있다.

이러한 한계를 극복하기 위해 카를슨은 변형 K‑이론 𝔎(Γ)라는 스펙트럼을 도입하였다. 𝔎(Γ)는 단순히 표현환을 취하는 것이 아니라, 표현 공간을 위상적으로 조사하여 그 동형론적 정보를 스펙트럼 형태로 포착한다. 즉, 𝔎₀(Γ)는 전통적인 R(Γ)와 동형이지만, 고차 동치군 𝔎ₙ(Γ) (n>0)는 표현들의 연속적인 변형을 반영한다. 이 스펙트럼은 현대 호모톱 이론, 특히 안정적 호모톱 군과 스펙트럼의 구조를 이용해 계산이 가능하도록 설계되었다.

양밀스 이론은 2차원 표면 위에서 정의된 연결 A에 대한 에너지 함수인 양밀스 함수 YM(A)=∥F_A∥²의 비평탄(critical) 점들을 연구한다. 모스 이론을 적용하면, 양밀스 함수의 비평탄 점들은 표면의 기본군 π₁(Σ)와 관련된 평탄 연결(즉, 군 표현)들의 모듈리 공간과 동형 사상 관계를 가진다. 특히, 양밀스 함수는 Morse–Bott 형태를 띠어, 비평탄 점들의 불변 차원(정도)과 연결된 흡수(unstable) 차원을 정확히 계산할 수 있다.

이 논문은 위의 두 이론을 결합한다. 먼저, 양밀스 함수의 모스 이론을 이용해 표면 Σ의 평탄 연결(또는 π₁(Σ)의 유니터리 표현)들의 위상 구조를 파악한다. 그런 다음, 카를슨의 변형 K‑이론 스펙트럼을 적용해 이 위상 정보를 스펙트럼 수준에서 정리한다. 결과적으로, 저자들은 모든 콤팩트하고 비자명(비자유)인 aspherical 표면 Σ에 대해
\