[논문 리뷰] The moduli stack of $G$-bundles

Jonathan Wang|arXiv (Cornell University)|2011. 04. 26.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 19

한 줄 요약

이 논문은 평탄하고 유한형이며 사영적인 준동형사상 $X\to S$ 위의 $G$-bundle의 모듈리 스택 $\operatorname{Bun}⁡_{G}$에 대한 종합적인 기초적 서술을 제공하며, 적절한 조건 하에서 그 대수성과 미분성(스무스니스)을 확립한다. 특히 $G$가 스무스하고 $X\to S$의 섬유 차원이 1인 경우, 몽주 스택 $\operatorname{Bun}_{G}$가 $S$ 위에서 스무스하고, 대수적 스택으로서 국소적으로 유한형이며, 스킴 구조를 가진 애फ니 대각선을 지닌다는 것을 증명한다. 이는 몽주 스택, Hom 스택, 그리고 업그레이드 게르베 기법을 활용한다.

ABSTRACT

In this paper, we give an expository account of the geometric properties of the moduli stack of $G$-bundles. For $G$ an algebraic group over a base field and $X o S$ a flat, finitely presented, projective morphism of schemes, we give a complete proof that the moduli stack $Bun_G$ is an algebraic stack locally of finite presentation over $S$ with schematic, affine diagonal. In the process, we prove some properties of $BG$ and Hom stacks. We then define a level structure on $Bun_G$ to provide alternative presentations of quasi-compact open substacks. Finally, we prove that $Bun_G$ is smooth over $S$ if $G$ is smooth and $X o S$ is a relative curve.

연구 동기 및 목표

• 가족 곡선 위의 $G$-bundle에 대한 모듈리 스택 $\operatorname{Bun}_G$의 기하학적 성질에 대한 완전하고 자가 포함된 서술 제공.
• 기저 스킴 $S$ 위에서 $\operatorname{Bun}_G$가 대수적 스택으로서의 대수성을 확립하며, 정확한 유한성 및 표현 가능성 조건을 명시.
• 특히 $G$가 스무스하고 $X\to S$의 섬유 차원이 1인 경우, $\operatorname{Bun}_G$가 $S$ 위에서 스무스하다는 것을 증명하며, 무한소 업그레이드와 게르베 이론적 방법을 사용.
• 기존 문헌에서 약간의 빈도가 있었음에도 전문가들 사이에 잘 알려진 결과임에도 불구하고, $\operatorname{Bun}_G$의 대수성에 대한 새로운 세부적인 증명을 제시하여 격차를 메운다.
• 널리 퍼진 군의 첨가 구조를 nilpotent 두껍게 하여 $\operatorname{Bun}_G$의 준콤팩트 열린 부분스택을 표현하는 데 활용한다.

제안 방법

• 스킴 $Z$ 위의 $G$-작용에 대해 몽주 스택 $[Z/G]$를 구성함으로써 주요 $G$-bundle의 모델링과 그 대수성 확립.
• 호모모르피즘 스택 분석을 위한 핵심 기술적 도구인 준사영 사상의 절단층의 표현 가능성 증명.
• 무한소 업그레이드 기준을 사용하여 $\operatorname{Bun}_G$의 스무스니스를 검증하며, 문제를 코homology 군의 영성으로 환원.
• 모듈러스 스택 $\mathcal{Q}_{\mathcal{P}}$의 업그레이드 게르베를 분석하여, $H^2(X_{T_0}, {}_{\mathcal{P}}\mathcal{A}) = 0$일 때는 중립적임을 보임.
• 장애층 $\mathcal{A}$를 $\mathfrak{g} \otimes_k \mathcal{I}$로 표현하며, $\mathcal{I}$는 nilpotent 두껍게 하에 대한 이상층이고, 고유 표현을 통해 작용을 정의.
• EGA와 SGA의 코homology 소멸 결과를 적용하여, 섬유 차원이 1인 경우 $H^2(X_{T_0}, {}_{\mathcal{P}}\mathcal{A}) = 0$임을 보이고, 스무스니스 보장.

실험 결과

연구 질문

• RQ1 가족 곡선 위의 $G$-bundle에 대한 모듈리 스택 $\operatorname{Bun}_G$가 언제 대수적 스택이 되는가?
• RQ2 무한소 업그레이드와 코homology 장애에 기반해 $\operatorname{Bun}_G$의 $S$ 위에서의 스무스니스는 어떻게 특징지을 수 있는가?
• RQ3 nilpotent 두껍게를 통한 수준 구조가 $\operatorname{Bun}_G$의 준콤팩트 열린 부분스택을 어떻게 표현하는가?
• RQ4 업그레이드 게르베 $\mathcal{Q}_{\mathcal{P}}$의 구조는 스무스니스의 맥락에서 $H^2$-코homology의 영성과 어떻게 관련되는가?
• RQ5 왜 차원이 높은 섬유에서는 $\operatorname{Bun}_1$의 스무스니스가 실패하는가? (반례를 통해 설명)

주요 결과

• 모듈리 스택 $\operatorname{Bun}_G$는 $S$ 위에서 국소적으로 유한형이며, 스킴 구조를 가진 애फ니 대각선을 지닌 대수적 스택이다.
• 스택 $\operatorname{Bun}_G$는 $S$ 위에서 유한형인 대수적 부분스택들의 열린 덮개를 지닌다. 이는 양호한 국소적 구조를 보장한다.
• 특히 $G$가 스무스하고 $X\to S$의 섬유 차원이 1인 경우, $\operatorname{Bun}_G$는 $S$ 위에서 스무스하다. 이는 업그레이드 게르베 $\mathcal{Q}_{\mathcal{P}}$가 $H^2(X_{T_0}, {}_{\mathcal{P}}\mathcal{A}) = 0$이므로 중립적이기 때문이다.
• 준사영 사상의 절단층은 표현 가능하며, 이는 $\operatorname{Bun}_G$의 구성에서 Hom 스택 분석에 기초적인 결과이다.
• $\mathcal{G}_0$-torsor $\mathcal{P}$를 $G$-bundle으로 업그레이드할 수 없는 장애는 코homology 군 $H^2((X_{T_0})_{\text{ét}}, {}_{\mathcal{P}}\mathcal{A})$에 의해 제어되며, 섬유 차원이 1이면 이 군은 영이 된다.
• 반례를 통해 $X\to S$의 섬유 차원이 2이고 $\operatorname{Pic}_{X/S}$가 감소하지 않는 경우 $\operatorname{Bun}_1$이 $S$ 위에서 스무스하지 않음을 보여주며, 차원 조건의 필요성을 입증한다.