[論文レビュー] The Complexity of a Flat Groupoid

Matthieu Romagny, Gabriel Zalamansky+1 more|arXiv (Cornell University)|Jan 1, 2018

Homotopy and Cohomology in Algebraic Topology被引用数 1

ひとこと要約

本稿では、ケル・モリ商 Y としての X ×_Y X への射 R → X ×_Y X の標準的因数分解の長さを測る新たな不変量として、平坦群ガロアの「複雑さ」を導入する。複雑さが1以下の群ガロアに対して、著者らは降下定理を確立し、平坦な代数的スタックへの射が、安定化子を保存する射と同値であることを示し、特に古典的結果が失敗する正の特性における場合に、野生的または良い商を超えた降下理論を拡張する。

ABSTRACT

Grothendieck proved that any finite epimorphism of noetherian schemes factors into a finite sequence of effective epimorphisms. We define the complexity of a flat groupoid $R ightrightarrows X$ with finite stabilizer to be the length of the canonical sequence of the finite map $R ightarrow X imes_{X/R} X$, where $X/R$ is the Keel--Mori geometric quotient. For groupoids of complexity at most 1, we prove a theorem of descent along the quotient $X ightarrow X/R$ and a theorem on the existence of the quotient of a groupoid by a normal subgroupoid. We expect that the complexity could play an important role in the finer study of quotients by groupoids.

研究の動機と目的

• 標準的結果が失敗する正の特性において、野生的または良い商を超えた降下理論を拡張すること。
• 有限安定化子をもつ平坦群ガロアのための新たな不変量「複雑さ」を定義し、群ガロア作用における自由性の欠如を測る。
• 複雑さ ≤1 条件の下で、代数的スタック上にファイバーされた圏に対する降下定理を確立すること。
• 平坦射 X′ → X = [X/R] の圏が、[X/R] への平坦かつ安定化子を保存する射の圏と同値であることを証明すること。
• 代数的幾何における群ガロアによる商の研究のための枠組みを提供し、非分離作用や葉層への応用を含む。

提案手法

• 平坦群ガロア R ⇒ X の複雑さを、Y = X/R がケル・モリ商であるときの射 jY : R → X ×_Y X の標準的因数分解の長さとして定義する。
• ネーター的スキームの有限エピモルフィズムが有限回の有効エピモルフィズムの列に因数分解できることを示すグロタンディークの定理を用い、jY にこれを適用して標準的列を定義する。
• 安定化子 Σ ⊂ R を X × X の対角の逆像として導入し、高次の分岐を反映するように幾何的安定化子作用を精緻化する。
• 複雑さ ≤1 の場合に、平坦性の仮定の下で、引き戻し函手 π* : C(Y) → C(R,X)′ が同値であることを証明し、オルソンおよびアルパーの結果を一般化する。
• スタック理論的言語を用いる：C が代表可能な対角を持つ場合、複雑さ ≤1 であれば、Hom(Y, C) → Hom(π₀[X/R], C) が同値であることを示す。
• 正規部分群ガロア商に理論を適用し、粗いモジュライ空間を含むカルテジアン図を示す。

実験結果

リサーチクエスチョン

• RQ1 有限安定化子と商 Y = X/R をもつ平坦群ガロア R ⇒ X に対して、引き戻し函手 π* : C(Y) → C(R,X)′ が同値であるのはいつか？
• RQ2 特に正の特性において標準的結果が失敗する状況で、野生的または良い商の設定を超えた降下理論をどのように一般化できるか？
• RQ3 野生的群ガロア作用における降下の失敗を制御する不変量は何か、そしてどのように定量化できるか？
• RQ4 平坦射 Y = X/R への射の圏が、[X/R] への安定化子を保存する射の圏と一致するのはどのような条件下か？
• RQ5 正規部分群ガロアによる商は、粗いモジュライ空間を含むカルテジアン図で記述可能か？

主な発見

• 有限安定化子をもつ平坦群ガロア R ⇒ X の複雑さは、Y = X/R がケル・モリ商であるときの射 jY : R → X ×_Y X の標準的因数分解の長さとして定義される。
• 複雑さが1以下の群ガロアに対して、π が平坦である限り、引き戻し函手 π* : C(Y) → C(R,X)′ が同値であることが示され、オルソンおよびアルパーの結果が一般化される。
• 代表的な代数的空間による平坦射 X′ → X = [X/R] の圏は、複雑さ ≤1 のとき、平坦かつ安定化子を保存する射 X′ → X の圏と同値である。
• 射 π₀[X/R] → X/R が同型であるのは、作用が自由であるときであり、複雑さ ≤1 のとき、C に適切な条件が満たされれば、写像 Hom(X/R, C) → Hom(π₀[X/R], C) が同値である。
• 反例により、平坦性がなければ主定理が成立しないことが示される：特徴が p であるとき、X = Spec k[ε]/(ε²) 上に自明な安定化子作用をもつ非自明な G-不変線束が存在するが、π* の像に属さない。
• 理論は正規部分群ガロア商に適用可能であり、粗いモジュライ空間を含むカルテジアン図を導き、[X/P] ×_{[X/R]} [X/P] ≅ [P\R/P] かつ安定化子を保存する射が成り立つことを示す。