엔타이닝의 이중범주와 코링 변환

초록

본 논문에서는 가변 환 위의 엔타이닝을 0‑셀로 하는 이중범주를 정의하고, 1‑셀을 두 개의 bimodule 사상과 하나의 bimodule 자체로 이루어진 삼중쌍으로 설정한다. 이 삼중쌍은 하나의 육각형, 두 개의 오각형, 두 개의 (공)단위 삼각형 조건을 만족해야 한다. 2‑셀는 이러한 삼중쌍 사이의 bimodule 사상으로, 두 개의 단순한 호환성을 갖는다. 또한 엔타이닝으로부터 얻어지는 “합성 코링” 작용을 Street가 정의한 코링의 이중범주로의 정준적인 이중범주 사상으로 승격시킨다.

상세 분석

논문은 먼저 엔타이닝(entwining)이라는 개념을 재정의한다. 전통적으로 엔타이닝은 알지브라 A와 코알지브라 C 사이의 혼합 분배법칙 ψ : C⊗A → A⊗C 로서, 양쪽 구조가 서로 교차하도록 만든다. 저자는 이를 “가변 환 R 위의 엔타이닝”이라 명명하고, R‑양측의 bimodule 구조를 명시적으로 포함시켜 일반적인 경우를 포괄한다. 이러한 엔타이닝을 0‑셀로 삼아 이중범주 Entw를 구성한다는 아이디어는, 기존에 코링(coring)이나 코모듈(co‑module) 이론이 1‑셀 수준에서만 다루어졌던 점을 확장한다는 점에서 혁신적이다.

1‑셀은 (M, α, β)라는 삼중쌍으로 정의된다. 여기서 M은 두 환 사이의 (R,S)‑bimodule이며, α : C⊗_R M → M⊗_S D, β : M⊗_S B → A⊗_R M 은 각각 코알지브라와 알지브라 구조를 전달하는 bimodule 사상이다. 이들 사상은 다음과 같은 일련의 코히런스 식을 만족한다. 첫째, α와 β가 결합될 때 나타나는 육각형 식은 ψ와 φ(다른 엔타이닝)의 교환성을 보장한다. 둘째, 각각의 α와 β에 대해 독립적인 오각형 식이 존재하는데, 이는 α(또는 β)가 코알지브라(또는 알지브라)의 결합과 단위와 호환됨을 의미한다. 셋째, (co)단위 삼각형 식은 M이 단위 원소와 결합할 때의 정체성을 보장한다. 이러한 복합적인 조건들은 일반적인 이중범주의 1‑셀에 요구되는 연관성(associativity)과 단위성(unit) 공리를 고차원적으로 구현한다는 점에서 중요한 의미를 가진다.

2‑셀는 두 1‑셀 (M,α,β)와 (N,α′,β′) 사이의 bimodule 사상 θ : M → N 로 정의된다. θ는 α와 α′, β와 β′ 사이에 각각 θ⊗id와 id⊗θ가 교환하도록 하는 두 개의 단순한 호환식만을 만족하면 된다. 이는 2‑셀가 복잡한 고차 구조를 도입하지 않으면서도, 1‑셀 사이의 변환을 충분히 제어할 수 있음을 보여준다.

구성된 이중범주 Entw는 수평·수직 합성에 대해 엄격히 결합법칙을 만족한다. 수평 합성은 bimodule 텐서곱을 이용해 (M,α,β)∘(N,α′,β′)를 정의하고, 각 사상은 텐서곱을 통해 자연스럽게 전파된다. 수직 합성은 2‑셀의 합성을 그대로 사용한다. 저자는 모든 코히런스 도표(육각형·오각형·삼각형)가 합성 과정에서 보존됨을 상세히 검증하여, Entw가 진정한 이중범주임을 증명한다.

가장 두드러진 기여는 “합성 코링” 작용을 정준적인 이중범주 사상 Φ : Entw → Coring(Street) 로 승격시킨 점이다. 기존 문헌에서는 엔타이닝으로부터 코링을 구성하는 과정이 객체 수준에서만 서술되었으나, 여기서는 1‑셀과 2‑셀까지 모두 보존하는 강력한 펑터를 제공한다. Φ는 각 엔타이닝 (A,C,ψ)에 대해 코링 (A⊗_R C, Δ, ε)을 부여하고, 1‑셀 (M,α,β)를 (M, Δ_M, ε_M) 형태의 코링 1‑셀로 변환한다. 이 변환은 Street가 정의한 코링 이중범주의 구조와 완전히 일치하도록 설계되었으며, 특히 코링의 합성(코링 텐서곱)과 Entw의 수평 합성이 서로 교환됨을 보인다.

이러한 결과는 엔타이닝 이론을 코링·코모듈 이론과 완전하게 연결함으로써, Hopf 알지브라, 비가환 기하학, 그리고 양자 그룹 이론 등에서 나타나는 복합 구조들을 통합적으로 다룰 수 있는 범주론적 틀을 제공한다. 또한, 엔타이닝을 통한 코링 구성의 펑터리얼성은 향후 고차 대수적 구조(예: 이중 코알지브라, 비가환 스택)의 연구에 중요한 도구가 될 것으로 기대된다.