[論文レビュー] Symmetric (2,3,5) distributions, an interesting ODE of 7th order and Plebanski metric

Daniel An, Paweł Nurowski|arXiv (Cornell University)|Feb 7, 2013

Geometric Analysis and Curvature Flows参考文献 2被引用数 5

ひとこと要約

本稿は、10次元接触対称群で知られていたノースの7階微分方程式が、5次元多様体上の対称(2,3,5)分布の理論において、自然に幾何的条件として現れることを確立している。主な結果は、この微分方程式が、プレバニスキーの天界計量のツイスター分布がG₂平坦であるための必要条件であるということであり、明示的な解により、天界ポテンシャルの特定の関数的形態のみが天界方程式とノースの微分方程式の両方を満たすことが示されている。

ABSTRACT

We show that the unique 7th order ODE having 10 contact symmetries appears naturally in the theory of generic 2-distributions in dimension five.

研究の動機と目的

• 対称(2,3,5)分布が5次元多様体上に存在する文脈において、ノースの7階微分方程式の幾何的起源を特定すること。
• ノースの微分方程式が、プレバニスキーの天界計量に関連するツイスター分布がG₂平坦であるために十分であるかどうかを同定すること。
• カルタンの4次不変量が(2,3,5)分布の微分不変量を特徴付ける役割を分析すること。
• ノースの微分方程式を満たす天界方程式の解が、既知のG₂平坦モデルと局所的に同値でない計量を生成するかどうかを調査すること。

提案手法

• 関数 $ f(x,y,p,q,z) $ から導かれる3つの1次微分形式の直交補空間として(2,3,5)分布を構成し、$ f_{qq} \neq 0 $ を満たす局所座標系を用いる。
• カルタンの移動標構法を用いて、コフレーム $ (\theta^1, \dots, \theta^5) $ を用いて計量 $ g_{\mathcal{D}} $ を定義し、構造方程式を導出する。
• コフレームにおける $ g_{\mathcal{D}} $ のウェイルテンソルを計算し、係数 $ A_1, \dots, A_5 $ を通じてカルタンの4次不 invariant $ C(\zeta) $ を抽出する。
• 条件 $ A_5 = 0 $ を導出し、関数 $ \Theta $ が $ x_5 $ および $ x_4 - x_3x_5 $ のみに依存する場合、これがノースの7階微分方程式に簡約されることを示す。
• 記号計算（Mathematica）を用いて、天界方程式の一般解に対する $ A_i $ を評価し、ノースの微分方程式の下でその値が0になるかを検証する。
• $ \Theta $ に関するミンゴ＝アンペール方程式の3つの解のクラスを分析し、変数 $ x_3, x_4, x_5 $ に変換した後、ノースの微分方程式を課して自由関数 $ \phi $ を制約する。

実験結果

リサーチクエスチョン

• RQ1 ノースの7階微分方程式は、対称(2,3,5)分布の幾何学的性質から自然に生じるか？
• RQ2 ノースの7階微分方程式は、プレバニスキー計量のツイスター分布がG₂平坦であるための十分条件か？
• RQ3 カルタンの4次不変量は、(2,3,5)分布の微分不変量を特徴付ける上で果たす役割は何か？
• RQ4 ノースの微分方程式を満たす天界方程式の解が、既知のG₂平坦モデルと局所的に同値でない計量を生成するか？
• RQ5 天界ポテンシャル $ \Theta $ の関数的形態は、天界方程式とノースの微分方程式の両方が成立するように制約できるか？

主な発見

• ノースの7階微分方程式は、プレバニスキー計量のツイスター分布がG₂平坦であるための必要条件として、カルタンの4次不変量 $ A_5 $ の消滅から導かれる。
• 解のクラス $ \Theta = \phi(C_1x + C_2y) + C_3x + C_4y + C_5 $ に対して、$ \phi $ がノースの微分方程式を満たす限り、すべての係数 $ A_i $ が消えることが確認され、この場合における十分性が裏付けられる。
• この場合に得られる計量は、座標変換によって、定理3.1におけるG₂平坦モデルと局所的に同値であることが確認された。
• 他の2つの解のクラス（同次形および有理型）に対しては、$ \Theta_{5554} \neq 0 $ を満たす $ \phi $ が存在しても、すべての $ A_i $ が消えることはなく、ノースの微分方程式が一般には十分でないことが示された。
• 記号計算により、$ \Theta $ がすべての変数 $ (x,y,z,w) $ に依存する完全な一般ケースにおいても、ノースの微分方程式がG₂平坦性の必要条件のままであることが確認された。
• $ A_5 $ の式は $ \Theta_{5555} $ の微分に関する4次式に簡略化され、その消滅はちょうどノースの微分方程式に一致する：$ 175\Theta_{55555}^4 - 280\Theta_{5555}\Theta_{55555}^2\Theta_{555555} + \cdots = 0 $。