[논문 리뷰] Infinite Grassmannians and Moduli Spaces of G-bundles

Shrawan Kumar|ArXiv.org|1995. 10. 30.

Advanced Algebra and Geometry참고 문헌 15인용 수 16

한 줄 요약

이 논문은 무한 그라스만만에서의 표현 이론과 애핀 카크-무디 표현 이론을 통해, 매끄럽고 사영적인 곡선 위의 반안정 주형 G- bundles의 모듈리 공간과 일반화된 테타 함수 공간 사이의 깊은 연결 고리를 확립한다. 이 논문은 모듈리 공간에서 $\theta$-선다발의 $d$ 제곱의 전역 절단 공간이 $\text{Hom}^{\text{inv}}(L(\bbC, dm_V)^*, \bbC)$와 동형임을 증명하며, 이는 순수 양자장 이론의 진공 상태에 대응한다. 여기서 정수 $m_V$는 표현 $V$의 다인킨 지표로 식별된다. 이 결과는 고전적인 보렐-바일 정리의 카크-무디 설정으로의 일반화이며, 순수 양자장 이론의 불변량에 대한 기하적 실현을 제공한다.

ABSTRACT

This lecture note is devoted to prove that the space of vacua is isomorphic with the space of generalized theta functions (joint work with M.S. Narasimhan, and A. Ramanathan)

연구 동기 및 목표

• 알gebraic 곡선 위의 $G$-bundles의 모듈리 공간을 이용하여 순수 양자장 이론 진공 상태의 기하적 실현을 확립하는 것.
• 유한 차원 $G$-표현 $V$의 다인킨 지수 $m_V$를 $G$-bundles의 모듈리 공간 위의 행렬식 선다발을 통해 결정하는 것.
• 반안정 $G$-bundles의 모듈리 공간에서 $\theta$-선다발의 $d$ 제곱의 전역 절단 공간이 $\text{Hom}^{\text{inv}}(L(\bbC, dm_V)^*, \bbC)$와 동형임을 증명하는 것, 즉 진공 상태의 공간이다.
• 무한 그라스만만의 일반화된 쇼버트 다양체의 유리성에 의해 반안정 $G$-bundles의 모듈리 공간이 유리적임을 보이는 것.

제안 방법

• 모듈리 공간에 대한 매개변수로 사용하기 위해, $\mathcal{G} = G(\hat{k}_p)$ 및 $\mathcal{P^} = G(\hat{\mathcal{O}}_p)$ 일 때, 무한 그라스만만 $X = \mathcal{G}/\mathcal{P}$을 사용한다.
• 애핀 카크-무디 설정에서 보렐-바일 정리를 적용하여 $H^0(X, \mathfrak{L}(d\chi_0))$를 임베디드 최고 무게 모듈 $L(\bbC, d)^*$의 쌍대와 동일시한다.
• 선다발을 그라스만만에서 모듈리 공간으로 내림내리는 데, 제4.1조의 내림내림 보조정리와 제6.5조의 확장 결과를 사용한다.
• 모든 $G$-bundles가 $C \setminus p$ 위에서 자명함을 이용하여, $G$-bundles의 모듈리 공간을 이중 코셋 공간 $\Gamma \backslash \mathcal{G} / \mathcal{P}$로 식별한다.
• 코homology의 행렬식을 계산하기 위해 리만-로흐 정리를 적용하여, $m_V$가 표현 $V$의 다인킨 지표로 식별됨을 이끌어낸다.
• GAGA와 대수적 및 해석적 피카르 군 간의 GAGA 유형 동형을 이용하여, $\text{Pic}(X_{\mathfrak{w}}) \to H^2(X_{\mathfrak{w}}, \bbZ)$가 동형임을 증명하고, 이를 유한 차원 쇼버트 다양체로의 제한에서 유도된 극한 $X$로 확장한다.

실험 결과

연구 질문

• RQ1 어떻게 알제브라적 곡선 위의 $G$-bundles의 모듈리 공간을 통해 순수 양자장 이론 진공 상태의 공간을 기하학적으로 실현할 수 있는가?
• RQ2 관련 벡터다발의 코homology의 행렬식과 표현 $V$의 다인킨 지수 사이의 정확한 관계는 무엇인가?
• RQ3 $\Gamma = \text{Mor}(C\setminus p, G)$의 무한 그라스만만에서의 작용이 선다발 $\mathfrak{L}(m_V\chi_0)$로 어떻게 올라가며, 그 의미는 무엇인가?
• RQ4 무한 그라스만만의 일반화된 쇼버트 다양체의 기하학을 이용하여 반안정 $G$-bundles의 모듈리 공간이 유리적임을 보일 수 있는가?
• RQ5 모듈리 공간에서 $\theta$-선다발의 $d$ 제곱의 전역 절단 공간과 임베디드 최고 무게 모듈의 쌍대에서 $\Gamma$-불변 벡터의 공간 사이에 자연스러운 동형사상이 존재하는가?

주요 결과

• 반안정 $G$-bundles의 모듈리 공간 $\mathfrak{M}$에서 $\theta$-선다발의 $d$ 제곱의 전역 절단 공간은 $L(\bbC, dm_V)^*$에서 $\Gamma$-불변 벡터의 공간과 동형이며, 이는 순수 양자장 이론의 진공 상태에 해당한다.
• 행렬식 $\text{Det}(\mathcal{U}(V)) \simeq \mathfrak{L}(m_V\chi_0)$를 만족하는 정수 $m_V$는 표현 $V$의 다인킨 지표와 같으며, 특히 $V$가 고유 표현일 경우 $m_V = 2h^\vee$이다. 여기서 $h^\vee$는 쌍대 코르티지 수이다.
• 반안정 $G$-bundles의 모듈리 공간 $\mathfrak{M}$은 무한 그라스만만의 일반화된 쇼버트 다양체 $X_{\mathfrak{w}}$의 유리성에 의해 유리적이다.
• 무한 그라스만만 $X$의 피카르 군은 $\bbZ$와 동형이며, 균일한 선다발 $\mathfrak{L}(\chi_0)$에 의해 생성되며, 이 동형은 유한 차원 쇼버트 다양체로의 제한과 호환된다.
• Chern 클래스 사상 $c_1: \text{Pic}(X_{\mathfrak{w}}) \to H^2(X_{\mathfrak{w}}, \bbZ)$는 동형이며, 이는 $\text{Pic}(X) \to \varprojlim \text{Pic}(X_{\mathfrak{w}})$로 유도되며, 이는 $\text{Pic}(X)$의 구조를 증명하는 데 사용된다.
• 자명한 선다발이 각각의 $X_{\mathfrak{w}}$에서 존재하고 국소로의 자명화를 확장하는 유일성에 기반하여, 자연스러운 사상 $\alpha: \text{Pic}(X) \to \varprojlim_{\mathfrak{w}} \text{Pic}(X_{\mathfrak{w}})$는 동형이다.