[논문 리뷰] A topos-theoretic approach to Stone-type dualities

Olivia Caramello|arXiv (Cornell University)|2011. 03. 17.

Rings, Modules, and Algebras참고 문헌 13인용 수 21

한 줄 요약

이 논문은 분배 격자와 위상 공간 사이의 스톤형 이중성(예: 분배 격자, 부울 대수, 전순서)을 하나의 현상으로서 통합하는 토포스 이론적 프레임워크를 제안한다: 그들은 그르로텐디크 위상에 의해 전순서 구조에 대한 국소 또는 위상 공간을 할당하는 방식으로 나타난다. 주요 기여는 토포스 이론적 불변량을 통해 전순서와 국소 또는 위상 공간 사이에 무한히 많은 이중성을 생성하는 일반적 기계장치를 제공하며, $J$-이deal과 $J$-소 필터에 대한 명시적 보편 성질을 제공한다.

ABSTRACT

We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new dualities between preordered structures and locales or topological spaces can be generated through our topos-theoretic machinery in a uniform way. We then apply our topos-theoretic interpetation to obtain results connecting properties of preorders and properties of the corresponding locales or topological spaces, and we establish adjunctions between various kinds of categories as natural applications of our general methodology. In the last part of the paper, we exploit the theory developed in the previous parts to obtain a topos-theoretic interpretation of the problem of finding explicit descriptions of models of 'ordered algebraic theories' presented by generators and relations, and give several examples which illustrate the effectiveness of our methodology. In passing, we provide a number of other applications of our theory to Algebra, Topology and Logic.

연구 동기 및 목표

• 분배 격자, 부울 대수, 전순서 등 다양한 스톤형 이중성을 하나의 토포스 이론적 프레임워크 아래 통합하기.
• 전순서 구조와 국소 또는 위상 공간 사이에 새로운 이중성을 체계적으로 생성하기 위한 방법 제공.
• 전순서의 성질에 대응하는 국소 이론적 불변량을 식별하여 내재된 이중성 특성화하기.
• 모델 이론에 프레임워크를 적용하여, 생성자와 관계로 정의된 순서형 대수 이론의 모델을 기술하기.
• 프레임, 국소, 위상 공간의 범주 간의 수반 관계와 연결 고리 수립을 위한 토포스 이론적 불변량 사용

제안 방법

• 전순서 $\mathcal{C}$ 에서의 그르로텐디크 위상 $J$ 를 사용하여 $J$-이deal을 정의하고, 층의 토포스 $\mathbf{Sh}(\mathcal{C}, J)$ 를 통해 국소 $Id_J(\mathcal{C})$ 를 구성한다.
• 토포스를 다리로 사용하는 방법을 적용하여, 토포스의 사이트 간에 불변량을 이전하고, 범주 이sov미즘을 통한 이중성 수립.
• 프레임 $L$ 에로의 $J$-필터링 사상 $f: \mathcal{C} \to L$ 를 정의하고, 합과 교차 조건을 만족하며, 확장 $\tilde{f}: Id_J(\mathcal{C}) \to L$ 를 특성화하는 보편 성질을 제공한다.
• 완전히 소 필터 $F$ 에 대해 $F \mapsto \{c \in \mathcal{C} \mid (c)\downarrow_J \in F\}$ 를 통해 $Id_J(\mathcal{C})$ 상의 완전히 소 필터와 $\mathcal{C}$ 상의 $J$-소 필터 사이의 전단사 관계 수립.
• 비교 정리를 사용하여 사이트를 연결하고 동치 토포스 간에 불변량을 이전하여 이중성 수립.
• 보편 성질을 활용하여 $Id_J(\mathcal{C})$ 의 토포스 이론적 불변량을 통해 $\mathcal{C}$ 를 국소 $Id_J(\mathcal{C})$ 에서 복원함으로써 이중성 보장

실험 결과

연구 질문

• RQ1 다양한 스톤형 이중성을 하나의 토포스 이론적 프레임워크 아래 통합할 수 있는가?
• RQ2 전순서의 범주가 국소 또는 위상 공간의 범주와 이중적으로 동치가 되기 위한 조건은 무엇인가?
• RQ3 토포스 이론적 불변량을 어떻게 사용하여 전순서의 성질을 국소 이론적 성질로 특성화할 수 있는가?
• RQ4 $J$-필터링 사상과 $J$-이deal은 어떻게 프레임으로의 보편 확장을 구성하는가?
• RQ5 이 이론은 생성자와 관계로 정의된 명제 이론 및 일阶논리 이론의 모델을 기술하는 데 어떻게 적용될 수 있는가?

주요 결과

• 전순서 $\mathcal{C}$ 에서의 $J$-이deal의 국소 $Id_J(\mathcal{C})$ 는 보편 성질을 만족한다: 임의의 프레임 $L$ 에로의 $J$-필터링 사상 $f: \mathcal{C} \to L$ 에 대해, $\tilde{f} \circ \eta = f$ 를 만족하는 유일한 프레임 준동형사상 $\tilde{f}: Id_J(\mathcal{C}) \to L$ 가 존재한다. 여기서 $\eta(c) = (c)\downarrow_J$ 이다.
• 프레임 $Id_J(\mathcal{C})$ 상의 완전히 소 필터와 전순서 $\mathcal{C}$ 상의 $J$-소 필터 사이에 자연스러운 전단사 관계가 존재하며, 이는 $F \mapsto \{c \in \mathcal{C} \mid (c)\downarrow_J \in F\}$ 로 주어진다.
• 전순서와 국소 사이의 이중성은 $\mathbf{Sh}(\mathcal{C}, J) \simeq \mathbf{Sh}(Id_J(\mathcal{C}))$ 의 이sov미즘으로 인해 발생하며, 이는 사이트 간에 불변량을 이전하는 데 기여한다.
• 토포스 이론적 불변량—예를 들어 배타의 법칙, 데모르간의 법칙, 이원성—은 거의 이산성, 극단적 불연속성, 자명성 등의 위상 성질과 대응한다.
• 커버리지 $J$ 와 입력 범주 $\mathcal{K}$ 를 다양하게 변화시킴으로써 전순서와 국소 사이에 무한히 많은 새로운 이중성을 생성할 수 있으며, 이러한 모든 이중성은 하나의 보편적 구성에서 유래된다.
• 이 방법은 모델 이론에 적용 가능하며, 생성자와 관계로 정의된 순서형 대수 이론의 모델를 명시적으로 기술할 수 있다. 자리스키 위상과 자유 프레임을 포함한 예시에서 이를 확인할 수 있다.