[论文解读] Canonical frames for distributions of odd rank and corank 2 with maximal first Kronecker index

Wojciech Kryński, Igor Zelenko|arXiv (Cornell University)|Mar 6, 2010

Mathematical Analysis and Transform Methods参考文献 19被引用 4

一句话总结

本文構造了典型標架，並分類了奇數秩 ≥7、余維數為 2、第一 Kronecker 指數最大且李平方閉合的分佈的極大對稱模型。利用辛化與雙分次幂零李代數技術，證明僅在維數 7、9、11、15 及 8l−3（l∈ℕ）時存在唯一的極大對稱模型，維數 19 時存在兩種不同的模型，其餘情況則為連續族。

ABSTRACT

We construct canonical frames and find all maximally symmetric models for a natural generic class of corank 2 distributions on manifolds of odd dimension greater or equal to 7. This class of distributions is characterized by the following two conditions: the pencil of 2-forms associated with the corresponding Pfaffian system has the maximal possible first Kronecker index and the Lie square of the subdistribution generated by the kernels of all these 2-forms is equal to the original distribution. In particular, we show that the unique, up to a local equivalence, maximally symmetric model in this class of distributions with given dimension of the ambient manifold exists if and only if the dimension of the ambient manifold is equal to 7, 9, 11, 15 or 8l-3, where $l$ is an arbitrary natural number. Besides, if the dimension of the ambient manifold is equal to 19, then there exist two maximally symmetric models, up to a local equivalence, distinguished by certain discrete invariant. For all other dimensions of ambient manifold there are families of maximally symmetric models, depending on continuous parameters. Our main tool is the so-called symplectification procedure having its origin in Optimal Control Theory. Our results can be seen as an extension of some classical Cartan's results about rank 3 distributions on a 5-dimensional manifold to corank 2 distributions of higher odd rank.

研究动机与目标

• 構造奇數維流形（維數 ≥7）上一類一般性余維數 2 分佈的典型標架。
• 在該類中分類所有極大對稱模型（局部等價意義下）。
• 確定存在唯一極大對稱模型的環境流形維數。
• 識別離散與連續不變量在區分非等價對稱模型中的作用。
• 將經典 Cartan 類結果（適用於 ℝ⁵ 中的秩 3 分佈）推廣至更高奇數秩、余維數 2 的情形。

提出的方法

• 採用源自最佳控制理論的辛化程序，將分佈提升至更高維的辛結構。
• 分析相關的 Pfaff 系統及其 2-形式束，以確定第一 Kronecker 指數及其最大性。
• 利用 Tanaka 符號與導出旗，定義分佈符號的分次幂零李代數結構。
• 構造符號的普遍延拓，以確定無窮小對稱代數的最大可能維數。
• 應用 𝔰𝔩₂ 的表示理論，對類型 (k,w) 的雙分次幂零李代數進行分類，並求解結構係數的線性方程組。
• 利用組合恆等式與矩陣分析（單射性、滿射性、核與像的橫截性），證明結構係數解的存在性與唯一性。

实验结果

研究问题

• RQ1 對於哪些奇數維流形（維數 ≥7），在余維數 2 分佈且第一 Kronecker 指數最大的類中，存在唯一的極大對稱模型？
• RQ2 李平方條件在確保由 2-形式核生成的子分佈能生成完整分佈中起何作用？
• RQ3 在存在多個模型的維數中，離散不變量如何區分非等價的極大對稱模型？
• RQ4 結構係數方程組的解空間在何種條件下會形成滿足所需對稱性與反對稱性約束的餘維數 1 仿射子空間？
• RQ5 在哪些維數中，極大對稱模型的集合依賴連續參數而非離散？

主要发现

• 在局部等價意義下，唯一極大對稱模型存在的充要條件是環境流形維數為 7、9、11、15 或 8l−3（l∈ℕ）。
• 在維數 19 時，存在兩個非等價的極大對稱模型，由一個離散不變量區分。
• 對於所有其他奇數維數 ≥7，極大對稱模型的集合形成依賴連續參數的族。
• k=8（即維數 19）是唯一滿足 d(k,1)=0 與 d(k,3)=0 的情形，導致恰好存在兩個非等價模型，其對稱代數維數為 22。
• 證明了定義雙分次李代數結構的系統的解空間與某個映射的核橫截，從而確保雙射性與一般情形下的唯一性。
• 證明依賴於 φ₁ 的像與 φ₂ 的核在標準內積下正交，這表明映射 φ 是雙射，從而完成分類。