퇴출 경로와 구성 가능한 스택

초록

휘트니 분할을 가진 공간 X에 대해 S-구성 가능한 스택을 정의하고, 이를 퇴출 경로 2-카테고리 EP_{\le 2}(X,S)와의 2-함수 관계로 기술한다. 주요 정리는 S-구성 가능한 스택들의 2-카테고리가 EP_{\le 2}(X,S)에서 작은 카테고리들의 2-카테고리로 가는 2-함수들의 2-카테고리와 동등함을 보인다.

상세 분석

본 논문은 휘트니(Whitney) 분할 S가 주어진 위상공간 X에 대해 “S-구성 가능한 스택”이라는 새로운 개념을 도입한다. 전통적인 구상가능(perverse) 층상의 스택을 일반화하여, 각 층마다 카테고리 값을 갖는 스택을 정의함으로써, 기존의 층별 가법성 조건을 2-범주 수준으로 끌어올린다. 핵심은 퇴출 경로(exist‑path) 개념을 2‑카테고리 수준으로 확장한 EP_{\le 2}(X,S)이다. 이 2‑카테고리는 객체를 X의 점, 1‑셀을 퇴출 경로(점 사이의 연속적 위상적 경로가 층을 “떠나는” 방향을 만족), 2‑셀을 동형사상(호모토피) 클래스로 잡아, 기본적인 기본군oid의 2‑차 일반화를 제공한다. 저자는 EP_{\le 2}(X,S)가 실제로는 “정규화된” 2‑그룹오이달이며, 각 층의 퇴출 경로가 층 구조와 일치하도록 설계되었음을 보인다.

주요 정리는 두 2‑카테고리 사이의 동등성이다. 구체적으로, S‑구성 가능한 스택들의 2‑카테고리 Stk_{\le 2}(X,S)와 2‑함수 Fun_{2}(EP_{\le 2}(X,S),Cat_{\mathrm{sm}}) 사이에 완전한 2‑동형사상이 존재한다는 것이다. 여기서 Cat_{\mathrm{sm}}은 작은 카테고리들의 2‑카테고리이며, 2‑함수는 객체, 1‑사상, 2‑사상 모두를 보존한다. 증명은 크게 두 단계로 나뉜다. 첫째, 스택을 “섬광(구조) 전역화” 과정으로 EP_{\le 2}(X,S) 위의 프리시브 2‑전달자로 전환한다. 이때 휘트니 조건이 보장하는 연속성 및 국소 평탄성 덕분에, 퇴출 경로를 따라 전이함수가 잘 정의된다. 둘째, 반대 방향으로는 주어진 2‑함수 F를 이용해, 각 점 x∈X에 대해 F(x)를 스택의 섬유로 두고, 퇴출 경로에 대한 전이 데이터를 이용해 층별 제한 사상을 구성한다. 이 과정에서 2‑동형사상의 완전성(essential surjectivity)과 전사성(full faithfulness)을 검증한다. 특히, 휘트니 A와 B 조건이 보장하는 “정규성”이 핵심적인 역할을 하여, 경로와 호모토피가 층을 교차하지 않도록 만든다.

또한, 저자는 이 동등성을 이용해 기존의 구상가능 층 이론을 2‑범주적 관점에서 재해석한다. 예컨대, 전통적인 구상가능 층은 Cat_{\mathrm{sm}} 대신에 선형(abelian) 카테고리와 t‑구조를 갖는 2‑함수로 특수화될 수 있다. 이런 관점은 층 이론과 고차대수적 위상수학 사이의 교량을 제공하며, 특히 고차 모듈러 스택, 퍼포드 스택, 그리고 양자장 이론에서 나타나는 “카테고리화된” 현상들을 기술하는 데 유용하다. 마지막으로, 저자는 향후 연구 방향으로 EP_{\le n}(X,S)와 n‑범주적 스택의 일반화, 그리고 동적(시간 의존) 분할에 대한 확장을 제시한다.