[論文レビュー] Algebraic theory of affine curvature tensors

Novica Blažić, Peter Gilkey+2 more|ArXiv.org|Sep 27, 2006

Geometric Analysis and Curvature Flows参考文献 5被引用数 13

ひとこと要約

本稿は、一般線形群の下での表現論を用いて、曲率作用素の空間を分解することにより、アフィン幾何における曲率テンソルを分類する代数的枠組みを構築する。任意のGL(V)-不変部分空間が非ゼロのリッチトレースを含むならば、それが代数的曲率テンソル全体の空間に一致することを確立し、完全な分類を不変成分とトレース条件を用いて行う。

ABSTRACT

We use curvature decompositions to construct generating sets for the space of algebraic curvature tensors and for the space of tensors with the same symmetries as those of a torsion free, Ricci symmetric connection; the latter naturally appear in relative hypersurface theory.

研究の動機と目的

• GL(V)の表現論を用いて代数的曲率テンソルおよびアフィン曲率作用素を分類すること。
• 捩れなしでリッチ対称な接続をもつ曲率テンソルの空間の生成集合を特定すること。
• トレース写像と完全不変表現を用いて、曲率テンソル空間の構造的分解を確立すること。
• 任意のGL(V)-不変部分空間が非ゼロのリッチトレースを含むならば、それが代数的曲率テンソル全体の空間に一致することを証明すること。
• 曲率作用素の文脈において、リッチ対称性とトレース対称性条件の同値性を明確にすること。

提案手法

• 第一ビアンキ恒等式および反対称性を満たす、⊗²V*⊗End(V) 内の曲率作用素の空間を解析するために、曲率分解を用いる。
• 曲率作用素と対称でトレースレスなテンソルを関係付けるために、トレース写像 ρ₁₄, ρ₂₄, ρ₃₄ を適用する。
• リッチ対称性（ρ₁₄ が対称）およびゼロリッチトレース（ρ₃₄ = 0）を満たす作用素の空間をアフィン曲率作用素 F(V) と定義する。
• 内積 ⟨·,·⟩ を用いて ⊗⁴V* を ⊗²V*⊗End(V) に同定し、異なる表現における曲率テンソルの比較を可能にする。
• GL(V) および正規直交群 O(V,⟨·,·⟩) を用いた群表現論を用いて、曲率テンソル空間の完全不変成分を分類する。
• 相異なる固有値を持つ対角行列を用いたスケーリング変換 Θ* を用い、射影成分をテストし、非ゼロ不変量を検出する。

実験結果

リサーチクエスチョン

• RQ1 捩れなしでリッチ対称な接続の曲率テンソルを特徴付ける代数的関係の完全集合は何か？
• RQ2 トレース写像 ρ₁₄ と ρ₃₄ は、アフィン幾何における曲率作用素の対称性とどのように関係しているか？
• RQ3 GL(V)-不変部分空間が代数的曲率テンソル全体の空間を含むための条件は何か？
• RQ4 曲率テンソル空間の完全不変分解を用いて、すべての可能な曲率対称性を分類できるか？
• RQ5 トレース条件とスケーリング不変性は、代数的曲率テンソルの完全成分の存在を検出するために果たす役割は何か？

主な発見

• 代数的曲率テンソルの空間 𝔞(V) は次元 m²(m²−1)/12 をもち、その要素は反対称性、第一ビアンキ恒等式、およびリッチ対称性を満たす。
• アフィン曲率作用素の空間 𝔽(V) は、反対称性、第一ビアンキ恒等式、リッチ対称性（ρ₁₄ が対称）、およびゼロリッチトレース（ρ₃₄ = 0）によって特徴付けられる。
• リッチトレース ρ₁₄ とトレースレス部分 ρ₃₄ は第一ビアンキ恒等式の下で同値であり、独立な条件の数を削減する。
• GL(V)-不変部分空間 𝔟 ⊂ 𝔞(V) がリッチトレース成分 ℝ に非ゼロの射影を持つならば、𝔟 = 𝔞(V) である。
• 𝔟 がトレースレス対称2次テンソル空間 S₀²(V*) に非ゼロの射影を持つならば、スケーリングとトレース計算により 𝔟 = 𝔞(V) であることが示される。
• 𝔟 に非ゼロのウェイリータイプ成分（𝔀(V,⟨·,·⟩) 内）が含まれるならば、一般の Θ に対して ρ₁₄(Θ* A) ≠ 0 であり、これにより 𝔟 = 𝔞(V) が導かれる。