블롭 복합체와 고차 범주론: 매니폴드의 호모토피 콜리밋

초록

이 논문은 구형 구(볼)들을 기본 객체로 삼는 새로운 고차 범주 정의와, 이를 이용해 n‑차원 매니폴드 W에 대해 체인 복합체 B₍*₎(W; C)를 구성하는 ‘블롭 복합체’를 제시한다. 0차 동질군은 기존의 TQFT 불변량을 재현하고, 고차 동질군은 Hochschild 동질성의 고차원 일반화로 해석된다. 블롭 복합체는 매니폴드 분해에 대한 호모토피 콜리밋으로 정의되며, 구체적인 결합·동형·곱 연산을 만족한다. 또한 저자들은 이 구조를 이용해 Deligne의 추측을 고차원 디스크 작동군에 확대하는 결과를 스케치한다.

상세 분석

논문은 먼저 “디스크‑유사 n‑범주”라는 새로운 정의를 제시한다. 기존의 고차 범주론이 복잡한 코히어런스 조건에 의존하는 반면, 여기서는 실제 k‑볼(k‑차원 구)과 그들의 경계에 대한 함자를 직접 다루어, 홈오몰피즘에 대한 작용을 통해 피벗 구조를 자연스럽게 포함한다. 핵심은 다섯 가지 기본 공리(형태, 경계, 결합, 엄격 결합성, 곱·동등 사상)와 두 가지 특수 공리(차원 n에서의 확장된 동형동형성 및 A∞ 경우의 홈오몰피즘 군 작용)이다. 특히 Moore 루프 공간을 모티프로 한 ‘엄격 결합성’ 공리는 고차 범주의 복잡한 연관성을 단순화한다.

다음으로 저자들은 이러한 n‑범주를 임의의 k‑매니폴드(특히 n‑매니폴드)로 확장하기 위해 ‘가능한 분해(permissible decomposition)’라는 개념을 도입한다. 볼들의 허용 가능한 분해들의 부분 순서 집합 D(W)를 정의하고, 각 분해에 대해 C가 할당하는 데이터를 펑터 ψ_{C;W}: D(W) → Set(또는 Vect, ChainComplex 등)으로 만든다. 여기서 핵심은 각 볼의 경계 조건이 일치하도록 하는 ‘섬유곱(fibered product)’ 구조이다.

블롭 복합체 B₍₎(W; C)는 바로 이 펑터의 호모토피 콜리밋을 체인 복합체 형태로 구현한 것이다. 0차 동질군 H₀(B₍₎)는 전통적인 TQFT 불변량을 재현하고, 1차 이상은 Hochschild 동질성의 고차원 버전으로 해석된다. 특히 W=S¹일 때는 기존 Hochschild 동질성과 정확히 일치한다는 점에서, 블롭 복합체가 ‘고차 Hochschild’의 자연스러운 모델임을 확인한다.

논문은 또한 블롭 복합체가 만족하는 여러 중요한 성질을 제시한다. (1) 구형 경계에 대한 ‘확장된 동형동형성’으로 인해, 매니폴드의 세부적인 분해 방식에 무관하게 동일한 동질군을 얻는다. (2) 구면 경계에 대한 ‘Gluing’ 공리를 통해, 두 매니폴드의 블롭 복합체를 텐서(또는 유도 텐서) 곱으로 결합할 수 있다. (3) A∞ 경우에는 홈오몰피즘 군의 체인 복합체가 작용함으로써, 고차 연산자들의 A∞ 구조가 자연스럽게 블롭 복합체에 승계된다.

마지막으로 저자들은 이 구조를 이용해 Deligne의 추측을 고차원으로 일반화한다. 원래의 Deligne 추측은 Hochschild 코체인 복합체가 2‑디스크 작동군(E₂)과 동형임을 주장한다. 여기서는 블롭 복합체가 n‑디스크 작동군(E_n)과 작용을 갖는 A∞‑알제브라 구조를 제공함을 보이며, 이는 고차 TQFT와 고차 Hochschild 동질성 사이의 깊은 연결고리를 제시한다. 전체적인 증명은 호모토피 콜리밋의 펑터적 성질과, 구체적인 ‘블롭’(볼 내부에 삽입된 작은 구) 구성으로 이루어진 모델을 통해 스케치된다.