리바이즈드 텐서곱과 르비시 대수의 그로텐디크 링

초록

본 논문은 르비시 양쪽 모듈(바이모듈)에 대해 세 가지 텐서곱을 정의한다. 자연스러운 텐서곱은 일반적으로 바이모듈 구조를 유지하지 못하므로, ‘약한’ 바이모듈 개념을 도입해 이 문제를 해결한다. 약한 바이모듈은 특정 코코무터티브 호프 대수의 모듈과 동등하며, 이 범주가 대칭 모노이달이며 유한 차원 경우 강체(pivotal) 구조를 갖는다. 또한, 두 개의 절단 텐서곱을 정의해 원래의 바이모듈 구조를 보존하고, 이들 곱이 유도하는 그로텐디크 링은 특성 0에서 가해가능하고 대체적인 조던 링이 되지만, 반단순 르비시 대수에서는 결합법칙을 잃는다.

상세 분석

논문은 먼저 르비시 대수 (L) 위의 바이모듈 (M)에 대한 기본 정의를 상기하고, 자연스러운 텐서곱 (M\otimes N)에 좌·우 작용을 부여하면 (LLM)와 (LML) 조건은 만족하지만 (MLL) 조건이 일반적으로 깨진다는 사실을 Proposition 2.1과 Example 2.9을 통해 명확히 보여준다. 이를 보완하기 위해 ‘약한 바이모듈(weak Leibniz bimodule)’을 도입한다. 약한 바이모듈은 (LLM)·(LML)만을 요구하고, (MLL)을 포기한다. 핵심은 Theorem 2.11에서 약한 바이모듈이 코코무터티브 호프 대수 (U_{w}(L))의 왼쪽 모듈과 동등함을 증명한 점이다. 이 호프 대수는 (L)의 보편적 전개 대수 (U(L))에 두 개의 사상 (d_{0},d_{1})을 통해 구성되며, 코코무터티브 구조를 갖는다. 따라서 Mod({weak}(L))는 대칭 모노이달이며, 유한 차원 부분범주 (\mathrm{mod}{weak}(L))는 강체와 피벗 구조를 지닌 리치(리치) 카테고리임을 Theorem 2.14, 2.23, 2.25에서 차례로 확립한다.

두 번째 접근은 ‘절단 텐서곱(truncated tensor products)’ (\otimes)와 (\boxtimes)을 정의하는 것이다. 여기서는 자연스러운 텐서곱을 특정 부분공간 (R)에 대해 몫을 취함으로써 (MLL) 조건을 강제로 만족시킨다. Theorem 3.6은 한쪽 인자가 대칭(symmetric) 또는 반대칭(anti‑symmetric)일 때 두 절단 텐서곱이 일치함을 보이며, Corollary 3.7은 양쪽 인자가 모두 대칭(또는 모두 반대칭)인 경우 절단 텐서곱이 자연스러운 텐서곱과 동일함을 증명한다. 그러나 절단 텐서곱은 일반적으로 결합법칙을 잃으며, 이는 Grothendieck 군에 새로운 비결합적 곱을 부여한다는 점에서 핵심적이다.

Section 4에서는 이러한 곱이 유도하는 Grothendieck 링 (Gr_{bi}(L))을 연구한다. Proposition 4.1은 (Gr_{bi}(L))가 단위 원소를 갖는 교환 링임을, 하지만 일반적으로 결합법칙을 만족하지 않음을 밝힌다. Theorem 4.4는 (Gr_{bi}(L))를 두 개의 복사본으로 이루어진 ‘단위 교환 곱’ 구조와 동형시켜, 하나는 대칭 irreducible 바이모듈, 다른 하나는 반대칭 irreducible 바이모듈에 대응한다는 중요한 구조적 설명을 제공한다. 이를 바탕으로 Corollary 4.8은 특성 0, 대수적으로 폐쇄된 체 위의 유한 차원 가해가능 르비시 대수에 대해 (Gr_{bi}(L))가 대체적이며 거듭제곱 결합(power‑associative)하고 조던 링임을 증명한다 (Theorem 4.12, Corollary 4.16). 반면, Theorem 4.18은 비영(非零) 반단순 르비시 대수에 대해 (Gr_{bi}(L))가 대체성도 조던 성질도 모두 결여함을 보여, 결합법칙이 완전히 무너진 사례를 제공한다.

논문은 또한 약한 바이모듈과 일반 바이모듈 사이의 관계, 그리고 Grothendieck 링의 완전한 구조를 밝히기 위한 향후 과제들을 제시한다. 특히, 약한 바이모듈의 완전한 불변분류가 아직 미해결이며, 이는 두 범주 사이의 사상 구조와 Grothendieck 링의 잠재적 동형성을 이해하는 데 핵심적인 문제임을 강조한다.