[논문 리뷰] G-torsors over a Dedekind scheme

Michael Broshi|arXiv (Cornell University)|2010. 01. 26.

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

한 줄 요약

이 논문은 디데킨드 스킴 위에서의 $G$-torsor에 대한 세 가지 시각, 즉 기하학적 torsor, $G$의 표현에서 유도된 텐서 함수, 그리고 텐서적 구성의 자동사상군 간의 동치성을 확립한다. 이는 케발리의 반불변량 정리와 노리-사바드라 탄나키안 대칭성 이론을 디데킨드 기저로 일반화하며, 체 위의 정칙 완전 곡선에 대한 $G$-torsor의 피브리케이션 범주가 기저 체 위에서 국소적으로 유한형인 아르틴 스택임을 증명한다.

ABSTRACT

We prove the equivalence of three "points of view" of the notion of a G-torsor when the base scheme is a Dedekind scheme. As an application, we show that the fibered category of G-torsors on a regular proper curve over a field k is an Artin stack locally of finite presentation over k.

연구 동기 및 목표

• 체 위의 $G$-torsor에 대한 고전적 결과를 디데킨드 스킴 기저로 확장하여, 반불변량에 관한 케발리의 정리를 일반화한다.
• 디데킨드 스킴 위에서 $G$-torsor와 $\mathbf{Rep}\,G$에서 $Y$ 위의 벡터 번들의 텐서 함수 사이의 탄나키안 동치를 수립한다.
• 체 위의 정칙 완전 곡선에 대한 $G$-torsor의 피브리케이션 범주는 기저 체 위에서 국소적으로 유한형인 아르틴 스택임을 보인다.
• 표현 $V$와 국소적으로 분리 가능한 선다발 $L$을 갖는 텐서적 구성 $(V,L)$을 통해 $G$를 자동사상군으로 기하학적으로 실현한다.

제안 방법

• 정확하고 충실한 섬세한 텐서 함수 $F: \mathbf{Rep}\,G \to \mathbf{Bun}_Y$를 통해 $G$-torsor와의 관계를 탄나키안 대칭성으로 연결한다.
• 표현 $V$에서 유도된 텐서적 구성 $t(V)$를 구성하고, $t(V)$에 포함된 국소적으로 분리 가능한 선다발 $L \subset t(V)$를 갖추어, $G \cong \underline{\mathrm{Aut}}(V,L)$임을 보인다.
• 충실한 평탄한 강하와 fppf-국소적 절단을 적용하여, torsor 조건이 국소적으로 자명화 가능한 것과 동치임을 보인다.
• 특정 $G_Y$-torsor $P$에 대해 함수 $F_P: V \mapsto P \times^G (V \times_Y Y_U)$를 정의하고, 이 함수가 범주 사이의 동치를 유도함을 증명한다.
• 공등치 다이어그램과 $G$--equivariant 사상들을 사용하여, 유도된 사상 $\phi: P_U \times^{G_{Y_U}} (V \times_U Y_U) \to F(V)$가 정확히 인식되고, 이는 동형사상임을 보인다.
• 역함수는 텐서 함수 $F$를 $F(G)$로 보내며, $F(\mathcal{O}_G)$ 위의 $G$-작용에 의해 유도된 동형사상에 의해 $F_P \cong F$임을 보인다.

실험 결과

연구 질문

• RQ1 고전적 $G$-torsor 이론을 체 위에서 디데킨드 스킴 기저로 확장할 수 있는가?
• RQ2 디데킨드 스킴 위의 평탄한 대수적 군에 대해 케발리의 반불변량 정리를 일반화할 수 있는가?
• RQ3 체 위의 경우와 유사한 탄나키안 특성화를 통해 디데킨드 스킴 위의 $G$-torsor를 기술할 수 있는가?
• RQ4 정칙 완전 곡선 위의 $G$-torsor의 피브리케이션 범주가 어떤 조건에서 아르틴 스택가 되는가?
• RQ5 모든 평탄한 아핀 군 스킴 $G$는 디데킨드 스킴 위에서 텐서적 구성 $(V,L)$의 자동사상군으로 실현될 수 있는가?

주요 결과

• $G_Y$-torsor의 군환은 자연스럽게 정확하고 충실한 텐서 함수 $F: \mathbf{Rep}\,G \to \mathbf{Bun}_Y$의 군환과 동치이다.
• 모든 평탄한 대수적 군 $G$는 디데킨드 스킴 $X$ 위에서 표현 $V$, 텐서적 구성 $t(V)$, 그리고 $t(V)$에 포함된 국소적으로 분리 가능한 선다발 $L \subset t(V)$를 갖추어, $G \cong \underline{\mathrm{Aut}}(V,L)$임을 보장한다.
• 체 $k$ 위의 정칙 완전 곡선에 대한 $G$-torsor의 피브리케이션 범주는 $k$ 위에서 국소적으로 유한형인 아르틴 스택이다.
• 함수 $F_P: V \mapsto P \times^G (V \times_Y Y_U)$는 자연스럽게 원래의 $G_Y$-torsor $P$와 동치인 텐서 함수를 제공한다.
• 역함수 구성은 텐서 함수 $F$를 $F(G)$로 보내며, 이는 $G_Y$-작용을 갖는 스킴이며, $F(\mathcal{O}_G)$ 위의 $G$-작용에 의해 유도된 동형사상에 의해 원래의 torsor가 복원된다.
• 증명의 핵심 단계는 $\phi: P_U \times^{G_{Y_U}} (V \times_U Y_U) \to F(V)$가 $P_U$로의 풀백 후 동형사상임을 보이는 것으로, 이는 $G_U \times_U V_0 \to G_U \times_U V$가 동형임을 이용한다.