[論文レビュー] The extending structures problem for algebras

A. L. Agore, G. Militaru|arXiv (Cornell University)|May 26, 2013

Algebraic structures and combinatorial models参考文献 14被引用数 12

ひとこと要約

この論文は、ベクトル空間 $E$ に部分代数 $A$ を含み、補空間 $V$ を持つような代数構造を分類するための道具として、統一積を導入することによって、結合的代数の拡張構造問題を解決する。${\mathcal A}{\mathcal H}^{2}_{A}(V, A)$ および ${\mathcal A}{\mathcal H}^{2}(V, A)$ を用いたコホロジー的分類を提供し、古典的クロス積を一般化し、任意の底体（特性2を含む）におけるフラッグ代数を完全に記述する。

ABSTRACT

The paper is devoted to the dual of the Hochschild extension problem for associative algebras. Let $A$ be an algebra, $E$ a vector space containing $A$ as a subspace and $V$ a complement of $A$ in $E$. All algebra structures on $E$ containing $A$ as a subalgebra are described and classified by two non-abelian cohomological type objects which are explicitly constructed: ${\mathcal A}{\mathcal H}^{2}_{A} \, (V, \, A)$ will classify all such algebras up to an isomorphism that stabilizes $A$ and ${\mathcal A}{\mathcal H}^{2} \, (V, \, A)$ provides the classification up to an isomorphism of algebras that stabilizes $A$ and $V$. A new product, called the unified product, is introduced as a tool of our approach. Different types of split extensions of algebras are fully described in terms of special cases of unified products: in particular, the classical crossed product and its generalizations are special cases of the unified product. Examples and classification results are worked out in details in the case of flag extending structures and flag algebras: the latter being algebras $E$ that have a finite chain of subalgebras $ E_0 := k \subset E_1 \subset ... \subset E_m := E$, such that each $E_i$ has codimension 1 in $E_{i+1}$. The results are obtained over an arbitrary base field, including those of characteristic two.

研究の動機と目的

• 拡張空間 $E$ に部分代数 $A$ を含むようなすべての代数構造を分類することにより、結合的代数のホッフシュライブ拡張問題の双対を解くこと。
• このような代数拡張を構成・分類するための統一的枠組みとして、統一積と呼ばれる新しい積を導入すること。
• ${\mathcal A}{\mathcal H}^{2}_{A}(V, A)$ および ${\mathcal A}{\mathcal H}^{2}(V, A)$ というコホロジー的不変量を提供し、それぞれ $A$ と $V$ を安定化する同型型の拡張を分類すること。
• 古典的および一般化されたクロス積を含むすべての分裂拡張を、統一積の特別な場合として完全に記述すること。
• 任意の体（特性2を含む）におけるフラッグ代数——有限個の部分代数の鎖 $k = E_0 \subset E_1 \subset \cdots \subset E_m = E$ を持ち、各 $E_i$ が $E_{i+1}$ に対して余次元1である——の完全な分類を示すこと。

提案手法

• $E = A \oplus V$ 上のすべての可能な代数構造を、特定の適合条件を満たす双線形写像によってパrameter化する統一積を導入し、$A$ を拡張する構造を符号化する。
• $A$ を安定化する同型型の拡張を分類する ${\mathcal A}{\mathcal H}^{2}_{A}(V, A)$ と、$A$ と $V$ の両方を安定化する同型型の拡張を分類する ${\mathcal A}{\mathcal H}^{2}(V, A)$ という2つの非アーベル的コホロジー的対象を定義する。
• 統一積が、古典的クロス積およびその一般化といった既知の構成を特別な場合として回復することを確立する。
• 統一積を用いて、分裂拡張のすべての代数的構造と同型型クラスを体系的に記述する。
• フラッグ代数にこの枠組みを適用する際には、余次元1の部分代数の鎖に沿って再帰的に拡張を構築し、各ステップで統一積を用いる。
• コホロジー的および代数的条件が常に適切に定義されることを保証することで、すべての結果が任意の底体（特性2を含む）で成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 部分代数 $A$ を含み、補空間 $V$ を持つベクトル空間 $E$ 上のすべての結合的代数構造は、どのように分類できるか？
• RQ2 同型型の拡張を分類するコホロジー的不変量として、$A$ を安定化するものと、$A$ と $V$ の両方を安定化するものは何か？
• RQ3 古典的および一般化されたクロス積は、拡張のための統一的代数的枠組みにどのように統合されるか？
• RQ4 任意の体上でのフラッグ代数（有限個の部分代数の鎖 $k = E_0 \subset E_1 \subset \cdots \subset E_m = E$ を持ち、各 $E_i$ が $E_{i+1}$ に対して余次元1であるもの）の完全な分類は何か？
• RQ5 特性が任意の値（特性2を含む）である体に対しても、拡張構造問題を一様に解けるか？

主な発見

• 統一積は、$E = A \oplus V$ 上のすべての結合的代数構造を完全かつ明示的に構成するものであり、拡張理論の普遍的枠組みを提供する。
• ${\mathcal A}{\mathcal H}^{2}_{A}(V, A)$ は、$A$ を安定化する同型型のすべての代数を、統一積のパrameterの間の適切な同値関係を介して分類する。
• ${\mathcal A}{\mathcal H}^{2}(V, A)$ は、より細かい分類を提供し、同型型で $A$ と $V$ の両方を保存する拡張を区別する。
• 古典的クロス積およびその一般化が、統一積の特別な場合として示され、これまで別個に扱われてきた構成が統一された。
• 論文は、再帰的な統一積の適用を用いて、有限個の部分代数の鎖 $k = E_0 \subset E_1 \subset \cdots \subset E_m = E$ を持ち、各 $E_i$ が $E_{i+1}$ に対して余次元1であるようなフラッグ代数の完全な分類を提供する。
• すべての結果は、任意の底体（特性2を含む）で成り立つことが示され、コホロジー的および代数的枠組みの頑健性が裏付けられた。