[论文解读] 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

一句话总结

本论文为三阶常微分方程（ODE）在接触变换、点变换和纤维保持变换下建立了几何框架，揭示了此类 ODE 自然地在其解空间上诱导出共形几何、爱因斯坦-外尔几何和洛伦兹几何。主要贡献在于对具有大对称群的 ODE 进行了分类，并显式构造了 Cartan 连接与曲率不变量，将 ODE 的不变量与广义相对论和微分几何中的底层几何结构联系起来。

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.

研究动机与目标

• 在接触、点和纤维保持变换下求解三阶 ODE 的等价性问题。
• 确定 ODE 类在解空间上自然诱导出的几何结构（如共形、爱因斯坦-外尔和洛伦兹几何）。
• 建立 ODE 不变量与所诱导几何结构的曲率不变量之间的显式关系。
• 对具有大接触、点或纤维保持对称群的三阶 ODE 进行分类，识别其对应的李代数和几何实现。
• 在喷丛和解空间上构造 Cartan 标准连接与曲率张量，将 ODE 的几何时空与相对论性及共形几何联系起来。

提出的方法

• 利用 Cartan 的联络理论与 Tanaka 的延拓方法，在三阶 ODE 的喷丛上的十维与七维丛上构造 Cartan 标准连接。
• 应用 S.-S. Chern 的 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 哪些三阶 ODE 在接触、点或纤维保持变换下彼此等价，其等价性由哪些不变量决定？
• RQ2 三阶 ODE 的解空间上自然诱导出哪些几何结构（如共形、爱因斯坦-外尔或洛伦兹几何）？
• RQ3 喷丛上 ODE 的 Cartan 连接的曲率不变量如何与 ODE 的不变量（如 $W$, $F_{qqqq}$, 和 $\mathbf{I}^c_7$）相关联？
• RQ4 具有大对称群的三阶 ODE 的完整分类是什么？各类对应的李代数是什么？
• RQ5 能否从解空间上的诱导结构完全重构三阶 ODE 的几何结构，反之亦然？

主要发现

• 当 $W = 0$ 且 $F_{qqqq} \neq 0$ 时，三阶 ODE 在分裂符号下诱导出六维共形几何，其曲率由 ODE 的 Cartan 连接诱导。
• 当 $W \neq 0$ 且 $F_{qqqq} = 0$ 时，解空间为五维，并赋予爱因斯坦-外尔结构，其中外尔联络由 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$。
• ODE $F = q^{3/2}$ 对应 $\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)$ 类似结构。
• 对于满足 $F = 4\mu(q - p^2)^{3/2} + 6qp - 4p^3$ 且 $\mu > 0$、$\mathbf{I}^p_8 < -\frac{3}{2}$ 的 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$ 时，其对称代数为七维的 $\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}$。