상대 호프 모듈 범주의 단일 구조

초록

이 논문은 브레이디드 단일군 범주 𝒞에서 왼쪽 B-코모듈 대수 A가 동시에 코알제브라인 경우를 고려한다. A에 정의된 비결합·비단위 B-작용을 이용해 두 상대 호프 모듈의 텐서곱에 오른쪽 A-작용을 부여하고, 이 작용이 카테고리의 단일 구조가 되기 위한 필요충분조건을 밝힌다. 그 조건은 A가 B에 대한 왓터‑드레인펠드 모듈 범주 내에서 자체적으로 이중대수(바이알제브라) 구조를 가져야 함이다. 논문은 이 이론을 뒷받침하는 구체적 예시도 제시한다.

상세 분석

논문은 먼저 브레이디드 단일군 범주 𝒞 안에서 bialgebra B와 왼쪽 B‑코모듈 대수 A를 설정한다. A는 𝒞 안에서 코알제브라 구조를 가지며, 동시에 B‑코액션 ρ:A→B⊗A와 왼쪽 B‑작용 ⊲:B⊗A→A를 갖는다. 여기서 중요한 점은 ⊲가 결합법칙이나 단위원을 만족하지 않아도 된다는 점이다. 이러한 약한 작용을 이용해 상대 호프 모듈(M, μ) 를 정의한다. M은 왼쪽 B‑코모듈이면서 오른쪽 A‑모듈이며, 코액션과 A‑작용 사이에 호프 조건
 ( id_B⊗μ )∘( ρ_M⊗id_A ) = ( μ⊗id_B )∘( id_M⊗Δ_A )∘ρ_M
을 만족한다.

다음 단계에서는 두 상대 호프 모듈 M,N 의 텐서곱 M⊗N 에 대해 새로운 오른쪽 A‑작용을 정의한다. 구체적으로는
 (m⊗n)·a = m·(a_{(1)}) ⊗ n·(a_{(2)})
와 같이 A의 코알제브라 구조 Δ_A(a)=a_{(1)}⊗a_{(2)} 를 사용한다. 이 정의가 잘 되려면 A의 B‑코액션과 B‑작용이 서로 호환되어야 하는데, 이는 바로 A가 왓터‑드레인펠드 모듈(즉, Yetter‑Drinfeld 모듈) 범주 𝒴𝒟_B^B 안에 존재한다는 의미와 동치이다.

핵심 정리는 “A가 𝒴𝒟_B^B 안에서 바이알제브라이면, 위에서 정의한 오른쪽 A‑작용이 M⊗N을 다시 상대 호프 모듈로 만든다. 반대로 이 구조가 존재한다면 A는 반드시 𝒴𝒟_B^B 안의 바이알제브라여야 한다”는 필요충분조건을 제시한다. 증명은 두 방향 모두에서 호프 조건과 코액션·작용의 교환법칙을 상세히 전개한다. 특히, A의 B‑작용이 비결합이더라도 Yetter‑Drinfeld 조건이 보장되면 연산이 일관성을 유지한다는 점이 새롭다.

논문은 또한 몇 가지 구체적 예시를 제공한다. 첫 번째 예시는 𝒞가 벡터 공간 범주이고 B가 전통적인 히프 알제브라인 경우로, A를 B‑코모듈 대수이면서 동시에 B‑모듈 대수인 경우를 보여준다. 두 번째 예시는 𝒞가 초대수(슈퍼벡터공간) 범주일 때, B와 A가 각각 초히프 구조를 갖는 상황을 다룬다. 마지막으로, 비결합적인 B‑작용을 허용하는 비표준 예시를 통해 이론의 일반성을 강조한다. 이러한 예시들은 새로운 단일 구조가 실제로 존재함을 입증하고, 기존의 상대 호프 모듈 이론을 확장하는 가능성을 시사한다.

전체적으로 논문은 기존의 상대 호프 모듈 이론에 “바이알제브라 Yetter‑Drinfeld 조건”이라는 새로운 대수적 제약을 도입함으로써, 텐서곱에 대한 자연스러운 오른쪽 A‑작용을 확보하고, 이를 통해 카테고리 수준에서 완전한 단일 구조를 구성한다는 중요한 기여를 한다.