[논문 리뷰] Formulas of Verlinde type for non-simply connected groups

Anton Alekseev, Eckhard Meinrenken외 1명|ArXiv.org|2000. 05. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 30인용 수 12

한 줄 요약

이 논문은 고정점 공식을 활용한 순환군 작용을 이용하여 리만 곡면 위의 평탄한 접속의 모듈리 공간에 대한 버린데 유형의 공식을 유도한다. 이는 고전적 버린데 공식을 단순연결된 군을 초월하여 임의의 컴팩트하고 연결된 리 군으로 일반화한다. 주요 기여는 단순연결되지 않은 군으로 버린데 공식을 일반화한 것으로, $SO(3)$와 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\operatorname{PSU}(p)$의 경우에 검증되었으며, 궤도 리 대수를 통해 임의의 수의 경계 성분에 적용 가능한 프레임워크를 제공한다.

ABSTRACT

We derive Verlinde's formula from the fixed point formula for loop groups proved in the companion paper "A fixed point formula for loop group actions", and extend it to compact, connected groups that are not necessarily simply-connected.

연구 동기 및 목표

• 단순연결되지 않은 군일 수 있는 컴팩트하고 연결된 리 군에 대해, 평탄한 $G$-접속의 모듈리 공간에 대한 기하적 양자화의 버린데 공식을 일반화하는 것.
• 동행 논문 [FP]에서 확립된 순환군 작용에 대한 고정점 공식을 이용하여 버린데 공식을 도출하는 것.
• 특히 $G = SO(3)$ 및 $\operatorname{PSU}(p)$의 경우에 대해, conformal field theory와 대수기하학의 맥락에서 버린데 유형 공식에 대한 수학적으로 엄밀한 프레임워크를 제공하는 것.
• 미래 작업에서 다룰 궤도 리 대수를 포함한 임의의 수의 표시가 있는 경우에 대한 공식에 대한 광범위한 추측의 기초를 마련하는 것.

제안 방법

• 동행 논문 [FP]에서 제시된 순환군 작용에 대한 고정점 공식을 중심 기술 도구로 사용한다.
• 등변 지수 이론과 국소화 기법을 적용하여 모듈리 공간 $\mathcal{M}(\Sigma)$ 위의 사전 양자선다발의 지수를 계산한다.
• 기저 게이지 변환에 대한 평탄한 접속의 몫으로 모듈리 공간 $\mathcal{M}(\Sigma)$를 구성하며, 불변 이중형식 $B_k$에 의해 유도된 심플렉틱 구조를 부여한다.
• 접속 공간의 심플렉틱 축소로서 호로니(manifold) $M(\Sigma)$를 도입하여, 심플렉틱 기하학과 모멘트 맵 기법의 적용을 가능하게 한다.
• 융합 곱과 심플렉틱 형식의 호모토피를 이용하여, 모듈리 공간의 심플렉틱 구조와 conformal field theory의 융합 규칙 간의 관계를 규명한다.
• 웨일 군의 업그레이드와 표현 이론적 구성(예: $\rho/c$, 기본 알코프)을 활용하여, $D_N$의 경우 $\operatorname{Spin}(2N)$에서 중심 원소와 그 작용을 분석한다.

실험 결과

연구 질문

• RQ1 버린데 공식은 어떻게 단순연결된 군을 초월하여 임의의 컴팩트하고 연결된 리 군으로 일반화될 수 있는가?
• RQ2 순환군 작용에 대한 고정점 공식은 버린데 유형 공식 유도에 어떤 역할을 하는가?
• RQ3 단순연결되지 않은 군의 경우, 기하적 양자화 지수와 conformal block의 차원은 어떤 관계가 있는가?
• RQ4 중심 부분군 $\Gamma$와 그 웨일 군 원소로의 업그레이드가 모듈리 공간의 구조에 어떤 영향을 미치는가?
• RQ5 궤도 리 대수를 활용하여, 다중 경계 성분을 가진 표면에 대해 버린데 공식을 확장할 수 있는가?

주요 결과

• 순환군에 대한 고정점 공식을 활용하여, 단순연결되지 않은 컴팩트하고 연결된 리 군에 대해 버린데 공식이 성공적으로 일반화되었다.
• 공식은 모듈리 공간 $\mathcal{M}(\Sigma)$ 위의 사전 양자선다발의 지수를 계산하며, 고차 코hom로가 0일 경우 이는 정수 해석 함수 공간의 차원과 일치한다.
• $G = SO(3)$의 경우는 이전에 알려져 있었고(Pantev), $G = \operatorname{PSU}(p)$ ($p$는 소수)의 경우는 Beauville에 의해 다뤄졌지만, 본 논문은 이 두 경우를 임의의 컴팩트하고 연결된 $G$로 일반화한다.
• 저자들은 표준 심플렉틱 형식과 모듈리 공간 상의 융합 형식 사이의 심플렉틱 호모토피를 확립하여, 안정화자 작용 하에서 두 형식이 동치임을 보였다.
• $G = \operatorname{Spin}(2N)$ 이며 $N$ 이 짝수일 경우, 중심 원소 $\gamma_1, \gamma_2 \in Z(G)$에 대응하는 웨일 군 원소들이 $N_G(T)$ 내에서 교환 가능하게 업그레이드되며, 이는 융합 구성의 일관성을 보장한다.
• 이 프레임워크는 향후 Fuchs와 Schweigert가 추측한, 궤도 리 대수를 포함한 임의의 수의 표시가 있는 경우에 대한 버린데 공식의 증명 기초를 제공한다.