시뮬렉스 하강 범주와 동차 구조의 새로운 통합

본 논문은 현대 대수기하와 동형대수학에서 핵심적인 역할을 하는 ‘단순화(simple) 함수’를 추상화하여, 시뮬렉스(또는 코시뮬렉스) 하강 범주라는 새로운 범주론적 구조를 제시한다. 저자는 먼저 유한 합동체와 최종 객체를 가진 범주 D와, 그에 대한 시뮬렉스 객체들의 범주 Δ∘D를 설정한다. 여기서 ‘simple’ 함수 s:Δ∘D→D는 이중 복합체, 바이오그멘티드 바이시뮬렉스 객체 등 복잡한 다중 구조를 단일 객체로 압축하는 역할을 한다. 시뮬렉스 하강 범주가 되기 위해서는 s와 등가 사상 클래스 E가 일곱 가지 공리를 만족해야 한다. 첫 번째 ‘정규화’는 상수 시뮬렉스 X×Δ의 단순화가 X와 동등함을 보장한다. 두 번째 ‘정확성’은 Δ∘D에서 차원별로 등가인 사상이 s에 의해 등가가 된다는 것을 의미한다. 세 번째 ‘인수분해’는 이중 시뮬렉스 객체 Z의 대각선 D Z와 이중 단순화 s∘Δ∘s Z 사이에 자연 동형 µ_Z가 존재함을 요구한다. 이는 전통적인 Eilenberg‑Zilber‑Cartier 정리의 범용화이며, 시뮬렉스 구조가 복합적인 차원을 어떻게 ‘대각선’으로 압축하는지를 형식화한다. ‘가법성’은 s가 합동을 보존함을 뜻한다; 즉 s(X⊔Y)→sX⊔sY가 등가이며, 등가 사상들의 합도 등가에 속한다. ‘비대칭성’은 얼굴·퇴화 사상의 순서를 뒤바꾸어도 s가 만든 등가 클래스가 변하지 않음을 보장한다. ‘비축성’은 s가 만든 사상이 등가인지 여부를 그 사상의 시뮬렉스 원뿔 C f의 단순화가 ‘무(acyclic)’인지와 동등하게 판단한다. 마지막으로 ‘정규화 λ’는 s(X×Δ)와 X 사이의 자연 동형을 제공한다. 이러한 공리를 바탕으로 저자는 D 안에 **원뿔(cone)과 실린더(cylinder) 함수**를 정의한다. 사상 f:X→Y를 Δ∘D 안의 상수 시뮬렉스 사상 f×Δ로 보고, 그 시뮬렉스 원뿔 C(f×Δ)를 s에 적용하면 D 안의 원뿔 c(f)가 된다. 실린더는 두 사상 A←B→C에 대해 동일한 방식으로 정의된다. 이러한 구조는 전통적인 호몰로지 이론에서 원뿔·실린더가 갖는 ‘동형 사상에 대한 사상’ 역할을 그대로 재현한다. 다음으로 저자는 **호모톱 범주 HoD = D