[論文レビュー] Universal curvature identities

P. Gilkey, J. H. Park+1 more|arXiv (Cornell University)|Apr 11, 2011

Advanced Differential Geometry Research被引用数 5

ひとこと要約

本稿は、計量のジャンヌスに値をとるスカラーおよび対称2形式値不変量の解析を通じて、リーマン幾何における普遍的曲率恒等式を確立する。熱跡の漸近展開とウェイの直交不変量理論を用いて、m次不変量上の制限写像の核が1次元であり、Pfaffian $ E_{m,m} $ で張られることを証明し、ガウス＝ボンネの定理の新たな証明を示し、Euh-Park-Sekigawa恒等式のような恒等式を普遍的関係として導出する。

ABSTRACT

We study scalar and symmetric 2-form valued universal curvature identities. We use this to establish the Gauss-Bonnet theorem using heat equation methods, to give a new proof of a result of Kuz'mina and Labbi concerning the Euler-Lagrange equations of the Gauss-Bonnet integral, and to give a new derivation of the Euh-Park-Sekigawa identity.

研究の動機と目的

• リーマン幾何におけるスカラーおよび対称2形式値不変量の普遍的曲率恒等式を確立すること。
• 熱方程式の手法を用いて、熱核のスーパートレースの漸近展開を通じてガウス＝ボンネの定理を再導出すること。
• 制限写像 $ r: \mathcal{I}_{m,m} \to \mathcal{I}_{m-1,m} $ の核が1次元であり、Pfaffian $ E_{m,m} $ で張られることを証明し、これによりm次におけるすべての普遍的曲率関係を同定すること。
• 普遍的曲率関係の結果として、Euh-Park-Sekigawa恒等式の新たな導出を提供すること。

提案手法

• m次元リーマン多様体上の計量のジャンヌスに値をとるスカラー不変量で次数nのものからなる空間 $ \mathcal{I}_{m,n} $ を定義する。
• p-形式上のラプラシアンの熱跡漸近展開を用いて、スーパートレース $ a_{m,n} $ を $ \mathcal{I}_{m,n} $ 内の局所的不変量として表現する。ここで $ a_{m,m} $ はオイラー特性と関係する。
• ボットのキャンセレーション論法を適用して $ r(a_{m,n}) = 0 $ を示し、これにより制限写像 $ r: \mathcal{I}_{m,n} \to \mathcal{I}_{m-1,n} $ がスーパートレース不変量上で消えることを示す。
• H. ウェイの直交不変量理論を用いて、$ r: \mathcal{I}_{m,m} \to \mathcal{I}_{m-1,m} $ の核を解析し、それが1次元であり、Pfaffian $ E_{m,m} $ で張られることを示す。
• 曲率成分の縮約と外積の組み合わせとして核を表現し、対称性と反対称性を活用して標準形にまで簡略化する。
• Pfaffian $ E_{m,m} $ がすべてのm次普遍的曲率恒等式を生成することを証明し、これにより既知の恒等式（例：Euh-Park-Sekigawa恒等式）を導出する。

実験結果

リサーチクエスチョン

• RQ1 m次元多様体におけるm次スカラー曲率不変量の空間の構造は何か？
• RQ2 熱核漸近展開と普遍的曲率恒等式を用いて、ガウス＝ボンネの定理はどのように再導出可能か？
• RQ3 制限写像 $ r: \mathcal{I}_{m,m} \to \mathcal{I}_{m-1,m} $ の核の次元は何か？ そして、何によって生成されるか？
• RQ4 普遍的曲率恒等式は、ガウス＝ボンネ積分のオイラー＝ラグランジュ方程式とどのように関係するか？
• RQ5 Euh-Park-Sekigawa恒等式は、普遍的曲率関係の結果として導出可能か？

主な発見

• 制限写像 $ r: \mathcal{I}_{m,m} \to \mathcal{I}_{m-1,m} $ の核は1次元であり、Pfaffian $ E_{m,m} $ で張られる。これは $ \ker(r) = \mathbb{R} \cdot E_{m,m} $ が偶数mに対して成り立つことを示す。
• ガウス＝ボンネの定理は熱方程式の手法を用いて再導出され、$ \chi(M) = \int_M a_{m,m} d\nu $ が成り立ち、$ a_{m,m} = c_m E_{m,m} $ となるような普遍的定数 $ c_m $ が存在する。
• Euh-Park-Sekigawa恒等式は、リーマン曲率テンソルとその微分の縮約の間の普遍的曲率関係として導出される。
• m=3 の場合、恒等式 $ 0 = R_{ijji}R_{kllk} - 4R_{aija}R_{bijb} + R_{ijkl}R_{ijkl} $ が普遍的に成り立つ。
• m=5 の場合、3つの曲率縮約の積を含むより複雑な普遍的恒等式が恒等的に0に等しい。
• すべての $ m,n $ に対して制限写像 $ r: \mathcal{I}_{m,n} \to \mathcal{I}_{m-1,n} $ は全射であり、$ m > n $ かつ $ n $ が偶数のときには全単射である。