별표 펑터와 멱등 모나드

초록

이 논문은 임의의 범주 사이의 왼쪽 사상 (F)와 오른쪽 사상 (G)가 존재할 때, 단위가 극단적 전사이고 여단위가 극단적 단사인 경우를 ‘별표 펑터’라 정의한다. 이러한 조건은 ((F,G))가 멱등 쌍이 되게 하며, 모나드 (GF)와 코모나드 (FG)에 대한 모듈·코모듈 범주가 서로 동형임을 보인다. 또한 코모듈 범주 (\mathcal{B}^{FG})는 (\mathcal{B})에서 인수 객체에 대해 닫혀 있고, 모듈 범주 (\mathcal{A}_{GF})는 (\mathcal{A})에서 부분 객체에 대해 닫혀 있음을 확인한다. 이는 기존의 (\star)-모듈 이론을 범주론적으로 일반화한 결과이다.

상세 분석

논문은 먼저 고전적인 (\star)-모듈 개념을 회고한다. 가환이 아닌 환경에서 (P)를 (R)-모듈이라 두고, (S=\operatorname{End}_R(P))라 하면 (\operatorname{Hom}_R(P,-))와 (P\otimes_S-)는 서로 좌·우 adjoint 관계에 있다. 단위 (\eta)가 전사이고 여단위 (\varepsilon)가 단사이면 (\operatorname{Hom}_R(P,-))는 (_R\mathcal{M})의 어떤 부분범주와 (_S\mathcal{M})의 어떤 부분범주 사이에 동형을 유도한다. 이를 (\star)-모듈이라 부른다.

이제 범주 (\mathcal{A},\mathcal{B}) 사이의 임의의 쌍 ((F,G))에 대해 같은 현상을 탐구한다. 저자는 ‘극단적 전사(Extremal Epimorphism)’와 ‘극단적 단사(Extremal Monomorphism)’라는 개념을 이용해, 단위 (\eta:1_{\mathcal{A}}\to GF)가 극단적 전사이고 여단위 (\varepsilon:FG\to1_{\mathcal{B}})가 극단적 단사인 경우를 (\star)-펑터라고 정의한다. 극단적 전사는 전사이면서 그 사상이 어떤 단사와 합성될 때 원래의 단사만이 동형임을 의미하고, 극단적 단사는 그 역을 취해도 같은 성질을 가진다. 이러한 강한 조건은 ((F,G))가 멱등 쌍(idempotent pair)임을 보장한다. 즉, (GF)와 (FG)는 각각 멱등 모나드와 코모나드가 되며, 이들의 고정 객체(모듈·코모듈) 범주는 서로 동형이다.

핵심 정리는 다음과 같다. ((F,G))가 (\star)-펑터이면

1. (\mathcal{B}^{FG}=\operatorname{Fix}(FG))는 (\mathcal{B})에서 인수 객체에 대해 닫혀 있다.
2. (\mathcal{A}_{GF}=\operatorname{Fix}(GF))는 (\mathcal{A})에서 부분 객체에 대해 닫혀 있다.
3. (F)와 (G)는 각각 (\mathcal{A}_{GF})와 (\mathcal{B}^{FG}) 사이의 역함수 역할을 하여 범주 동형을 형성한다.

증명은 먼저 (\eta)와 (\varepsilon)의 극단적 성질을 이용해 (GF)와 (FG)가 멱등함을 확인한다. 그 다음, 고정 객체의 정의와 전단사성(fully faithful) 성질을 결합해 두 고정 범주가 서로 완전 서브카테고리이며, (F)와 (G)가 각각 전단사이면서 본질적으로 전사·단사인 함자를 제공함을 보인다. 특히, (\eta)가 극단적 전사이므로 (GF)의 고정 객체는 (\mathcal{A})의 부분 객체에 대해 닫히고, (\varepsilon)가 극단적 단사이므로 (FG)의 고정 객체는 (\mathcal{B})의 인수 객체에 대해 닫힌다.

이 결과는 기존 (\star)-모듈 이론을 완전하게 일반화한다. 원래의 상황에서는 (\mathcal{A}={}_R\mathcal{M},\mathcal{B}={}_S\mathcal{M})이며, (F=P\otimes_S-), (G=\operatorname{Hom}_R(P,-))가 된다. 논문은 또한 몇 가지 비자명한 예시를 제시한다. 예를 들어, 사상 사상체계(arrow category)에서의 전단사 쌍, 그리고 사상체계 위의 코시 구조(comonadic) 상황에서의 (\star)-펑터가 전형적인 사례이다.

마지막으로 저자는 (\star)-펑터가 존재할 때, 해당 모나드와 코모나드가 각각 반대칭(dual) 구조를 가지며, 이는 고전적인 가환대수학에서의 ‘정규화’와 ‘반정규화’ 개념과 유사함을 언급한다. 향후 연구 방향으로는 (\star)-펑터의 존재 조건을 보다 구체적인 대수적 혹은 위상적 상황에 맞추어 탐구하고, 이론을 고차원 범주와 ∞-카테고리로 확장하는 가능성을 제시한다.