[論文レビュー] Geometry of Third-Order Ordinary Differential Equations and Its Applications in General Relativity

Michał Godliński|ArXiv.org|Oct 13, 2008

Algebraic and Geometric Analysis参考文献 33被引用数 12

ひとこと要約

本学位論文は、接触、点、および繊維を保存する変換の下で、3階常微分方程式（ODE）の幾何的枠組みを確立し、このようなODEが解空間上で自然に共形幾何、アインシュタイン＝ヴァイユ幾何、ローレンツ幾何を誘導することを明らかにした。主な貢献は、大きな対称性群を有するODEの分類および、一般相対性理論と微分幾何学における基本的幾何構造とODE不変量を結びつけるCartan接続と曲率不変量の明示的構成である。

ABSTRACT

A PhD thesis written under supervision of Pawel Nurowski and defended at the Faculty of Physics of the University of Warsaw. We adress the problems of local equivalence and geometry of third order ODEs modulo contact, point and fibre-preserving transformations of variables. Several new and already known geometries are described in a uniform manner by the Cartan method of equivalence. This includes conformal, Weyl and metric geometries in three and six dimensions and contact projective geometry in dimension three. Respective connections for these geometries are given and their curvatures are expressed by contact, point or fibre-preserving relative invariants of the ODEs. We construct Cartan coframes which yield the full set of local invariants and solve the local problem of contact and point equivalence of the ODEs. We explicitly describe ODEs admitting at least four-dimensional Lie group of contact or point symmetries and real ODEs fibre-preserving equivalent to II, IV, V, VI, VII and XI Chazy classes.

研究の動機と目的

• 接触、点、および繊維を保存する変換の下での3階ODEの同値問題を解く。
• 解空間上に誘導される幾何構造（共形、アインシュタイン＝ヴァイユ、ローレンツ幾何など）を特定する。
• ODEの不変量と誘導された幾何構造の曲率不変量との明示的関係を確立する。
• 接触、点、または繊維を保存する大規模な対称性群を有する3階ODEを分類し、それに対応するリー代数と幾何的実現を特定する。
• ジェットバンドルおよび解空間上にCartan正規接続と曲率テンソルを構成し、ODEの幾何と相対論的・共形幾何の間の関係を明確にする。

提案手法

• 10次元および7次元のバンドル上に、3階ODEのジェット空間上でのCartanの接続理論とTanakaの延長法を用いて、Cartan正規接続を構成する。
• S.-S. シェンのCartan接続の構成を応用し、接触変換の下でのODEの幾何を特徴付ける曲率不変量を導出する。
• ODEの解空間上に正規共形接続を導出し、ODEの曲率がスプリット符号形式での共形構造を誘導することを示す。
• 点および繊維を保存する場合のCartan接続の曲率とねじれを分析することで、解空間上にアインシュタイン＝ヴァイユ構造を構成する。
• 接触、点、および繊維を保存する変換の下での微分の変換を計算するために、全微分作用素 $\mathfrak{D} = \partial_x + y'\partial_y + y''\partial_{y'} + y'''\partial_{y''}$ を用いる。
• 不変量 $\mathbf{I}^c_7$, $\mathbf{I}^p_1$, $W$, および $F_{qqqq}$ を用いてODEを分類し、$\mathfrak{u}(2)$, $\mathfrak{gl}(2,\mathbb{R})$, $\mathfrak{o}(4)$, および $\mathfrak{co}(2,1)\oplus_{.}\mathbb{R}^3$ を含む対称代数を特定する。

実験結果

リサーチクエスチョン

• RQ1 接触、点、または繊維を保存する変換の下で、どの3階ODEが同値であり、その同値性を決定する不変量は何か？
• RQ2 3階ODEの解空間上に自然に誘導される幾何構造（共形、アインシュタイン＝ヴァイユ、ローレンツ幾何など）は何か？
• RQ3 ジェットバンドル上のCartan接続の曲率不変量は、ODEの不変量（$W$, $F_{qqqq}$, $\mathbf{I}^c_7$ など）とどのように関係しているか？
• RQ4 接触、点、または繊維を保存する大規模な対称性群を有する3階ODEの完全な分類は何か？各クラスに対応するリー代数は何か？
• RQ5 ODEの幾何は、その解空間上に誘導される構造から完全に再構成可能か？逆に、解空間上の構造からODEの幾何を完全に復元可能か？

主な発見

• $W = 0$ かつ $F_{qqqq} \neq 0$ を満たす3階ODEは、スプリット符号形式の6次元共形幾何を有し、その曲率はODEのCartan接続から誘導される。
• $W \neq 0$ かつ $F_{qqqq} = 0$ を満たすODEは、5次元の解空間にアインシュタイン＝ヴァイユ構造を有し、Weyl接続はODEの曲率から生じる。
• $F = \mu \frac{(2qy - p^2)^{3/2}}{y^2}$ を満たすODEでは、$0 < \mu < 1$ のとき対称代数は $\mathfrak{u}(2)$、$\mu > 1$ のとき $\mathfrak{gl}(2,\mathbb{R})$ であり、$\mu = 1$ のとき $\mathbf{I}^c_7 = 0$ に対応する。
• $F = q^{3/2}$ に対応するODEは $\mathbf{I}^c_7 = \frac{\sqrt[3]{6}}{3}$ かつ $\mathbf{I}^c_8 = 0$ を満たし、対称代数は $[V_2,V_4] = -V_3$, $[V_2,V_3] = V_1$, $[V_3,V_4] = V_2$ を満たし、$\mathfrak{so}(3)$-類似の構造を示す。
• $\mu > 0$ かつ $\mathbf{I}^p_8 < -\frac{3}{2}$ を満たす $F = 4\mu(q - p^2)^{3/2} + 6qp - 4p^3$ に対応するODEでは $\mathbf{I}^p_8 = -\frac{3}{2} - \frac{2}{\mu^2}$ であり、対称代数は $[V_1,V_2] = V_3$, $[V_3,V_1] = V_2$, $[V_3,V_4] = V_3$, $[V_2,V_4] = V_2$ を満たし、$\mathfrak{sl}(2,\mathbb{R}) \oplus \mathbb{R}$ を示す。
• $F = 0$ に対応するODEは7次元の対称代数 $\mathfrak{co}(2,1) \oplus_{.} \mathbb{R}^3$ を有し、$W = 0$, $F_{qqq} = 0$, $F_{qq}^2 + 6F_{qqp} = 0$ を満たし、$\mathbf{I}^c_5 = \mathbf{I}^c_6 = \mathbf{I}^c_7 = \mathbf{I}^c_8 = \text{const}$ である。