[논문 리뷰] Actor of an alternative algebra

J. M. Casas, Tamar Datuashvili외 1명|ArXiv.org|2009. 10. 03.

Algebraic structures and combinatorial models참고 문헌 19인용 수 6

한 줄 요약

이 논문은 필드 $F$ 위의 g-대칭 대수의 범주를 도입하고, 임의의 g-대칭 대수 $A$에 대해 보편적인 엄격한 일반 액터 $Τ(A)$를 구성한다. 만약 $Τ(A) = 0$ 이면 $Τ(A)$ 는 g-대칭 대수의 범주에서 $A$의 액터가 되며, 특히 영역이 없는 반대칭 대칭 대수의 경우 $Τ(A)$ 는 대칭 대수이자 결합 대수이므로 대칭 대수의 범주에서 액터가 된다.

ABSTRACT

We define a category $\galt$ of g-alternative algebras over a field $F$ and present the category of alternative algebras $\alt$ as a full subcategory of $\galt$; in the case $\ch F eq 2$, we have $\alt=\galt$. For any g-alternative algebra $A$ we give a construction of a universal strict general actor $\cB(A)$ of $A$. We define the subset $\asoci(A)$ of $A$, and show that it is a $\cB(A)$-substructure of $A$. We prove that if $\asoci(A)=0$, then there exists an actor of $A$ in $\galt$ and $\act(A)=\cB(A)$. In particular, we obtain that if $A$ is anticommutative and $\ann(A)=0$, then there exists an actor of $A$ in $\galt$; from this, under the same conditions, we deduce the existence of an actor in $\alt$.

연구 동기 및 목표

• g-대칭 대수의 범주 ($\operatorname{gAlt}$)를 관심의 범주로 정의하여 대칭 대수의 범주 ($\operatorname{Alt}$)를 확장한다.
• 반드시 반대칭 대수의 범주에서의 내부 작용과 분할 확장 분류자 프레임워크를 사용하여, 임의의 g-대칭 대수 $A$에 대해 보편적인 엄격한 일반 액터 $\mathfrak{B}(A)$를 구성한다.
• g-대칭 대수의 범주에서 $\mathfrak{B}(A)$ 가 실제로 $A$의 액터가 되는 충분한 조건을 규명하고, 그 결과로 대칭 대수의 범주에서도 액터가 되도록 한다.
• 반대칭 대칭 대수에서 영역이 없는 경우, $\mathfrak{B}(A)$ 가 동시에 대칭 대수이자 결합 대수임을 증명하여 대칭 대수의 범주에서 액터의 존재를 보장한다.

제안 방법

• $\operatorname{gAlt}$ 를 관심의 범주로 정의하고, $\operatorname{Alt}$ 를 그 전순서 부분범주로 삼으며, $\operatorname{char}F \neq 2$ 이면 $\operatorname{Alt} = \operatorname{gAlt}$ 임을 보인다.
• 내부 작용과 분할 확장 분류자 프레임워크를 사용하여 임의의 g-대칭 대수 $A$에 대해 보편적인 엄격한 일반 액터 $\mathfrak{B}(A)$ 를 구성한다.
• 집합 $\operatorname{Asoci}(A) \subseteq A$ 를 도입하고, 이가 $\mathfrak{B}(A)$-부구조임을 증명하며, 이를 $\mathfrak{B}(A)$ 가 g-대칭 대수인지 결정하는 핵심 불변량으로 사용한다.
• g-대칭 대수에서의 유도된 작용을 정의하고, $\mathfrak{B}(A)$ 가 $A$ 에 작용하는 것이 유도된 작용임과 $\operatorname{Asoci}(A) = 0$ 이라는 것이 동치임을 보인다.
• $\mathfrak{B}(A)$ 의 보편성과 조건 $\mathfrak{B}(A) \ltimes A \in \operatorname{gAlt}$ 를 이용하여, $\operatorname{Asoci}(A) = 0$ 이면 $\mathfrak{B}(A)$ 가 $\operatorname{gAlt}$ 에서 $A$ 의 액터임을 유도한다.
• 보편적인 엄격한 일반 액터를 바이멀티플리케이션 대수 $\operatorname{Bim}_{\operatorname{Alt}}(A)$ 의 형태로 다른 설명을 제공하며, 이는 결합 대수와 리 대수의 구성과 유사하다.

실험 결과

연구 질문

• RQ1 g-대칭 대수 $A$ 의 보편적인 엄격한 일반 액터 $\mathfrak{B}(A)$ 가 g-대칭 대수의 범주 $\operatorname{gAlt}$ 에서 실제 액터가 되는 조건은 무엇인가?
• RQ2 $\operatorname{Asoci}(A)$ 가 $\mathfrak{B}(A)$ 와 그 $\operatorname{gAlt}$ 에 속하는 구조에 어떤 영향을 미치는가?
• RQ3 $\mathfrak{B}(A)$ 가 언제 대칭 대수로, 언제 결합 대수로 되는가? 특히 반대칭 대수의 경우는 어떻게 되는가?
• RQ4 $\operatorname{Ann}(A) = 0$ 인 조건 하에서 $\operatorname{Alt}$ 에서의 액터 $\operatorname{Act}(A)$ 와 보편적인 엄격한 일반 액터 $\mathfrak{B}(A)$ 간의 관계는 무엇인가?
• RQ5 대칭 대수의 액터 구성법을 바이멀티플리케이션 대수를 통해 기술할 수 있으며, 이는 기존의 결합 대수와 리 대수의 구성과 어떻게 비교되는가?

주요 결과

• $\operatorname{Asoci}(A) = 0$ 이면 $\mathfrak{B}(A)$ 는 g-대칭 대수이며, $\mathfrak{B}(A)$ 가 $A$ 에 작용하는 것은 유도된 작용이므로 $\mathfrak{B}(A) = \operatorname{Act}(A)$ 이다. 이는 $\operatorname{gAlt}$ 에서 성립한다.
• 영역이 없는 반대칭 g-대칭 대수 $A$ 에 대해 $\mathfrak{B}(A)$ 는 결합 대수이며, 따라서 $\mathfrak{B}(A) \in \operatorname{Alt}$ 이다.
• 특성 2인 경우, $A$ 가 반대칭이면서 $\operatorname{Ann}(A) = 0$ 이면 $\mathfrak{B}(A)$ 는 대칭 대수이자 결합 대수이므로 $\mathfrak{B}(A) = \operatorname{Act}(A)$ 이다. 이는 $\operatorname{Alt}$ 에서 성립한다.
• $\mathfrak{B}(A)$ 가 $A$ 에 작용하는 것이 $\operatorname{gAlt}$ 에서 유도된 작용임은 $\operatorname{Asoci}(A) = 0$ 이라는 것과 동치이며, 이는 $\mathfrak{B}(A)$ 가 $\operatorname{gAlt}$ 에서 액터가 되기 위한 필요충분조건이다.
• 특성 2인 필드 위의 반대칭 대칭 대수에서 영역이 없는 경우, $\mathfrak{B}(A)$ 는 바이멀티플리케이션 대수 $\operatorname{Bim}_{\operatorname{Alt}}(A)$ 와 동형이며, 따라서 $\mathfrak{B}(A) = \operatorname{Act}(A)$ 이다.
• $\mathfrak{B}(A)$ 를 보편적인 엄격한 일반 액터로 구성함으로써, $\mathfrak{B}(A) \ltimes A \in \operatorname{gAlt}$ 이 되는 것은 $\mathfrak{B}(A)$ 가 $\operatorname{gAlt}$ 에서 $A$ 의 액터임과 동치이며, 이는 액터 존재성에 대한 범주론적 기준을 제공한다.