[논문 리뷰] The Harder-Narasimhan stratification of the moduli stack of G-bundles via Drinfeld's compactifications

Simon Schieder|arXiv (Cornell University)|2012. 12. 31.

Advanced Algebra and Geometry참고 문헌 10인용 수 10

한 줄 요약

이 논문은 임의의 특성수를 가진 대수적으로 닫힌 체 위의 매끄럽고 사영적인 곡선 위의 $G$-bundle의 모듈리 스택에 대한 Harder-Narasimhan 분할을 Drinfeld의 상대적 컴actsification $\overline{\mathrm{Bun}}_P$와 주로 배럴의 Tannakian 형식론을 사용하여 수립한다. 주요 기여는 캐논칼 리덕션의 존재성과 유일성에 대한 기하학적, 특성수에 의존하지 않는 증명이며, 또한 재정의된 리ductive 군에 대한 기하학적 기울기 이론을 제안하여 고전적인 $\mathrm{GL}_n$-bundle 이론을 일반화한다.

ABSTRACT

We use Drinfeld's relative compactifications and the Tannakian viewpoint on principal bundles to construct the Harder-Narasimhan stratification of the moduli stack Bun_G of G-bundles on an algebraic curve in arbitrary characteristic, generalizing the stratification for G=GL_n due to Harder and Narasimhan to the case of an arbitrary reductive group G. To establish the stratification on the set-theoretic level, we exploit a Tannakian interpretation of the Bruhat decomposition and give a new and purely geometric proof of the existence and uniqueness of the canonical reduction in arbitrary characteristic. We furthermore provide a Tannakian interpretation of the canonical reduction in characteristic 0 which allows to study its behavior in families. The substack structures on the strata are defined directly in terms of Drinfeld's compactifications, which we generalize to the case where the derived group of G is not necessarily simply connected. We furthermore use Drinfeld's compactifications to establish various properties of the stratification, including finer information about the structure of the individual strata and a simple description of the strata closures. Finally, we introduce a novel notion of slope for principal bundles which allows for a natural formulation of the reduction theory of arbitrary reductive groups in arbitrary characteristic.

연구 동기 및 목표

• 임의의 특성수에서 재정의된 군 $G$에 대해 $\mathrm{GL}_n$-bundle에서 $G$-bundle으로의 Harder-Narasimhan 분할을 확장하는 것.
• 캐논칼 리덕션의 존재성과 유일성에 대한 순수 기하학적, 특성수에 영향을 받지 않는 증명을 제공하는 것.
• 재정의된 군 $G$의 도출된 부분군이 단순연결되지 않은 경우에도 Drinfeld의 상대적 컴actsification $\overline{\mathrm{Bun}}_P$를 일반화하는 것.
• 모든 재정의된 군에 걸쳐 리덕션 이론을 통합하는 새로운 기하학적 기울기 개념을 도입하는 것.
• $\overline{\mathrm{Bun}}_P$와 관련된 사상의 기하학을 통해 분할과 그 폐쇄를 명시적으로 묘사하는 것.

제안 방법

• Harder-Narasimhan 분할을 구성하고 분석하는 데 중심적인 기하적 도구로 Drinfeld의 상대적 컴actsification $\overline{\mathrm{Bun}}_P$를 사용한다.
• 최고 무게 표현의 필터링을 통한 $G$-bundle의 리덕션을 해석하기 위해 Tannakian 형식론을 적용하여 캐논칼 리덕션의 기하학적 접근을 가능하게 한다.
• 브루아트 분해의 Tannakian 해석을 수립하여 리덕션을 비교하고, 측정 가능한 부분군의 상대적 위치를 지배하는 핵심 부등식을 증명한다.
• 재정의된 군 $G$에 대해 일반화된 Drinfeld 컴actsification $\overline{\mathrm{Bun}}_P$를 구성하며, 대상 스택을 수정하여 대수성과 적절한 분할이 보장되도록 한다.
• 곱 $X^{\check{\theta}} \times \mathrm{Bun}_{P,\check{\lambda}_P + \check{\theta}}$ 에서의 사상 $j_{\check{\theta}}$ 를 통해 $\overline{\mathrm{Bun}}_{P,\check{\lambda}_P}$ 내부의 국소적으로 닫힌 부분스택 $\mathrm{Bun}_G^{P,\check{\lambda}_P}$ 로 분할을 구성한다.
• $\overline{\mathrm{Bun}}_{P,\check{\lambda}_P}$ 가 $\mathrm{Bun}_{Z,0}$ 에 대한 토르스임을 이용하여 단순연결 덮개로부터의 분할을 내림내리며, 분할이 부분스택으로서의 분해를 보장한다.

실험 결과

연구 질문

• RQ1 어떻게 $\mathrm{Bun}_{\mathrm{GL}_n}$ 의 Harder-Narasimhan 분할을 임의의 재정의된 군 $G$에 대해 임의의 특성수에서 $\mathrm{Bun}_G$로 일반화할 수 있는가?
• RQ2 양의 특성수에서 $G$-bundle의 캐논칼 리덕션을 정의하기 위한 올바른 기하학적 및 대수적 프레임워크는 무엇인가?
• RQ3 도출된 부분군이 단순연결되지 않은 경우에도 Drinfeld의 컴actsification $\overline{\mathrm{Bun}}_P$를 일반화하여 사용할 수 있는 방법은 무엇인가?
• RQ4 모든 재정의된 군에 걸쳐 통일된 리덕션 이론을 가능하게 하는 자연스럽고 내재된 $G$-bundle에 대한 기울기의 개념은 무엇인가?
• RQ5 Harder-Narasimhan 분할의 각 분할 폐쇄는 어떻게 행동하며, 기하학적으로 묘사할 수 있는가?

주요 결과

• 모듈리 스택 $\mathrm{Bun}_G$ 에서의 Harder-Narasimhan 분할은 존재하며, 임의의 특성수에서 파라보릭 부분군 $P$와 코형식 $\check{\lambda}_P$ 에 따라 인덱싱된 국소적으로 닫힌 부분스택 $\mathrm{Bun}_G^{P,\check{\lambda}_P}$ 의 서로소 합집합으로 이루어져 있다.
• 임의의 특성수에서 $G$-bundle의 캐논칼 리덕션은 존재하며 유일하다. 이는 브루아트 분해의 Tannakian 해석과 리덕션의 상대적 위치에 대한 핵심 부등식을 통해 기하학적으로 증명된다.
• $\mathrm{Bun}_G$ 내 분할 폐쇄는 더 낮은 기울기를 가진 분할의 합집합으로 묘사되며, $\overline{\mathrm{Bun}}_P$ 의 분할을 통해 단순하고 통일된 기하학적 기술이 가능하다.
• 임의의 재정의된 군 $G$에 대해 일반화된 Drinfeld 컴택스피케이션 $\overline{\mathrm{Bun}}_P$ 가 구성되었으며, $\check{\theta} \in \check{\Lambda}_{G,P}^{\mathrm{pos}}$ 에 따라 매개변수화된 국소적으로 닫힌 부분스택 $\overline{\mathrm{Bun}}_{P,\check{\lambda}_P}^{\check{\theta}}$ 로 분할된다.
• 특성수 0일 경우, 캐논칼 리덕션은 관련된 배럴에 대한 필터링을 가지며, 이는 Tannakian 형식론과 호환되어 가족 내에서의 행동을 연구할 수 있다.
• 각 분할 $\mathrm{Bun}_G^{P,\check{\lambda}_P}$ 에 대한 부분스택의 구조는 $X^{\check{\theta}} \times \mathrm{Bun}_{P,\check{\lambda}_P + \check{\theta}}$ 에서의 사상 $j_{\check{\theta}}$ 를 통해 직접 정의되며, $\overline{\mathrm{Bun}}_{P,\check{\lambda}_P}$ 내부로 들어간다.