[论文解读] Convexity properties of gradient maps

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

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

一句话总结

本文建立了实半代数子集在复射影空间上由实重新李群作用所关联的梯度映射像的凸性定理。通过利用该作用的凯勒结构与哈密顿结构，作者证明了梯度映射像与正韦尔 chamber 的交集是一个凸多面体，将经典凸性结果推广至非复的实李群情形。

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.

研究动机与目标

• 建立复射影空间中实半代数子集的梯度映射的凸性性质。
• 将此前仅对复子群与解析集成立的经典凸性定理，推广至实重新李群作用于紧致凯勒流形的情形。
• 为理解 $ G $-不变子集在动量映射的 $ \frak{p} $-分量下的像，提供一个通用框架。
• 证明对于具有不可约扎里斯基闭包的闭实半代数集，梯度映射像与正韦尔 chamber 的交集是一个凸多面体。

提出的方法

• 作者考虑一个实重新李群 $ G $ 作用于一个紧致凯勒流形 $ Z $，其作用源于复化群 $ G^\mathbb{C} $ 的全纯作用。
• 他们将 $ G $-梯度映射 $ \mu_{\frak{p}}: Z \to \frak{p} $ 定义为 $ U $-动量映射与到李代数 $ \frak{p} $（即 $ \frak{p} $-分量）的正交投影的复合。
• 对于一个极大交换子空间 $ \frak{a} \subset \frak{p} $，他们研究交集 $ A(Y)_+ = \mu_{\frak{p}}(Y) \cap \frak{a}_+ $，其中 $ \frak{a}_+ $ 是一个正韦尔 chamber。
• 主要技术工具是使用拟有理点和通过塞格雷嵌入将空间嵌入更高秩射影空间的改进型平移方法。
• 他们在变换后的空间 $ Y_\beta $ 上构造了一个 $ K $-等变映射 $ \mu_{\frak{p},\beta} $，使得已知的凸性结果可应用于平移后的像。
• 该证明依赖于切片定理和 $ G $-不变子流形的结构，特别是在 $ Z = \mathbb{P}(V) $ 且 $ V $ 是 $ U $-酉表示的情形。

实验结果

研究问题

• RQ1 在何种条件下，$ G $-不变实半代数子集在梯度映射 $ \mu_{\frak{p}} $ 下的像与韦尔 chamber 相交时是凸的？
• RQ2 经典凸性定理（此前仅对复子群与解析集成立）能否推广至实重新李群作用于复射影空间的情形？
• RQ3 在 $ \mathbb{P}(V) $ 中，对于具有不可约扎里斯基闭包的实代数集，梯度映射的几何行为如何？
• RQ4 拟有理点与线丛嵌入在构造保持凸性的梯度映射变换中起什么作用？

主要发现

• 当 $ Z = \mathbb{P}(V) $，其中 $ V $ 是 $ U $ 的酉表示，且 $ Y \subset Z $ 是一个具有不可约实代数扎里斯基闭包的闭实半代数集时，集合 $ A(Y)_+ = \mu_{\frak{p}}(Y) \cap \frak{a}_+ $ 是一个凸多面体。
• 凸多面体 $ A(Y)_+ $ 是 $ Y $ 中 $ A $-不动点在 $ \mu_{\frak{p}} $ 下的像的凸包，其中 $ A = \exp(\frak{a}) $。
• 该结果将经典凸性定理（此前仅适用于复子群与解析子集）推广至实重新李群与实半代数集的情形。
• 该证明依赖于一种新颖的平移构造，利用拟有理点与塞格雷嵌入，将轨道空间嵌入一个可建立凸性的射影空间。
• 作者证明了 $ \mathcal{N}_G = \mathcal{N}_G' $，确认了在实群作用下，零锥的两种定义是等价的，这为凸性论证提供了支持。