풍부 범주를 위한 그로텐디크 구성과 등급화

초록

본 논문은 대칭 모노이달 카테고리 위에 풍부화된 소범주의 다이어그램에 대해 그로텐디크 구성을 일반화한다. 이를 통해 기존의 궤도 범주와 $k$-선형 등급 범주를 포함하는 새로운 등급 구조를 정의하고, 풍부 범주에 대한 스매시 곱 및 섬유 사상과의 쌍대 관계를 제시한다. 결과적으로 풍부 범주의 짧은 기술법과 두 종류의 오른쪽 어드쥬인트 관계를 얻는다.

상세 분석

이 연구는 “그로텐디크 구성(Grothendieck construction)”이라는 고전적인 범주론 도구를, 대칭 모노이달 카테고리 $\mathcal{V}$ 위에 풍부화된 소범주들의 다이어그램에 적용함으로써 크게 확장한다. 저자는 먼저 $\mathcal{V}$가 다음 세 가지 조건을 만족해야 함을 명시한다: (1) 완전·코완전이며, (2) 텐서곱이 양쪽에서 연속(continuous)하고, (3) 단위 객체 $I$가 작은 콤팩트(또는 스몰) 객체이다. 이러한 가정은 $k$-모듈, 체인 복합체, 심플리시얼 집합, 위상공간, 그리고 현대 스펙트럼 등 주요 예시들을 포괄한다.

다음으로, $\mathcal{V}$‑풍부 다이어그램 $F\colon \mathcal{I}\to \mathbf{Cat}{\mathcal{V}}$에 대해, 객체는 쌍 $(i,x)$ (여기서 $i\in\mathcal{I}$, $x\in F(i)$) 로, 호몰로지는 $\mathcal{V}$‑객체 $\mathcal{I}(i,j)\otimes F(i)(x,F{i\to j}(y))$ 로 정의한다. 이때 텐서곱과 합성 구조는 $\mathcal{V}$‑풍부함을 보존하도록 설계되었으며, 결과 범주 $\int_{\mathcal{I}}F$는 다시 $\mathcal{V}$‑풍부 범주가 된다.

핵심적인 기여는 “등급 범주(graded category)”의 새로운 정의이다. 기존 문헌에서는 $k$‑선형 등급 범주가 작은 지표 범주의 직접합으로 분해될 수 있다는 전제가 있었지만, 여기서는 그런 분해를 요구하지 않는다. 대신, 등급 구조를 “등급 함자 $G\colon \mathcal{C}\to \mathcal{I}$”라는 $\mathcal{V}$‑풍부 함자로 정의하고, 각 호몰로지는 $\mathcal{I}$‑위의 객체들 사이의 텐서곱으로 표현한다. 이 접근법은 Lowen의 $k$‑선형 등급 범주를 완전히 일반화하며, 풍부 카테고리 전반에 적용 가능하게 만든다.

또한, 저자는 두 가지 전통적인 변환, 즉 “스매시 곱(smash product)”과 “섬유 사상(fiber functor)”을 풍부 환경으로 끌어올린다. 스매시 곱은 등급 범주 $\mathcal{C}$와 지표 범주 $\mathcal{I}$의 텐서곱을 통해 새로운 풍부 범주 $\mathcal{C}#\mathcal{I}$를 만들고, 이는 그로텐디크 구성의 오른쪽 어드쥬인트 역할을 한다. 섬유 사상은 등급 함자 $G\colon \mathcal{C}\to \mathcal{I}$를 받아, 각 $i\in\mathcal{I}$에 대한 섬유 $\mathcal{C}_i$를 추출한다. 이 두 변환은 각각 “가법적(oplax) 함자”와 “강제적(lax) 함자” 사이의 쌍대성을 제공하며, 풍부 카테고리 수준에서의 어드쥬인트 관계를 명시적으로 증명한다.

마지막으로, 그로텐디크 구성 자체가 풍부 범주의 “짧은 기술법(short description)”으로 작동한다는 부수적인 결과를 얻는다. 즉, 어떤 $\mathcal{V}$‑풍부 소범주도 적절한 지표 범주와 등급 함자를 선택함으로써 $\int_{\mathcal{I}}F$ 형태로 완전히 재구성될 수 있다. 이는 풍부 범주의 구조를 이해하고 분류하는 새로운 도구를 제공한다.

전체적으로 이 논문은 풍부 범주론에 있어 그로텐디크 구성과 등급화 이론을 통합함으로써, 기존에 제한적이던 $k$‑선형 혹은 1‑범주 수준의 결과들을 훨씬 일반적인 환경으로 확장한다는 점에서 학문적 의의가 크다.