[論文レビュー] 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-射影同値なケーラー計量の局所正規形を確立し、ヤーノ＝オバタ予想を証明する。閉連結ケーラー多様体上で、c-射影ベクトル場は複素射影空間にFubini-Study計量を除き常にアフィンである。さらに、ローレンツ計量に対しては射影的リヒネルトの予想を証明し、この場合すべての射影ベクトル場がアフィンであることを示す。これらの結果は、接空間への作用に基づく関連自己準同型のJordan構造と曲率作用素の分析に依拠し、実射影幾何学への還元とLevi-Civita接続に関する多項式恒等式の代数的操作によって得られる。

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-射影同値ケーラー計量の完全な局所分類を提供すること。
• 古典的ヤーノ＝オバタ予想を、すべての符号性を含む完全な一般性において解決すること。
• 閉連結多様体上のローレンツ計量に対して、射影的リヒネルトの予想を証明すること。
• c-射影同値計量とハミルトニアン2-形式またはツイスター(1,1)-形式との間の対応関係を確立すること。
• c-射影幾何学から実射影幾何学への還元技術を用いて、曲率および対称性の解析を簡略化すること。

提案手法

• 関連自己準同型Aの固有構造と接空間への作用を分析することにより、c-射影同値ケーラー計量の局所正規形を導出する。
• 局所等長ハミルトニアンR^ℓ作用に関するケーラー商を用い、c-射影問題を実射影設定に還元する。
• 商空間上の曲率作用素の明示的公式を構成し、多項式恒等式を介して元の作用素の固有値と関連付ける。
• 多項式p(t)が[p(A+tX), A+tX] = 0を満たすことを用い、解R₀を生成し、J歪対称テンソル空間上の固有値を分析する。
• 商写像R̃₀を用いて、商空間上の曲率作用素の固有値が元の作用素から引き継がれ、スペクトルデータが保存されることを示す。
• 代数的技法を用いて、Aの異なる実固有値に対応する固有ベクトル、またはジョルダンブロック内の一般化固有ベクトルが、商空間で非自明な固有値をもたらすことを示し、スペクトル不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 2つのケーラー計量がc-射影同値であるための条件は何か？ そして、このようなペアの完全な局所正規形は何か？
• RQ2 任意の符号性を持つ閉連結ケーラー多様体上でのc-射影ベクトル場は、複素射影空間にFubini-Study計量を除き、常にアフィンであるとされるが、これは真か？
• RQ3 閉連結多様体上のローレンツ計量に対して、射影的リヒネルトの予想は成立するか？
• RQ4 c-射影設定において、商空間上の曲率作用素の固有値は、元の作用素の固有値とどのように関係するか？
• RQ5 自己準同型Aのジョルダンブロック構造は、曲率作用素のスペクトル的性質を決定づける役割を果たすか？

主な発見

• ヤーノ＝オバタ予想は完全な一般性において証明された：任意の符号性を持つ閉連結ケーラー多様体上で、c-射影ベクトル場は複素射影空間CP^nにFubini-Study計量を除き常にアフィンである。
• ローレンツ計量の場合は、射影的リヒネルトの予想が成立する：閉連結ローレンツ多様体上で、すべての射影ベクトル場はアフィンである。
• 商空間上の曲率作用素の固有値は、Aの異なる実固有値λᵢ, λⱼに対してp(λᵢ)−p(λⱼ)/(λᵢ−λⱼ)であり、非自明なジョルダンブロックに対してはp′(0)である。
• 解R₀ = d/dt p(A+tX)|t=0の構成により、商空間上の曲率作用素のスペクトルデータに対応するwell-definedな作用素が得られ、その固有値が明確に特定される。
• Aの一般化固有空間は商写像の核に含まれないため、元の作用素からの固有値が商空間に保存され、スペクトル情報が保持される。
• Aの固有ベクトルまたは一般化固有ベクトルに付随するJ歪対称テンソルが商写像の核に属さないことを示すことで、非退化な固有値伝達が保証される。