[논문 리뷰] Denseness conditions, morphisms and equivalences of toposes

Olivia Caramello|arXiv (Cornell University)|2019. 06. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 5

한 줄 요약

이 논문은 사이트 이론적 조건을 통해 그로텐디크 토포스의 기하학적 사상과 동치성을 종합적으로 특성화하는 프레임워크를 수립한다. 사이트의 사상과 공사상 사이의 쌍대 수반을 도입하고, 연속 함자에 의해 본질적이고 국소적으로 연결된 사상을 특성화하며, 사이트 사상이 토포스 동치를 유도하기 위한 명시적 필요충분조건을 제공한다. 주요 결과로는 피브리에이션, 밀도 있는 부분범주, 그리고 토포스 이론에서의 인수 분해 체계가 포함된다.

ABSTRACT

We systematically investigate morphisms and equivalences of toposes from multiple points of view. We establish a dual adjunction between morphisms and comorphisms of sites, introduce the notion of weak morphism of toposes and characterize the functors which induce such morphisms. In particular, we examine continuous comorphism of sites and show that this class of comorphisms notably includes all fibrations as well as morphisms of fibrations. We also establish a characterization theorem for essential geometric morphisms and locally connected morphisms in terms of continuous functors, and a relative version of the comprehensive factorization of a functor. Then we prove a general theorem providing necessary and sufficient explicit conditions for a morphism of sites to induce an equivalence of toposes. This stems from a detailed analysis of arrows in Grothendieck toposes and denseness conditions, which yields results of independent interest. We also derive site characterizations of the property of a geometric morphism to be an inclusion (resp. a surjection, hyperconnected, localic), as well as site-level descriptions of the surjection-inclusion and hyperconnected-localic factorizations of a geometric morphism.

연구 동기 및 목표

• 사이트 이론적 방법을 사용하여 토포스의 사상과 동치성을 체계적으로 분석하는 것.
• 사상과 공사상 사이의 사이트에 대한 쌍대 수반을 수립하여 토포스 이론적 구성의 유연성을 높이는 것.
• 사이트 상의 연속 함자를 통해 본질적이고 국소적으로 연결된 기하학적 사상을 특성화하는 것.
• 사이트 사상이 토포스 동치를 유도하기 위한 명시적 사이트 수준 조건을 제공하는 것.
• 사영-포함, 초연결-로컬릭 인수 분해의 사이트 수준 기술과 포함, 사상, 로컬릭 사상 등의 성질을 유도하는 것.

제안 방법

• 유한 극한 보존 조건 없이 쌍대 수반 쌍을 갖는 약한 토포스 사상의 개념을 도입하여 표준 기하학적 사상 프레임워크를 확장하는 것.
• 사이트 간 $(J,K)$-연속 함자를 정의하고, 이러한 함자가 본질적 기하학적 사상을 유도함을 보이는 것.
• 피브리에이션을 통한 일반화된 원소의 구조를 핵심 구성요소로 사용하여 사이트의 사상과 공사상 사이의 쌍대 수반을 수립하는 것.
• 상대적 완비성과 일반화된 원소의 개념을 적용하여 그로텐디크 토포스 내의 쌍대극한과 화살표를 기술하는 것.
• 함수의 일반화된 원소의 피브리에이션을 사용하여 사이트의 공사상에 의해 유도되는 임의의 기하학적 사상을 표현하는 것.
• 밀도 조건과 부분대상에 대한 닫힘 연산을 적용하여 기하학적 사상 성질의 사이트 수준 특성화를 도출하는 것.

실험 결과

연구 질문

• RQ1 사이트 사상이 토포스 동치를 유도하기 위한 명시적 사이트 이론적 조건은 무엇이며, 그것이 필요하고 충분한가?
• RQ2 본질적이고 국소적으로 연결된 기하학적 사상을 사이트 상의 연속 함자를 통해 어떻게 특성화할 수 있는가?
• RQ3 사이트의 사상과 공사상 사이의 정확한 관계는 무엇이며, 이를 쌍대 수반으로 형식화할 수 있는가?
• RQ4 피브리에이션과 그에 관련된 위상은 사이트의 공사상과 유도된 기하학적 사상과 어떻게 관련되는가?
• RQ5 기하학적 사상의 사영-포함 및 초연결-로컬릭 인수 분해의 사이트 수준 기술은 무엇인가?

주요 결과

• 사이트 사상이 토포스 동치를 유도하기 위해서는 약한 밀도성과 국소적 충실성 및 전성 조건을 만족해야 하고, 그 역도 성립한다.
• 사이트 상의 연속 공사상은 본질적 기하학적 사상을 유도하며, 그 역상 함자는 반대 함자에 대한 전치함수와 동형이다.
• 함수의 일반화된 원소의 피브리에이션은 사이트의 공사상에 의해 유도되는 임의의 기하학적 사상을 표현하는 표준적인 방법을 제공한다.
• 기하학적 사상이 국소적 포함이 되기 위한 필요충분조건은 해당 공사상이 $K$-충실하고 $K$-전성임이다.
• 표준 변환 $1_{{\bf Sh}({\bf D},K)} \to {\bf Sh}(F) \circ C_F$ 는 공사상 $F$ 가 $K$-충실하고 $K$-전성일 때에만 동형이다.
• 기하학적 사상의 초연결-로컬릭 인수 분해는 사이트 상의 공유도 및 유도 위상에 의해 사이트 수준에서 기술될 수 있다.