모듈 범주에서의 모나드와 코모나드 연구

초록

이 논문은 A-양측 모듈 B와 C에 대해 텐서 곱 functor ‑⊗ₐB와 ‑⊗ₐC가 각각 모나드와 코모나드가 되는 조건을 재조명하고, 오른쪽 adjoint인 Homₐ(B,‑)와 Homₐ(C,‑)가 형성하는 코모나드·모나드의 (코)모듈 범주를 체계적으로 분석한다. 특히 C가 코분리(coseparable) 코링이면 C‑코모듈과 Homₐ(C,‑)‑모듈이 동등함을 보이며, 바이어링 H가 Hopf algebra인 경우 Hom_R(H,‑)가 Hopf bimonad이 되어 H‑Hopf 모듈과 혼합‑Hom_R(H,‑)‑바이모듈이 모두 기본 모듈 범주와 동형임을 증명한다.

상세 분석

논문은 먼저 A-양측 모듈 B가 A-링 구조를 가질 때 ‑⊗ₐB가 모나드가 된다는 고전적 사실을 상기한다. 이때 모나드의 대수(알제브라)인 B‑모듈 범주는 ‑⊗ₐB‑알제브라와 동형이며, 이는 기존 문헌에서 잘 알려진 결과이다. 반대로 A‑양측 코링 C에 대해 ‑⊗ₐC가 코모나드가 되면 C‑코모듈 범주가 ‑⊗ₐC‑코알제브라와 일치한다. 여기서 핵심적인 새 관점은 오른쪽 adjoint인 Homₐ(B,‑)와 Homₐ(C,‑)가 각각 코모나드와 모나드를 형성한다는 점이다. Homₐ(B,‑)‑코모듈은 B‑모듈과 정확히 동형임을 보이며, 이는 Hom‑함수가 보존하는 구조가 B‑액션을 그대로 반영한다는 직관과 일치한다. 그러나 Homₐ(C,‑)‑모듈, 즉 전통적으로 Eilenberg‑Moore가 정의한 C‑대조모듈(contramodule)은 일반적인 C‑코모듈과 동등하지 않을 수 있다. 저자는 이 차이를 해소하기 위해 코분리(coseparable) 코링이라는 추가 가정을 도입한다. 코분리 코링은 코모듈 범주가 완전하고, 코모듈과 대조모듈 사이에 자연스러운 동형 사상이 존재함을 보장한다. 구체적으로, 코분리성은 코모나드의 카테고리에서 분리 사상(split epi) 존재와 동치이며, 이를 이용해 Homₐ(C,‑)‑모듈과 C‑코모듈 사이의 비교 함자를 완전하고 충실하게 만든다. 결과적으로 코분리 코링에서는 두 범주가 서로 동등함을 증명한다.

다음으로 바이어링 H에 대한 논의를 전개한다. H가 R‑코알제브라이면서 동시에 R‑알제브라인 경우, ‑⊗₍R₎H와 Hom₍R₎(H,‑)는 각각 모나드·코모나드 구조를 갖는다. 저자는 H가 Hopf algebra이면 Hom₍R₎(H,‑)가 Hopf bimonad이 된다는 사실을 보여준다. 여기서 Hopf bimonad은 모나드와 코모나드 구조가 서로 호환되는 강한 조건을 의미한다. 이때 H‑Hopf 모듈(전통적인 Yetter‑Drinfel’d 모듈)의 범주는 ‑⊗₍R₎H‑바이모듈과 동형이며, 동시에 Hom₍R₎(H,‑)‑바이모듈(혼합 모듈)과도 동형이다. 결국 기본 모듈 범주 M_R와 전부가 동등해진다. 이러한 결과는 Hopf algebra의 구조를 범주론적 관점에서 완전히 포착함을 의미한다. 논문은 또한 이러한 동등성이 보존되는 경우와 그렇지 않은 경우를 구분하고, 코분리성, 평탄성, 유한 생성성 등의 추가 가정이 어떻게 동등성에 영향을 미치는지 상세히 분석한다. 전체적으로 이 연구는 모나드·코모나드 이론을 기존의 모듈·코모듈 이론에 연결시키는 다리 역할을 하며, 특히 대조모듈 이론을 체계화하고 Hopf 구조를 범주론적 bimonad 으로 재해석하는 데 큰 기여를 한다.