[論文レビュー] Geometry of third-order ODEs

Michał Godliński, Paweł Nurowski|ArXiv.org|Feb 24, 2009

Nonlinear Waves and Solitons参考文献 30被引用数 15

ひとこと要約

本稿では、接触、点、および繊維を保存する変換の下で、3階常微分方程式（ODE）の局所微分幾何学を、カルタンの等価法を用いて体系的に分類する。3階ODEは、解空間およびジェット空間上に自然に、共形幾何、ウェイリーやローレンツ幾何を誘導する。曲率不変量は、ODEの接触、点、または繊維を保存する相対不変量と直接的に関連している。

ABSTRACT

We address the problem of local 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.

研究の動機と目的

• 3階ODEが接触、点、および繊維を保存する変換の下で誘導する幾何的構造を特定すること。
• 共形幾何、ウェイリー幾何、接触射影幾何、ローレンツ幾何といった既知の幾何を、カルタンの等価法に基づく統一的枠組みで統合すること。
• これらの幾何の曲率テンソルおよび接続を、ODEの相対不変量の言葉で明示的に表現すること。
• ODEの可積分性条件と解空間およびジェット空間上の幾何的構造との対応関係を確立すること。
• ヴンシュマン条件が解空間上にローレンツ的共形構造が存在することに対応することを示すこと。

提案手法

• 接触、点、繊維を保存する変換の同値類に対して、次元10、7、7の主 bundle 上にカルタン接続を構成するためにカルタンの等価法を適用する。
• ジェット空間 $J^2$ とODEの延長を用いて、$G$-構造と関連するコフレームを定義する。
• バンドル $P^c$、$P^p$、$P^f$ 上のカルタン接続の構造方程式を導出し、曲率形式をODEの不変量を用いて表現する。
• ゲージ条件（例：$f=1$）を固定することでカルタンの縮約を実行し、6次元のスプリット符号型ウェイリー幾何や3次元ローレンツ幾何などの低次元幾何に射影する。
• 微分系とねじれなし条件に依拠して、ODEが誘導する標準的幾何的構造を同定する。
• 曲率テンソルおよび接続（例：ローレンツ幾何におけるリーマン接続）を、ODEの不変量、特に関数 $F$ 及びその微分を用いて表現する。

実験結果

リサーチクエスチョン

• RQ1 接触変換の下で3階ODEから生じる幾何的構造は何か。それらはどのように特徴づけられるか？
• RQ2 点変換の下でODEの相対不変量と関連する、誘導された幾何の曲率不変量はどのように関係するか？
• RQ3 ヴンシュマン条件が解空間上にローレンツ的共形構造が出現することに果たす役割は何か？
• RQ4 カルタンの等価法に基づく統一的枠組みは、3階ODEが誘導する共形幾何、ウェイリー幾何、アインシュタイン＝ウェイリー幾何を包括的に記述できるか？
• RQ5 カルタン接続バンドルの縮約は、3次元ローレンツ幾何などの低次元幾何的構造をどのように導くか？

主な発見

• 接触変換の下で3階ODEは、10次元のカルタン接続を誘導し、その曲率は接触不変量を符号化する。これにより、解空間上に共形幾何が、1次ジェット空間上に接触射影幾何が生じる。
• 点変換の下でODEは7次元のカルタン接続を誘導し、解空間上にアインシュタイン＝ウェイリー幾何が、スプリット符号型の6次元ウェイリー幾何が生じる。
• 繊維を保存する変換の下で幾何は5次元バンドルに縮小され、ローレンツ計量と関連する1形式を持つ。このとき曲率は $\nabla_{(i}\phi_{j)} = -{\rm Ric}_{ij} - \phi_i\phi_j + (\phi^k\phi_k + 2)g_{ij}$ を満たす。
• 構造方程式の縮約形における条件 $\mathbf{f}_4 = \mathbf{f}_2 = 0$ は、ローレンツ計量 $g$ と1形式 $\phi$ が存在し、$\mathrm{d}\phi = -2\ast\phi$ を満たすことを保証する。
• 繊維を保存する幾何の同次モデルは、ODE $y^{\prime\prime\prime} = \frac{3}{2}\frac{(y^{\prime\prime})^2}{y^\prime}$ に対応し、これが標準的ローレンツ構造を実現する。
• 誘導されたアインシュタイン＝ウェイリー幾何の曲率は、不変量 $\mathbf{f}_1, \mathbf{f}_3, \mathbf{f}_5, \mathbf{f}_6, \mathbf{f}_9, \mathbf{f}_{12}$ によって完全に決定され、スカラー曲率は $\mathrm{R} = 2\phi^k\phi_k + 6$ である。