포화 지시 공간

이 논문은 동시성 계산의 위상수학적 모델링을 위한 지시 위상수학(directed algebraic topology) 분야의 기초를 다집니다. 표준 위상수학과 달리 지시 위상수학은 시간의 방향性或 비가역성을 반영하는 '지시 경로'를 핵심 개념으로 삼습니다. 서론(1절)에서는 지시 위상수학의 동기와 Grandis에 의해 제안된 '지시 공간(d-space)'의 표준 정의를 소개합니다. d-space는 위상 공간 X와 세 가지 최소 조건(상수 경로 포함, 연결 안정성, 재매개화 안정성)을 만족하는 지시 경로 집합 dX의 쌍입니다. 그러나 이러한 최소 정의는 병행 프로세스의 직관에 부합하지 않는 다양한 이례적 예시(2.1절)를 허용하는 문제점이 있습니다. 본론의 첫 부분(2절)에서는 이 문제를 해결하기 위한 '포화(saturation)' 조건을 체계적으로 구성합니다. 먼저, 어떤 d-space X에서 '지시 함수'를 정의합니다. 이는 모든 열린 부분공간 U ⊆ X에서 정의되고, U의 모든 지시 경로를 따라 국소적으로 단조로운 함수 U → I(단위 간격)입니다. 이 지시 함수들은 X 위의 층(sheaf)을 이룹니다. 다음으로, '약한 지시 경로'를 정의하는데, 이는 모든 (국소) 지시 함수를 따라 국소적으로 단조로운 경로입니다. 마지막으로, 모든 약한 지시 경로가 실제 지시 경로인 d-space를 '포화된 지시 공간'으로 정의합니다. 이 조건은 지시 간격 I과 지시 원 같은 핵심 모델들을 보존하면서, 2.1절의 이례적 예시들을 걸러냅니다. 3절에서는 범주론적 틀을 정립합니다. 포화된 지시 공간들의 범주 SDTop는 DTop의 완비한 반사 부분 범주임을 보입니다. 즉, 포함 함자 SDTop → DTop는 좌수반 '포화화 함자' L을 가지며, L은 어떤 d-space X를 그 포화 ˆX로 보냅니다. 또한, SDTop에서 위상 공간 범주 Top로 가는 망각 함자 U는 좌수반(자유 지시 공간 생성)과 우수반(모든 경로를 지시 경로로 삼는 비이산 구조)을 모두 가집니다. 4절에서는 SDTop의 완비성과 쌍대완비성을 증명합니다. SDTop는 DTop에서의 임의의 극한에 대해 닫혀 있어 극한을 DTop에서 계산할 수 있습니다. 쌍대극한의 경우, DTop에서 먼저 계산한 결과를 포화화함으로써 SDTop의 쌍대극한을 얻습니다. 이는 SDTop가 DTop의 반사 부분 범주이기 때문에 가능합니다. 5절에서는 지시 호모토피 이론의 기초가 되는 cylinder와 cocylinder 구성에 대해 논의합니다. SDTop가 DTop의 cartesian dIP1-부분 범주임을 보입니다. 즉, SDTop는 DTop에서 정의된 cylinder 객체(X × I), cocylinder 객체(경로 공간 X^I), 그리고 방향을 뒤집는 reversor 연산에 대해 안정적입니다. 특히 포화 조건 하에서 경로 공간 X^I가 다시 포화됨을 증명하는 것이 기술적 핵심입니다. 6절(논문 내용에는 일부만 포함됨)에서는 다른 포화 조건들과 비교하며, 제안된 조건이 '국소성'과 '표준 모델(I, 원) 보존'이라는 두 기본 요구사항을 만족하는 가장 강력한(최대) 조건임을 논의합니다. 결론적으로, 이 논문은 포화 조건을 통해 지시 위상수학의 기초 범주를 정련하고, 이 범주가 이론 전개에 필요한 모든 범주론적·호모토피론적 성질을 갖추고 있음을 보여줍니다.