[논문 리뷰] Lambda-rings and the field with one element

James Borger|ArXiv.org|2009. 06. 17.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 49

한 줄 요약

이 논문은 $Λ$-링—추가적인 프로베누스 유사 내항형 사상이 있는 링—이 $Φ$, 한 개의 원소를 가진 가역 필드의 더 깊은 기저 위에서 엄밀한 대수기하학을 제공한다고 제안한다. 이는 $Λ$-대수기하학이 $Φ_1$ 위의 기하학에서 기대되는 핵심 성질들을 만족함을 보여주며, 내림내림 자료, 클래스 체 이론과의 호환성, 크리스탈린 코homology 및 복소 곱셈과의 연결을 포함한다.

ABSTRACT

The theory of Lambda-rings, in the sense of Grothendieck's Riemann-Roch theory, is an enrichment of the theory of commutative rings. In the same way, we can enrich usual algebraic geometry over the ring Z of integers to produce Lambda-algebraic geometry. We show that Lambda-algebraic geometry is in a precise sense an algebraic geometry over a deeper base than Z and that it has many properties predicted for algebraic geometry over the mythical field with one element. Moreover, it does this is a way that is both formally robust and closely related to active areas in arithmetic algebraic geometry.

연구 동기 및 목표

• 한 원소를 가진 필드($\mathbb{F}_1$) 위에서의 추상적인 '한 원소 필드'에 대한 엄밀한 대수기하학적 프레임워크를 $Λ$-링을 사용하여 제공하기 위해.
• $Λ$-링이 $\mathbb{Z}$보다 더 깊은 기저로의 내림내림 자료를 제공하며, 이는 $\mathbb{F}_1$로의 내림내림과 유사하다는 것을 보여주기 위해.
• $Λ$-대수기하학이 $\mathbb{F}_1$ 위의 기하학에서 예상되는 핵심 산술적 성질, 즉 클래스 체 이론과 복소 곱셈의 성질을 포괄한다는 것을 확립하기 위해.
• $Λ$-구조가 현재 산술기하학의 활발한 분야와 형식적으로 강건하고 호환됨을 보여주기 위해, 크리스탈린 코homology 및 윌의 추측 계획을 포함하여.

제안 방법

• 모든 소수 $p$에 대해 $\psi_p$라는 상호작용하는 내항형 사상의 가군이 있는 가환 링인 $\u039b$-링으로서 $\mathbb{F}_1$-대수를 정의한다. 이 각각의 $\psi_p$는 $p$-승 프로베누스 사상으로서 $R \otimes \mathbb{F}_p$의 모듈로 $p$ 섹션에 내림내림된다.
• 기본 에탈레 토포스를 $\operatorname{Spec} \mathbb{Z}$ 위에서 정의하고, $\mathbb{F}_1$ 위의 기본 에탈레 토포스를 $\u039b$-구조를 가진 층의 범주로 정의한다.
• 토포스 수준에서 $\operatorname{Spec} \mathbb{Z}$에서 $\operatorname{Spec} \mathbb{F}_1$로의 기본 전환 함수 $v^*$를 구성하고, 이는 $\u039b$-구조를 제거하며, 좌우 수반 함수가 있음을 보인다.
• $\mathbb{Z}$ 위에서 평탄한 스킴 $X$에 대한 $\u039b$-구조는 각각의 $X \to X$로 가는 내항형 사상 $\psi_p$의 일관된 가군을 나타내며, 이는 $X \times_{\operatorname{Spec} \mathbb{Z}} \operatorname{Spec} \mathbb{F}_p$의 섹션에서 프로베누스 사상으로 제한된다. 이는 프로베누스의 일반화된 업그레이드를 제공한다.
• 데킨드 도메인 위에서 복소 곱셈을 가진 아벨 스킴에 대한 $\u039b$-구조는 헤케 대수를 통해 $\u039b$-행동을 유도하며, 프로베누스 내항형 사상의 작용은 $\psi_{\mathfrak{m}}$ 사상에 암묵적으로 포함된다.
• 완전한 이산 비율 링 $A$에서 특성 $p$의 완전한 잔여체를 가질 때, $\u039b_p$-링으로서의 사상 $W(A) \to W(k)$는 $\mathbb{F}_1^{S,E}$ 위에서 유일한 절단을 가진다.

실험 결과

연구 질문

• RQ1 Can $\u039b$-rings provide a formal and robust framework for algebraic geometry over the field with one element?
• RQ2 Do $\u039b$-structures on schemes over $\mathbb{Z}$ correspond to descent data to a deeper base, and if so, how is this realized in the topos-theoretic setting?
• RQ3 Can $\u039b$-algebraic geometry capture key arithmetic phenomena such as complex multiplication, class field theory, and crystalline cohomology?
• RQ4 Are there $\u039b$-structures on varieties over number rings that do not arise from $\u039b$-structures over $\mathbb{Z}$, and what does this imply for explicit class field theory?
• RQ5 Does the $p$-typical Witt vector functor admit a unique section over $\mathbb{F}_1^{S,E}$, and what does this imply for $p$-adic cohomology?

주요 결과

• 링 $R$ 위의 $\u039b$-링 구조는 $R \otimes \mathbb{F}_p$에서 $p$-승 프로베누스 사상으로 내림내림되는 일관된 내항형 사상 $\psi_p: R \to R$의 가군과 동치이며, 이는 프로베누스의 형식적 업그레이드를 제공한다.
• $\operatorname{Spec} \mathbb{Z}$에서 $\operatorname{Spec} \mathbb{F}_1$로의 기본 전환 함수 $v^*$는 기본 에탈레 토포스 수준에서 잘 정의되어 있으며, 좌우 수반 함수를 지닌다. 이는 $\mathbb{F}_1$가 토포스 이론적으로 정당화된 기저임을 확인한다.
• 모든 축소된 $\u039b$-스킴은 $\mathbb{Z}$ 위에서 평탄하므로, $\u039b$-구조가 $\operatorname{Spec} \mathbb{Z}$의 산술기하학과 호환됨을 보장한다.
• 데킨드 도메인 $R$ 위에서 복소 곱셈을 가진 아벨 스킴은 헤케 대수를 통해 자연스러운 $\u039b_R$-구조를 지닌다. 이 구조에서 프로베누스 내항형 사상의 작용은 $\psi_{\mathfrak{m}}$ 사상에 암묵적으로 포함된다.
• 특성 $p$의 완전한 잔여체를 가진 완전한 이산 비율 링 $A$에 대해, $\u039b_p$-링으로서의 사상 $W(A) \to W(k)$는 $\mathbb{F}_1^{S,E}$ 위에서 유일한 절단을 가진다. 이는 $p$-진 코homology와 깊은 호환성을 보여준다.
• 유한군의 작용이 $\u039b$-구조와 가환하는 $\u039b$-스킴의 몫은 여전히 $\u039b$-스킴이 되며, 이는 기존의 $\u039b$-다양체로부터 새로운 $\u039b$-다양체를 구성할 수 있음을 허용한다.