[논문 리뷰] Extending structures, Galois groups and supersolvable associative algebras

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

Advanced Topics in Algebra참고 문헌 24인용 수 7

한 줄 요약

이 논문은 주어진 대수 $A$의 코디멘션 $\mathfrak{c}$ 를 갖는 단위 항등원을 가진 결합 대수를 분류하는 데 쓰이는 새로운 대수적 구성인 통합곱(unified product)을 소개한다. 이는 코homological 데이터를 통해 이루어지며, 비아벨 코hom로 유사한 대상인 $\mathcal{AH}^2_A(V,A)$ 와 $\mathcal{AH}^2(V,A)$ 를 사용하여 명시적인 분류를 제공한다. 이 틀을 활용해 대수 확장의 갈루아 군을 기술하고, 임의의 체, 특히 특성 2인 경우에도 초가환 대수를 분류한다.

ABSTRACT

Let $A$ be a unital associative algebra over a field $k$. All unital associative algebras containing $A$ as a subalgebra of a given codimension $\mathfrak{c}$ are described and classified. For a fixed vector space $V$ of dimension $\mathfrak{c}$, two non-abelian cohomological type objects are explicitly constructed: ${\mathcal A}{\mathcal H}^{2}_{A} \, (V, \, A)$ will classify all such algebras up to an isomorphism that stabilizes $A$ while ${\mathcal A}{\mathcal H}^{2} \, (V, \, A)$ provides the classification from Hölder's extension problem viewpoint. A new product, called the unified product, is introduced as a tool of our approach. The classical crossed product or the twisted tensor product of algebras are special cases of the unified product. Two main applications are given: the Galois group ${ m Gal} \, (B/A)$ of an extension $A \subseteq B$ of associative algebras is explicitly described as a subgroup of a semidirect product of groups ${ m GL}_k (V) times { m Hom}_k (V, \, A)$, where the vector space $V$ is a complement of $A$ in $B$. The second application refers to supersolvable algebras introduced as the associative algebra counterpart of supersolvable Lie algebras. Several explicit examples are given for supersolvable algebras over an arbitrary base field, including those of characteristic two whose difficulty is illustrated.

연구 동기 및 목표

• 고정된 부분대수 $A$의 코디멘션이 $\mathfrak{c}$ 인 모든 단위 항등원을 가진 결합 대수를 분류함으로써, 단위 항등원을 가진 결합 대수의 확장 문제를 해결한다.
• 통합곱을 보편적 구성으로서 도입하고 특성화하여, 교차곱과 변형 텐서곱과 같은 고전적 제품들을 일반화한다.
• 갈루아 군 $\mathrm{Gal}(B/A)$ 를 $\mathrm{GL}_k(V)\rtimes\mathrm{Hom}_k(V,A)$ 의 부분군으로 명시적으로 기술한다. 여기서 $V$ 는 $B$ 에서 $A$ 의 보완공간이다.
• 초가환 결합 대수를 정의하고, 코디멘션 1의 확장을 반복적으로 사용하는 재귀적 구성에 기반하여 초가환 리 대수의 대응물로 간주한다.
• 특성 2를 포함한 임의의 체 위에서 3차원 초가환 대수를 분석함으로써 완전한 분류를 제공한다. 이는 특성과 쌍수 클래스, 변형 도함수를 분석함으로써 이루어진다.

제안 방법

• 확장 데이터 $\Omega(A,V) = (\lhd, \rhd, \leftharpoonup, \rightharpoonup, f, \cdot)$ 를 사용하여 통합곱 $A\ltimes V$ 를 도입한다. 이는 $A$ 와 보완공간 $V$ 간의 작용과 코chain 유사 데이터를 암시한다.
• 통합곱 $A\ltimes V$ 가 단위 항등원을 가진 결합 대수로 작용하도록 하는 $\Omega(A,V)$ 의 공리 체계를 수립한다. 이는 기존의 교차곱과 같은 구성들을 일반화한다.
• 두 개의 코homological 대상인 $\mathcal{AH}^2_A(V,A)$ 와 $\mathcal{AH}^2(V,A)$ 를 정의한다. $\mathcal{AH}^2_A(V,A)$ 는 동형사상 하에서 $A$ 를 유지하는 확장을 분류하고, $\mathcal{AH}^2(V,A)$ 는 올름의 확장 문제 정신에 따라 확장을 분류한다.
• 통합곱을 사용하여 $k$ 에서 출발해 반복적인 코디멘션 1의 확장을 통해 유한차원 대수를 재귀적으로 구성한다.
• 갈루아 군 $\mathrm{Gal}(B/A)$ 를 $\mathrm{GL}_k(V)\rtimes\mathrm{Hom}_k(V,A)$ 에 임베딩함으로써 대수 확장의 갈루아 군을 계산한다.
• 특성 2에서의 존재성과 분류를 결정하기 위해 $A$ 의 특성과 변형 도함수를 분석한다.

실험 결과

연구 질문

• RQ1 고정된 부분대수 $A$ 의 코디멘션이 $\mathfrak{c}$ 인 모든 단위 항등원을 가진 결합 대수를 어떻게 분류할 수 있는가?
• RQ2 대수 확장 $A \subseteq B$ 에 대해 갈루아 군 $\mathrm{Gal}(B/A)$ 의 구조는 어떠한가?
• RQ3 연속적인 코디멘션 1의 확장을 통해 초가환 결합 대수를 구성할 수 있는 조건은 무엇인가?
• RQ4 특성 2에서의 분류 결과는 다른 특성과 어떻게 다를까?
• RQ5 $A = k_{(0,1)}$ 또는 $A = k_{(c,1)}$ (여기서 $c \in T$) 일 때, 어떤 대수가 통합곱으로 나타나는가?

주요 결과

• 갈루아 군 $\mathrm{Gal}(B/A)$ 는 $B$ 에서 $A$ 의 보완공간인 $V$ 를 고려할 때, $\mathrm{GL}_k(V)\rtimes\mathrm{Hom}_k(V,A)$ 의 부분군으로 임베딩된다.
• 체의 특성이 2가 아니고 $k = k^2$ 일 경우, 동형사상에 대해 3차원 초가환 대수의 집합은 두 개의 동형류로 나뉜다: $A^1_3$ 과 $A^1_4$ 로, 각각 요소 집합 클래스 $\overline{(0,0,0)}$ 과 $\overline{(0,1,0)}$ 에 대응한다.
• 특성이 2가 아니고 $k \neq k^2$ 일 경우, 통합곱 구성은 제곱 클래스에 따라 매개변수화된 추가 대수 $B_2(d)$ 를 유도한다.
• 특성 2일 경우, 분류에는 $C^1_3$, $C^1_4(c)$, $C^1_5$, $D_2(\delta)$ 가 포함되며, $c \in T$ 이고 $\delta \in R$ 이다. 이는 $c \neq 0$ 일 때 $y^2 + y + c = 0$ 이 해를 가지지 않기 때문이다.
• $c \neq 0$ 인 경우 $k_{(c,1)}$ 는 특성이 없으므로, 3차원 초가환 대수로 확장될 수 없으며, 이 경우 $\mathcal{F}(k_{(c,1)}) = \emptyset$ 가 된다.
• 특성과 $k = k^2$ 여부에 따라 네 가지 경우로 나누어 3차원 초가환 대수의 완전한 분류를 제공한다. 가장 복잡한 경우에서 최대 15개의 서로 다른 동형류가 존재한다.