幾何学的不変式論とは
幾何学的不変式論(Geometric Invariant Theory、GIT)は、
代数幾何学の分野において
モジュライ空間を構成するための重要な手法です。この理論は、代数多様体上での
群作用を扱い、群 G が作用する空間 X の「商」を形成する方法を提供します。不変式論は、1965年に
デヴィッド・マンフォードによって発展されたものであり、古典的不変式論のアイデアを応用しています。
背景と理論
不変式論は、対象の特性を変えずに群 G の作用によって得られる多様体の性質を理解するための理論です。特に、この理論は代数多様体やスキームの性質を研究する際に有用であり、群 G の作用によって得られる多項式の
不変量を用いることで商空間を構構成します。
具体的には、群 G の作用を受けた多項式関数 f は、共変な変数変換のもとで不変性を持つものとして考えられます。これにより、G の全ての要素 g に対し、g・f = f が成り立つ不変式が得られます。不変式は可換代数 A = R(V)G を形成し、商空間 V//G 上の関数の代数として解釈されるのです。
この理論が持つ一つの大きな挑戦は、様々な群 G に対する商の性質の理解です。ヒルベルトの第14問題において、一般的な群における商が有限生成の代数であるかどうかが問題にされましたが、
永田雅宜によって否定的な結果が示されています。
1970年代と1980年代にかけて、幾何学的不変式論は
シンプレクティック幾何学や同変トポロジーとも関連しながら発展しました。これにより、インスタントンやモノポールと呼ばれる
微分幾何学的対象の
モジュライ空間の構成が可能となりました。
マンフォードの貢献
マンフォードの著作は、幾何学的不変式論の発展において重要な位置を占めています。彼の1965年の書籍では、ダヴィッド・ヒルベルトの古典的な結果を現代
代数幾何学の問題に適用し、新しい視点からのアプローチを示しました。この書籍では、スキームや
群作用の初歩的な設定を用いた抽象的な理論と計算技術が融合しています。
マンフォードは、商空間の概念を持ち込み、
群作用によるこれは抽象的な議論から容易に
代数幾何学の問題へ挑戦する枠組みを提供しました。この理論は、特に
モジュライ空間の理解を深めるために有用です。彼の研究は、安定性という新たな概念を導入し、多くの数学者の関心を集めました。
安定性の概念
安定性の概念は、幾何学的不変式論において非常に重要です。
ベクトル空間 V 上の群 G の線型作用による点の性質を評価するために、点は不安定(unstable)、半安定(semi-stable)、安定(stable)というカテゴリに分けることができます。これにより、
モジュライ空間を適切に構成し、対象の安定性を評価する方法が生まれました。
これらの定義は、ヒルベルト・マンフォード評価条件として知られ、群 G の作用を考慮した不変多項式との関連で説明することができます。たとえば、0 でない点が不安定である条件は、特定の部分群が存在しなくなることと同値です。また、安定な点はその軌道が閉じ、安定性の概念に基づくとその性質が評価されます。
結論
幾何学的不変式論は、
代数幾何学における
モジュライ空間の理解を深めるための強力なツールであり、
群作用を通じた商空間の形成は、様々な数学的現象の解明に寄与してきました。マンフォードの業績はこの分野における基礎を築き、多くの後続の研究に影響を与えています。