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

一句话总结

本文提出了一类新的五维流形上通用的二维分布，其对称代数为6维非可解代数，源自Monge方程 $ z' = y + (y'')^{1/3} $。该对称代数同构于 $ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $，即 $ \mathfrak{sl}(2) $ 与三维Heisenberg代数的半直积，填补了Cartan分类中此前遗漏的根类型 $[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.

研究动机与目标

• 识别并构造Élie Cartan关于五维流形上具有传递对称代数的通用二维分布分类中缺失的一项。
• 解决Cartan对不变四次型根类型 $[4]$ 分析中的空白，此前仅考虑了常数 $I$ 的情况。
• 证明Monge方程 $ z' = y + (y'')^{1/3} $ 具有6维非可解对称代数，而该代数未包含在Cartan原始五变量论文中。
• 证明该对称代数是极大的，且不包含于任何7维对称代数中，从而确认其在分类中的完备性。

提出的方法

• 作者通过喷层空间 $ J^{2,0}(\mathbb{R},\mathbb{R}) $ 中的显式向量场分析Monge方程 $ z' = y + (y'')^{1/3} $ 的对称代数，其坐标为 $ (x, y, y_1, y_2, z) $。
• 他们构造了六个显式向量场 $ S_1, \dots, S_6 $，这些向量场生成对称代数，并验证其保持由Monge方程定义的分布。
• 证明对称代数可分解为由 $ \mathfrak{sl}(2) $ 生成的 $ \langle S_1, S_2, S_3 \rangle $ 与由Heisenberg代数 $ \langle S_4, S_5, S_6 \rangle $ 生成的部分，其中 $ S_6 $ 为中心生成元。
• 通过验证李括积关系和半直积结构，证明该代数同构于 $ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $。
• 通过证明其无法嵌入任何7维对称代数中，证明该代数是极大的，因为此类代数均为可解的，无法包含非交换半单子代数 $ \mathfrak{sl}(2) $。
• 他们使用表示论论证，并通过证明 $ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $ 无法单射嵌入 $ \mathfrak{g}_2 $ 的最长根中心化子，排除其嵌入 $ \mathfrak{g}_2 $ 的可能性。

实验结果

研究问题

• RQ1 一个五维流形上具有根类型 $[4]$ 的通用二维分布（其不变四次型中），是否具有6维非可解对称代数，且该代数未被Cartan原始分类所涵盖？
• RQ2 能否证明Monge方程 $ z' = y + (y'')^{1/3} $ 具有同构于 $ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $ 的6维对称代数，且该代数是极大的？
• RQ3 该分布的对称代数是否不包含于任何7维对称代数中，且是否填补了Cartan对根类型 $[4]$ 分析中的空白？
• RQ4 能否独立确认该分布的非零不变四次型，以确保其不属于14维对称代数的情形？
• RQ5 这是否是具有传递对称代数且维数 $ \geq 6 $ 的通用二维分布中唯一的缺失情况，如作者所建议？

主要发现

• Monge方程 $ z' = y + (y'')^{1/3} $ 定义了一个五维流形上的通用二维分布，其具有6维非可解对称代数。
• 该对称代数同构于 $ \mathfrak{sl}(2) \ltimes \mathfrak{n}_3 $，即 $ \mathfrak{sl}(2) $ 与三维Heisenberg代数的半直积。
• 该对称代数保持纤维化 $ \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) $ 作为子代数。
• 该例子完成了Cartan对具有传递对称代数且维数 $ \geq 6 $ 的通用二维分布的分类，填补了此前遗漏的根类型 $[4]$ 的情况。