[论文解读] Proof of the Yano-Obata Conjecture for holomorph-projective transformations

Vladimir S. Matveev, Stefan Rosemann|arXiv (Cornell University)|Mar 29, 2011

Advanced Topics in Algebra参考文献 47被引用 3

一句话总结

本文证明了闭合、连通的凯勒流形上全纯-仿射变换的亚诺-大庭猜想：除非流形在局部上同构于具有富比尼-斯蒂迪度量的复射影空间，否则全纯-仿射变换群的单位连通分支仅由等距变换组成。证明依赖于分析 $h$-仿射结构、曲率条件以及凯勒度量的可动度，表明仅当全纯曲率为常数时，才存在非等距的全纯-仿射变换。

ABSTRACT

We prove the classical Yano-Obata conjecture by showing that the connected component of the group of holomorph-projective transformations of a closed, connected Riemannian Kähler manifold consists of isometries unless the metric has constant positive holomorphic curvature.

研究动机与目标

• 解决关于凯勒流形上全纯-仿射变换的古典亚诺-大庭猜想。
• 确定全纯-仿射变换群的单位连通分支与等距群重合的条件。
• 刻画 $h$-仿射等价凯勒度量及其相关联络的结构。
• 建立非仿射全纯-仿射向量场仅存在于全纯曲率为常数的情形。

提出的方法

• 引入 $h$-平面曲线的概念，即加速度位于速度及其 $J$-像的复张量空间中的曲线。
• 通过保持 $h$-平面曲线，定义凯勒度量之间的 $h$-仿射等价性。
• 利用凯勒度量的可动度对 $h$-仿射等价度量进行分类，特别是可动度为二的情形。
• 应用张量方程 (92) 来刻画 $h$-仿射结构及其联络，该方程针对对称的 $J$-不变 $(2,0)$-张量。
• 分析 $h$-仿射向量场在张量方程 (92) 解空间上的作用，表明其李导数保持解空间不变。
• 证明在 $h$-仿射结构中，某度量的勒维-奇维塔联络由方程 (92) 的一个解唯一确定，从而实现度量与联络的重构。

实验结果

研究问题

• RQ1 在何种条件下，凯勒流形上的全纯-仿射变换与等距变换重合？
• RQ2 当非仿射全纯-仿射向量场存在时，何时意味着度量具有常全纯曲率？
• RQ3 当可动度为二时，$h$-仿射等价凯勒度量的空间结构如何？
• RQ4 如何通过特定张量方程 (92) 的解来刻画 $h$-仿射结构？
• RQ5 全纯-仿射向量场的李导数与张量方程 (92) 的解空间之间存在何种关系？

主要发现

• 闭合、连通的凯勒流形上，全纯-仿射变换群的单位连通分支仅由等距变换组成，除非度量具有常正全纯曲率。
• 仅当流形在局部上同构于具有富比尼-斯蒂迪度量的复射影空间时，才存在非等距的全纯-仿射变换。
• 对于可动度为二的度量，方程 (92) 的解空间为二维，由度量的对偶度量乘以其体积形式所张成。
• $h$-仿射向量场在方程 (92) 解空间上的李导数满足一个二次矩阵方程，意味着其对应自同态受到代数约束。
• 在 $h$-仿射结构中，某度量的勒维-奇维塔联络可由方程 (92) 的非退化解唯一重构，从而建立了一一对应关系。
• 证明表明，凯勒流形上的 $h$-仿射结构由特定张量方程的解决定，且非平凡此类结构仅在全纯曲率为常数时存在。