[논문 리뷰] Uhlenbeck spaces via affine Lie algebras

Alexander BRAVERMAN, Michael FINKELBERG외 1명|arXiv (Cornell University)|2003. 01. 16.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 아핀 리 대수와 아핀 카츠-무디 대수에 대한 카시와라의 크리스탈의 기하적 실현을 이용하여, 직선을 따라 자명화된 $\mathbb{P}^2$ 위의 $G$-bundle 모듈리 공간의 욜레르망 컴actsification를 구성한다. 주요 기여는 특성 0에서 표현 이론과 모듈리 기하학 사이의 새로운 연결을 통해 욜레르망 공간의 교차 코hom로지 층의 스타크를 기하학적으로 기술하는 것이다.

ABSTRACT

Let $G$ be an almost simple simply connected group over $\BC$, and let $\Bun^a_G(\BP^2,\BP^1)$ be the moduli scheme of principal $G$-bundles on the projective plave $\BP^2$, of second Chern class $a$, trivialized along a line $\BP^1\subset \BP^2$. We define the Uhlenbeck compactification $\fU^a_G$ of $\Bun^a_G(\BP^2,\BP^1)$, which classifies, roughly, pairs $(\F_G,D)$, where $D$ is a 0-cycle on $\BA^2=\BP^2-\BP^1$ of degree $b$, and $\F_G$ is a point of $\Bun^{a-b}_G(\BP^2,\BP^1)$, for varying $b$. In addition, we calculate the stalks of the Intersection Cohomology sheaf of $\fU^a_G$. To do that we give a geometric realization of Kashiwara's crystals for affine Kac-Moody algebras.

연구 동기 및 목표

• 직선 $\mathbb{P}^1$를 따라 자명화된 $\mathbb{P}^2$ 위의 $G$-bundle 모듈리 공간의 욜레르망 컴팩티피케이션 $\mathfrak{U}^a_G$를 정의하고 구성하며, $SL_n$을 초월해 거의 단순이고 단순 연결인 임의의 군 $G$에 대해 일반화한다.
• 아핀 카츠-무디 대수에 대한 카시와라의 크리스탈을 욜레르망 공간을 통해 기하학적으로 실현한다.
• 대표 이론적 기법을 사용하여 $\mathfrak{U}^a_G$의 교차 코호몰로지 층의 스타크를 계산한다.
• 특성 0에서, 다양한 모듈러 기술에 대해 nilpotent 원소를 제외한 불변성을 확립한다.

제안 방법

• $\mathfrak{U}^a_G$를 $b \in \mathbb{N}$ 에 대해 $\operatorname{Bun}^{a-b}_G(\mathbb{P}^2, \mathbb{P}^1) \times \operatorname{Sym}^b(\mathbb{A}^2)$ 의 합집합으로 구성하며, 이는 $D$가 차수 $b$인 0-사이클인 쌍 $({\mathcal{F}}_G, D)$ 를 매개변수화한다.
• $\mathfrak{U}({\mathfrak{n}}^{-})$의 기본 필터 $F^n$을 이용해 아핀 버마 모듈 $\mathcal{V}_{\check{\rho}}$의 최고 무게 벡터의 구조를 분석한다.
• 조지프의 보조정리를 적용하여 $F^n$ 내에서 무게 공간 $w{\check{\rho}}$를 생성하는 최소 차수를 유계화하며, $m_w \geq \frac{1}{2}\ell(w)$ 를 보인다.
• $\mathfrak{g}$ 위에 클리포드 대수 $C({\mathfrak{g}})$ 를 구성하고, $\varphi: \mathfrak{g} \to C({\mathfrak{g}})$ 를 통해 리 대수 준동형을 정의함으로써 삼각 분해 $C({\mathfrak{n}}^{-}) \otimes C({\mathfrak{h}}) \otimes C({\mathfrak{n}}) \cong C({\mathfrak{g}})$ 를 유도한다.
• $\mathcal{V}_{\check{\rho}}$를 $I({\mathfrak{g}})$ 라는 $\mathfrak{n}$ 에 의해 생성된 왼쪽 아이디얼을 갖는 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 의 몫으로 실현하고, 이를 통해 무게 공간을 분석한다.
• $\prod_{\check{\beta} \in S(w^{-1})} e_{-\check{\beta}}$ 의 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 내 차수를 $\ell(w)$ 와 연결하여, 스타크 계산을 위한 핵심 추정을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 거의 단순하고 단순 연결인 군 $G$에 대해, $SL_n$의 경우를 초월하여 복소수 위에서 $\mathbb{P}^2$ 위의 $G$-bundle에 대한 욜레르망 컴팩티피케이션을 어떻게 구성할 수 있는가?
• RQ2 용올레르망 공간 $\mathfrak{U}^a_G$의 교차 코호몰로지 층의 스타크는 표현 이론적 자료를 기하학적으로 사용하여 계산할 수 있는가?
• RQ3 용올레르망 유형의 모듈리 공간을 통해 아핀 카츠-무디 대수에 대한 카시와라의 크리스탈을 기하학적으로 실현할 수 있는가?
• RQ4 기본 필터 $U({\mathfrak{n}}^{-})$ 는 아핀 버마 모듈 $\mathcal{V}_{\check{\rho}}$ 의 무게 공간의 구조를 어떻게 제어하는가?
• RQ5 클리포드 대수 $C({\mathfrak{g}})$ 의 구성은 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 의 무게 공간 분해 분석에 어떻게 기여하는가?

주요 결과

• $\mathfrak{U}^a_G$ 는 $b \in \mathbb{N}$ 에 대해 $\operatorname{Bun}^{a-b}_G(\mathbb{P}^2, \mathbb{P}^1) \times \operatorname{Sym}^b(\mathbb{A}^2)$ 의 합집합으로 구성되며, 이는 $\mathbb{P}^1$를 따라 자명화된 $G$-bundle 모듈리 공간의 모듈러 컴팩티피케이션을 제공한다.
• $\mathfrak{U}^a_G$의 교차 코호몰로지 층의 스타크는 아핀 카츠-무디 대수에 대한 카시와라의 크리스탈의 기하적 실현을 통해 계산되며, 이는 모듈리 기하학과 표현 이론을 연결한다.
• 조지프의 보조정리를 이용해 기본 필터 $U({\mathfrak{n}}^{-})$ 에 대해 $m_w \geq \frac{1}{2}\ell(w)$ 를 확립함으로써, 무게 $w{\check{\rho}}$ 의 무게 공간을 생성하는 최소 차수의 유계화를 확보한다.
• 클리포드 대수 $C({\mathfrak{g}})$ 는 삼각 분해 $C({\mathfrak{n}}^{-}) \otimes C({\mathfrak{h}}) \otimes C({\mathfrak{n}}) \cong C({\mathfrak{g}})$ 를 갖는다. 이는 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 의 구조를 체계적으로 분석할 수 있게 한다.
• $\mathcal{V}_{\check{\rho}}$ 는 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 의 몫으로 실현되며, 무게 $w{\check{\rho}}$ 의 무게 공간은 $\left(\prod_{\check{\beta} \in S(w^{-1})} e_{-\check{\beta}}\right) C({\mathfrak{h}})$ 와 동형이며, 이는 차수 $\ell(w)$ 와 $\ell(w) + \dim{\mathfrak{h}}$ 사이에 존재한다.
• 이 구성은 다양한 모듈러 기술에 대해 nilpotent 원소를 제외한 불변성을 갖는다. 이러한 불변성의 증명은 특성 0의 가정에 의존하며, 이는 양의 특성에서의 잠재적 한계를 시사한다.