[論文レビュー] Wonderful Varieties: A geometrical realization

Stéphanie Cupit-Foutou|arXiv (Cornell University)|Jul 16, 2009

Algebraic Geometry and Number Theory参考文献 11被引用数 39

ひとこと要約

本稿は、不変ヒルベルト多様体を用いた幾何的実現により、素晴らしき多様体の幾何的実現を提供し、球面同次空間の構造を符号化する組合せ的不変量である球面系によって、素晴らしき多様体が分類されることを証明するルーナの予想を解決する。与えられた球面系から、不変ヒルベルト多様体上の変形理論を用いて素晴らしき多様体を構成することで、存在と一意性が確立され、代数的変換群論における長年の分類問題が解決される。

ABSTRACT

A geometrical realization of wonderful varieties by means of a suitable class of invariant Hilbert schemes is given. As a consequence, Luna's conjecture asserting that wonderful varieties are classified by spherical systems, triples of combinatorial invariants, is proved.

研究の動機と目的

• 不変ヒルベルト多様体を用いた素晴らしき多様体の幾何的構成を提供し、それによってルーナの予想による分類を証明すること。
• 球面同次空間に対する素晴らしきコンパクト化の存在と一意性を、体系的な幾何的方法によって解決すること。
• 球面多様体の文脈において、組合せ的不変量（球面系）と代数幾何的対象（不変ヒルベルト多様体）との直接的な関係を確立すること。
• 特別な場合に限らない、一様な、変形論的構成を用いた素晴らしき多様体の分類の拡張を図ること。

提案手法

• 著者たちはアレクセエフとブリオンによって導入された不変ヒルベルト多様体を用い、座標環上のG-加群構造を所与のG-部分多様体が持つG-モジュールの有限次元G-空間内の閉G-部分多様体をパラメトライズする。
• 彼らは球面系に付随する不変ヒルベルト多様体を定義し、それが同型なG-モジュールを持つ平坦なアフィン球面G-多様体の族をパラメトライズすることを示す。
• 変形理論を用いて不変ヒルベルト多様体の接空間および障害空間を計算し、関連する状況においてその多様体が滑らかでかつ既約であることを証明する。
• この構成は、特に次数0および1における不変ヒルベルト多様体上の普遍族上のラインバンドルの詳細なコhomオロジー計算に依存する。
• 彼らは表現論を用いて球面根および球面重みを分析し、ウェイル加群および最高重量ベクトルの性質を用いてヒルベルト多様体の成分に関する条件を検証する。
• 不変ヒルベルト多様体がアフィン空間に同型であり、そのファイバーが球面多様体である普遍族を持つことを示すことにより、望ましい素晴らしき多様体を幾何的に実現する。

実験結果

リサーチクエスチョン

• RQ1 任意の球面系は、一意的な素晴らしきG-多様体の組合せ的不変量として現れるか？
• RQ2 ルーナの予想を、リー理論的部分群構成に依存せずに、幾何的構成によって実現できるか？
• RQ3 不変ヒルベルト多様体を用いて、一様に素晴らしき多様体を構成・分類できるか？
• RQ4 球面系に付随する不変ヒルベルト多様体上の普遍族のコホモロジー的性質は何か？
• RQ5 球面系に付随する不変ヒルベルト多様体は、滑らかで既約な成分を持ち、それによって素晴らしき多様体をパラメトライズするか？

主な発見

• 球面系に付随する不変ヒルベルト多様体は滑らかで既約であり、その普遍族は同型なG-モジュールを持つ平坦なアフィン球面G-多様体の族を実現する。
• 家族に対応する点における不変ヒルベルト多様体の接空間は、不変無限小変形の空間に同型であり、多様体の幾何的関連性を確認する。
• 障害空間が消えるため、関連する点において不変ヒルベルト多様体は滑らかであることが示され、望ましい多様体の構成に不可欠である。
• この構成により、各球面系に対して一意的な素晴らしきG-多様体が得られ、ルーナの予想における存在と一意性が証明される。
• 構成された素晴らしき多様体の全座標環（コクス環）は、ブリオンの結果が示唆する通り、ファクタリアルかつ有限生成である。
• 不変ヒルベルト多様体による幾何的実現は、個別的なリー理論的議論に依存しない一様な代数幾何的証明を提供する。