[論文レビュー] The normal shapes of the symplectic and contact forms over algebras of divided powers

Serge Skryabin|arXiv (Cornell University)|Jun 27, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 5

ひとこと要約

本稿は、正の特性における分割冪代数上のシンプレクティック形式および接触形式を分類し、半線形代数とフラグ適合構造を用いて、第1種および第2種のシンプレクティック形式および接触形式の標準形を確立する。主な結果は、同値関係による商集合にパrameter化された、分解不能な第1種シンプレクティック形式の完全な分類であり、その標準形は半線形自己準同型に依存する。

ABSTRACT

This text is the English translation of a 1986 manuscript which gives the classification of the differential forms parametrizing the finite-dimensional Lie algebras of hamiltonian and contact Cartan types over fields of positive characteristic. The results of this paper have not been previously published in full.

研究の動機と目的

• 分割冪代数上のシンプレクティック形式および接触微分形式を正の特性で分類し、TyurinおよびWilsonによる体積形式の分類を拡張すること。
• 第1種シンプレクティック形式を分類する未解決問題を解消すること。これは、交代的双線形形式、フラグ、および半線形同型の複雑な相互作用を必要とする。
• 特性 $ p > 0 $ の体上のカルタン型のリー代数の文脈において、シンプレクティック形式および接触形式の完全な標準形分類を確立すること。
• 分解不能な第1種シンプレクティック形式の同値類と、整数列の商集合の間の全単射対応を確立すること。同値関係は指定されたものに従う。

提案手法

• 分類は、群 $ G'(F) $ がシンプレクティック形式および接触形式に作用する様子を分析することに依拠し、有限次元ベクトル空間上の半線形代数への問題の還元を行う。
• 本稿は、ベクトル空間 $ E $ のフラグ適合基底を用い、各不定元 $ x_i $ に高さ $ m_i $ を割り当て、分割冪代数 $ O(F) $ の構造を決定する。
• 第1種シンプレクティック形式の場合、分類は2つの有限次元ベクトル空間、交代的双線形形式、両方の空間上のフラグ、および対応するフラグ因子間の半線形同型写像を含む系に還元される。
• 形式の標準形は、$ \sum_{i<j} \left(a_{ij} + b_{ij}x_i^{(p^{m_i}-1)}x_j^{(p^{m_j}-1)} \right) dx_i \wedge dx_j $ として表され、ここで $ (a_{ij}) $ および $ (b_{ij}) $ は所定の構造を持つ行列である。
• 行列 $ (b_{ij}) $ の分類は、有限または無限周期的な列 $ \overline{k}, \overline{\ell} $ によって支配され、同値関係は (6.45)–(6.47) で定義される。
• 代数的に閉じた体の場合、行列 $ (b_{ij}) $ は、列の和に応じて (6.55) または (6.56) のように、ジャコビ形式に類似した標準形を取る。同値関係は、対応する半線形自己準同型の同値性によって定まる。

実験結果

リサーチクエスチョン

• RQ1 正の特性における分割冪代数上の第1種シンプレクティック形式の完全な標準形は何か？
• RQ2 群 $ G'\left(\fF\right) $ によるシンプレクティック形式および接触形式の軌道はどのように分解され、何がそれらを分類する不変量となるか？
• RQ3 フラグ因子空間間の半線形同型写像が、第1種シンプレクティック形式の分類において果たす役割は何か？
• RQ4 第2種シンプレクティック形式および接触形式の標準形は、第1種形式とどのように異なるか？
• RQ5 分解不能な第1種シンプレクティック形式を分類する同値関係は何か？また、その関係は形式の行列係数の構造にどのように符号化されるか？

主な発見

• 第1種シンプレクティック形式の分類は、2つのベクトル空間、交代的双線形形式、フラグ、およびフラグ因子間の半線形同型写像を含む系の分類に還元され、これは§6で解決されている。
• 分解不能な第1種シンプレクティック形式は、商集合 $ \mathfrak{P}/\sim $ の元と全単射対応する。ここで $ \mathfrak{P} $ は、両方とも有限または無限周期的な列のペア $ (\overline{k}, \overline{\ell}) $ からなる。
• 標準形における行列 $ (b_{ij}) $ は列のペアによって決定される。有限列の場合は (6.54) で与えられ、無限周期列で周期 $ t $ を持つ場合は、列の和に応じて (6.55) または (6.56) で与えられる。
• 代数的に閉じた体の場合、行列 $ (b_{ij}) $ は $ \sum k_i = \sum \ell_i $ ならばジャコビセル (6.55) に、そうでなければ $ 2t \times 2t $ 行列 (6.56) に、形式の同値性は対応する半線形自己準同型の同値性によって定まる。
• 第2種シンプレクティック形式の標準形は、素早く分類され、フラグの構造と形式の係数にのみ依存する。
• 接触形式も同様に分類され、その標準形は類似した不変量によって決定され、同じ半線形代数的枠組みに基づく同値類によって定義される。