[論文レビュー] Regge's Einstein-Hilbert Functional on the Double Tetrahedron

Daniel Champion, David Glickenstein+1 more|arXiv (Cornell University)|Jun 30, 2010

Geometric Analysis and Curvature Flows参考文献 18被引用数 4

ひとこと要約

本稿は、最小の部分的平坦な3次元球面の三角形分割であるダブル・テトラヘドロン上で、レッジのアインシュタイン＝ヒルベルト汎関数を調査し、離散的アインシュタイン計量、一定スカラー曲率、ヤマベ問題の離散的類似を研究する。各離散的共形類において一定スカラー曲率計量の存在を確立し、正規化された汎関数の臨界点を同定し、アインシュタイン計量におけるヘッセ行列の固有値が正と負の両方を示すことを明らかにした。これは、最も単純な非自明な設定ですら、複雑な幾何的挙動を示していることを示している。

ABSTRACT

The double tetrahedron is the triangulation of the three-sphere gotten by gluing together two congruent tetrahedra along their boundaries. As a piecewise flat manifold, its geometry is determined by its six edge lengths, giving a notion of a metric on the double tetrahedron. We study notions of Einstein metrics, constant scalar curvature metrics, and the Yamabe problem on the double tetrahedron, with some reference to the possibilities on a general piecewise flat manifold. The main tool is analysis of Regge's Einstein-Hilbert functional, a piecewise flat analogue of the Einstein-Hilbert (or total scalar curvature) functional on Riemannian manifolds. We study the Einstein-Hilbert-Regge functional on the space of metrics and on discrete conformal classes of metrics.

研究の動機と目的

• 部分的平坦幾何におけるアインシュタイン計量、一定スカラー曲率、ヤマベ問題の離散的類似を発展・分析すること。
• 最も単純な閉じた部分的平坦3次元多様体であるダブル・テトラヘドロン上で、レッジのアインシュタイン＝ヒルベルト汎関数の挙動を調査すること。
• 正規化された汎関数（LEHRおよびVEHR）の臨界点を分類し、それらの幾何的・変分的性質を理解すること。
• アインシュタイン計量における曲率汎関数の凸性およびヘッセ構造を探索し、正の固有値と負の固有値の方向を同定すること。
• ヤマベ不変量が離散的設定で定義され、計算可能かどうかを決定すること。ダブル・テトラヘドロンをテストケースとして用いる。

提案手法

• 部分的平坦多様体上で、滑らかな全スカラー曲率汎関数の離散化として、アインシュタイン＝ヒルベルト＝レッジ（EHR）汎関数を定義する。
• 制約下での臨界点を研究するため、LEHR（長さ正規化）およびVEHR（体積正規化）の2つの正規化バージョンを導入する。
• 辺の長さの変化を分析し、離散的アインシュタイン計量に対応する臨界点を同定する。
• 文献[14]で定義された離散的共形変化（辺上のスケーリング因子でパrameter化）を用い、一定スカラー曲率計量を研究する。
• ダブル・テトラヘドロンの幾何的・位相的制約（6本の辺、境界を共有する2つのテトラヘドロン）を用いて、曲率および汎関数値の明示的公式を導出する。
• ε-脂肪性条件（ε-fatness）を用いて、VEHRの下界を確立し、共形類における汎関数の強制性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ダブル・テトラヘドロン上に離散的アインシュタイン計量は存在するか？また、一意的か？
• RQ2 ダブル・テトラヘドロン上では、すべての離散的共形類において一定スカラー曲率計量を実現可能か？
• RQ3 アインシュタイン計量におけるVEHRおよびLEHR汎関数のヘッセ行列の構造は何か？特に、正、負、ゼロの固有値が存在するか？
• RQ4 離散的で部分的平坦な設定において、ヤマベ不変量を定義し、計算可能か？
• RQ5 正規化されたEHR汎関数は、共形変化および長さ変化の下でどのように振る舞うか？それらの臨界点は幾何的に何を意味するか？

主な発見

• ダブル・テトラヘドロンでは、各離散的共形類において、一定スカラー曲率計量の1パラメータ族が存在し、すべてのクラスで存在が保証された。
• すべての辺の長さが等しいとき、正規化されたLEHRおよびVEHR汎関数は同じ計量で最大値をとる。これは、離散的アインシュタイン計量に対応する。
• VEinstein計量におけるVEHR汎関数のヘッセ行列には、正と負の固有値が共に存在し、臨界点が鞍点であることが示された。これは最小値でも最大値でもない。
• LEHR汎関数のヘッセ行列に対しても、混合固有値の挙動が確認され、臨界点の幾何的構造が一意的ではなく、複雑であることが確認された。
• ε-脂肪性条件下では、VEHR汎関数は最大辺次数および脂肪性パrameterに依存する正の定数で下から抑えられ、共形類における強制性が保証された。
• 600-cellは、より高次元の例として、一定スカラー曲率計量の6パラメータ族が存在することを示し、均一計量がLEHRおよびVEHRの最大値を達成する。これは、ヘッセ行列の符号が混合である臨界点の存在を確認するものである。