길이 3 복합체와 피카르 2스택의 삼범주 동등성

초록

본 논문은 아벨 군셰이브의 길이 3 복합체를 객체로 하는 삼범주 T와, 피카르 2‑스택을 객체로 하는 3‑범주 2PIC(S)를 정의하고, 두 범주가 삼동등(triequivalence)임을 증명한다. 이를 통해 SGA4 Exp. XVIII에서 다룬 피카르 스택에 대한 Deligne의 결과를 2‑차원으로 일반화한다.

상세 분석

논문은 먼저 아벨 군셰이브의 복합체 C·: A⁰→A¹→A²를 길이 3으로 제한하고, 이러한 복합체 사이의 약한 사상(weak morphism)을 1‑셀, 2‑셀, 3‑셀로 구성한 호모‑군바이카테고리(hom‑groupoid)를 정의한다. 여기서 1‑셀는 체인 맵(chain map)과 동등동형사상(chain homotopy) 사이의 2‑셀, 그리고 그 사이의 3‑셀는 고차 동형사상으로 설정된다. 이러한 구조를 이용해 삼범주 T를 구축하고, 합성법칙은 호모‑군바이카테고리의 수직·수평 합성을 적절히 조정해 정의한다.

다음으로 피카르 2‑스택(Picard 2‑stack)은 스택 위에 가법 구조를 부여한 2‑카테고리이며, 객체 간의 가법 연산이 강하게 결합하고 교환 법칙을 만족한다. 저자는 이러한 2‑스택 사이의 가법 2‑함수(additive 2‑functor)를 1‑셀로, 자연 변환을 2‑셀로, 그리고 수정(modification)을 3‑셀로 하는 2‑그룹바이카테고리(hom‑2‑groupoid)를 만든다. 이를 기반으로 3‑범주 2PIC(S)를 정의하고, 합성은 2‑함수의 수직·수평 합성에 의해 이루어진다.

핵심 정리는 두 삼범주 T와 2PIC(S)가 삼동등(triequivalence)임을 보이는 것이다. 저자는 먼저 복합체 C·를 그에 대응하는 2‑스택 ℙ(C·)으로 보내는 2‑함수 Φ: T→2PIC(S)를 구성한다. Φ는 각 복합체를 그 호몰로지 1‑스택과 2‑스택으로 묶어 피카르 구조를 부여한다. 반대로, 2‑스택 ℙ를 복합체로 변환하는 역함수 Ψ를 정의하고, Φ와 Ψ 사이에 자연 동형사상 η, ε를 구축한다. 이때 η와 ε는 고차 동형사상까지 포함하는 3‑셀 수준에서의 동등성을 제공한다.

증명 과정에서 저자는 Deligne가 SGA4 Exp. XVIII에서 제시한 “Picard 스택과 길이 2 복합체 사이의 동등성”을 2‑차원으로 끌어올리는 기술을 활용한다. 특히, 삼범주 수준에서의 교환법칙과 결합법칙을 보존하기 위해 ‘삼각형 식’과 ‘펜타곤 식’ 같은 고차 코히런트 조건을 상세히 검증한다. 또한, 호몰로지 이론과 스택 이론을 연결하는 ‘가법 2‑스택의 분해 정리’를 이용해 복합체의 각 차원을 독립적으로 다루면서도 전체 구조의 일관성을 유지한다.

결과적으로, 이 삼동등은 복합체와 2‑스택 사이의 완전한 ‘이중 변환’ 체계를 제공한다. 이는 고차 범주론에서 복합체를 스택 형태로 해석하거나, 반대로 스택을 복합체 형태로 전환할 때 손실되는 정보가 없음을 의미한다. 또한, 이론적 기반을 바탕으로 2‑차원 가법 구조를 갖는 다양한 기하학적·대수적 대상(예: 2‑차원 연속군, 고차 차원 전기·자기장 이론 등)에 대한 새로운 모델링이 가능해진다.