[论文解读] Local normal forms for c-projectively equivalent metrics and proof of the Yano-Obata conjecture in arbitrary signature. Proof of the projective Lichnerowicz conjecture for Lorentzian metrics

Alexey V. Bolsinov, Vladimir S. Matveev+1 more|arXiv (Cornell University)|Oct 1, 2015

Geometry and complex manifolds被引用 5

一句话总结

本文建立了任意符号的c-射影等价Kähler度量的局部标准形，并证明了Yano-Obata猜想：在紧致连通Kähler流形上，每个c-射影向量场都是仿射的，除非该流形是Fubini-Study度量下的复射影空间。此外，本文还证明了Lorentz度量下的射影Lichnerowicz猜想，表明在此情况下所有射影向量场均为仿射。这些结果依赖于通过约化至实射影几何并代数处理Levi-Civita联络上的多项式恒等式，分析曲率算子与相关自同态的Jordan结构。

ABSTRACT

Two Kähler metrics on a complex manifold are called c-projectively equivalent if their $J$-planar curves coincide. These curves are defined by the property that the acceleration is complex proportional to the velocity. We give an explicit local description of all pairs of c-projectively equivalent Kähler metrics of arbitrary signature and use this description to prove the classical Yano-Obata conjecture: we show that on a closed connected Kähler manifold of arbitrary signature, any c-projective vector field is an affine vector field unless the manifold is $CP^n$ with (a multiple of) the Fubini-Study metric. As a by-product, we prove the projective Lichnerowicz conjecture for metrics of Lorentzian signature: we show that on a closed connected Lorentzian manifold, any projective vector field is an affine vector field.

研究动机与目标

• 为任意符号的c-射影等价Kähler度量提供完整的局部分类。
• 在全部一般性下解决经典的Yano-Obata猜想，涵盖所有符号。
• 证明Lorentz度量在紧致连通流形上的射影Lichnerowicz猜想。
• 建立c-射影等价度量与哈密顿2-形式或扭量(1,1)-形式之间的对应关系。
• 通过从c-射影几何约化至实射影几何的技术，简化对曲率与对称性的分析。

提出的方法

• 通过分析相关自同态A的特征结构及其在切空间上的作用，推导c-射影等价Kähler度量的局部标准形。
• 利用局部等距哈密顿R^ℓ作用的Kähler商，将c-射影问题约化至实射影几何设定。
• 在商空间上构造曲率算子的显式公式，并通过多项式恒等式将其与原算子的特征值关联。
• 利用满足[p(A+tX), A+tX] = 0的多项式p(t)生成解R₀，并分析其在J-反对称张量积空间上的特征值。
• 通过商映射R̃₀表明，商空间上曲率算子的特征值继承自原算子，保持谱数据不变。
• 运用代数技巧证明：对应于A的不同实特征值或Jordan块中的广义特征向量，会在商空间中产生非平凡特征值，从而证明谱不变性。

实验结果

研究问题

• RQ1 在何种条件下两个Kähler度量是c-射影等价的？此类度量对的完整局部标准形是什么？
• RQ2 在紧致连通Kähler流形上，任意符号的c-射影向量场是否必然为仿射向量场，除非该流形是Fubini-Study度量下的复射影空间？
• RQ3 射影Lichnerowicz猜想是否对紧致连通流形上的Lorentz度量成立？
• RQ4 在c-射影设定中，商空间上曲率算子的特征值与原算子的特征值有何关系？
• RQ5 自同态A的Jordan块结构在决定曲率算子谱性质方面起什么作用？

主要发现

• Yano-Obata猜想在全部一般性下得到证明：在任意符号的紧致连通Kähler流形上，若流形不是配备Fubini-Study度量的CP^n，则每个c-射影向量场均为仿射向量场。
• 对于Lorentz符号的度量，射影Lichnerowicz猜想成立：在紧致连通Lorentz流形上，每个射影向量场均为仿射向量场。
• 商空间上曲率算子的特征值恰好为：对于A的不同实特征值λᵢ, λⱼ，其值为p(λᵢ)−p(λⱼ)/(λᵢ−λⱼ)；对于非平凡Jordan块，其值为p′(0)。
• 通过构造解R₀ = d/dt p(A+tX)|t=0，得到一个良定义的算子，其特征值对应于商空间上曲率算子的谱数据。
• A的广义特征子空间不包含于商映射的核中，确保原算子的特征值在商空间中得以保留，从而保持谱信息。
• 证明的关键在于表明：与A的特征向量或广义特征向量相关的J-反对称张量不属于商映射的核，从而确保特征值传递的非退化性。