[논문 리뷰] A complete degeneration of the moduli of $G$-bundles on a curve

Pablo Solis|arXiv (Cornell University)|2013. 11. 26.

Advanced Algebra and Geometry참고 문헌 23인용 수 6

한 줄 요약

이 논문은 노드 곡선으로 분리되는 일차원 매개변수를 가진 곡선의 가군에 대한 $G$-bundle의 완전한 컴actsification를 구축한다. 이는 날카로운 곡선과 루프 군의 통합을 통해 이루어지며, 주요 기여는 유한 차수의 기하학적 구조를 가진 모듈라이 스택이 완비성의 평가 기준을 만족하도록 하는 모듈러적 완비화를 달성한 것이다. 이는 애매한 코어시피어 구조를 포함한 Gieseker 유형의 분리와 관련된 것으로, 애매한 코어시피어가 아핀 웨일 알코브 내에 있을 때 결정된다.

ABSTRACT

For a semi simple group G it is known the moduli stack of principal G-bundles over a fixed nodal curve is not complete. Finding a completion requires compactifying the group G. However it was shown in [34] that this is not sufficient to complete the moduli stack over a family of curves. In this paper I describe how to use an embedding of the loop group LG to provide a completion of the stack of G-bundles over a one dimensional family of curves degenerating to a nodal curve. The completion comes with a modular interpretation inspired by the work of Gieseker, Seshadri, Kausz and Thaddeus and Martens.

연구 동기 및 목표

• 노드 곡선으로 분리되는 곡선의 가군에 대한 $\mathcal{M}_G(C)$의 비완비성 문제를 해결하기 위해.
• GL_r-_bundle에 대한 Gieseker 유형의 컴팩티피케이션 접근법을 임의의 단순 연결 단순 군 $G$로 확장하기 위해.
• 완비성의 평가 기준을 만족하는 모듈라이 스택 $\mathcal{X}_G(C_S)$를 구성하기 위해.
• 틀어진 수정과 루프 군 위의 등변 구조를 이용한 컴팩티피케이션의 모듈러적 해석을 제공하기 위해.
• 이전의 $\mathcal{M}_{GL_r}$ 및 $\mathcal{M}_{\mathbb{C}^\times}$ 결과를 단일화된 프레임워크를 통해 임의의 반단순 $G$로 일반화하기 위해.

제안 방법

• 노드 곡선으로 분리되는 곡선의 가군 $C_S$의 틀어진 수정에 대한 $G$-bundle을 매개변수화하는 모듈라이 스택 $\mathcal{X}_G(C_S)$를 정의한다.
• 루프 군 $LG$와 그의 포물형 부분군을 사용하여 특별한 피어의 노드에서의 등변 구조를 표현한다.
• 특수한 공간의 반복 블로우업 $D'^{1/k}_S$를 통해 날카로운 곡선을 정의하고 노드에서의 특이점을 해결한다.
• 루프 군의 브라우트 분해를 사용하여 전이 사상의 인수분해를 하고, $\operatorname{Spec}K'$에서 $\operatorname{Spec}R'$로의 사상의 올림을 수행한다.
• $L_{poly}G \times L_{poly}G$ 내의 포물형 부분군의 리만 분해를 이용하여 구조 군을 리만 성분으로 줄인다.
• 기저 변경과 표준화 기법을 적용하여 $L_{poly}G/\mathcal{P}^{-}_I \times L_{poly}G/\mathcal{P}_I$의 인디아이프로젝티브 플래그 다양체로의 사상 올림을 보장하여 확장의 존재를 확보한다.

실험 결과

연구 질문

• RQ1 노드 곡선으로 분리되는 곡선의 가군 위의 $G$-bundle 모듈라이 스택이 모듈러적으로 완비화될 수 있는가?
• RQ2 GL_r-bundle에 대한 Gieseker 유형의 분리 방법을 임의의 단순 연결 단순 군 $G$로 일반화할 수 있는가?
• RQ3 틀어진 곡선에서의 루프 군 통합과 등변 구조는 완비성 달성에 어떤 역할을 하는가?
• RQ4 분리 곡선 위의 $G$-bundle 모듈라이 스택의 컴팩티피케이션은 완비성의 평가 기준을 만족하는가?
• RQ5 왜곡 없는 층이나 $G$의 비표준 통합에 의존하지 않고도 이 완비화를 구성할 수 있는가?

주요 결과

• 모듈라이 스택 $\mathcal{X}_G(C_S)$는 완비성의 평가 기준을 만족하며, 이는 임의의 구멍이 난 디스크에서 스택으로의 사상이 유한한 기저 변경 후에 확장된다는 것을 의미한다.
• 완비화는 틀어진 곡선을 도입하고, 아핀 웨일 알코브 내의 코어시피어로 결정되는 등변 $G$-bundle을 사용하여 달성된다.
• 이 구성은 Kausz의 $GL_r$-bundle 분리와 Martens-Thaddeus의 $\mathbb{C}^\times$-bundle 작업을 임의의 단순 연결 단순 군 $G$로 일반화한다.
• 핵심 기술적 단계는 $\phi \in H/H_1((s))$를 $H((s^{1/m}))$로 올리고, $\phi' = \phi'' \psi$로 인수분해하여 $\phi'' \in H[[s^{1/m}]]$ 및 $\psi \in H_2((s^{1/m}))$로 나누는 것으로, 이는 특별한 피어로의 확장을 가능하게 한다.
• 최종적으로 $\mathcal{X}_G(C_S)$의 객체는 $\psi$를 그 리만 성분 $\psi_L$로 줄이고, 이는 $L_I((s^{1/m})) \times L_I((s^{1/m}))$에 속하게 하며, 브라우트 분해를 통해 알코브 내의 코어시피어 $\eta'$를 식별한다.
• 색인 집합 $I = \{0, \dots, r\}$에 도달할 때 분리가 종료되며, 이 시점에서 플래그 다양체 사상은 동형이 되어 잘 정의된 확장의 존재를 확인한다.