콤팩트 폐쇄 범주 위의 매키 퍼터 이론

초록

이 논문은 렉스텐시브(lextensive) 범주 𝔈 위에 매키 퍼터(Mackey functor)를 정의하고, 그 범주의 구조를 탐구한다. 매키 퍼터들의 범주는 자연스럽게 단일(monidal) 구조를 가지며, 이 안의 모노이드는 그린 퍼터(Green functor)와 동등함을 보인다. 또한, 단일 함자의 코시 완성(Cauchy completion) 객체들을 명시적으로 기술하고, 이를 통해 그린 퍼터들의 모리타 동등성(Morita equivalence)을 분석한다.

상세 분석

논문은 먼저 렉스텐시브 범주 𝔈를 선택함으로써, 합과 곱이 잘 동작하는 환경을 마련한다. 이때 𝔈는 유한한 공액(가환) 한계와 공액(가환) 여집합을 모두 갖는 카테고리이며, 이러한 구조는 전통적인 갈루아 군 이론에서의 유한 집합 범주와 유사하다. 저자는 𝔈‑내의 스팬(span) 구조를 이용해 매키 퍼터를 정의한다. 구체적으로, 객체 X와 Y 사이의 스팬은 X←S→Y 형태의 다이어그램이며, 이 스팬들의 합성은 푸시아웃(pull‑back)과 푸시아웃(push‑out)을 교차시켜 정의된다. 이러한 스팬 카테고리 Sp(𝔈)는 자체가 이중(2‑)카테고리 구조를 가지며, 매키 퍼터는 Sp(𝔈)에서 아베리안(Ab)값을 갖는 강한(강제) 함자(strong functor)로서 기술된다.

다음으로 저자는 매키 퍼터들의 범주 Mack(𝔈)를 조사한다. 이 범주는 완전하고 코완전하며, 특히 텐서 구조 ⊗를 자연스럽게 도입한다. 텐서곱은 스팬의 외적을 통해 정의되며, 이는 스팬의 합성법칙과 일관성을 유지한다. 중요한 결과는 Mack(𝔈) 안의 모노이드 객체가 바로 그린 퍼터와 동형이라는 정리이다. 그린 퍼터는 전통적인 대수적 구조인 대수적 대수(대수적 대수)와 동등하게, 매키 퍼터의 텐서곱을 보존하는 모노이드로서 해석된다.

또한, 저자는 단일 함자 F: 𝔈→𝔙 (𝔙는 폐쇄 단일 카테고리) 의 코시 완성을 명시적으로 기술한다. 여기서 핵심은 F가 보존하는 스팬 구조를 이용해, 완비한 아이덴티티와 분해 가능한 객체들을 구성하는 방법이다. 이 과정에서 ‘분리 가능한 이데알(idempotent)’와 ‘재구성 가능한(dualizable)’ 객체 개념이 중요한 역할을 한다. 최종적으로, 이러한 코시 완성 기술을 활용해 두 그린 퍼터 A와 B가 모리타 동등함을 판단하는 기준을 제시한다. 구체적으로, A‑모듈 범주와 B‑모듈 범주가 텐서 동형을 갖는 경우, 두 퍼터는 모리타 동등하다고 정의한다. 이는 기존의 모리타 이론을 범주론적 맥락으로 확장한 것으로, 특히 스펙트럼 이론이나 고차원 대수위에 적용 가능성을 시사한다.

전체적으로 논문은 매키 퍼터를 렉스텐시브 범주의 스팬 구조와 연결시켜, 기존 군론적 직관을 범주론적·함자론적 틀 안으로 끌어들인다. 텐서 구조와 코시 완성에 대한 상세한 계산은 새로운 그린 퍼터의 분류와 모리타 이론에 강력한 도구를 제공한다는 점에서 학문적 기여가 크다.