브레이디드 모노이달 범주에서의 약한 홉 모노이드와 양자 군상

1. 서론에서는 약한 홉 알제브라(weak Hopf algebras)의 기원과 기존 연구를 소개한다. Böhm·Nill·Szlachányi가 제시한 약한 바이알제브라의 정의를 되짚으며, 이를 브레이디드 모노이달 범주 V 로 일반화하려는 동기를 제시한다. 특히 기존 문헌에서 소스·타깃 사상이 어떻게 정의되는지와 그 한계점을 지적하고, 새로운 정의가 양자 범주와 양자 군상 이론에 어떻게 기여할 수 있는지를 설명한다. 2. 약한 바이모노이드 섹션에서는 V=(V,⊗,I,c) 라는 브레이디드 모노이달 범주 안에서 약한 바이모노이드 A=(A,µ,η,δ,ε)를 정의한다. 여기서 ‘약화된’ 공리는 (v)와 (w) 형태의 다이어그램으로 제시되며, 교환(crossing) 선택에 따라 구체적인 식이 달라진다. A에 대해 소스 사상 s와 타깃 사상 t 를 각각 s = (δ ∘ η)·c·(1⊗ε) , t = (δ ∘ η)·c·(ε⊗1) 와 같이 정의한다. 이 두 사상은 멱등이며 ts=s, st=t 라는 구형 관계를 만족한다. 3. Cauchy 완성 QV 로의 이동을 통해 idempotent가 분리될 수 있음을 이용한다. A의 s와 t 로부터 각각 (A,s)와 (A,t) 라는 객체를 만들고, 이 두 객체가 동형임을 보인다. 이 동형체를 C라고 명명하고, C를 ‘객체‑객체’ 코모노이드라고 부른다. C는 δ_C = (t⊗t)·δ·t , ε_C = ε·t 로 정의된 코모노이드이며, µ_C = ε·µ·(s⊗s) 로 정의된 모노이드 구조도 갖는다. 특히 µ_C∘δ_C = 1_C 가 성립하므로 C는 분리 가능한 프뢰베니우스 모노이드가 된다. 4. 약한 홉 모노이드 정의에서는 A에 안티포드 ν:A→A 를 추가한다. ν는 다음 세 식을 만족한다. (i) µ(ν⊗1)δ = t, (ii) µ(1⊗ν)δ = r (여기서 r = ν∘s), (iii) µ³(ν⊗1⊗ν)δ³ = ν. 이때 r 역시 코모노이드 사상이며, ν가 가역이면 ν⁻¹ 역시 같은 형태의 방정식을 만족한다. 이러한 정의는 기존의 약한 홉 알제브라 정의와 일치하지만, 소스 사상 선택이 다르다는 점이 차별점이다. 5. 코모듈 범주 구조에서는 C‑코모듈(Bicomod(C))과 A‑코모듈(Comod(A))을 정의하고, 기본 펑터 U:Comod(A)→Bicomod(C) 가 강모노이달임을 증명한다. 약한 홉 모노이드 A에 대해 dualizable 객체들의 서브카테고리 Comod_f(A) 가 좌자율성을 갖는 *‑자율 범주가 된다. 이는 양자 군상 정의에 필요한 ‘양자 대칭성’과 일치한다. 6. 프뢰베니우스 모노이드 예시에서는 V 안의 분리 가능한 프뢰베니우스 모노이드 R을 잡고, R⊗R 에 대해 µ = (µ_R⊗µ_R)·(1⊗c⊗1), η = η_R⊗η_R, δ = (1⊗c⊗1)·(δ_R⊗δ_R), ε = ε_R⊗ε_R 와 같이 정의한다. 이 구조는 위에서 정의한 약한 홉 모노이드의 모든 공리를 만족하고, ν(x⊗y)=y⊗x 로 정의된 안티포드는 가역이다. 따라서 R⊗R 은 구체적인 약한 홉 모노이드이자 양자 군상의 대표적인 예가 된다. 7. 양자 범주와 양자 군상 섹션에서는 기존 정의(다이와 스트리트)와 비교하여, 약한 바이모노이드가 ‘양자 범주’(두 코모노이드와 소스·타깃 사상, 합성, 단위)와 동형임을 보이고, 약한 홉 모노이드가 ‘양자 군상’(양자 범주에 역전 가능한 안티포드가 존재)과 동형임을 정리한다. 또한, 약한 바이모노이드가 ×_R‑바이알제브라, 페이스 알제브라, Kac‑알제브라 등과 어떻게 연결되는지를 서술한다. 8. 결론에서는 본 연구가 약한 바이알제브라를 브레이디드 범주론적 시각으로 재구성하고, 소스·타깃 사상의 새로운 선택을 통해 양자 범주·군상과 직접 연결함으로써 기존 이론을 일반화했음을 강조한다. 향후 연구 방향으로는 비대칭적인 브레이딩, 고차원 양자 군상의 구조, 그리고 물리적 응용(예: 토포로지컬 양자장론) 등을 제시한다.