[논문 리뷰] Using the internal language of toposes in algebraic geometry

Ingo Blechschmidt|arXiv (Cornell University)|2015. 01. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 100인용 수 11

한 줄 요약

이 논문은 스킴의 작은 및 큰 자리스키 토포스를 포함한 토포스의 내부 언어를 사용하여 추상 기하학의 합성적 접근을 제안한다. 층을 일반적인 구조물(예: 국소환, 자유 모듈)인 것처럼 간주함으로써 정의와 증명을 단순화하며, 그 예로 그로텐디크의 일반 자유성 보조정리에 대한 개념적 증명과 모듈에 대한 일반적인 전이 원리를 제시한다.

ABSTRACT

Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathematics, but is "local on the base scheme": For example, from the internal perspective, the structure sheaf looks like an ordinary local ring (instead of a sheaf of rings with local stalks) and vector bundles look like ordinary free modules (instead of sheaves of modules satisfying a local triviality condition). The translation of internal statements and proofs is facilitated by an easy mechanical procedure. We investigate how the internal language of the little Zariski topos can be exploited to give simpler definitions and more conceptual proofs of the basic notions and observations in algebraic geometry. To this end, we build a dictionary relating internal and external notions and demonstrate its utility by giving a simple proof of Grothendieck's generic freeness lemma in full generality. We also employ this framework to state a general transfer principle which relates modules with their induced quasicoherent sheaves, to study the phenomenon that some properties spread from points to open neighborhoods, and to compare general notions of spectra. We employ the big Zariski topos to set up the foundations of a synthetic account of scheme theory. This account is similar to the synthetic account of differential geometry, but has a distinct algebraic flavor. Central to the theory is the notion of synthetic quasicoherence, which has no analogue in synthetic differential geometry. We also discuss how various common subtoposes of the big Zariski topos can be described from the internal point of view and derive explicit descriptions of the geometric theories which are classified by the fppf and by the surjective topology.

연구 동기 및 목표

• 토포스의 내부 언어를 사용하여 대수기하학을 위한 합성적 프레임워크를 개발하는 것.
• 작은 자리스키 토포스 내부에 정의를 내장함으로써 고전적 정의와 증명을 단순화하는 것.
• 모듈과 그에 대응하는 준코herent 층 사이의 일반적인 전이 원리를 확립하는 것.
• 큰 자리스키 토포스를 통한 스킴 이론의 합성적 기술을 제공하고, 새로운 개념인 합성 준코herent를 도입하는 것.
• 직관주의 논리와 토포스 이론적 의미론을 통해 대수기하학의 논리적 및 범주론적 기초를 명확히 하는 것.

제안 방법

• 토포스의 내부 언어를 활용하여 층을 내부 시점에서 일반적인 수학적 대상(예: 국소환, 자유 모듈)으로 재해석하는 것.
• 스킴과 그 구조에 관한 문장을 내부에서 직관주의 논리로 형식화하는 것.
• 기계적 절차를 통해 외부 문장을 내부 논리로 변환함으로써 논리적 타당성을 유지하는 것.
• 이중 부정 및 스킴 이론적 조밀성 등의 모달리티를 사용하여 위상적 및 기하학적 성질을 특성화하는 것.
• 큰 자리스키 토포스에서 합성 준코herent를 고전적 대수기하학에서의 준코herent와 유사한 기본 개념으로 정의하는 것.
• 큰 자리스키 토포스의 내부 시점에서 fppf 및 전사 위상에 의해 분류되는 기하학적 이론을 도출하는 것.

실험 결과

연구 질문

• RQ1 작은 자리스키 토포스의 내부 언어는 대수기하학의 핵심 개념의 정의와 증명을 어떻게 단순화할 수 있는가?
• RQ2 내부 시점에서 모듈과 그에 대응하는 준코herent 층 사이의 정확한 관계는 무엇인가?
• RQ3 내부 언어는 어떻게 그로텐디크의 일반 자유성 보조정리를 일반적으로 증명하는 데 사용될 수 있는가?
• RQ4 합성적 스킴 이론 기술에서 합성 준코herent의 역할은 무엇인가?
• RQ5 큰 자리스키 토포스의 부분토포스는 내부 시점에서 기하학적 이론과 어떻게 대응하는가?

주요 결과

• 작은 자리스키 토포스의 내부 언어를 통해 구조층을 일반적인 국소환으로, 벡터 번들의 경우 자유 모듈로 간주할 수 있어 개념적 이해가 간소화된다.
• 내부 언어와 이중 부정 모달리티를 사용하여 그로텐디크의 일반 자유성 보조정리에 대한 새로운 개념적 단순 증명을 확보하였다.
• 내부 논리를 통해 모듈과 그에 의해 유도된 준코herent 층 사이의 일반적인 전이 원리를 확립하였다.
• 큰 자리스키 토포스는 합성 준코herent를 중심 개념으로 삼는 스킴 이론의 합성적 기술을 지원한다.
• fppf 및 전사 위상은 큰 자리스키 토포스의 내부 논리에 의해 명시적으로 기하학적 이론으로 분류된다.
• 이중 부정 및 논리적 합성 등을 포함한 내부 논리 문장들을 통해 준콤팩트성, 기약성, 스킴 이론적 조밀성 등의 위상적 성질가 특성화된다.