비순환 함자족의 새로운 구성

초록

본 논문은 부분순서집합(포소셋)에서 아벨 군으로 가는 함자들을 연구한다. 고차 직접극한이 모두 사라지는 함자족을 정의하고, 이를 위해 먼저 사영(프로젝티브) 함자를 완전히 특성화한다. 이후 포소셋의 등급 구조를 이용한 스펙트럴 시퀀스를 구축하여 고차 직접극한이 영임을 증명한다. 대칭적으로, 사영(인젝티브) 함자와 고차 역극한에 대한 결과도 제시한다. 주요 적용 사례로는 단순 복합체, 세분화 범주, 그리고 심플렉스와 유사한 포소셋이 포함된다.

상세 분석

이 연구는 부분순서집합(P)에서 아벨 군(Ab)으로 가는 함자 F: P→Ab의 고차 직접극한(LⁿF, n≥1)이 모두 영인 경우를 체계적으로 규명한다. 먼저 저자는 사영 함자(projective functor)의 정의를 “모든 단사 사상에 대해 사상군이 전사인 함자”로 설정하고, 이러한 함자가 존재하기 위한 필요충분조건을 포소셋의 등급(graded) 구조와 연결시킨다. 구체적으로, P가 등급을 갖는 경우 각 등급 레벨 i에 대응하는 하위집합 P_i를 고려하고, 각 i에 대해 자유 아벨 군 Z