[논문 리뷰] The extending structures problem for algebras

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

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)$를 통한 코homological 분류를 제공하며, 고전적 교차곱을 일반화하고 특성 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$를 포함하는 모든 대수 구조를 분류함으로써, 결합 대수에 대한 Hochschild 확장 문제의 이중 문제를 해결하는 것.
• 모든 이러한 대수 확장을 구성하고 분류하기 위한 통합 프레임워크로 통합 곱을 도입하는 것.
• 확장 구조를 $A$와 $V$를 각각 고정하는 동형사상에 대해 분류하는 코homological 불변량 ${\mathcal A}{\mathcal H}^{2}_{A}(V, A)$ 및 ${\mathcal A}{\mathcal H}^{2}(V, A)$를 제공하는 것.
• 고전적 및 일반화된 교차곱을 포함한 모든 분할 확장이 통합 곱의 특수한 경우로 나타남을 보여주는 것.
• 특성 2를 포함한 임의의 체 위에서 플래그 대수—유한한 차원 1의 부분대수 체인을 가지는 대수—에 대한 명시적 분류 결과를 도출하는 것.

제안 방법

• 확장 구조를 $E = A \oplus V$로 표현하고, 특정 호환 조건을 만족하는 이중선형 사상에 의해 매개화된 통합 곱을 도입하여, $A$를 확장하는 모든 가능한 대수 구조를 암시적으로 기술하는 것.
• ${\mathcal A}{\mathcal H}^{2}_{A}(V, A)$는 $A$를 고정하는 동형사상에 대해 확장을 분류하고, ${\mathcal A}{\mathcal H}^{2}(V, A)$는 $A$와 $V$를 모두 고정하는 동형사상에 대해 분류하는 비아벨형 코homology 유형의 대상을 정의하는 것.
• 통합 곱이 고전적 교차곱 및 그 일반화된 형태를 특수한 경우로 포함함을 보여주는 것.
• 통합 곱을 사용하여 분할 확장의 대수적 구조와 동형류를 체계적으로 기술하는 것.
• 플래그 대수에 대해, 차원 1의 부분대수 체인을 따라 순차적으로 확장을 구축함으로써 통합 곱을 반복 적용하는 것.
• 코homological 및 대수적 조건이 잘 정의되도록 하여, 특성 2인 체를 포함한 임의의 기본체 위에서 모든 결과가 성립함을 보이는 것.

실험 결과

연구 질문

• RQ1 벡터 공간 $E$에 부분대수 $A$를 포함하고 보완공간 $V$가 주어질 때, $E$ 위의 모든 결합 대수 구조는 어떻게 분류할 수 있는가?
• RQ2 확장 구조를 $A$를 고정하는 동형사상에 대해 분류하는 코homological 불변량은 무엇이며, $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$를 고정하는 동형사상에 대해 모든 이러한 대수를 분류하며, 통합 곱의 매개변수에 대해 잘 정의된 동치관계를 가진다.
• ${\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를 포함한 임의의 기본체 위에서 성립함을 보여주며, 코homological 및 대수적 프레임워크의 강건성을 입증한다.