[論文レビュー] A Proof of the Barsotti-Chevalley Theorem on Algebraic Groups

J. S. Milne|arXiv (Cornell University)|Nov 23, 2013

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

ひとこと要約

この論文は、1956年のローゼンリッヒトの証明を現代的で理解しやすい形で再構成しており、任意の完備体上の滑らかで連結な代数群が、アーベル曲線の拡張として表せることを示すバー索チ-シェヴァリエの定理を扱う。下降理論、反アフィン群、アーベル化写像の普遍性を通じて、代数群の構造を明確にする。

ABSTRACT

A fundamental theorem of Barsotti and Chevalley states that every smooth algebraic group over a perfect field is an extension of an abelian variety by a smooth affine algebraic group. In 1956 Rosenlicht gave a short proof of the theorem. In this expository article, we explain his proof in the language of modern algebraic geometry.

研究の動機と目的

• ローゼンリッヒトの1956年証明を、現代代数幾何学の言語を用いて明確化・再表現すること。
• 特に下降理論や反アフィン群の構造に関して、従来の取り扱いにおける基礎的で曖昧な点や欠落を解消すること。
• 連結代数群がアフィン正規部分群とアーベル曲線商に分解されることの、一意性と普遍性を確立すること。
• 元の代数閉体上での結果を基に、完備体への拡張を下降理論を用いて行い、定理の有効性を拡大すること。
• アフィン、反アフィン、アーベル曲線の相互作用を通じて、代数群の構造を理解する包括的枠組みを提供すること。

提案手法

• ファンクター、スキーム、忠実平坦下降の言語を用いて、ローゼンリッヒトの証明を現代代数幾何学の枠組みに再構成する。
• アーベル化の普遍性を適用し、$ N $ を最大のアフィン正規部分群とするとき、商 $ G/N $ がアーベル曲線であることを特徴付ける。
• $ G^{ ext{aff}} $ を用いた反アフィン群の構成、すなわち $ G_{ ext{ant}} = ext{ker}(G o G^{ ext{aff}}) $ を用いて、$ G $ をアフィン部と反アフィン部に分解する。
• ノイザーの同型定理と代数群の完全系列を用いて、部分群構造と商群を分析する。
• 下降理論を用いて、代数閉体上での結果を完備体へ拡張し、分解の一意性を保つ。
• 積写像 $ G_{ ext{aff}} imes G_{ ext{ant}} o G $ が完全系列であることを示し、代数群の圏におけるファイバー積であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 ローゼンリッヒトの元のバー索チ-シェヴァリエの定理の証明を、現代代数幾何学の言語にどのように再表現できるか？
• RQ2 完備体上の連結代数群の正確な構造は、アフィン群とアーベル曲線の変種としてどのように記述できるか？
• RQ3 反アフィン群の構成 $ G_{ ext{ant}} $ は、$ G $ のアフィン部とアーベル部への分解とどのように関係しているか？
• RQ4 アーベル化写像は、商 $ G/N $ がアーベル曲線であることを特徴付けるために果たす役割は何か？
• RQ5 下降理論は、代数閉体ではなく完備体上でもバー索チ-シェヴァリエの定理が成り立つことを保証する仕組みは何か？

主な発見

• 完備体上の滑らかで連結な代数群 $ G $ は、一意的な最大の連結アフィン正規部分群 $ N $ を持ち、$ G/N $ はアーベル曲線である。
• 射 $ G o G/N $ はアフィン的かつ射影的であるため、$ G $ は準射影的である。
• 写像 $ G o G^{ ext{aff}} $ における核 $ N $、すなわち $ G_{ ext{ant}} $ は、$ ext{Spec}( ext{H}^0(G_{ ext{ant}}, ext{O})) = ext{Spec}(k) $ を満たし、反アフィンである。
• 分解 $ 1 o G_{ ext{aff}} imes G_{ ext{ant}} o G o 1 $ は代数群の完全系列であり、積写像は忠実平坦である。
• 標数がゼロの体では、反アフィン群は半アーベル曲線の拡張としてのベクトル群の拡張である；正標数では、アーベル曲線の拡張としてのトーラスの拡張である。
• 商 $ G/N $ は $ G $ のアーベル化である。写像 $ G o G/N $ は、$ G $ からアーベル曲線への単位元を保つホモモーチズムの普遍性を持つ。