[論文レビュー] G-torsors over a Dedekind scheme

Michael Broshi|arXiv (Cornell University)|Jan 26, 2010

Algebraic Geometry and Number Theory参考文献 4被引用数 4

ひとこと要約

本稿は、デデキンドスキーム上の $G$- torsor について、3つの視点の同値性を確立する：幾何的 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$ を自己同型群として幾何的に実現すること。

提案手法

• Tannakian双対性を用いて、$G_Y$-torsor と、各ファイバーで正確かつ忠実なテンソル関手 $F: \mathbf{Rep}\,G \to \mathbf{Bun}_Y$ の関係を確立する。
• 群 $G$ の表現 $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$-可換写像を用いて、誘導写像 $\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$ を通じて元の torsor を回復する。

実験結果

リサーチクエスチョン

• 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$ の群層と同値である。
• 任意のデデキンドスキーム $X$ 上の平坦な代数群 $G$ に対して、表現 $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)$ に送り、$F(G)$ は $G_Y$-作用を備えたスキームであり、$F_P \cong F$ を通じて元の torsor が回復される。
• 証明の鍵となるステップは、$P_U$ への引き戻しにおいて、写像 $\phi: P_U \times^{G_{Y_U}} (V \times_U Y_U) \to F(V)$ が同型であることを示すことであり、これは $G_U \times_U V_0 \to G_U \times_U V$ が同型であるという事実に依拠している。