일반 토포스의 근본 프로군상과 새로운 피복 사영 정의

초록

이 논문은 로컬리 연결된 토포스에서 알려진 ‘커버링 사영(국소 상수 객체)’과 그에 대응하는 엄격 프로군상의 이론을 일반 토포스로 확장한다. 일반 토포스에서는 근본 프로군상이 로컬리크 프로군상(localic progroupoid)으로 나타나며, 기존의 로컬리크 이산 군상으로는 대체될 수 없고, 그 분류 토포스는 더 이상 갈루아 토포스가 아니다. 핵심은 일반 토포스에 맞는 새로운 ‘커버링 사영’ 정의를 제시함으로써, 로컬리 연결된 경우와 일치하면서도 보다 넓은 상황을 포괄한다는 점이다.

상세 분석

논문은 먼저 로컬리 연결된 토포스 𝔈에 대해 ‘국소 상수 객체(covering projection)’가 𝔈의 기본 프로군상 π₁(𝔈)와 동형인 분류 토포스 Bπ₁(𝔈)를 완전하게 기술한다는 고전 결과를 재정리한다. 여기서 π₁(𝔈)는 엄격 프로군상(strict progroupoid) 혹은 로컬리크 프로이산 군상(localic prodiscrete groupoid)으로 표현되며, 첫 번째 코호몰로지 H¹(𝔈,G)와 일대일 대응한다. 그러나 일반 토포스에서는 로컬리 연결성 가정이 사라지면서 기존 정의가 파괴된다. 저자는 ‘커버링 사영’이라는 개념을 ‘내부적으로 효과적인 하강(Effective Descent) 사상’이면서 동시에 ‘국소적으로 상수’를 만족하는 객체로 재정의한다. 이 정의는 (i) 내부 동형 사상에 대해 안정적이며, (ii) 로컬리 연결된 경우 기존 정의와 완전히 일치한다.

새로운 정의를 토대로 저자는 각 객체 X∈𝔈에 대해 ‘국소적 전개(localic cover)’를 구성하고, 이 전개들의 역시스템을 통해 로컬리크 프로군상 Π₁(𝔈) 를 만든다. 중요한 점은 Π₁(𝔈) 가 일반적인 로컬리크 군상이 아니라 ‘프로군상(progroupoid)’이며, 이는 무한히 많은 객체와 사상들을 인덱스 시스템으로 묶어야 함을 의미한다. 따라서 분류 토포스 BΠ₁(𝔈)는 더 이상 갈루아 토포스(즉, 모든 객체가 커버링 사영인 토포스)가 아니며, 일반적인 토포스에서는 ‘국소 상수 객체’와 ‘커버링 사영’ 사이에 엄격한 포함 관계가 존재한다.

또한 저자는 Π₁(𝔈) 가 첫 번째 코호몰로지 H¹(𝔈,–) 를 대표한다는 사실을 증명한다. 구체적으로, 로컬리크 군상 G에 대한 G-객체(즉, G-액션을 가진 객체)와 Π₁(𝔈) 의 토포스 BΠ₁(𝔈) 사이의 동형 사상은 H¹(𝔈,G) 와 일대일 대응한다. 이 과정에서 ‘내부적 로컬리크 군상’과 ‘외부적 로컬리크 프로군상’ 사이의 변환을 위한 기술적 보조정리들이 제시된다.

결과적으로 논문은 기존 로컬리 연결된 토포스 이론을 일반 토포스에 적용할 수 있는 강력한 프레임워크를 제공한다. 새로운 커버링 사영 정의는 토포스 이론과 고차 코호몰로지, 그리고 로컬리크 군상 이론 사이의 교량 역할을 하며, 향후 비가환적 기하학이나 고차 군상 이론에 대한 응용 가능성을 열어준다.