약한 바이모나드와 약한 호프 모나드

초록

이 논문은 모노이달 범주 M 위에 정의된 약한 바이모나드(weak bimonad)를 소개한다. 약한 바이모나드 T는 Eilenberg‑Moore 범주 M^T가 모노이달 구조를 갖고, 그 망각함수는 분리 가능한 Frobenius 함자이다. M이 Cauchy 완비일 때는 몇 가지 간단한 공리만으로 M^T의 모노이달 구조를 M의 모노이달 구조의 약한 상승(weak lifting)으로 기술한다. 또한 기존의 바이모나드와 브라디드 모노이달 범주 내 약한 바이노이드를 비교하고, 안티포드(antipode)를 도입해 약한 호프 모나드(weak Hopf monad)의 개념을 정의한다.

상세 분석

논문은 먼저 전통적인 바이모나드(bimonad)의 정의를 복습하고, 그 한계점을 지적한다. 일반적인 바이모나드는 모노이달 범주 M 위의 모나드 T가 동시에 코모나드 구조를 가지고, 이 두 구조가 서로 호환되는 경우를 말한다. 그러나 이 경우 Eilenberg‑Moore 범주 M^T는 자동으로 모노이달이 되지만, 망각함수는 강한(강모노이달) 구조를 보존한다. 실제 많은 예제, 특히 양자 대수와 같은 비대칭 구조에서는 이러한 강한 조건이 지나치게 제한적이다.

이에 저자들은 “약한 바이모나드”라는 새로운 개념을 도입한다. 핵심 아이디어는 M^T가 모노이달 구조를 갖지만, 그 구조가 M의 모노이달 구조를 완전하게 끌어올리는 것이 아니라, “약한 상승(weak lifting)” 형태로 존재한다는 점이다. 구체적으로, T는 모나드이면서 동시에 약한 코모나드 구조(코곱 연산이 완전한 동등식이 아닌, 분리 가능한 Frobenius 조건을 만족) 를 가진다. 이때 망각함수 U: M^T → M는 분리 가능한 Frobenius 함자가 된다. 즉, U는 강모노이달이 아니지만, 좌·우 모두에 대해 Frobenius 연산을 통해 분리 가능한 사상으로서의 역을 갖는다.

M이 Cauchy 완비(Cauchy complete)일 경우, 저자는 5개의 공리만으로 약한 바이모나드의 정의를 간소화한다. 이 공리들은 (1) T의 단위와 곱이 모노이달 구조와 호환, (2) 약한 코단위와 코곱이 모노이달 구조와 호환, (3) 코단위와 코곱이 분리 가능한 Frobenius 쌍을 형성, (4) 약한 코곱이 T‑알게브라 구조와 교환, (5) “약한 상승” 조건인 T‑알게브라의 텐서곱이 M^T의 모노이달 구조와 일치함을 보장한다. 이러한 공리 체계는 기존의 바이모나드 공리와 비교했을 때, 코모나드 측면에서의 강제성을 크게 완화한다.

다음으로 저자는 약한 바이모나드와 약한 바이노이드(weak bimonoid) 사이의 관계를 탐구한다. 브라디드 모노이달 범주 C에 약한 바이노이드 B가 주어지면, 그에 대응하는 “곱 연산을 보존하는” 모나드 T_B = B⊗‑ 가 약한 바이모나드가 된다. 반대로, 약한 바이모나드 T가 충분히 강한(예: 강한 모노이달 함자) 경우, 그 “표현 객체”를 통해 약한 바이노이드를 재구성할 수 있다. 이 쌍방향 대응은 기존의 바이모나드–바이노이드 대응을 일반화한 것으로, 특히 비대칭적인 양자 그룹 구조를 다룰 때 유용하다.

마지막으로 논문은 약한 호프 모나드(weak Hopf monad) 를 정의한다. 여기서는 약한 바이모나드 T에 안티포드(antipode) 라는 자연 변환 S: T → T가 존재함을 요구한다. S는 일반적인 호프 대수에서의 안티포드와 유사하게, 곱·코곱을 뒤바꾸는 역할을 하지만, 약한 구조 때문에 S는 완전한 역을 갖지 않아도 된다. 대신 S는 Frobenius 쌍과의 상호작용을 통해 “약한 역” 조건을 만족한다. 저자는 이러한 안티포드가 존재할 때, M^T는 강한 모노이달 구조를 갖게 되며, 이는 기존 호프 모나드 이론과 정확히 일치한다는 점을 증명한다.

전체적으로 이 논문은 “강한” 구조에 얽매이지 않고, 보다 일반적인 상황에서 모노이달·코모노달 상호작용을 다루는 새로운 범주론적 틀을 제공한다. 이는 양자 대수, 텐서 카테고리, 그리고 고차 구조를 연구하는 현대 수학·물리학 분야에 중요한 도구가 될 것으로 기대된다.