[논문 리뷰] Some questions about $\mathcal G$-bundles on curves

G. Pappas, Michael Rapoport|ArXiv.org|2008. 08. 27.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 곡선 위의 $G$-bundle의 모듈리 이론을 구조군이 곡선 위의 파라호릭 군 스킴 $\sigma$인 $τ$-bundle으로 일반화한다. 이는 고전적인 $G$-bundle 결과를 비상수 재수성 군 스킴으로 확장한다. 주요 기여는 모듈리 스택 위의 주로 선다발의 전역 단면 공간에 대한 추측 공식으로, 이를 국소적인 아핀 플래그 다양체 위의 텐서곱의 불변 부분공간으로 표현하며, conformal block과 비슷한 구조를 지닌다.

ABSTRACT

We define the notion of a parahoric group scheme $\mathcal G$ over a smooth projective curve, and formulate four conjectures on the structure of the stack of $\mathcal G$-bundles, which generalize to this case well-known results on $G$-bundles with $G$ a constant reductive group. The conjectures concern the set of connected components, the uniformization by affine flag varieties of twisted loop groups, the Picard groups, and the space of global sections of a dominant line bundle. Since a first version of this paper was circulated, Heinloth [arXiv:0711.4450] has proved a good part of these conjectures.

연구 동기 및 목표

• 곡선 위의 $G$-bundle 모듈리 스택 이론을 비상수 재수성 군 스킴, 특히 곡선 위의 파라호릭 군 스킴의 경우로 확장하는 것.
• 파라호릭 군 스킴 $\mathcal{G}$에 대한 $\sigma$-torsor의 모듈리 스택 위의 주로 선다발의 전역 단면 공간에 대한 전역 기하학적 추측을 수립하는 것.
• 클래식한 결과들—예를 들어 베르린데 공식과 융합 규칙—을 파라호릭 군 스킴의 맥락으로 일반화하기 위한 프레임워크를 제공하는 것.
• 루프 군 이론과 아핀 플래그 다양체를 통해 전역 모듈리 스택의 기하학을 국소적 구조와 연결하는 것.
• 표시된 점들의 집합 $S$와 주로 무게의 역할이 이 일반화된 맥락에서 conformal block을 구성하는 데 어떻게 작용하는지 명확히 하는 것.

제안 방법

• 지역체 위의 재수성 군 $H$에 대해 $H(k((t)))$의 파라호릭 부분군과 관련된 루프 군 이론과 아핀 플래그 다양체 이론을 사용한다.
• 각 곡선의 점에서의 국소 기하학을 나타내는 인드-스킴으로서 국소 모듈리 공간 ${\mathcal{F}}_P = LH / L^+P$를 구성한다.
• 연결된 섬유와 재수성 일반 섬유를 가진 매끄럽고 사영적인 곡선 $X$ 위의 파라호릭 군 스킴 $\mathcal{G}$에 대해 $\mathcal{G}$-torsor의 전역 모듈리 스택 $\mathcal{M}_{\mathcal{G}/X}$를 정의한다.
• 균일화 정리를 사용하여 전역 모듈리 스택을 아핀 그라스만리안의 몫으로 연결하며, Beauville-Laszlo와 Faltings의 고전적 접근을 확장한다.
• 전역 코hom로지 공간의 텐서곱에 대한 $H^0(X\setminus S, \text{Lie}(\mathcal{G}))$의 작용을 도입하여 불변 부분공간을 구성한다.
• 중앙 확장 이론과 중심 전하 이론을 적용하여 주로 선다발을 정의하고 국소 요소들 간의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 비상수 재수성 군 스킴, 특히 곡선 위의 파라호릭 군 스킴의 경우에 대해 $G$-bundle의 모듈리 이론을 어떻게 일반화할 수 있는가?
• RQ2 파라호릭 군 스킴의 $σ$-torsor 맥락에서 베르린데 공식의 올바른 일반화는 무엇인가?
• RQ3 이 일반화된 맥락에서 전역 모듈리 스택 위의 conformal block은 국소적 데이터인 아핀 플래그 다양체와 어떻게 관련이 있는가?
• RQ4 표시된 점들의 집합 $S$와 중심 전하가 모듈리 스택 위의 선다발 전역 단면의 구조에서 어떤 역할을 하는가?
• RQ5 융합 규칙과 인수성 성질이 분리된 상수 군 스킴의 경우를 초월해 확장될 수 있는가?

주요 결과

• 전역 단면 공간 $H^0(\mathcal{M}_{\mathcal{G}/X}, \mathcal{L})$는 $H^0(X\setminus S, \text{Lie}(\mathcal{G}))$-불변 부분공간인 $\bigotimes_{x\in S} H^0({\mathcal{F}}_x, p_x^*\mathcal{L})$와 동형일 것이라 추측되며, 이는 고전적인 균일화 정리의 일반화이다.
• Laszlo와 Sorger가 확인한 특수한 경우에서 이 추측은 성립하며, Heinloth의 후속 논문에서 이 추측의 상당 부분이 증명되었다.
• 이 동형이 성립하기 위해서는 중심 전하 $c_{\mathcal{G}/X,x}(\mathcal{L})$ 가 $X$ 전반에 걸쳐 일정해야 하며, 이는 국소 데이터의 균일성을 보장한다.
• 이러한 구성은 각 표시된 점 $x \in S$에서 루프 대수의 중심 확장에서 중심 원소를 식별하는 데 의존하며, 이는 $S \supset \text{Bad}(\mathcal{G})$ 여야 함을 요구한다.
• 일반적인 파라호릭 경우에서 전역 단면 공간의 차원은 베르린데 유형의 공식을 가질 것으로 예상되지만, 아직 추측에 머물러 있다.
• 이 결과는 집합 $S$의 확대에 대해 안정적이며, $S$가 확장되어도 불변 부분공간이 변하지 않기 때문에 conformal block의 인수성 성질을 반영한다.