정렬된 공간의 층과 구간 이론

초록

국소적으로 순서가 부여된 경계가 있는 다양체(Locally ordered spaces)의 동형론을 연구한다. 이 범주의 직접극한이 잘 작동하지 않지만, 보다 단순한 사이트 위의 층(쉐이브) 토포스로 완전하게 포함될 수 있음을 보인다. 포함된 전완 서브카테고리를 정확히 규정하고, 그 토포스에서 구간 객체를 이용한 모델 구조를 구축함으로써 일반적인 호모톱 이론 도구를 적용한다.

상세 분석

이 논문은 먼저 “국소적으로 순서가 부여된 공간”(locally ordered spaces)을 정의한다. 전통적인 매니폴드는 차트 사이의 전이함수가 연속성만을 요구하지만, 여기서는 각 차트에 부분 순서가 주어지고 전이함수가 순서 보존을 만족하도록 강제한다. 이러한 구조는 방향성(directed) 위상수학과 동시성 이론에서 자연스럽게 나타나며, 경계가 있는 경우에도 차트가 경계와 호환되는 순서를 가질 수 있다. 그러나 이 범주의 가장 큰 장애는 직접극한(direct colimits)이 기대한 대로 존재하지 않거나, 존재하더라도 순서 구조가 손실되는 경우가 많다는 점이다. 예를 들어, 두 개의 순서가 서로 반대인 차트를 겹쳐 붙이면 결과 공간의 순서가 모호해진다.

이를 해결하기 위해 저자는 “단순한 사이트”(simple site)를 구성한다. 객체는 열린 부분집합과 그 위에 정의된 전순서(Preorder)이며, 커버링은 일반적인 열린 덮개와 순서 보존 사상으로 정의된다. 이 사이트 위에 쉐이브 토포스(Topos of sheaves)를 만들면, 모든 국소 순서 정보를 전역적으로 보존하는 층이 자동으로 포함된다. 특히, 각 국소 순서 공간을 해당 사이트의 프리쉐이브로 보내는 Yoneda 사상은 완전함(fullness)과 충실함(faithfulness)을 갖는 전함(functor)이며, 그 이미지가 바로 논문이 규정하는 “정렬된 공간의 전완 서브카테고리”이다.

핵심 정리는 이 서브카테고리를 “쉐이브가 특정 ‘정렬된 연속성’ 조건을 만족한다”는 형태로 정확히 기술한다. 구체적으로, 어떤 쉐이브 F가 모든 열린 집합 U에 대해 F(U)가 부분 순서 집합이며, 제한 사상은 순서 보존이고, 또한 ‘구간 사상’(interval morphism)이라 불리는 특정 사상이 푸시아웃(pullback)에서 보존되는지를 검사한다. 이러한 조건은 기존의 위상공간에 대한 sheaf 조건에 순서 구조를 얹은 형태이며, 이를 만족하는 쉐이브만이 원래의 국소 정렬된 매니폴드와 동등함을 보인다.

그 다음 단계에서는 토포스 내에서 “구간 객체”(interval object)를 선택한다. 저자는 표준적인 단순 구간 Δ¹에 순서 구조(0≤1)를 부여한 객체 I를 구간 객체로 채택한다. 이 I를 이용해 모델 구조를 정의하는데, 코페이스(cofibration)는 모노모르피즘, 약한 동등성(weak equivalence)은 I-동형(I‑homotopy)으로 정의된 전역 동형성, 그리고 피브레이션(fibration)은 오른쪽 사다리(RLP) 조건을 만족하는 사상으로 잡는다. 결과적으로, 전완 서브카테고리는 완전하고, 좌측 적대적 모델 구조(left‑proper model structure)를 갖게 되며, 이는 기존의 ‘directed homotopy’ 이론과 자연스럽게 비교된다.

마지막으로, 저자는 몇 가지 대표적인 예시—예를 들어, 시간 방향이 있는 1‑차원 매니폴드, 부분 순서가 사각형 격자에 부여된 2‑차원 매니폴드—를 통해 이론이 실제 계산에 어떻게 적용되는지를 보여준다. 또한, 기존의 ‘precubical set’ 접근법과의 관계, 그리고 향후 ‘동시성 모델 검증’에의 응용 가능성을 논의한다. 전체적으로, 국소 정렬된 공간을 쉐이브 토포스로 끌어올림으로써, 직접극한 문제를 회피하고, 풍부한 호모톱 이론 도구를 활용할 수 있는 새로운 프레임워크를 제공한다.