범주 재구성 이론 단사와 모나드의 새로운 통합

본 논문은 “범주 재구성 이론”이라는 제목 아래, 고전적인 대수학적 재구성 정리를 범주론적 언어와 구조로 일반화한다. 전체는 9개의 장으로 구성되며, 각 장은 독립적인 연구 결과를 포함하면서도 서로 긴밀히 연결된다. 1장 서론에서는 연구 동기와 주요 기여를 요약한다. 모노이달·모듈 범주가 다양한 수학·물리 분야에 등장함을 강조하고, 기존 재구성 정리(예: Ost03, DSPS19 등)가 강체성(rigidity)을 전제한다는 한계를 지적한다. 이를 극복하기 위해 모나드와 바이모나드, 특히 Hopf 모나드와 코모듈 모나드라는 보다 일반적인 구조를 도입한다는 목표를 제시한다. 2장에서는 전반적인 배경을 정리한다. 2‑범주, bicategory, 모나드·adjunction, 비교 사상, 분배법칙, 문자열 다이어그램, 모노이달·모듈 범주, 브레이딩, 폐쇄성, 강체·피벗 구조, Drinfeld 중심, 선형·아벨 범주, 텐서·링 범주, 대수·모듈 객체, 모노이달 bicategory, coend, (co)완비 등을 체계적으로 정의한다. 특히 그래픽 계산법을 도입해 복잡한 식을 시각적으로 다루는 방법을 제시한다. 3장에서는 모노이달 범주의 이중성 이론을 깊이 탐구한다. 폐쇄성, Grothendieck‑Verdier 이중성, 텐서 표현 가능성, 강체성 사이의 포함 관계를 명확히 증명한다(Prop 3.7, 3.12, 3.16; Thm 3.23). 또한 Day convolution을 이용한 함수 범주의 이중성 전이와 Cauchy 완비가 이중성에 미치는 영향을 분석한다(Cor 3.43). 이는 Heunen이 제기한 “모든 포함이 엄격한가?”라는 질문에 대한 완전한 답을 제공한다. 4장에서는 뒤틀린 중심(anti‑centre)과 피벗 구조 사이의 관계를 연구한다. 강체 범주 𝒞에 대해 quasi‑pivotal 구조와 anti‑centre의 Picard heap 사이에 일대일 대응이 존재함을 보이며(Theorem 4.23), 또한 피벗 구조가 anti‑centre의 Picard heap에 의해 유도되지 않을 수 있음을 구체적인 예시로 제시한다(Theorem 4.50). 이는 기존 Drinfeld 중심 이론을 확장한 중요한 결과이며, 피벗 구조와 중심 구조 사이의 새로운 상호작용을 제시한다. 5장에서는 모나드 수준의 Tannaka‑Krein 재구성을 전개한다. 바이모나드 𝐵와 모듈 범주 ℳ 위의 코모듈 모나드 𝑇에 대해, 𝐵‑코액션과 ℳ‑𝑇에 대한 오른쪽 𝐵‑작용 사이에 일대일 대응이 있음을 증명한다(Theorem 5.31). 또한 oplax 단사 adjunction과 코모듈 adjunction 사이의 상승(lift) 관계를 상세히 기술한다(Theorem 5.28, Proposition 5.29). 이 결과는 기존 Hopf 모나드 재구성(Moe02, McC02)을 일반화하고, 코모듈 모나드라는 새로운 대상에 적용한다. 6장에서는 모노이달 twisted 중심을 다루며, 교차곱(cross product)과 분배법칙, 중앙화 가능(functor)와 중앙 바이모나드, Drinfeld 및 anti‑Drinfeld 이중 구조 등을 연구한다. 특히 Hopf 모나드의 Drinfeld double와 anti‑double를 정의하고, 이들 사이의 쌍(pair) 구조를 구축한다(§6.4, 6.5). 7장에서는 duoidal R‑matrix 구조를 도입한다. R‑matrix와 duoidal 카테고리 사이의 상호 변환을 정리하고, 선형 분배 모나드(linearly distributive monads)의 특성을 분석한다(§7.2, 7.3). 이는 양쪽 모노이달 구조가 동시에 존재하는 상황을 포괄적으로 기술한다. 8장에서는 강체성을 포기한 무한 차원·비강체 재구성 문제를 다룬다. extendable monads, semisimple monads, Linton 동등화 등을 이용해 모듈 구조를 확장하고, 내부 사영·주입 객체를 정의한다. 특히 lax 모듈 엔도펑터에 대한 재구성 정리를 제시하며, 비강체 텐서 카테고리에서도 재구성이 가능함을 보인다(§8.3, 8.4). 9장에서는 Hopf 모듈 이론을 심화한다. 코바이코모듈, 트리모듈, contramodule 재구성, Morita 동형성, 비강체 예시, 기본 정리, 융합 연산자 등을 포괄적으로 다룬다. 특히 Hopf 트리모듈 대수 위에서 contramodule 재구성을 수행하고, 이를 통해 섬세한 모듈‑코모듈 상호작용을 밝힌다(§9.3‑9.7). 전체적으로 논문은 모나드·바이모나드·Hopf 모나드와 다양한 이중성(폐쇄성, Grothendieck‑Verdier, *‑자율성, 강체성) 사이의 관계를 체계화하고, 이를 통해 기존 재구성 정리의 가정을 크게 완화한다. 새로운 예시와 응용(duoidal R‑matrix, twisted centre, 무한 차원 재구성 등)을 제공함으로써 범주론, 대수학, 양자대수, 고차원 물리학 등 여러 분야에 폭넓은 영향을 미칠 것으로 기대된다.