[論文レビュー] Nondegenerate Invariant Symmetric Bilinear Forms on Simple Lie Superalgebras in Characteristic 2

Andrey Krutov, Alexei Lebedev+2 more|arXiv (Cornell University)|Jan 1, 2020

Advanced Topics in Algebra参考文献 22被引用数 1

ひとこと要約

この論文は、特徴2の代数的閉体上での単純な有限次元リーハイパーアルゲブラに作用する非退化で不変かつ対称な双線形形式（NIS）を分類し、その空間の超次元が 0, 1, 0|1, または 1|1 である可能性を示している。超次元が 1|1 であるのは、ちょうどそのリーハイパーアルゲブラが、NIS を持つ単純な制限付きリーリングに「クィア化」された場合に限る。著者らは、偶数および奇数のパラメータを持つ変形について、明示的な例を提示している。

ABSTRACT

As is well-known, the dimension of the space of non-degenerate invariant symmetric bilinear forms (NISes) on any simple finite-dimensional Lie algebra or Lie superalgebra is equal to at most 1 if the characteristic of the ground field is distinct from 2. We prove that in characteristic 2, the superdimension of the space of NISes can be equal to 0, or 1, or 0|1, or 1|1. This superdimension is equal to 1|1 if and only if the Lie superalgebra is a queerification (defined in arXiv:1407.1695) of a simple restricted Lie algebra with a NIS (for examples of such Lie algebras, although mainly in characteristic distinct from 2, see arXiv:1806.05505). We give examples of NISes on deformations with both even and odd parameter of several simple finite-dimensional Lie superalgebras in characteristic 2.

研究の動機と目的

• 特徴2における単純な有限次元リーハイパーアルゲブラに作用する非退化で不変かつ対称な双線形形式（NIS）の空間の可能な超次元を特定すること。
• NIS空間の超次元が 1|1 である条件を同定し、それらがクィア化構成とどのように関連するかを特定すること。
• 既知の単純リーハイパーアルゲブラの変形（偶数および奇数のパラメータを含む）に対して、明示的なNISの構成を行うこと。
• 特徴 ≠ 2 の場合に限られる古典的なNISの理解を、特徴2において新たな現象が生じる状況に拡張すること。

提案手法

• 著者らは、特徴2の体上の単純な有限次元リーハイパーアルゲブラの構造を分析する。
• 彼らは、単純な制限付きリーリングにNISを持つものを、リーハイパーアルゲブラに拡張する「クィア化」の概念を用いる。
• 彼らは、随伴作用の下での不変性および対称性の条件を調べることで、NIS空間の超次元を計算する。
• 彼らは変形理論を用いて、偶数および奇数の変形パラメータを持つ変形リーハイパーアルゲブラ上でのNISの構成を行う。
• 彼らは表現論的およびコhomオロジー的技法を用いて、特定の状況におけるNISの存在および一意性を検証する。
• 彼らは、特徴 ≠ 2 における既知の分類と比較することで、特徴2における差異を強調する。

実験結果

リサーチクエスチョン

• RQ1 特徴2における単純な有限次元リーハイパーアルゲブラに作用する非退化で不変かつ対称な双線形形式の空間の可能な超次元は何か？
• RQ2 NIS空間の超次元が 1|1 であるのはいつか？ その場合に必要なリーハイパーアルゲブラの構造的条件は何か？
• RQ3 特徴2における単純リーハイパーアルゲブラの変形版に対して、明示的なNISを構成できるか？ その形式は変形パラメータにどのように依存するか？
• RQ4 クィア化構成は、特徴2におけるNISの存在とどのように関係するか？
• RQ5 特徴 ≠ 2 における分類結果は特徴2に拡張できるか、それとも新たなケースが出現するか？

主な発見

• 特徴2における単純な有限次元リーハイパーアルゲブラに作用するNIS空間の超次元は、0, 1, 0|1, または 1|1 である可能性がある。
• NIS空間の超次元が 1|1 であるのは、ちょうどそのリーハイパーアルゲブラが、NISを持つ単純な制限付きリーリングのクィア化である場合に限る。
• いくつかの単純リーハイパーアルゲブラの変形（偶数および奇数の変形パラメータを含む）に対して、明示的なNISが構成されている。
• 特徴2におけるNISの存在は、奇数の特徴で知られている古典的ケースに限定されず、新たな構造的可能性を示している。
• 特徴2における分類は、特徴 ≠ 2 の場合とは根本的に異なり、NIS空間はもはや高々一様次元であるとは限らない。
• 本研究の結果は、特徴2において超次元が 1|1 である場合に、クィア化構成が必要かつ十分な条件であることを示している。