브레이딩이 있는 앤범주의 연구

초록

본 논문은 브레이딩 구조가 추가된 Ann‑category(환과 유사한 2‑차 구조)를 정의하고, 분배법칙 제약이 왼쪽·오른쪽 중 하나만으로도 전체 분배 구조를 결정한다는 사실을 증명한다. 이를 통해 M. L. Laplaza의 distributivity category와 A. Frohlich·C. T. C. Wall의 ring‑like category와의 정확한 관계를 밝힌다. 또한 거의 엄격한 Ann‑category의 중심(construction)을 이용해 비대칭 브레이딩을 갖는 예시를 제시한다.

상세 분석

Ann‑category는 두 개의 이항 연산 ⊕(덧셈)와 ⊗(곱셈)과 각각의 단위 객체 0, I, 그리고 이 연산 사이의 분배 제약을 갖는 2‑범주적 구조이다. 기존 정의에서는 왼쪽·오른쪽 분배 변환 a⁽ˡ⁾, a⁽ʳ⁾와 그에 대한 연관성 공리들이 별도로 제시된다. 논문은 브레이딩 c : X⊗Y→Y⊗X가 존재할 때, (⊗, c, a, l, r) 가 braided tensor category 를 이루는 것과 동시에 c가 분배 제약과 호환되는 조건을 추가한다. 핵심 정리는 “왼쪽 분배 제약 a⁽ˡ⁾만 가정하면, 다른 모든 분배 제약은 a⁽ˡ⁾와 기존의 연관성 공리, 그리고 브레이딩의 자연성으로부터 자동적으로 도출된다”는 것이다. 즉, 오른쪽 분배 a⁽ʳ⁾는 a⁽ˡ⁾와 c의 교환 법칙을 이용해 정의될 수 있다. 이 결과는 Laplaza가 제시한 distributivity category의 공리 체계와 직접 대응한다. Laplaza는 12개의 공리를 제시했으나, 본 논문은 브레이딩을 도입함으로써 그 중 절반을 불필요하게 만든다. 또한 Frohlich‑Wall이 정의한 ring‑like category는 곱셈에 대한 교환성(브레이딩) 없이도 환 구조를 카테고리화한 것이었는데, 본 논문은 그 정의에 브레이딩을 자연스럽게 삽입함으로써 두 이론을 하나의 통합된 프레임워크 안에 위치시킨다. 마지막으로, 거의 엄격한 Ann‑category(모든 연관성 변환이 항등인 경우)의 중심 Z(𝔄)를 구성하면, 객체는 (X, γ) 형태이며 γ는 X와 모든 객체 사이의 반변환을 제공한다. 이 중심은 일반적으로 비대칭 브레이딩을 가지며, 이는 기존의 대칭적인 braided monoidal category와는 구별되는 새로운 예시를 제공한다.