[論文レビュー] Variations on a theme of Grothendieck

Johan Martens, Michael Thaddeus|arXiv (Cornell University)|Oct 30, 2012

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

ひとこと要約

本稿は、射影直線上の主G bundleが最大トーラスに還元可能であるというグロテンディークの古典的結果を、さまざまな幾何的・スタック的設定、特にオルビフォールド、ジェルベ、ノード付き曲線の鎖、トーラス作用付き構造へと拡張する。同定義の下で、自己同型とワイル群作用に関して還元の存在と一意性を確立し、これらの bundle の自己同型群スキームが滑らかで、アフィン的かつ連結的であることを証明する。

ABSTRACT

Grothendieck and Harder proved that every principal bundle over the projective line with split reductive structure group (and trivial over the generic point) can be reduced to a maximal torus. Furthermore, this reduction is unique modulo automorphisms and the Weyl group. In a series of six variations on this theme, we prove corresponding results for principal bundles over the following schemes and stacks: (1) a line modulo the group of nth roots of unity; (2) a football, that is, an orbifold of genus zero with two marked points; (3) a gerbe over a football whose structure group is the nth roots of unity; (4) a chain of lines meeting in nodes; (5) a line modulo an action of a split torus; and (6) a chain modulo an action of a split torus. We also prove that the automorphism groups of such bundles are smooth, affine, and connected.

研究の動機と目的

• P¹ 上の主G bundle が最大トーラスに還元可能であるというグロテンディークの 1955 年の結果を、より一般の基底スタックおよびスキームへと一般化すること。
• フットボールオルビフォールド、µn-作用付き直線、ノード付き曲線の鎖といった非自明な幾何的対象上における主 bundle の最大トーラスへの還元の存在と一意性を確立すること。
• このような bundle の自己同型群スキームが滑らかで、アフィン的かつ連結的であることを証明し、古典的状況を超えた構造的性質を拡張すること。
• トーラス作用付きの鎖やジェルベを用いた再帰的群のコンパクト化のための基礎的結果を提供すること。

提案手法

• G-bundle の同型類を H¹(X, G) と同一視し、有理的自明な bundle を分析するためにエタールコhomology を用いる。
• 1968 年のハーダーによる、任意の体上のスプリット再帰的群および自明な一般ファイバー bundle へのグロテンディークの結果の拡張を適用する。
• 降下理論および正標数における中心化子の理論を用い、特にステインベルクの半単純元とトーラスに関する定理を活用する。
• カルティエ双対性および Z 上のシェバレー模型への基底変換を用い、一般の場合を代数的に閉体の場合に還元する。
• p-冪位数のユニポテンツ µpr 部分群に対しては、p-リー関手および相対フロベニウス準同型の性質を用いて帰納法を適用する。
• 滑らかで再帰的単位成分を持つ群スキームにおいて、連結なファイバーの集合が閉じていることを利用して中心化子の連結性を証明する。

実験結果

リサーチクエスチョン

• RQ1 グロテンディークの P¹ 上の主G bundle に対する還元定理は、フットボールオルビフォールドや µn-作用付き直線といったスタックへと拡張可能か？
• RQ2 トーラス作用付きの曲線の鎖上での有理的自明な G-bundle は、自己同型とワイル群作用に関して一意に最大トーラスに還元可能か？
• RQ3 このような bundle の自己同型群スキームは、正標数であっても常に滑らかで、アフィン的かつ連結的か？
• RQ4 特に n が標数の冪であるとき、正標数における再帰的群内の µn-部分群の中心化子はどのように振る舞うか？
• RQ5 結果が導来群が単連結であることの仮定にどれほど依存するか、そしてそれが中心化子構造にどのように影響するか？

主な発見

• P¹ 上の任意の有理的自明な G-bundle は、最大トーラス T に還元可能であり、グロテンディークの元々の結果を一般化する。
• 最大トーラスへの還元は、bundle の自己同型およびワイル群作用に関して一意的である。
• このような bundle の自己同型群スキームは、正標数であっても滑らかで、アフィン的かつ連結的である。
• 任意の準同型 µn → G に対して、その像の中心化子が連結的であるのは、G が単連結な導来群を持つ場合に限る。
• 代数的に閉体を基底にとれば、再帰的群内の µn-部分群の中心化子は滑らかであり、その最大トーラスは G においても最大である。
• 中心化子の連結性の証明は、Z 上のシェバレー模型への基底変換および滑らかな群スキームにおける連結ファイバーの集合が閉じていることの利用に依存する。