텐서곱을 가진 범주의 핵

초록

이 논문은 비결합 대수의 핵 개념을 범주론으로 옮겨, 텐서곱을 갖는 모노이달 카테고리에서 핵을 정의하고, 특히 모듈 범주에서의 구체적 사례를 통해 그 구조와 성질을 분석한다.

상세 분석

논문은 먼저 대수학에서 비결합 대수의 핵(associator가 사라지는 부분집합) 개념을 복습하고, 이를 모노이달(또는 텐서) 카테고리의 맥락으로 일반화한다. 핵은 객체와 사상 사이에 추가적인 제약을 부과해, 텐서곱이 ‘부분적으로’ 결합법칙을 만족하도록 만든다. 구체적으로, 카테고리 \( \mathcal{C} \)에 대해 두 객체 \(X, Y\)가 핵에 속한다는 것은 모든 객체 \(Z\)에 대해 자연동형사상 \(a_{X,Y,Z} : (X\otimes Y)\otimes Z \to X\otimes (Y\otimes Z)\)가 동일한 동형사상이 된다는 조건이다. 이는 전통적인 모노이달 구조의 결합자(associator)를 제한된 부분집합에만 강제함으로써, 비결합 텐서 구조를 ‘부분 결합’ 형태로 다룰 수 있게 한다.

핵의 정의는 두 가지 주요 성질을 갖는다. 첫째, 핵은 자체적으로 또 다른 모노이달 구조를 유도한다. 즉, 핵 안에서의 텐서곱은 결합법칙이 완전하게 성립하므로, 핵 자체는 강결합(associative) 모노이달 카테고리가 된다. 둘째, 핵은 원래 카테고리와의 완전함수적 관계를 유지한다. 구체적으로, 핵을 포함하는 전사적(fully faithful) 강모노이달 함자 \(I: \mathcal{N}(\mathcal{C}) \hookrightarrow \mathcal{C}\)가 존재하며, 이는 핵 내부의 구조를 원래 카테고리로 자연스럽게 삽입한다.

논문은 이러한 일반 이론을 구체적인 예시인 모듈 범주 \(R\text{-Mod}\)에 적용한다. 여기서 \(R\)은 비결합 링이며, \(R\text{-Mod}\)은 좌측 \(R\)-모듈들의 카테고리이다. 텐서곱은 \(R\)-선형 텐서곱 \(\otimes_R\)으로 정의되지만, 비결합성 때문에 일반적인 결합자 사상이 존재하지 않는다. 저자는 \(R\)-모듈 \(M,N\)가 핵에 속하려면, 모든 \(R\)-모듈 \(P\)에 대해 \((M\otimes_R N)\otimes_R P \cong M\otimes_R (N\otimes_R P)\)가 자연동형이어야 함을 보인다. 이를 통해 핵에 속하는 모듈들은 사실상 \(R\)의 중심(central) 부분에 의해 제한된 ‘준결합’ 모듈임을 확인한다. 특히, 중심이 큰 경우(예: 반군체 또는 사영대수)에는 핵이 전체 모듈 범주와 일치하지만, 일반적인 비결합 링에서는 핵이 매우 제한적인 부분집합이 된다.

또한, 저자는 핵의 존재와 크기가 카테고리의 내적 구조와 어떻게 연관되는지를 탐구한다. 핵이 비어 있지 않다면, 이는 카테고리 내부에 최소한 하나의 ‘결합 가능한’ 서브카테고리가 존재한다는 의미이며, 이는 고전적인 모노이달 구조와 비결합 구조 사이의 교량 역할을 한다. 이러한 관점은 비결합 양자대수, 비대칭 텐서 카테고리, 그리고 고차원 대수적 위상수학 등에서 새로운 구조적 도구로 활용될 가능성을 시사한다.

마지막으로, 논문은 핵을 이용한 새로운 함자적 전개와, 핵을 통해 정의되는 ‘핵 모노이달 대수’(nucleus monoidal algebra)의 동형 사상 분류, 그리고 핵이 보존하는 한계( limits)와 콜리미트(colimits)와 같은 범주론적 성질을 간략히 논의한다. 이는 향후 비결합 텐서 구조를 다루는 연구에 있어 핵 개념이 핵심적인 분석 도구가 될 수 있음을 암시한다.