[論文レビュー] 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分布のための正規フレームを構成し、最大対称的モデルを分類する。シンプレクティフィケーションおよび二重順序付き冪零リー代数の技法を用いて、一意な最大対称的モデルが存在するのは次元 7, 9, 11, 15, および l∈ℕ に対して 8l−3 のみであり、次元 19 では2つの異なるモデルが存在し、それ以外では連続的パラメータに依存する族となることが示された。

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分布の一般クラスに対して正規フレームを構成すること。
• このクラス内でのすべての最大対称的モデルを局所同値関係で分類すること。
• 一意な最大対称的モデルが存在するための環境多様体の次元を特定すること。
• 離散的および連続的不変量が非同値な対称的モデルを区別する役割を特定すること。
• ℝ⁵ におけるランク3分布に関する古典的なカルタン型の結果を、より高い奇数次元、核階2の設定に拡張すること。

提案手法

• 最適制御理論に由来するシンプレクティフィケーション手順を用いて、分布を高次元のシンプレクティック構造に上昇させること。
• 関連する Pfaff 系とその2形式のペンキルを分析し、第一クロネッカー指数とその最大性を特定すること。
• タンカ記号と導来フラッグを用いて、分布の記号の二重順序付き冪零リー代数構造を定義すること。
• 記号の普遍的プロロングレーションを構成し、無限小対称性の最大可能な代数を同定すること。
• 𝔰𝔩₂ の表現論を用いて、タイプ (k,w) の二重順序付き冪零リー代数を分類し、構造定数の線形方程式系を解くこと。
• 組合せ的恒等式と行列解析（単射性、全射性、核と像の横断性）を用いて、構造定数の解の存在と一意性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 最大第一クロネッカー指数を持つ核階2分布のクラスにおいて、次元 ≥7 の奇数次元多様体で一意な最大対称的モデルが存在するのはどのような場合か？
• RQ2 2形式の核によって生成される部分分布が元の分布を完全に生成することを保証するリー平方条件の役割は何か？
• RQ3 複数のモデルが存在する次元では、離散的不変量が非同値な最大対称的モデルをどのように区別するか？
• RQ4 構造定数の系の解空間が、必要な対称性および反対称性制約を満たす codimension-1 のアフィン部分空間を有する条件は何か？
• RQ5 どの次元で最大対称的モデルの集合が連続的パラメータに依存するようになるか？

主な発見

• 環境多様体が次元 7, 9, 11, 15, または l∈ℕ に対して 8l−3 である場合に限り、局所同値関係で一意な最大対称的モデルが存在する。
• 次元 19 では、離散的不変量によって区別される2つの非同値な最大対称的モデルが存在する。
• それ以外のすべての奇数次元 ≥7 では、最大対称的モデルの集合は連続パラメータに依存する族を形成する。
• k=8（次元 19）は、d(k,1)=0 かつ d(k,3)=0 を満たす唯一のケースであり、22次元の対称代数を有するちょうど2つの非同値なモデルをもたらす。
• 二重順序付きリー代数構造を定義する系の解空間が、ある写像の核と横断的であることが示され、一般の場合に全単射性と一意性が保証される。
• 証明は、φ₁ の像と φ₂ の核が標準スカラー積に関して直交することを示すことにより成り立つ。これにより写像 φ が全単射であることが示され、分類が完了する。