On the representability of actions of unital algebras

기술적 요약: 단위원을 갖는 대수들의 작용 표현 가능성에 관하여

문제 제기
본 논문은 체 위의 단위원을 갖는 비결합 대수들의 맥락에서 내부 작용의 표현 가능성을 조사한다. 범주적 대수학에서, 어떤 대상을 $X$에 대한 분할 확장 (또는 내부 작용) 의 함자가 $[X]$라고 불리는 '작용자 (actor)'라는 대상에 대한 호함수 $\text{Hom}(-, [X])$와 자연스럽게 동형일 때, 해당 범주는 작용 표현 가능하다고 한다. 이 성질은 군 (여기서 $[X] = \text{Aut}(X)$) 과 리 대수에서는 성립하지만, 가환 결합 대수와 같은 많은 비결합 대수들의 다양체에서는 성립하지 않는 것으로 알려져 있다.

이전 연구는 반아벨 범주 (단위원을 갖지 않는 대수들을 포함함) 의 설정에서 작용 표현 가능성은 매우 제한적인 성질이며, 본질적으로 아벨 대수와 리 대수만을 특징짓는다는 것을 확립했다. 저자들은 이 제한이 단위원을 갖는 대수들에 초점을 맞출 때에도 유지되는지 여부를 다루고 있다. 구체적으로, 그들은 일반적으로 반아벨 범주와 달리 점화되지 않은 (non-pointed) 단위원을 갖는 대수들의 이상적 정확 범주 (ideally exact categories) 를 조사하여, 곱셈적 단위원의 존재가 작용 표현 가능성을 회복시키는지 여부를 판단한다.

방법론
저자들은 범주적 대수학과 보편 대수학 기법을 결합하여 사용한다:

1. 이상적 정확 범주: 그들은 G. Janelidze가 도입한 이상적 정확 범주 (ideally exact categories) 의 틀 내에서 작업한다. 이는 단위원을 갖는 환 ($\text{Ring}$) 과 단위원을 갖는 가환 환 ($\text{CRing}$) 과 같은 점화되지 않은 설정을 포함하도록 반아벨 범주를 일반화한 것이다. 이 맥락에서의 작용 표현 가능성은 반아벨 슬라이스 범주 $(\mathcal{U} \downarrow 0)$에 상대적으로 정의된다.
2. 외부 약한 작용자: 연산자적 (operadic) 이고 작용 접근 가능한 비결합 대수들의 다양체에 대해, 저자들은 특정 항등식 (다양체의 정의 방정식에서 유도된 $\lambda/\mu$-규칙) 을 만족하는 엔드모피즘 쌍으로부터 구성된 외부 약한 작용자 $E(X)$의 구성을 활용한다.
3. 정준 사상: 핵심 도구는 원소 $x$를 그 좌우 곱셈 연산자 $(L_x, R_x)$로 매핑하는 정준 부분 대수 준동형 $\text{Inn}: X \to E(X)$이다.
4. 단위원 폐쇄 다양체: 분석은 외부 단위원을 대수에 추가해도 여전히 해당 다양체에 속하게 되는 단위원 폐쇄 (unit-closed) 다양체에 초점을 맞춘다. 이를 통해 저자들은 단위원을 갖는 대수의 성질을 근본적인 단위원을 갖지 않는 다양체와 연결할 수 있다.

주요 기여 및 결과

• 일반 단위원 대수 범주에서의 접근성 실패: 본 논문은 일반적으로 단위원을 갖는 대수들의 범주는 표현 가능성보다 약한 조건인 작용 접근 가능 (action accessible) 조차도 만족하지 않음을 보여준다. 구체적으로, Proposition 4.11 은 단위원을 갖는 가환 대수 ($\text{Com}_1$) 와 단위원을 갖는 비결합 대수 ($\text{Alg}_1$) 의 범주가 작용 접근 가능하지 않음을 증명한다. 이는 분할 확장이 충실한 대상 (faithful objects) 으로 가는 준동형을 허용하지 않는 구체적인 6 차원 단위원 가환 대수를 구성함으로써 입증된다.

• 외부 약한 작용자를 통한 단위원성 특징화: 연산자적이고, 작용 접근 가능하며, 단위원 폐쇄인 다양체 $\mathcal{V}$에 대해, 저자들은 중요한 동치 (Theorem 5.6) 를 증명한다: $\mathcal{V}$의 임의의 대수 $X$에 대하여, 정준 사상 $\text{Inn}: X \to E(X)$가 동형사상일 필요충분조건은 $X$가 단위원을 갖는 대수라는 것이다.

  • $X$가 단위원을 갖는다면, $\text{Inn}$의 핵 (소거자) 은 자명하며, 단위원의 존재는 외부 약한 작용자의 모든 원소가 단위원에 대한 그 작용에 의해 유일하게 결정되도록 하여 전사성을 보장한다.
  • $\text{Inn}$이 동형사상이라면, 항등 쌍 $(\text{id}_X, \text{id}_X)$의 역상 (inverse image) 은 $X$에 대한 곱셈적 단위원을 제공한다.

• 작용 표현 가능성에 관한 주요 정리: 중심 결과 (Theorem 5.7) 는 $\mathcal{V}$가 연산자적이고, 작용 접근 가능하며, 단위원 폐쇄인 다양체라면, $\mathcal{V}$ 내의 단위원 대수들의 이상적 정확 범주 $\mathcal{V}_1$이 작용 표현 가능하다는 것이다. 또한, 임의의 단위원 대수 $X$의 작용자는 $X$ 그 자체이다.

  • 이는 그러한 다양체들의 경우, 단위원 대수 $X$의 분할 확장 함자가 $X$에 의해 표현됨을 의미한다.
  • 이 결과는 단위원 결합 대수, 단위원 가환 결합 대수, 단위원 대체 대수, 그리고 (특성 3 에서의) 단위원 Jacobi-Jordan 대수에 적용된다.

• 푸아송 대수로의 확장: 저자들은 이러한 발견을 단위원 푸아송 대수 ($\text{Pois}_1$) 와 단위원 가환 푸아송 대수 ($\text{CPois}_1$) 로 확장한다. Orzech 관심 범주에 대한 보엄 엄밀 일반 작용자 (USGA) 의 명시적 구성을 활용하여, 그들은 (Theorems 6.7 및 6.8) 이러한 범주들이 작용 표현 가능함을 증명하며, 단위원 푸아송 대수의 작용자는 그 대수 자체임을 보인다.

의의 및 주장
본 논문은 비결합 대수학에서 단위원을 갖지 않는 설정과 단위원을 갖는 설정 사이의 중요한 대비를 해결했다고 주장한다. 반아벨 (단위원을 갖지 않는) 설정에서 작용 표현 가능성은 드물며 (본질적으로 리 대수로 제한됨), 연산자적이고, 작용 접근 가능하며, 단위원 폐쇄인 다양체에서 곱셈적 단위원을 도입하면 이 성질이 보편적으로 회복된다.

저자들은 이러한 특정 다양체 내의 단위원 대수들에 대해 '작용자'가 이분자 대수나 미분 대수와 같은 복잡한 외부 대상이 아니라 대수 그 자체임을 강조한다. 이는 단위원 대수에 대한 작용의 범주적 구조를 단순화하며, 단위원의 존재가 분할 확장과 내부 작용의 행동을 근본적으로 변화시켜, 이를 직접적이고 내재적인 방식으로 표현 가능하게 만든다는 것을 시사한다. 본 연구는 또한 단위원 폐쇄 성질과 $\lambda/\mu$-규칙의 존재를 확인함으로써 새로운 다양체에서의 작용 표현 가능성을 검증하는 구체적인 방법을 제공한다.