고유분해계통을 이용한 그로텐디크 위상 구축

초록

고유한 화살표 분해계통을 가진 범주에서 좌측 클래스가 정의하는 커버링을 이용해 그로텐디크 사이트를 만들 수 있다. 이 방법은 Zariski·에틸 위상을 재현하고, Voevodsky의 cd‑구조와 연결되며, 대수기하학 밖의 여러 범주에도 새로운 위상 구조를 제공한다.

상세 분석

본 논문은 범주의 화살표에 대해 고유분해계통(Unique Factorisation System, UFS)을 가정하고, 그 좌측 클래스(L)와 우측 클래스(R)의 정규성, 재배치성, 그리고 교차성(orthogonality)을 활용해 Grothendieck 위상을 구축한다. L‑클래스는 일반적으로 ‘열린’ 혹은 ‘에피’ 성질을 갖는 사상들로, 이를 통해 ‘L‑커버링’이라 불리는 유한한 가족을 정의한다. 이러한 커버링은 전통적인 사전식(sieve) 개념과 동형이며, L‑커버링이 닫힌 하위 범주에 대해 안정적이면 위상 axioms를 만족한다는 것이 주요 정리이다. 특히, 사상들의 분해가 유일함을 보장하는 조건은 위상의 일관성을 확보하고, ‘점(point)’ 개념을 통해 stalk와 같은 국소적 구조를 정의할 수 있게 한다. 논문은 먼저 고전적인 예시인 커뮤터티브 링 범주에서 (정규화, 전사) 분해계통을 택하면 L‑클래스가 국소화 사상, 즉 Zariski 열린 포함을 제공함을 보인다. 이때 얻어지는 Grothendieck 사이트는 전통적인 Zariski 위상과 동등하다. 이어서 (에틸, 무정밀) 분해계통을 사용하면 에틸 사상들이 L‑클래스가 되고, 그에 대응하는 커버링이 에틸 위상을 재현한다. Voevodsky의 cd‑구조와의 관계에서는, 특정 UFS가 ‘cd‑구조의 기본 사각형’을 정확히 포착함을 증명함으로써, cdh·Nisnevich·cdh‑like 위상들을 통일된 프레임워크 안에 끌어들인다. 마지막으로, 대수기하학 외의 범주—예를 들어, 그래프의 동형 사상과 서브그래프 포함, 혹은 논리 이론의 모델 사상—에서도 자연스러운 UFS가 존재하고, 동일한 절차로 새로운 Grothendieck 사이트를 정의할 수 있음을 제시한다. 이 과정에서 점의 존재와 보존성, 그리고 위상이 서브캐노니컬(subcanonical)인지 여부를 판단하는 기준도 함께 제공한다.