트리 범주와 작용소 바 구성의 코시울 이중성

초록

본 논문은 트리 범주 TI를 정의하고, 이를 코시울 범주임을 증명한다. 이를 통해 Ginzburg‑Kapranov의 감소 바 구성은 TI의 코시울 복합과 동일함을 보이며, 작용소의 호모토피 버전을 최소 해상도에서의 함자식으로 기술한다. 또한 세 종류의 바 구성(B, BGK, B∘)을 비교한다.

상세 분석

논문은 먼저 유한 집합 I에 대한 감소 I‑트리들의 범주 TI를 정의한다. 객체는 잎이 I와 일대일 대응하는 감소 트리이며, 사상은 내부 간선을 수축하는 과정으로 정의된다. 이때 k‑선형화 kTI는 사상들을 k‑벡터공간으로 확장한다. 좌·우 TI‑모듈을 각각 공변·반변함자라 보고, 두 모듈 L, R에 대해 텐서곱 R⊗TI L을 정의한다.

다음으로 표준 바 복합 B(TI,TI,TI)를 simplicial bifunctor로 구성하고, 그 정상화 복합 N을 얻는다. 이 복합은 자유 TI‑모듈 해상도로, Mitchel의 결과에 따라 kTI에 대한 자유 해상임을 확인한다.

핵심은 코시울 복합 K(TI,TI,TI)를 정의하는데, 이는 사상 t→s가 내부 간선 E의 부분집합 E=F⊔G에 대해 kTI(t/(F⊔G),t/E)⊗Λ|G|(k