[論文レビュー] Topologies de Grothendieck, descente, quotients

Sylvain Brochard|arXiv (Cornell University)|Oct 1, 2012

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

ひとこと要約

この論文は、代数幾何におけるグロテンディーク位相、降下理論、商構成の基礎的取り扱いを提示する。主な焦点は、スキームまたは代数的空間によって表される商函手の表現可能性に向けられている。特に、対角化可能群による自由作用によるスキームの商が、いつスキームによって表されるかという基準を、fpqc/fppf/Étale位相と降下技法を用いて確立する。主な結果として、圏的商の存在と、商が層または代数的空間としての役割が得られる。

ABSTRACT

In this note, we present a few existence theorems for the quotient of a scheme by the action of a group. The first two sections are devoted to Grothendieck topologies and descent theory. The third one is dealing with quotients: we first give direct and (almost) complete proofs for the main existence results of SGA 3, exposé V. Then we discuss some specific situations: the quotient of an algebraic group over a field by a subgroup, the quotient of a group by the normalizer of a smooth subgroup, and quotients of affine schemes by free actions of diagonalizable groups. From place to place, the original proofs have been slightly improved (e.g. with the use of algebraic spaces). This note grew out of lectures given by the author in the CIRM (Luminy) during the Summer School "Schémas en groupes" in 2011.

研究の動機と目的

• 現代代数幾何に不可欠なグロテンディーク位相と降下理論の自己完結的入門を提供すること。
• 群作用によるスキームの商の存在性と表現可能性を調査すること、特に代数的空間の文脈において。
• 圏的商、層の商、および基礎的な空間付き商の間の関係を明確にすること。
• 対角化可能群によるスキームの自由作用の商が、いつスキームによって表現可能かという条件を確立すること。
• 前者がスキームでない場合、層の商（代数的空間として）が空間付き商よりも有用であることを主張すること。

提案手法

• fpqc、fppf、およびÉtale位相を用いて層を定義し、準連接層の降下性を研究する。
• 降下理論を適用して、fpqc準同型に沿った準連接層の降下を示し、局所データからグローバルな対象を構成可能にする。
• 群作用を群のoid構造と同値関係を用いて分析し、函手と層の言語を用いる。
• スキームの圏、層の圏、および環付き空間の圏における商を比較し、表現可能性を評価する。
• G-不変な準同型の圏における初期対象としての商の概念を用いて、圏的商を定義する。
• 函手の表現可能性に関する結果と代数的空間の性質を用いて、商がスキームまたは代数的空間である条件を特定する。

実験結果

リサーチクエスチョン

• RQ1 群作用によるスキームの商が、いつスキームによって表現可能か？
• RQ2 群作用の文脈において、層の商、空間付き商、および圏的商の関係は何か？
• RQ3 グロテンディーク位相（fpqc、fppf、Étale）は、商対象の構成と降下にどのように寄与するか？
• RQ4 対角化可能群による自由作用によるスキームの商が、いつスキームか？
• RQ5 幾何的文脈において、なぜ層の商が空間付き商よりも好まれるのか？

主な発見

• 対角化可能群による自由作用のスキームの商は、作用が自由でかつ群が対角化可能であれば、スキームによって表現可能である。
• 層の商（函手として）は、特に後者がスキームでない場合、空間付き商よりもしばしば有用である。
• fpqc準同型に沿った準連接層の降下理論により、局所データがグローバルな対象に貼り合わせられることを保証し、商構成の主要な道具となる。
• 圏的商は存在し、同型を除いて一意的であるが、そのスキームによる表現可能性は保証されない。
• 層の圏における商（集合の層として）は、やや弱い条件下でも代数的空間として表現可能であり、スキームでない場合でも成立する。
• 滑らかな部分群の正規化による商は、適切な仮定のもとで表現可能であり、同調空間の構成を提供する。