[논문 리뷰] The basic geometry of Witt vectors, II: Spaces

James Borger|arXiv (Cornell University)|2010. 06. 01.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 4

한 줄 요약

이 논문은 전역체의 정수환 위의 임의의 대수기하 구조체에 대해 윌트 벡터와 산술적 제트 공간의 이론을 확장하며, p-특이 및 빅 윌트 함자들을 일반화한다. 윌트 함자와 제트 함자가 에탈 맵과 평탄성과 같은 핵심 기하적 성질을 유지함을 입증하며, E-매끄러움 조건 하에 공-ghost 사상이 약한 사상임을 증명한다.

ABSTRACT

This is an account of the algebraic geometry of Witt vectors and arithmetic jet spaces. The usual, "p-typical" Witt vectors of p-adic schemes of finite type are already reasonably well understood. The main point here is to generalize this theory in two ways. We allow not just p-typical Witt vectors but those taken with respect to any set of primes in any ring of integers in any global field, for example. This includes the "big" Witt vectors. We also allow not just p-adic schemes of finite type but arbitrary algebraic spaces over the ring of integers in the global field. We give similar generalizations of Buium's formal arithmetic jet functor, which is dual to the Witt functor. We also give concrete geometric descriptions of Witt spaces and arithmetic jet spaces and investigate whether a number of standard geometric properties are preserved by these functors.

연구 동기 및 목표

• 전역체의 정수환 위에서 p-특이 및 빅 윌트 함자를 일반화하여 E-특이 윌트 함수를 정의함으로써, 임의의 대수기하 구조체를 포함한다.
• 기본이 되는 기하 구조체 위에서 아핀 스킴에서부터 모든 대수기하 구조체로 윌트 및 산술적 제트 함자를 확장함.
• 표준적인 기하적 성질, 예를 들어 에탈 맵, 평탄성, 아핀성 등이 이러한 함자에 의해 유지되는지 조사함.
• 일반화된 설정에서 윌트 공간과 산술적 제트 공간의 구체적인 기하적 기술을 제공함.
• 공-ghost 사상이 약한 사상이거나 동형사상이 되는 조건, 특히 소수 집합 E 외부에서의 조건을 규명함.

제안 방법

• 아핀 스킴에서의 함자에 대한 에탈 층 이론적 확장을 활용하여, 임의의 대수기하 구조체에 대해 윌트 함자 $W_{R,E,n}$를 일반화함.
• 그로텐디크–버르디에의 일반적 방법을 적용하여, $W_n$과 그 왼쪽 수반 함자 $Λ_n ⊙ -$를 $W_{n*}$와 $W_n^*$ 함자를 통해 대수기하 구조체의 범주로 확장함.
• 반 데르 캐렌의 정리를 활용하여 $W_n$이 $R$-대수의 에탈 맵을 유지함을 보이며, 이로 인해 확장된 함자가 에탈 위상을 유지함을 보장함.
• 열린 덮개에 대한 코일리미트 구성 $W_n^*(X) = ∙∙∙∙∙\operatorname{colim}_{U\to X} W_n(U)$를 통해 대수기하 구조체 위에서의 왼쪽 수반 함자를 정의함.
• 모든 $Y_U$-구조체의 범주에서 최종 대상 성질을 활용하여, $W_{n+1*}(X) \to Z_X$ 사상을 구성함으로써 핵심 동형사상 결과를 증명함.
• 분해 $E = E' \amalg E''$를 통해 일반적인 경우를 단일 소수 경우로 환원하며, (10.6.2)와 (10.4.9)의 함자적 동형사상들을 활용함.

실험 결과

연구 질문

• RQ1 확장된 윌트 함자 $W_{n*}$는 대수기하 구조체로 확장되었을 때 에탈 맵과 평탄성을 유지하는가?
• RQ2 공-ghost 사상 $W_{n*}(X) \to X^{[0,n]}$이 어떤 조건에서 약한 사상이거나 동형사상이 되는가?
• RQ3 기본 아핀 스킴에서의 $W_n$과 $\Lambda_n \odot -$ 사이의 수반 관계가 $R$ 위의 임의의 대수기하 구조체로 확장 가능한가?
• RQ4 $E$-매끄러운 대수기하 구조체 $X$에 대해 $W_{n*}$의 상은 여전히 $E$-매끄럽고 ${\mathfrak{m}}$-평탄한가?
• RQ5 $E$가 다수의 소수 또는 단일 소수일 경우 윌트 공간과 산술적 제트 공간의 기하학적 성질은 어떻게 변화하는가?

주요 결과

• 확장된 윌트 함자 $W_{n*}$는 에탈 맵과 커버를 유지하며, 대수기하 구조체의 범주에서 잘 정의된 내부함수를 정의함.
• 왼쪽 수반 함자 $W_n^*$는 에탈 커버에 대한 코일리미트를 통해 아핀 구성 $\operatorname{Spec}A \mapsto \operatorname{Spec}W_n(A)$를 임의의 대수기하 구조체로 일반화함.
• E-매끄러운 대수기하 구조체 $X$에 대해 공-ghost 사상 $W_{n*}(X) \to X^{[0,n]}$은 약한 사상이며, 소수 집합 $E$ 외부에서는 동형사상임.
• $E$-매끄러운 대수기하 구조체의 $W_{n*}$-상은 $E$-평탄성과 ${\mathfrak{m}}$-평탄성을 유지하며, 양호한 기하적 행동을 보임.
• 증명은 $E$가 단일 최대 아이디얼인 경우로 환원함으로써 이루어지며, 함자적 분해와 최종 대상 논증을 활용함.
• 반례를 통해 ${\mathfrak{m}}$-평탄성 조건이 필수적임을 보여줌: 이 조건이 없으면 $W_{n*}(X)$의 상이 $\operatorname{Spec}{\mathcal{O}}_S/{\mathfrak{m}}$ 외부에서 조밀하지 않을 수 있음.