[论文解读] Volume-preserving maps between Hermitian symmetric spaces of compact type

Hanlong Fang, Jimmy Xiangji Huang+1 more|arXiv (Cornell University)|Feb 5, 2016

Geometry and complex manifolds参考文献 34被引用 7

一句话总结

本文建立了关于紧致型不可约Hermitian对称空间之间全纯体积保测映射的刚性定理，证明此类映射必可延拓为全纯等距同构。关键结果表明，若一个全纯映射在正实数常数倍下保持体积形式，则每个分量映射均为等距同构，且这些常数之和为1。

ABSTRACT

In this paper, we establish the rigidity result for local holomorphic volume preserving maps from an irreducible Hermitian manifold of compact type into its Cartesian products.

研究动机与目标

• 证明关于紧致型不可约Hermitian对称空间之间全纯体积保测映射的全局刚性定理。
• 将先前关于局部等距嵌入的结果推广至具有正共形权的体积保测映射情形。
• 建立此类体积保测映射必可延拓为全空间全纯等距同构的结论。
• 解决Clozel与Ullmo关于高维Hermitian对称空间中体积保测对应模性质的开放问题。
• 推广早期关于对称空间中等距嵌入与体积保持关系的研究成果，涵盖非紧致型与紧致型情形。

提出的方法

• 在紧致型不可约Hermitian对称空间上使用典范Kähler-Einstein度量及其相应的体积形式。
• 分析全纯映射下体积形式的拉回，并施加体积保测条件：$ \omega^n = \sum_{i=1}^m \lambda_i F_i^*(\omega^n) $，其中 $ \lambda_i > 0 $。
• 应用代数性与有界次数下的有理化结果，将问题约化为代数几何方法。
• 利用Segre簇及其横截性性质，分析纤维结构与映射行为。
• 证明Segre族的平坦性与横截性，以控制映射的奇点与退化性。
• 通过附录I中的显式坐标函数与仿射胞腔分解，处理如 $ M_{27} $ 与 $ M_{16} $ 等特殊情况。

实验结果

研究问题

• RQ1 在何种条件下，从紧致型Hermitian对称空间到另一空间的全纯映射若保持体积形式，可延拓为全纯等距同构？
• RQ2 共形权 $ \lambda_i $ 在体积保测条件中起何作用？它们需满足何种约束？
• RQ3 Segre簇及其横截性性质如何约束体积保测全纯映射的结构？
• RQ4 能否在所有紧致型不可约Hermitian对称空间（包括例外类型）中统一建立体积保测映射的刚性？
• RQ5 在具有非退化全纯映射的对称空间背景下，体积保持与等距延拓之间存在何种关系？

主要发现

• 任意从不可约Hermitian对称空间 $ M $ 的连通开子集到 $ M^m $ 的全纯映射 $ F = (F_1, \dots, F_m) $，若在正实数常数倍下保持体积形式，则必可延拓为 $ M $ 上的全纯等距同构。
• 体积保测条件中的共形权 $ \lambda_i $ 满足 $ \sum_{j=1}^m \lambda_j = 1 $，此条件为刚性成立的充要条件。
• 证明依赖于具有有界次数的映射的代数性与有理化性质，从而可将问题约化为代数几何技术。
• 通过附录中的显式坐标分析，对所有类型（包括例外情形 $ M_{27} $ 与 $ M_{16} $）建立了Segre族的平坦性与横截性。
• Segre簇 $ Q_{\xi^0} $ 是光滑且不可约的，其几何结构确保了定义函数雅可比矩阵的秩在一般点处达到最大。
• 对每类不可约类型（I–IV类及例外类），通过证明定义函数的雅可比矩阵在一般邻域内满秩2，验证了Segre族的平坦性。