[論文レビュー] Stable Configurations of Linear Subspaces and Quotient Coherent Sheaves

Yi Hu|ArXiv.org|Jan 20, 2004

Geometry and complex manifolds参考文献 26被引用数 21

ひとこと要約

本稿は、ヒルベルト＝ムーディー数値基準およびモーメント写像法を用いて、線型部分空間および商層の配置のGIT安定性基準を確立する。配置が、あるヒルベルト計量に関して一意にバランス取れるときかつそのときに限り安定であることを証明し、ムーディーおよびドォルガチェフの結果を一般化するとともに、ゲルファンド＝マクフィアソン対応を部分空間および商層へと拡張する。

ABSTRACT

In this paper we provide some stability criteria for systems of linear subspaces of $V \otimes W$ and for systems of quotient coherent sheaves, using, respectively, the Hilbert-Mumford numerical criterion and moment map. Along the way, we generalize the Gelfand-MacPherson correspondence [11] from point sets to sets of linear subspaces (of various dimensions). And, as an application, we provide some examples of $G$-ample cones without any top chambers. The results of this paper are based upon and/or generalize some earlier works of Klyachko [18], Totaro [28], Gelfand-MacPherson [11], Kapranov [17], Foth-Lozano [8], Simpson [24], Wang [30], Phong-Sturm [22], Zhang [32] and Luo [20], among others.

研究の動機と目的

• ベクトル空間のテンソル積内の部分空間系に対するムーディーおよびドォルガチェフのGIT安定性基準を、部分空間配置へ一般化すること。
• SL(V)作用の下での線型部分空間配置の安定性を、モーメント写像に基づいて特徴づけること。
• 点配置から出発するゲルファンド＝マクフィアソン対応を、線型部分空間および商層の配置へと拡張すること。
• アイゼンシュタインおよびポペスクの提案に触発され、グラスマンニアンにおける双対性を通じて一般化されたゲール変換を定義し、その性質を調べること。
• 対角ハイパーシンプレックスと呼ばれる新しい多面体を用いて、グラスマンニアンの積のGL(V)-アンプルコーンを計算すること。この多面体は、上部チャネルを有さないことがあるため、これまでの例とは稀に異なる。

提案手法

• 重み付きラインバンドル L_ω に関して、SL(V)安定性の必要十分条件を導くために、ヒルベルト＝ムーディー数値基準を適用する。対象は {K_i ⊂ V⊗W} の配置である。
• コンパクトなカーラー多様体 X からグラスマンニアンへの準同型写像の空間における SU(N) 行動のモーメント写像を計算する。これは、X 上での局所的モーメント写像の積分として与えられる。
• 写像 {g_i: X → Gr(r_i, ℂ^N)} の配置が、重み付き積分の直交射影がスカラー倍の単位行列に等しい場合にバランス取れていると定義する。このスカラーは重み付き平均ランクで与えられる。
• モーメント写像およびGIT理論を用いて、配置が安定であることと、一意にバランス取れてかつ自明でない安定化部分群を持つこととは同値であることを証明する。
• ブロック作用を通じて、GL(V)-軌道 ∏Gr(k_i, V) と GL(k_1)×⋯×GL(k_m)-軌道 Gr(n, ℂ^{k_1+⋯+k_m}) 間の一般化されたゲルファンド＝マクフィアソン対応を構成する。
• 対角ハイパーシンプレックスを導入し、GL(V)-アンプルコーンの記述に一般化されたハイパーシンプレックスを用いる。この多面体は、上部チャネルを欠くことがあるため、従来の例とは稀に異なる。

実験結果

リサーチクエスチョン

• RQ1 V⊗W 内の線型部分空間系が対角 SL(V) 行動に関して、GIT安定性基準は何か？
• RQ2 多様体からグラスマンニアンへの写像空間におけるモーメント写像は、部分バンドル配置の安定性とどのように関係するか？
• RQ3 ゲルファンド＝マクフィアソン対応は、点配置から線型部分空間の配置へ一般化可能か？
• RQ4 双対グラスマンニアン内の部分空間配置間の一般化されたゲール変換の幾何的意味は何か？
• RQ5 グラスマンニアンの積の GL(V)-アンプルコーンの性質は何か？そして、新しい多面体を用いてどのように記述できるか？

主な発見

• 配置 {K_i ⊂ V⊗W} が SL(V) に関して半安定（ respectively 安定）であるための必要十分条件は、任意の零でない真部分空間 H ⊂ V に対して、不等式 ∑ω_i dim(K_i ∩ (H⊗W))/dim H ≤ ∑ω_i dim K_i / dim V （ respectively < ）が成り立つことである。
• 配置 {V_i ⊂ V} がポリスタブルであるための必要十分条件は、V にヒルベルト計量 h に関して一意にバランス取れる、すなわち ∑ω_i π_{V_i} = (1/dim V)∑ω_i k_i · Id_V が成り立つことである。
• 空間 ∏Hom(X, Gr(r_i, ℂ^N); P_i) における SU(N) 行動のモーメント写像は、Φ({g_i}) = ∑ω_i ∫_X A_i(x)A_i^*(x) dV − ℘_ω({g_i}) Vol(X) I で与えられる。
• 写像 {g_i} の配置が安定であることと、一意にバランス取れてかつ有限安定化部分群を持つこととは同値である。
• ∏Quot(V, P_i) 内のベクトル束 {ℰ_i} の安定性は、u ∈ SU(N)\ackslash SL(N) が一意に存在して u·{ℰ_i} がバランス取れることと同値である。
• m=1 のとき、ℂ^N × X 内の部分束 ℰ に対するギーゼッカー＝シンプソン安定性は、ℰ が一意にバランス取れかつ有限自己同型群を持つことと同値であり、ウォンおよびフォン＝シュトゥルムの結果を回復する。