자율 의사모노이드의 호프 모듈과 단일체

초록

이 논문은 모노이달 2-범주 (\mathcal{M}) 내의 지도 의사모노이드 (A)에 대해, 고전적인 호프 대수 이론을 일반화한다. 호프 모듈 구조를 (\mathbf{Hom}(\mathcal{M}^{\mathrm{op}},\mathbf{Cat})) 의 특정 모나드에 대한 에일렌베르-모어(Eilenberg‑Moore) 구축으로 정의하고, 이를 2‑범주의 EM 완비화 과정을 삼차범주 (\mathbf{Bicat}) 에 대한 엔도‑동형사상으로 확장한다. 주요 결과는 (A)가 좌자율(왼쪽 자율)일 때와 호프 모듈 구조 정리의 동등성, 그리고 좌자율 (A)의 느슨한 중심(lax centre)이 또 다른 모나드의 EM 객체와 일치한다는 점이다. 오른쪽 자율성까지 가정하면 느슨한 중심이 실제 중심과 동일해지며, (\mathcal{V})-모듈 및 (\mathcal{V})-코모듈 예시를 통해 코콰시‑호프 대수의 Drinfel’d double을 중심으로 재구성한다.

상세 분석

논문은 먼저 모노이달 2‑범주 (\mathcal{M}) 안에서 “지도 의사모노이드”(map pseudomonoid) (A)를 정의한다. 전통적인 호프 대수에서 호프 모듈은 (A)‑모듈과 (A)‑코모듈 구조가 서로 호환되는 객체로 정의되지만, 2‑범주적 상황에서는 이러한 구조를 직접 기술하기가 어렵다. 저자들은 이를 해결하기 위해 (\mathbf{Hom}(\mathcal{M}^{\mathrm{op}},\mathbf{Cat})) 내의 한 모나드 (\mathbb{H}_A)를 구성한다. (\mathbb{H}_A)는 (A)‑작용을 “좌측”과 “우측” 양쪽에서 동시에 적용하는 복합 함자이며, 그 에일렌베르‑모어 객체가 바로 “호프 모듈”이라 부른다. 이 접근법은 기존의 1‑범주적 호프 모듈 이론을 자연스럽게 2‑범주적 맥락으로 끌어올린다.

다음으로 저자들은 EM 객체의 존재를 보장하기 위해 2‑범주 (\mathbf{Bicat}) 에 대한 “완비화” 과정을 삼차범주 수준으로 끌어올린다. 구체적으로, 모든 2‑범주에 대해 EM 객체를 자유롭게 추가하는 2‑범주적 완비화 함자를 정의하고, 이를 삼차범주 (\mathbf{Bicat}) 에 대한 엔도‑동형사상 (\mathsf{EM} : \mathbf{Bicat} \to \mathbf{Bicat}) 로 확장한다. 이 함자는 각 2‑범주 (\mathcal{K})에 대해 (\mathcal{K})의 모든 모나드에 대한 EM 객체를 포함하는 새로운 2‑범주 (\mathsf{EM}(\mathcal{K}))를 만든다. 결과적으로, (\mathbb{H}_A)에 대한 EM 객체가 존재한다면, 이를 “호프 모듈 구축”(Hopf module construction)이라 부르고, 이는 (\mathcal{M}) 안에서 내부화된 형태로 구현된다.

핵심 정리는 “좌자율성”(left autonomy)과 “호프 모듈 구조 정리”(structure theorem for Hopf modules)의 동등성이다. (A)가 좌자율, 즉 왼쪽 듀얼 객체 (A^\vee)와 평가·공평 사상이 존재한다면, (\mathbb{H}_A)의 EM 객체가 반드시 존재하고, 그 EM 범주는 (A)‑모듈 범주와 동등함을 보인다. 반대로, EM 객체가 존재하고 구조 정리가 성립하면, (A)는 좌자율임을 역으로 증명한다. 따라서 좌자율성은 호프 모듈 구축의 존재와 정확히 일치한다.

이후 논문은 “느슨한 중심”(lax centre) 개념을 도입한다. 좌자율 지도 의사모노이드 (A)에 대해, 특정 모나드 (\mathbb{Z}_A)를 정의하고, 그 EM 객체를 “느슨한 중심” (\operatorname{LaxZ}(A))라 명명한다. (\mathbb{Z}_A)는 (A)의 자기작용을 교환 가능한 형태로 강제하는데, 이때 EM 객체가 존재하려면 (\mathbb{H}_A)의 EM 객체가 존재해야 한다는 상호 의존성이 드러난다. 오른쪽 자율성까지 가정하면 (\operatorname{LaxZ}(A))와 전통적인 “중심”(Drinfel’d centre) (\operatorname{Z}(A))가 동형임을 보인다.

마지막으로 저자들은 (\mathcal{V})-모듈과 (\mathcal{V})-코모듈이라는 구체적 2‑범주 예시를 통해 이론을 검증한다. 특히 코콰시‑호프 대수 (H)에 대해, 위에서 정의한 중심 (\operatorname{Z}(H))가 바로 Drinfel’d double (D(H))와 동형임을 확인한다. 이는 기존의 호프 대수 이론에서 Drinfel’d double이 갖는 역할을 2‑범주적 맥락에서도 그대로 재현한다는 의미다.

전반적으로 논문은 호프 대수의 핵심 구조를 2‑범주와 삼차범주 수준으로 일반화하고, 자율성 조건이 존재할 때 내부적인 호프 모듈과 중심 구조가 완전하게 형성된다는 강력한 메커니즘을 제시한다.