[논문 리뷰] Actors in categories of interest

J. M. Casas, Tamar Datuashvili외 1명|ArXiv.org|2007. 02. 20.

Advanced Topics in Algebra참고 문헌 13인용 수 10

한 줄 요약

이 논문은 군, 리 대수, 리브니츠 대수, 그리고 결합 대수와 같은 관심의 범주에서 액터—행동을 나타내는 유일한 대상—를 구성하기 위한 범주론적 프레임워크를 수립한다. 이는 객체 A가 액터를 가질 조건이 단지 반직접곱 𝔹(A) ⋉ A 가 그 범주에 속할 때에만 성립함을 증명하며, 여기서 𝔹(A) 는 이중미분과 이중승수의 보편 대수로 구성된다.

ABSTRACT

For an object $A$ of a category of interest $\mathbb{C}$ we construct the group with operations ${\mathfrak{B}}(A)$ and the semidirect product ${\mathfrak{B}}(A)\ltimes A$ and prove that there exists an actor of $A$ in $\mathbb{C}$ if and only if ${\mathfrak{B}}(A)\ltimes A \in \mathbb{C}$. The cases of groups, Lie, Leibniz, associative, commutative associative, alternative algebras, crossed and precrossed modules are considered. The paper contains some results for the case $Ω_2 = \{+,*,*^{\circ}\}$.

연구 동기 및 목표

• 관심의 범주에 속한 객체에 대해 액터를 정의하고 구성함으로써 군 이론에서의 자기동형군 개념을 일반화하는 것.
• 리 대수, 리브니츠 대수, 그리고 결합 대수와 같은 대수적 구조에서 액터 존재성을 판단하는 범주론적 기준을 수립하는 것.
• 보편 대수학과 유도된 작용을 통해 비아벨 대수적 범주 전반에서 액터 개념을 통합하는 것.
• 특정 대수에서 액터 존재성을 보장하는 필수 및 충분조건—예를 들어 조건 1과 조건 2와 같은 조건—을 규명하는 것.
• 표현 가능한 작용의 프레임워크를 비아벨 구조로 확장하기 위해 𝔹(A) 와 그 A 에 대한 작용을 구성함으로써 이를 구현하는 것.

제안 방법

• 관심의 범주에 속한 임의의 객체 A 에 대해 이중미분과 이중승수의 보편 대수 𝔹(A) 를 구성한다.
• 𝔸(A) 에 의한 A 에 대한 유도된 작용을 정의하여, A 가 작용을 가진 군의 범주에서 𝔹(A)-모듈이 되도록 한다.
• 작용을 가진 군의 범주에서 반직접곱 𝔹(A) ⋉ A 를 구성하며, 이는 보편적 구성이다.
• 객체 A 가 원래 범주 𝒞 에서 액터일 조건이 단지 𝔹(A) ⋉ A ∈ 𝒞 일 때에만 성립함을 증명한다.
• 리브니츠 대수에 적합한 조건 1과 결합 대수에 적합한 조건 2 를 도입하고 분석하여, 𝔹(A) 가 A 에 작용할 때 그 작용이 유도됨을 보장한다.
• 이항 연산 * 에 대한 공리 1과 공리 2(항등식을 정의) 를 사용하여, 특히 교환법칙이나 반대칭법칙이 성립하는 경우에 액터 존재를 위한 충분조건을 도출한다.

실험 결과

연구 질문

• RQ1 관심의 범주에 속한 객체 A 가 액터를 가질 수 있는 조건은 무엇인가? 즉, 그 행동을 나타내는 보편 대상이 존재하는가?
• RQ2 보편 대수 𝔹(A) 는 어떻게 구성되어야 하며, A 와 함께 작용을 하여 작용을 가진 군의 범주에서 반직접곱을 형성할 수 있는가?
• RQ3 반직접곱 𝔹(A) ⋉ A 가 원래 범주 𝒞 에 남아 있도록 하기 위해 필요한 대수적 항등식(예: 자카비 항등식, 결합법칙, 교환법칙)은 무엇인가?
• RQ4 리 대수, 리브니츠 대수, 또는 결합 대수와 같은 관심의 범주 중에서 𝔹(A) 의 구성이 진정한 액터를 만들어내는 범주는 어디인가?
• RQ5 이항 연산 * 에 관여하는 항등식은 A 에 대한 𝔹(A) 의 유도된 작용이 잘 정의되고 보편적이기 위해 어떤 역할을 하는가?

주요 결과

• 관심의 범주에 속한 객체 A 가 액터를 가질 조건은 단지 반직접곱 𝔹(A) ⋉ A 가 그 범주 𝒞 에 속할 때에만 성립한다.
• 군의 경우 𝔹(A) ≅ Aut(A) 이며, 리 대수의 경우 𝔹(A) ≅ Der(A) 이므로 기존의 보편 구성과 일관성을 보인다.
• 리브니츠 대수의 경우, 액터가 존재하기 위한 조건은 조건 1이 성립할 때에만 성립한다: 모든 a ∈ A, b ∈ B, c ∈ C 에 대해 [c,[a,b]] = -[c,[b,a]] 를 만족하며, 이는 𝔹(A) 가 A 에 작용할 때 그 작용이 유도됨을 보장한다.
• 결합 대수의 경우, 액터가 존재하기 위한 조건은 조건 2가 성립할 때에만 성립한다: 모든 a ∈ A, b ∈ B, c ∈ C 에 대해 c*(a*b) = (c*a)*b 를 만족하며, 이는 작용이 유도됨을 보장한다.
• Axiom 2 가 새로운 항등식을 유도하지 않는 교환법칙 또는 반대칭법칙을 만족하는 대수의 경우, 액터 존재 조건은 Axiom 2 의 W( ) 가 T 의 각 쌍에서 적어도 하나의 원소를 포함할 때에만 성립한다.
• Axiom 2 를 만족하고 결과 항등식이 없는 대수, 예를 들어 항등식 x*(y*z) = -y*(z*x) - z*(x*y) 를 만족하는 대수의 경우, 액터가 존재하기 위한 조건은 W( ) 가 T 의 각 쌍에서 적어도 하나의 원소를 포함할 때에만 성립한다.