부분군체와 몫 이론

초록

본 논문은 개방 위상군체 G의 완전한 부분군체 H에 대해, H에 대한 동등 셰이브 토포스가 G에 대한 동등 셰이브 토포스의 부분토포스임을 Moerdijk의 사이트 기술을 이용해 증명한다. 이를 토대로 몫 기하학 이론과 부분토포스의 관계를 분석하고, 어떤 부분군체가 몫 이론으로 정의될 수 있는지를 내재적으로 규정한다.

상세 분석

논문은 먼저 Moerdijk가 제시한 “open topological groupoid”에 대한 사이트 모델을 상세히 재검토한다. 이 모델은 군체 G의 객체와 사상들을 위상공간으로 간주하고, G‑action을 보존하는 셰이브들의 범주를 토포스로 구성한다는 점에서 기존의 Grothendieck 토포스와 차별된다. 저자는 이 사이트를 이용해 G‑equivariant sheaf topos Sh(G) 를 명시적으로 기술하고, 그 내부 구조—특히 covering sieves와 representable presheaves—를 분석한다.

핵심 명제는 “H가 G의 strictly full subgroupoid이면, Sh(H) 가 Sh(G)의 subtopos가 된다”는 것이다. 여기서 strictly full는 H가 G의 객체들의 부분집합이며, 객체 사이의 모든 사상이 H에 포함된다는 의미다. 증명은 두 단계로 이루어진다. 첫 번째 단계에서는 H‑action을 가진 셰이브를 G‑action을 가진 셰이브로 확장하는 좌측 Kan 확장(Lan) 함수를 정의한다. 이 함수는 Moerdijk 사이트에서 covering families를 보존함을 보이며, 따라서 Lan은 geometric morphism의 역함수 역할을 한다. 두 번째 단계에서는 Lan이 완전하고, 그 오른쪽 역함수인 restriction functor Res가 완전 모노모픽(fully faithful)임을 확인한다. 이는 Res가 sheaf 조건을 보존하고, covering sieves를 그대로 유지함을 통해 증명된다. 결과적으로 (Res ⊣ Lan) 쌍이 geometric embedding을 제공하고, Sh(H) 가 Sh(G)의 subtop스로 자리한다.

이후 저자는 이 구조를 quotient geometric theory와 연결한다. 일반적으로 한 이론 T의 quotient T′는 T‑model의 서브클래스로서, 해당 모델군이 형성하는 토포스는 T‑topos의 subtopos가 된다. 여기서 “definable subgroupoid”라는 개념을 도입하여, 어떤 부분군체 H가 어떤 quotient 이론 T′에 의해 정확히 기술될 수 있는지를 탐구한다. 핵심은 H가 “closed under G‑action에 대한 로컬 등가 관계”를 만족하는가이다. 저자는 H가 이러한 로컬 등가 관계를 만족하면, H‑equivariant sheaves는 T′‑models와 동형임을 보이고, 반대로 T′가 정의하는 모델군이 이런 로컬 등가 관계를 만족하면 해당 모델군이 형성하는 토포스는 Sh(H)와 동등함을 증명한다.

결과적으로 논문은 다음과 같은 내재적 특성을 제시한다.

1. H가 strictly full이고, 객체들의 위상적 부분집합이 open이며, 사상들의 제한이 연속인 경우, Sh(H) 는 Sh(G)의 subtopos가 된다.
2. 이러한 H는 정확히 “quotient geometric theory에 의해 정의 가능한” 부분군체이며, 이는 H‑equivariant sheaves가 해당 이론의 모델군과 동형임을 의미한다.

이러한 결과는 기존에 알려졌지만 출판되지 않은 사실을 명확히 증명함으로써, 토포스 이론과 기하학 이론 사이의 교량을 견고히 한다. 특히, quotient 이론을 통한 subtopos의 분류 문제와, 그룹액션을 갖는 위상공간들의 sheaf 이론을 통합적으로 이해하는 데 중요한 통찰을 제공한다.