[論文レビュー] Convexity properties of gradient maps

Peter Heinzner, Patrick Schuetzdeller|ArXiv.org|Oct 5, 2007

Geometry and complex manifolds参考文献 19被引用数 6

ひとこと要約

この論文は、複素射影空間における実再帰的群作用に関連する勾配写像の像に対する凸性定理を確立する。Kähler的かつハミルトニアン的構造を活用することで、著者たちは、勾配写像の像と正のワイル・チャネルの交わりが凸多面体であることを証明し、従来の凸性結果を複素数の再帰的群に限らず、実再帰的群へと拡張する。

ABSTRACT

We consider the action of a real reductive group G on a Kaehler manifold Z which is the restriction of a holomorphic action of the complexified group G^C. We assume that the induced action of a compatible maximal compact subgroup U of G^C on Z is Hamiltonian. We have an associated gradient map obtained from a Cartan decomposition of G. For a G-stable subset Y of Z we consider convexity properties of the intersection of the image of Y under the gradient map with a closed Weyl chamber. Our main result is a Convexity Theorem for real semi-algebraic subsets Y of the projective space corresponding to a unitary representation of U.

研究の動機と目的

• 複素射影空間内の実半代数的部分集合に対する勾配写像の凸性特性を確立すること。
• 従来、複素部分群と解析的集合に対してのみ知られていた古典的凸性定理を、コンパクトKähler多様体上で作用する実再帰的群の状況にまで拡張すること。
• 群 $ G $-安定な部分集合の $ \frak{p} $-成分のモーメント写像による像を理解するための一般枠組みを提供すること。
• 閉じた実半代数的集合で、Zariski閉包が既約であるような場合に、勾配写像の像と正のワイル・チャネルの交わりが凸多面体であることを証明すること。

提案手法

• 著者たちは、コンパクトKähler多様体 $ Z $ に作用する実再帰的群 $ G $ を考える。この作用は、複素化群 $ G^\mathbb{C} $ の正則作用から生じる。
• 彼らは、$ U $-モーメント写像と $ \frak{p} $ への直交射影との合成として定義される $ G $-勾配写像 $ \mu_{\frak{p}}: Z \to \frak{p} $ を導入する。ここで $ \frak{p} $ はリー代数の $ \frak{p} $-成分である。
• 最大アーベル部分空間 $ \frak{a} \subset \frak{p} $ に対して、$ A(Y)_+ = \mu_{\frak{p}}(Y) \cap \frak{a}_+ $ を考察する。ここで $ \frak{a}_+ $ は正のワイル・チャネルを表す。
• 主な技術的道具は、準有理点とSegre埋め込みによる高ランクの射影空間への埋め込みを用いた、修正されたシフト手続きである。
• 変換された空間 $ Y_\beta $ 上で $ K $-同変写像 $ \mu_{\frak{p},\beta} $ を構成し、これによりシフトされた像に既知の凸性結果を適用可能にする。
• 証明はスライス定理と $ G $-不変部分多様体の構造、特に $ Z = \mathbb{P}(V) $ で $ V $ が $ U $-ユニタリ表現である場合に依存している。

実験結果

リサーチクエスチョン

• RQ1 実再帰的群作用のもとで、$ G $-安定な実半代数的部分集合の勾配写像 $ \mu_{\frak{p}} $ による像がワイル・チャネルと交わる際に、どのような条件下で凸性を示すか？
• RQ2 複素部分群と解析的集合に対して知られていた古典的凸性定理は、複素射影空間上で作用する実再帰的群へと拡張可能か？
• RQ3 $ \mathbb{P}(V) $ における既約なZariski閉包を持つ実代数的集合に対して、勾配写像の幾何的性質はどのように振る舞うか？
• RQ4 準有理点とラインバンドルの埋め込みは、勾配写像の凸性を保つ変換を構築するために果たす役割は何か？

主な発見

• $ Z = \mathbb{P}(V) $ で $ V $ が $ U $-ユニタリ表現であるとき、$ Y \subset Z $ をZariski閉包が既約な閉じた実半代数的集合とする。このとき、$ A(Y)_+ = \mu_{\frak{p}}(Y) \cap \frak{a}_+ $ は凸多面体である。
• 凸多面体 $ A(Y)_+ $ は、$ A = \exp(\frak{a}) $ の固定点における $ \mu_{\frak{p}} $-像の凸包である。
• この結果は、従来の複素部分群と解析的部分集合に対する古典的凸性定理を、実再帰的群と実半代数的集合の状況へと一般化する。
• 証明は、準有理点とSegre埋め込みを用いた、新たなシフト構成に依存しており、これにより軌道空間を凸性が保証される射影空間へ埋め込める。
• 著者たちは $ \mathcal{N}_G = \mathcal{N}_G' $ を示し、実群作用下での二つのノルムコーンの定義の同値性を確認した。これは凸性の議論を支持する。