[논문 리뷰] Derived non-archimedean analytic spaces

Mauro Porta, Tony Yue Yu|arXiv (Cornell University)|2016. 01. 05.

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

한 줄 요약

이 논문은 구조적 토포이와 전기하학을 사용하여 유도된 $k$-해석적 공간을 구성함으로써 비아르키메데스 해석기하학의 유도된 판본을 제안한다. 이는 고전적 린드 및 버코비치 공간을 일반화한다. 기본 성질을 확립한다: 일반적인 $k$-해석적 공간의 임베딩의 전치성, 피복 곱의 존재, 그리고 $n$-현실적 이산 대상들을 통한 유도된 분석적 공간으로의 고차원 델리그레-멈포드 스택의 전치성 임베딩.

ABSTRACT

We propose a derived version of non-archimedean analytic geometry. Intuitively, a derived non-archimedean analytic space consists of an ordinary non-archimedean analytic space equipped with a sheaf of derived rings. Such a naive definition turns out to be insufficient. In this paper, we resort to the theory of pregeometries and structured topoi introduced by Jacob Lurie. We prove the following three fundamental properties of derived non-archimedean analytic spaces: (1) The category of ordinary non-archimedean analytic spaces embeds fully faithfully into the $\infty$-category of derived non-archimedean analytic spaces. (2) The $\infty$-category of derived non-archimedean analytic spaces admits fiber products. (3) The $\infty$-category of higher non-archimedean analytic Deligne-Mumford stacks embeds fully faithfully into the $\infty$-category of derived non-archimedean analytic spaces. The essential image of this embedding is spanned by $n$-localic discrete derived non-archimedean analytic spaces. We will further develop the theory of derived non-archimedean analytic geometry in our subsequent works. Our motivations mainly come from intersection theory, enumerative geometry and mirror symmetry.

연구 동기 및 목표

• 교차 이론, 수세기 기하학, 그리고 미러 대칭에의 응용을 위해 비아르키메데스 해석기하학의 유도 강화를 개발하기 위해.
• 유도된 링의 전기하학을 가진 구조적 $\text{\textsterling}$-토포이로서 유도된 $k$-해석적 공간을 정의하기 위해.
• 기초적인 범주론적 성질을 확립하기 위해: 고전적 $k$-해석적 공간의 임베딩의 전치성, 피복 곱의 존재, 그리고 유도된 설정에서 고차원 델리그레-멈포드 스택의 특성화.
• 비아르키메데스 기하학에서 가상 기본 클래스를 위한 프레임워크를 제공하여, 수세기 기하학의 모듈리 문제에 필수적이다.

제안 방법

• 유도된 전기하학과 구조적 토포이 이론을 사용하여, 유도된 링의 층을 가진 $\text{\textsterling}$-토포이로서 유도된 비아르키메데스 해석적 공간을 정의한다.
• 유도된 공간과 그 기초가 되는 고전적 해석적 공간 간의 관계를 설정하기 위해 $\text{t}_0$-단순화 함수를 적용한다.
• $\tau_{\text{ét}}$-내림과 체흐 네트 기법을 사용하여, 층의 표현 가능성과 유도 설정에서의 내림 닫힘을 증명한다.
• $\bm{\triangle}_{s,\text{≤q}2}^{\text{op}}$의 $1$-공식성(subcategory)을 $\bm{\triangle}_s^{\text{op}}$ 내에서 활용하여 $\text{Sh}(\text{Afd}_k, \tau_{\text{ét}})$ 토포이에서 코로직을 구성한다.
• 루리의 *고차 토포이 이론*의 결과를 적용하여, 유도된 공간의 $\text{t}_0$-단순화가 일반적인 $k$-해석적 공간에 의해 표현 가능하다는 것을 보인다.
• 유도된 분석적 공간과 고차 분석적 스택 간의 비교 함수를 구축하며, 내림과 표현 가능성에 의해 전치성임을 증명한다.

실험 결과

연구 질문

• RQ1 유도 대수기하학의 기법은 비아르키메데스 해석기하학에 어떻게 적응되어 비교적 교차하지 않는 교차를 다룰 수 있는가?
• RQ2 유도된 비아르키메데스 해석적 공간을 정의하기 위한 올바른 범주론적 프레임워크는 무엇이며, 이는 린드 공간과 버코비치 공간을 모두 일반화하는가?
• RQ3 유도된 $k$-해석적 공간의 $\text{\textsterling}$-범주에서 피복 곱이 존재할 수 있으며, 그들은 어떻게 행동하는가?
• RQ4 유도된 분석적 공간으로의 전치성 임베딩의 영상이 되는 고차 분석적 스택은 무엇인가?
• RQ5 비아르키메데스 설정에서 유도된 $k$-해석적 공간과 고차 델리그레-멈포드 스택 사이의 정확한 관계는 무엇인가?

주요 결과

• 일반적인 $k$-해석적 공간의 범주는 $\text{\textsterling}$-범주인 유도된 $k$-해석적 공간의 범주에 전치성으로 임베딩된다.
• $\text{\textsterling}$-범주인 유도된 $k$-해석적 공간의 범주는 피복 곱을 갖는다. 이는 좋은 범주론적 행동을 보장한다.
• 고차 비아르키메데스 해석적 델리그레-멈포드 스택의 $\text{\textsterling}$-범주는 $\text{\textster링}$-범주인 유도된 $k$-해석적 공간의 범주에 전치성으로 임베딩된다.
• 이 임베딩의 본질적 영상(essential image)은 정확히 $n$-현실적 이산 유도된 $k$-해석적 공간들로 이루어져 있다.
• 유도된 $k$-아피노이드 공간의 범주는 $\tau_{\text{ét}}$-내림에 대해 닫혀 있으며, 이는 에탈 커버를 통한 층의 표현 가능성 보장한다.
• 유도된 $k$-해석적 공간의 $\text{t}_0$-단순화는 일반적인 $k$-해석적 공간에 의해 표현 가능하며, 이는 유도 기하학과 고전 기하학을 연결한다.