[論文レビュー] A new example of a generic 2-distribution on a 5-manifold with large symmetry algebra

Boris Doubrov, Artem Govorov|arXiv (Cornell University)|May 31, 2013

Nonlinear Waves and Solitons参考文献 8被引用数 6

ひとこと要約

この論文は、Monge方程式 $ z' = y + (y'')^{1/3} $ から生じる、5次元多様体上の一般の2分布に、6次元非可解対称代数を備えた新しい例を提示する。対称代数は $ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $ に同型であり、$ \mathfrak{sl}(2) $ と3次元ヘイゼンベルク代数の半直積である。これは、不変四次形式におけるルート型 $[4]$ の、以前に見過ごされたケースを埋めるもので、カルタンの分類を完成させる。

ABSTRACT

We discover a new example of a generic rank 2-distribution on a 5-manifold with a 6-dimensional transitive symmetry algebra, which is not present in Cartan's classical five variables paper. It corresponds to the Monge equation z' = y + (y'')^(1/3) with invariant quartic having root type [4], and a 6-dimensional non-solvable symmetry algebra isomorphic to the semidirect product of sl(2) and the 3-dimensional Heisenberg algebra.

研究の動機と目的

• 5次元多様体上の一般の2分布と推移的対称代数を備えたカルタンの分類における欠落していたケースを特定・構成すること。
• 不変四次形式のルート型 $[4]$ におけるカルタンの解析のギャップを解消すること。ここでは、以前は定数 $I$ の場合のみが検討されていた。
• Monge方程式 $ z' = y + (y'')^{1/3} $ が、カルタンの元の5変数論文に存在しない6次元非可解対称代数を有することを示すこと。
• この対称代数が最大であり、任意の7次元対称代数に含まれないことを証明することで、分類の完成を確認すること。

提案手法

• 著者たちは、座標 $ (x, y, y_1, y_2, z) $ を持つジャンスペース $ J^{2,0}(\mathbb{R},\mathbb{R}) $ における明示的なベクトル場を用いて、Monge方程式 $ z' = y + (y'')^{1/3} $ の対称代数を分析する。
• 対称代数を生成する6つの明示的ベクトル場 $ S_1, \dots, S_6 $ を構成し、それらがMonge方程式で定義される分布を保存することを検証する。
• 対称代数が $ \mathfrak{sl}(2) $ によって生成される $ \langle S_1, S_2, S_3 \rangle $ と、ヘイゼンベルク代数 $ \langle S_4, S_5, S_6 \rangle $ に分解されることを示し、$ S_6 $ を中心生成子とする。
• リー括弧積の関係と半直積構造を検証することで、代数が $ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $ に同型であることを証明する。
• 代数が最大であることを示すために、それが任意の7次元対称代数に埋め込めないこと、なぜならそのような代数は可解であり、非アーベルな単純部分代数 $ \mathfrak{sl}(2) $ を含めないからであることを証明する。
• 表現論的議論と、$ \mathfrak{g}_2 $ の最長根の中心化群への $ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $ の単射準同型の非存在を用いて、$ \mathfrak{g}_2 $ への埋め込みを除外する。

実験結果

リサーチクエスチョン

• RQ1 不変四次形式にルート型 $[4]$ を持つ、5次元多様体上の一般の2分布は、カルタンの元の分類に含まれない6次元非可解対称代数を有するか？
• RQ2 Monge方程式 $ z' = y + (y'')^{1/3} $ が、$ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $ に同型な6次元対称代数を有することを示せるか？また、この代数は最大か？
• RQ3 この分布の対称代数は、任意の7次元対称代数に含まれないか？そして、カルタンのルート型 $[4]$ の解析におけるギャップを埋めることになるか？
• RQ4 この分布の非ゼロ不変四次形式を独立に確認できるか？これにより、14次元対称代数のケースに属さないことが保証されるか？
• RQ5 著者らが示唆するように、次元 $ \geq 6 $ の推移的対称代数を備えた一般の2分布において、これが唯一の欠落していたケースであるか？

主な発見

• Monge方程式 $ z' = y + (y'')^{1/3} $ は、6次元非可解対称代数を備えた5次元多様体上の一般の2分布を定義する。
• 対称代数は $ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $ に同型であり、$ \mathfrak{sl}(2) $ と3次元ヘイゼンベルク代数の半直積である。
• 対称代数は射影 $ \pi: J^{2,0}(\mathbb{R},\mathbb{R}) \to J^2(\mathbb{R},\mathbb{R}) $ のファイブレーションを保存する。中心 $ \langle S_6 \rangle $ は射影の核を張る。
• 対称代数の $ \pi_* $ による像は5次元であり、平面への等長的作用の延長と一致する。
• 対称代数は最大であり、任意の7次元対称代数に埋め込めない。なぜなら、そのような代数は可解であり、$ \mathfrak{sl}(2) $ を部分代数として含めないからである。
• この例は、次元 $ \geq 6 $ の推移的対称代数を備えた一般の2分布のカルタンの分類を完成させ、ルート型 $[4]$ の以前に見過ごされたケースを埋める。