Weak representability of actions of non-associative algebras

기술 요약: 비결합 대수의 작용에 대한 약한 표현 가능성 (Weak Representability of Actions of Non-Associative Algebras)

문제 정의
본 논문은 체(field) 위의 비결합 대수 다양체 내에서 범주론적-대수적 조건인 **작용의 약한 표현 가능성(weak representability of actions, WRA)**을 조사한다. 준-아벨 범주(semi-abelian categories)에서 내부 작용(internal actions)은 분할 확장(split extensions)에 대응한다. 어떤 범주가 작용 표현 가능(action representable)하다는 것은, 모든 대상 $X$에 대하여 분할 확장 함자 $\text{SplExt}(-, X)$가 어떤 대상 $[X]$(배우, actor)에 대한 $\text{Hom}(-, [X])$와 자연적으로 동형임을 의미한다. 리 대수(Lie algebras)와 군(groups)은 작용 표현 가능하지만, 많은 다른 다양체들(예: 결합 대수)은 그렇지 않다.

저자들은 G. Janeljanice에 의해 도입된 중간 개념인 **약한 표현 가능성(weak representability)**에 초점을 맞춘다. 범주가 WRA라는 것은, 모든 대상 $X$에 대하여 대상 $T$(약한 배우, weak actor)와 함자 간의 단사 $\tau: \text{SplExt}(-, X) \hookrightarrow \text{Hom}(-, T)$가 존재함을 의미한다. 본 논문의 목적은 다음과 같다:

1. 연산적(operadic), 이차적(quadratic) 다양체(특히 차수-2 항등식을 만족하는 비결합 대수들) 중 어떤 것이 WRA인지 규명한다.
2. 이러한 다양체들을 위한 특정한 "외부 약한 배우(external weak actor)" $E(X)$를 구성하여, $U$가 부분 대수(partial algebras)로의 망각 함자(forgetful functor)일 때, $U(-), E(X)$로의 함사(homomorphism)를 통해 작용을 표현하는 구체적인 부분 대수 구조를 제공한다.

방법론
저자들은 준-아벨 범주와 다항 항등식에 의해 정의된 비결합 대수의 다양체 내에서 작업한다. 이들의 방법론은 다음과 같다:

• $\lambda/\mu$-규칙을 통한 분류: 저자들은 연관자(associator)를 변수의 치환과 연결하는 특정 선형 항등식($\lambda/\mu$-규칙)을 통해 작용 접근 가능(action accessible) 다양체의 특성을 활용한다.
• 유도된 작용(Derived Actions) 분석: 저자들은 분할 확장 $0 \to X \to A \to B \to 0$을 연구하기 위해, 특정 다양체의 항등식을 만족하는 쌍선형 사상(bilinear maps) $l: B \times X \to X$와 $r: X \times B \to X$를 분석한다.
• 외부 약한 배우의 구성: 주어진 다양체 $V$와 대상 $X$에 대하여, 저자들은 $X$의 원소들에 적용될 때 다양식의 항등식을 만족하는 사상 쌍 $(f \cdot -, - \cdot f)$들의 벡터 공간인 $\text{End}(X)^2$의 부분집합으로서 $E(X)$를 정의한다.
• 부분 대수 구조: 저자들은 $\lambda/\mu$-규칙에 의해 유도된 쌍선형 부분 연산 $\langle -, - \rangle$를 $E(X)$에 부여한다. 이 구조는 작용을 부분 대수의 함사로 매핑할 수 있게 한다.
• 합류 성질(Amalgamation Properties): 가환 결합 대수(commutative associative algebras)의 경우, 저자들은 약한 배우의 존재를 **합류 성질(AP)**과 연관시킨다. 구체적으로, 곱자 대수(multiplier algebra) $M(X)$의 가환 부분 대수들의 도식이 결합 대수에서 합류(amalgam)를 허용한다면, 그것이 또한 가환 결합 대수에서도 합류를 허용함을 증명한다.
• 이차적 경우의 알고리즘: 이차적 다양체의 경우, 저자들은 차수-3 항등식의 행렬의 기약 행로 형태(reduced row echelon form)를 사용하여 $E(X)$에 대한 제약 조건과 가능한 부분 곱셈의 정의를 결정하는 체계적인 알고리즘을 사용한다.

주요 기여 및 결과

1. 이차적 다양체의 분류:
   본 논문은 작용 접근 가능하며, 연산적이고, 차수-2 항등식을 가진 이차적 다양체의 완전한 분류를 제공한다. 저자들은 다음이 **약하게 작용 표현 가능(weakly action representable)**함을 증명한다:

   • 가환 결합 대수 ($\text{CAssoc}$).
   • 2단계 멱영 가환 대수 ($\text{Nil}_2(\text{Com})$).
   • 2단계 멱영 반교환 대수 ($\text{Nil}_2(\text{ACom})$).
   • Jacobi–Jordan 대수 ($\text{JJord}$)는 반-유도(anti-derivations)의 부분 대수를 통해 약하게 표현 가능함이 밝혀졌다.

2. 가환 결합 대수와 합류:
   저자들은 $\text{CAssoc}$가 WRA임을 증명한다. 이들은 필요충분조건을 확립한다: 약한 표현은 곱자 대수 $M(X)$의 가환 부분 대수들의 도식이 $\text{CAssoc}$에서 합류를 허용하는 것과 동치이다. 저자들은 만약 그러한 합류가 더 큰 범주인 결합 대수($\text{Assoc}$)에서 존재한다면, 그것이 반드시 $\text{CAssoc}$에서도 존재함을 증명한다.

3. 외부 약한 배우 $E(X)$의 구성:
   본 논문은 다양식의 항등식을 만족하는 사상 쌍들의 벡터 공간으로부터 구성된 부분 대수인 외부 약한 배우 $E(X)$를 도입한다.

   • 저자들은 함자 $\text{SplExt}(-, X) \hookrightarrow \text{Hom}_{\text{PAlg}}(U(-), E(X))$의 단사를 증명한다.
   • 만약 $E(X)$가 다양체 $V$의 대상이 된다면(즉, 부분 연산이 전체적이고 항등식을 만족한다면), $E(X)$는 $V$에서의 약한 배우 역할을 한다.
   • 저자들은 $E(X)$를 **보편적 엄격 일반 배우(Universal Strict General Actor, USGA)**와 연관시키며, $E(X)$가 종종 더 구축하기 쉬우며 특정 맥락에서 USGA의 "대수적 폐쇄(algebraic closure)"로 볼 수 있음을 언급한다.

4. 특정 예시 및 계산:

   • 리 대수 (Lie Algebras): $E(X) \cong \text{Der}(X)$ (배우, actor).
   • Leibniz 대수: $E(X) \cong \text{Bider}(X)$ (약한 배우, weak actor).
   • 대안 대수 (Alternative Algebras): 단위원을 가진 대안 대수(예: 팔원수)의 경우, $E(X) \cong X$이며, 이는 이들이 작용 표현 가능함을 보여준다.
   • 멱영 대수 (Nilpotent Algebras): $k$-단계 멱영 결합 대수($k \ge 3$)의 경우, $E(X)$는 결합 대수이지만 일반적으로 $k$-단계 멱영이 아니다. 이는 이들 부분 다양체가 WRA가 아닐 수 있음을 시사한다(열린 문제).
   • 이차적 다양체: 저자들은 대칭 Leibniz 대수나 Poisson 대수와 같은 예시를 통해 $E(X)$의 구조와 곱셈을 정의하는 매개변수를 결정하는 알고리즘적 접근법을 제공한다.

의의 및 주장
본 논문은 리 대수와 군의 엄격한 경우를 넘어 작용 표현 가능성의 이해를 진전시킨다고 주장한다. 외부 약한 배우 $E(X)$를 도입함으로써, 저자들은 엄격한 배우가 존재하지 않는 다양체에서 작용을 연구하기 위한 구체적이고 계산 가능한 도구를 제공한다.

그 의의는 다음과 같다:

• 범위의 확장: 가환 결합 대수와 같이 엄격한 작용 표현 가능성 조건을 충족하지 못하면서도 약하게 작용 표현 가능한 중요한 비결합 다양체들을 증명함으로써 범위를 넓혔다.
• 개념의 연결: 추상적인 범주론적 정의(WRA)와 구체적인 대수적 구성(부분 대수, 곱자, 합류) 사이의 간극을 메운다.
• 체계적 접근: ($\lambda/\mu$-규칙과 행렬 축약을 통한) 일반적인 방법을 통해 임의의 연산적 이차 다양체에 대한 작용의 표현 가능성을 분석하는 방법을 제시한다.

저자들은 많은 이차적 사례를 규명했지만, WRA의 부분 다양체 하에서의 거동(특히 고차 항등식의 경우)과 작용 접근 가능하지만 약하게 작용 표현 가능하지 않은 다양체의 존재 여부는 여전히 열린 문제로 남아 있다고 겸허히 언급한다. 또한 이들의 구성이 이상적 정확 범주(ideally exact categories)에서의 단위 원 대수(unitary algebras)를 연구하는 데 잠재력이 있음을 강조한다.