코코아 호프 대수의 코모듈 범주와 라드포드 공식

본 논문은 코코아 호프 대수(coquasi‑Hopf algebra) $H$에 대한 코모듈과 호프 모듈 범주의 모노이달 구조를 체계적으로 정리하고, 이를 이용해 라드포드의 $S^{4}$ 공식을 범주론적 방법으로 증명한다. **1. 서론**에서는 연구 동기와 배경을 제시한다. 코코아 호프 대수는 Drinfel’d가 정의한 quasi‑Hopf 대수의 듀얼 개념으로, 곱셈이 연관자 $\phi$ 로만 결합되는 비결합성을 갖는다. 이러한 비결합성 때문에 전통적인 대수 사상만으로는 구조를 충분히 전달할 수 없으며, 대신 **모노이달 사상**(lax monoidal morphism)이라는 새로운 개념을 도입한다. **2. 기본 정의**에서는 코코아 바이알러브라와 코코아 호프 대수의 정확한 정의를 제시한다. 곱셈 $p$, 단위 $u$, 연관자 $\phi$ 가 만족해야 할 네 개의 공리(연관성, 단위, 코컨볼루션 등)를 제시하고, antipode 삼중 $(S,\alpha,\beta)$ 가 만족하는 세 개의 방정식(9)–(11)을 제시한다. 또한, 코코아 바이알러브라 사이의 **모노이달 구조** $(\chi,\rho)$ 를 정의하고, $\chi$ 가 가역이면 완전한 모노이달 사상이 된다. **3. 코모듈과 호프 모듈 범주**에서는 코코아 바이알러브라 $C$에 대한 좌·우 코모듈 범주 $\,^{C}\!\mathcal{M}$, $\mathcal{M}^{C}$ 를 정의하고, 이들 사이의 **코텐서 곱** $\Box_{C}$ 를 등화자를 통해 구성한다. 코텐서 곱은 두 코모듈 $M,N$ 에 대해 $M\Box_{C}N$ 를 정의하고, 이는 $C$‑코액션을 동시에 보존하는 객체가 된다. 코텐서 곱은 연관자와 단위가 존재함을 보이며, 따라서 $\,^{C}\!\mathcal{M}^{C}$ 은 모노이달 범주가 된다. **4. 모노이달 사상과 양쪽 적응함수**에서는 코코아 바이알러브라 사상 $f:C\to D$ 에 대해 **코리스트리션** $f_{+}=C_{f}$ 와 **코인덕션** $f^{+}=f_{C}$ 를 정의하고, 이들이 코텐서 곱과 어떻게 상호작용하는지를 보인다. 특히 $-\Box_{C}f_{+}$ 와 $f^{+}\Box_{C}-$ 가 각각 좌·우 적응함수이며, 이들 사이에 모노이달 자연 변환이 존재함을 증명한다. **5. 기본 정리(Fundamental Theorem) for Hopf modules**에서는 자유 오른쪽 호프 모듈 함자 $-\otimes H$ 가 코모듈 범주 $\mathcal{M}^{H}$ 와 호프 모듈 범주 $\mathcal{HM}^{H}$ 사이의 **모노이달 동형**을 제공함을 보인다. 핵심은 $H$ 가 가역 antipode를 갖는 경우, 모든 호프 모듈 $M$ 가 $M^{\mathrm{co}H}\otimes H$ 로 분해된다는 사실이다. 이 정리는 코코아 호프 대수의 **자유 호프 모듈** $H$ 자체에 적용되어, $H$ 와 그 이중 듀얼 $H^{\ast}$ 사이의 프러비니우스 동형을 얻는다. **6. 이중 듀얼과 라드포드 공식**에서는 유한 차원 좌코모듈 $V$ 에 대해 왼쪽 이중 듀얼 $V^{\ast\ast}_{\ell}$ 와 오른쪽 이중 듀얼 $V^{\ast\ast}_{r}$ 를 정의하고, 두 함자 사이에 **자연 모노이달 동형** $\tau:V^{\ast\ast}_{\ell}\Rightarrow V^{\ast\ast}_{r}$ 를 구성한다. 이 동형은 앞서 얻은 프러비니우스 동형과 코텐서 곱의 완비성을 이용해 정의되며, $\tau$ 가 $S^{4}$ 와 정확히 일치함을 보인다. 구체적으로 $\tau_{V}=u\circ\alpha\circ\beta\circ S^{4}$ 로 표현되며, 여기서 $u$는 단위, $\alpha,\beta$는 antipode의 보조 함수이다. **7. 고전적인 Hopf 대수 경우**에서는 $H$ 가 실제 Hopf 대수일 때 위 결과가 기존 라드포드의 $S^{4}$ 공식과 일치함을 확인한다. 코코아 구조가 사라지고 $\phi=\varepsilon\otimes\varepsilon$, $\alpha=\beta=\varepsilon$ 가 되므로, $\tau$ 가 단순히 $S^{4}$ 로 축소된다. **8. 부록**에서는 코텐서 곱의 모노이달성, 밀도 이론, 그리고 카테고리적 완비성에 관한 기술적 배경을 제공한다. 특히 코텐서 곱이 필터드 콜리미트를 보존한다는 사실을 증명하여, 유한 차원 코모듈들의 강체성(dual objects) 확보에 필수적인 근거를 제공한다. 전체적으로 논문은 코코아 호프 대수라는 비전통적 구조에 대해 **모노이달 사상**, **코텐서 곱**, **이중 듀얼**이라는 세 가지 범주론적 도구를 결합함으로써, 라드포드의 $S^{4}$ 공식이 코코아 상황에서도 동일하게 성립함을 새로운 관점에서 증명한다. 이는 기존 Hopf 대수 이론을 일반화하고, 코코아 구조가 갖는 복잡성을 범주론적으로 해소하는 중요한 진전이라 할 수 있다.