[論文レビュー] Invariant Hilbert schemes

Michel Brion|arXiv (Cornell University)|Feb 1, 2011

Advanced Algebra and Geometry参考文献 55被引用数 14

ひとこと要約

本稿では、G-多様体の座標環に所望のG-加群構造を持つ閉じたG安定的部分多様体のモジュライ空間として、不変ヒルベルト汎族を導入し、G-ヒルベルト多様体や多重次数付きヒルベルト多様体を一般化する。準射的基底上に普遍族の存在を確立し、重みモノイドを用いた球面的多様体の分類に応用することで、与えられた重みモノイドを持つ完璧なG-多様体のモジュライ空間がアフィン空間に同型であることを証明する。

ABSTRACT

This is a survey article on moduli of affine schemes equipped with an action of a reductive group. The emphasis is on examples and applications to the classification of spherical varieties.

研究の動機と目的

• G-多様体の閉じたG安定的部分多様体で、座標環に所望のG-加群構造を持つもののモジュライ空間（不変ヒルベルト多様体と呼ぶ）を構成すること。
• G-ヒルベルト多様体や多重次数付きヒルベルト多様体といった既存の構成を、再帰的群作用の設定に一般化すること。
• 不変ヒルベルト多様体を球面的多様体の分類、特に完璧な多様体の分類に応用すること。重みモノイドを用いて行う。
• 固定された重みモノイドを持つ完璧なG-多様体のモジュライ空間がアフィン空間に同型であることを確立し、分類の幾何的実現を与えること。

提案手法

• 最高重量理論を用いて一般の場合を対角的群の場合に還元し、ハイマンとシュトゥルムフェルスによる多重次数付きヒルベルト多様体に関する既知の結果を活用する。
• 不変ヒルベルト多様体は、G-加群の重複度を符号化する固定されたヒルベルト関数を持つG安定的部分多様体をパラメトライズする準射的スキーム上の普遍族として定義される。
• Zにおけるザリスキ接空間を計算し、特に軌道閉包に注目して、等変変形理論を用いる。
• 一般化されたヒルベルト＝チャウ写像を導入し、不変ヒルベルト多様体をX//G（カテゴリー的商）へ写像する。
• 球面的多様体の座標環が重複度自由であることを利用し、より大きな再帰的群作用への上げ上げにより、アフィン空間上に平坦で等変な族を構成する。
• 鍵となる技術的道具は、障害空間T²(X₀)ᴳの消滅であり、これによりモジュライ空間の滑らかさが示され、MΓ ≅ 𝔸ʳ が導かれる。

実験結果

リサーチクエスチョン

• RQ1 G-多様体の閉じたG安定的部分多様体で、座標環に所望のG-加群構造を持つもののモジュライ空間（G-ヒルベルト多様体や多重次数付きヒルベルト多様体を一般化する）を構成できるか？
• RQ2 不変ヒルベルト多様体は、球面的多様体の分類、特に重みモノイドの観点からどのように関係するか？
• RQ3 固定された重みモノイドを持つ完璧なG-多様体のモジュライ空間は滑らかで、アフィン空間に同型か？
• RQ4 球面的状況における不変ヒルベルト多様体上の普遍族の幾何的構造は何か？
• RQ5 不変ヒルベルト多様体を用いて、座標環が次数付きであるより単純な多様体への球面的多様体の退化を実現できるか？

主な発見

• 不変ヒルベルト多様体Hilbᴳₕ(X)は準射的スキームとして存在し、座標環に固定されたG-加群構造を持つXのG安定的部分多様体をパラメトライズする。
• 再帰的群GとG-加群Vに対して、不変ヒルベルト多様体はG-ヒルベルト多様体と多重次数付きヒルベルト多様体の両方を一般化する。
• Gが対角的群であるとき、不変ヒルベルト多様体は多重次数付きヒルベルト多様体に還元され、ハイマンとシュトゥルムフェルスの構成が回復される。
• 与えられた重みモノイドΓを持つ完璧なG-多様体のモジュライ空間MΓはアフィン空間𝔸ʳに同型であり、rは球面的根の数である。
• MΓ上の普遍族は、表現の積の閉じたG×C-安定的部分多様体として実現され、𝔸ʳへの平坦で等変な写像をなす。
• SL₂の場合、多様体𝔹ℙ(2)のモジュライ空間は𝔸¹に同型であり、普遍族は判別式写像によって与えられる。