[論文レビュー] Dependence of the Gauss-Codazzi equations and the Ricci equation of Lorentz surfaces

Bang‐Yen Chen|arXiv (Cornell University)|Jul 15, 2013

Geometric Analysis and Curvature Flows参考文献 7被引用数 11

ひとこと要約

本稿では、任意のローレンツ的計量を備えたローレンツ・ケーラー多様体に等長埋め込みされたローレンツ表面に対して、リッチ方程式が独立ではないことが証明されている。ガウス方程式とコーディッリ方程式から導かれる。局所的擬正規直交基底と曲率の恒等式を用いて、著者たちは明示的な関係を導出し、与えられた微分幾何的制約のもとでリッチ方程式がガウス方程式に帰着されることを示している。これは、特定のローレンツ的設定において、根本的な依存関係が存在することを示している。

ABSTRACT

The fundamental equations of Gauss, Codazzi and Ricci provide the conditions for local isometric embeddability. In general, the three fundamental equations are independent for surfaces in Riemannian 4-manifolds. In contrast, we prove in this article that for arbitrary Lorentz surfaces in Lorentzian Kaehler surfaces the equation of Ricci is a consequence of the equations of Gauss and Codazzi.

研究の動機と目的

• ローレンツ的ケーラー多様体に埋め込まれたローレンツ表面における基本方程式（ガウス、コーディッリ、リッチ）の独立性を調査すること。
• この特定の幾何的設定において、リッチ方程式がガウス方程式とコーディッリ方程式から導かれるかどうかを特定すること。
• 不定計量幾何の文脈において、3つの基本方程式の構造的関係を明確にすること。
• ローレンツ表面におけるリッチ方程式が他の2つに依存することの厳密な証明を提供すること。

提案手法

• 著者たちは、曲率計算を簡略化するために、g = -m²(dx⊗dy + dy⊗dx) で与えられるローレンツ計量に適合した局所的擬正規直交基底 {e₁, e₂} を用いる。
• ほぼ複素構造 J を接線成分と法線成分（JX = PX + FX）の形で表現することで、曲率項の分解を可能にする。
• 証明は、誘導計量とレヴィビーティ接続を用いて、形状作用素 A_{e₃}、A_{e₄} および法接続 D の明示的計算に依存している。
• アンビエントのローレンツ的ケーラー多様体の曲率テンソルに関する重要な恒等式（反対称性および J-ヘルミート性）が適用されている。
• ガウス方程式、コーディッリ方程式、リッチ方程式を基底 {e₁, e₂} の言語に書き直し、リッチ方程式が代入によってガウス方程式に帰着されることを示している。
• 曲率恒等式 (1.3) および (1.5) を用いて、R̃(e₁,e₂;e₂,Je₁) を含む項を簡略化し、リッチ方程式が余分であることが確認されている。

実験結果

リサーチクエスチョン

• RQ1 ローレンツ的ケーラー多様体内のローレンツ表面に対して、リッチ方程式はガウス方程式とコーディッリ方程式から独立しているか？
• RQ2 この幾何的設定において、リッチ方程式はガウス方程式とコーディッリ方程式から導かれるか？
• RQ3 アンビエントのローレンツ的ケーラー構造が、基本方程式の依存関係を決定づける役割を果たすか？
• RQ4 リッチ方程式がガウス方程式とコーディッリ方程式に依存することは、空間的表面に対しても成り立つか？

主な発見

• 任意のローレンツ表面がローレンツ的ケーラー多様体に等長埋め込まれるとき、リッチ方程式はガウス方程式とコーディッリ方程式の結果である。
• この依存関係は、アンビエント多様体の特定の曲率恒等式および J-ヘルミート構造に起因し、法曲率項が制約を受けることによって生じる。
• 明示的な計算により、コーディッリ方程式およびガウス方程式の表現を代入した後、リッチ方程式がガウス方程式に帰着されることが示された。
• 恒等式 R̃(e₂,e₁;e₁,Je₂) = -R̃(e₁,e₂;e₂,Je₁) は、項のキャンセルに重要な役割を果たし、帰着の確認に寄与している。
• この結果は局所座標系においてもグローバルに成り立ち、関数 m(x,y) の特定の選択に依存しない。
• 反例（注記2）により、この依存関係は空間的表面には拡張されないことが示された。