[論文レビュー] Bishop and Laplacian comparison theorems on Sasakian manifolds

Paul W. Y. Lee, Chengbo Li|arXiv (Cornell University)|Oct 20, 2013

Geometric Analysis and Curvature Flows参考文献 9被引用数 3

ひとこと要約

この論文は、Sasakian多様体に自然な構造が備わったsub-Riemann多様体に対して、BishopおよびLaplacian比較定理を確立する。Tanaka-Webster曲率を分析し、標準的フレームとJacobi場の技法を用いることで、従来の3次元結果を一般化した体積およびLaplacian比較推定を導出する。等号条件は、ヘイゼンベルク群などのモデル空間を特徴づける。

ABSTRACT

We prove a Bishop volume comparison theorem and a Laplacian comparison theorem for a natural sub-Riemannian structure defined on Sasakian manifolds. This generalizes the earlier work for the three dimensional case.

研究の動機と目的

• 3次元Sasakian多様体に限らない、一般の2n+1次元Sasakian多様体へのBishopおよびLaplacian比較定理の拡張。
• Tanaka-Webster曲率テンソルの特定成分に対する下界が与えられたもとで、体積比較定理の確立。
• Tanaka-Webster曲率の曲率バウンドを用いて、sub-Laplacian比較推定を導出し、先行研究の結果を一般化すること。
• 比較定理における等号ケースの特徴づけ。これは、多様体が局所的にヘイゼンベルク群または複素Hopfファイブレーションの幾何と一致する場合に特定される。

提案手法

• 著者たちは[8]の標準的フレーム構成と[7]の平行適応フレーム形式を用い、Sasakian多様体上の曲率計算を簡略化する。
• 彼らは、接触分布 D = ker α₀ に制限されたRiemann体積形式を用いて、sub-Riemann距離および体積を定義する。
• 証明は、Lagrangian GrassmannianにおけるJacobi曲線の曲率を用いて、sub-Riemann geodesic 沿いのJacobi場を分析することに依存する。
• 重要な曲率条件として、Jv と直交するベクトル wᵢ を含む2つの特定の二次形式の非負性が課される。
• Hessian比較原理を用いてLaplacian比較定理を導出し、曲率バウンド k₁ と k₂ に依存する比較関数 h(r,z) が得られる。
• 比較関数 h(r,z) は、k₁ と k₂ の符号に基づいて三角関数および双曲線関数を用いて明示的に構成される。

実験結果

リサーチクエスチョン

• RQ1 Tanaka-Webster曲率にどのような曲率条件が課わされるとき、Sasakian多様体におけるsub-Riemann体積がヘイゼンベルク群のそれ以下に抑えられるか？
• RQ2 Sasakian多様体におけるBishop型体積比較定理で等号が成立するのはいつか？
• RQ3 曲率バウンドのもとで、Sasakian多様体上のsub-Laplacianに対してどのようにLaplacian比較定理を定式化できるか？
• RQ4 sub-Riemann距離関数のsub-Laplacianを支配する比較関数 h(r,z) の正確な形は何か？
• RQ5 Tanaka-Webster曲率の曲率条件は、ヘイゼンベルク群や複素Hopfファイブレーションなどのモデル空間の幾何とどのように関係するか？

主な発見

• Sasakian多様体におけるsub-Riemann球 Bₓ(R) の体積は、Tanaka-Webster曲率が ∑⟨Rm*(wᵢ,v)v,wᵢ⟩ ≥ (2n−2)|v|² および ⟨Rm*(Jv,v)v,Jv⟩ ≥ 4|v|⁴ を満たす限り、ヘイゼンベルク群における対応する球の体積以上に抑えられない。
• 体積比較における等号は、曲率条件が飽和している場合にかつその場合に限り成立する：球上で ⟨Rm*(Jv,v)v,Jv⟩ = 4|v|⁴ および ∑⟨Rm*(wᵢ,v)v,wᵢ⟩ = (2n−2)|v|² が成り立つとき。
• sub-Riemann距離関数のsub-Laplacian Δₕd は、曲率バウンド k₁ と k₂ に依存する比較関数 h(r,z) によって上から抑えられる。この関数は三角関数および双曲線関数を用いて明示的に表現される。
• 比較関数 h(r,z) は、k₁ と k₂ の符号に基づいて区分的かつ定義され、√k₁、√k₂、cot、coth、sin、cos、sinh、cosh を含む項を含む。
• k₁ ≥ 0 かつ k₂ ≥ 0 のとき、比較関数には sin と cos 項が含まれる。k₁ ≤ 0 または k₂ ≤ 0 のとき、sinh と cosh を用い、適切な符号調整が施される。
• Laplacian比較定理における等号ケースは、曲率バウンドが飽和している場合にかつその場合に限り成立する：⟨Rm*(Jv,v)v,Jv⟩ = k₁|v|⁴ および ∑⟨Rm*(wᵢ,v)v,wᵢ⟩ = (2n−2)k₂|v|²。