[논문 리뷰] Mapping F_1-land:An overview of geometries over the field with one element

Javier López Peña, Oliver Lorscheid|ArXiv.org|2009. 09. 01.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 29

한 줄 요약

이 논문은 $ℝ_1$ 위에서의 기하학 이론들에 대한 종합적인 개요를 제공하며, 함자들을 통해 그들을 통합하는 가환 다이어그램을 구성한다. $ℝ_1$ 위에서의 대수적 군의 프레임워크를 수립하고, 티츠의 추측을 실현한다. 이는 $ℝ_1$ 위에서 정의된 대수적 군 $χ$를 구성함으로써 이루어지며, 이 군의 $ℝ_1$-점들은 분할 재조화군 $G$의 웨일 군 $W$와 동형이며, $χ_{ℚ} \simeq G$임을 보인다. 이는 $ℝ_1$-기하학의 기초적 아이디어를 확인한다.

ABSTRACT

This paper gives an overview of the various approaches towards F_1-geometry. In a first part, we review all known theories in literature so far, which are: Deitmar's F_1-schemes, Toën and Vaquié's F_1-schemes, Haran's F-schemes, Durov's generalized schemes, Soulé's varieties over F_1 as well as his and Connes-Consani's variations of this theory, Connes and Consani's F_1-schemes, the author's torified varieties and Borger's Lambda-schemes. In a second part, we will tie up these different theories by describing functors between the different F_1-geometries, which partly rely on the work of others, partly describe work in progress and partly gain new insights in the field. This leads to a commutative diagram of F_1-geometries and functors between them that connects all the reviewed theories. We conclude the paper by reviewing the second author's constructions that lead to realization of Tits' idea about Chevalley groups over F_1.

연구 동기 및 목표

• 문헌에서 개발된 다양한 경쟁적 $ℝ_1$-기하학 접근법들을 체계화하고 비교하는 것.
• 디트마의 $Σ$-스킴, 토엔–바키에의 스킴, 하란의 $ℝ$-스킴, 두로프의 일반화된 스킴, 수레의 다양체, 콘네–콘사니 스킴, 토리피에이티드 다양체, 보르거의 $λ$-스킴을 포함한 다양한 $ℝ_1$-기하학 간의 함자를 구성함으로써 통합적 프레임워크를 수립하는 것.
• 분할 재조화군 $G$의 웨일 군 $W$가 $G$의 $ℝ_1$-점들로 구성되어야 한다는 티츠의 고전적 추측을 실현하는 것.
• $ℝ_1$ 위에서의 대수적 군을 약한 및 강한 사상의 관점에서 $Σ_0$-스킴 프레임워크를 사용해 정의하고 연구함으로써, $ℝ$로의 기본 확장을 고려한 호환성 확보하는 것.

제안 방법

• 저자들은 문헌에서 제시된 여덟 가지의 독립된 $ℝ_1$-기하학 이론을 검토하고 체계화한다: 디트마의 $Σ$-스킴, 토엔–바키에의 스킴, 하란의 비가환 기하학, 두로프의 일반화된 스킴, 수레의 $S$-다양체 및 변형, 콘네–콘사니 $CC$-스킴, 토리피에이티드 다양체, 보르거의 $λ$-스킴.
• 저자들은 $ℝ_1$-스킴의 범주를 삼중체 $(\widetilde{X}, X, e_X)$로 정의한다. 여기서 $\widetilde{X}$는 $Σ_0$-스킴이며, $X$는 스킴이며, $e_X: \widetilde{X}_{\mathbb{Z}} \to X$는 스킴의 사상이다.
• 저자들은 $ℝ_1$-스킴 간의 강한 사상과 약한 사상의 개념을 도입하며, 랭크-1 위치 $\widetilde{X}^{\text{rk}}$와 최종 대상 $\ast_{\mathcal{M}_0}$을 사용하여 기본 확장과의 호환 조건을 정의한다.
• 저자들은 $ℝ_1$-점들의 집합 $\mathcal{X}(\mathbb{F}_1)$를 최종 $ℝ_1$-스킴에서 $\mathcal{X}$로 향하는 강한 사상의 집합으로 정의한다.
• 저자들은 약한 사상을 사용하는 $ℝ_1$-스킴의 범주에서 군 대상으로서 $ℝ_1$ 위의 대수적 군을 정의하고, 기본 확장 함자가 이러한 군 $\mathcal{G}$를 그 $\mathbb{Z}$-모델인 $\mathcal{G}_{\mathbb{Z}}$로 보내는 것을 보인다.
• 저자들은 분할 재조화군 스킴 $G$와 그 웨일 군 $W$에 대해, $\mathcal{G}_{\mathbb{Z}} \simeq G$ 이며 $\mathcal{G}(\mathbb{F}_1) \simeq W$를 만족하는 $ℝ_1$ 위의 대수적 군 $\mathcal{G}$가 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 기존의 다양한 $ℝ_1$-기하학 이론들은 어떻게 체계적으로 비교하고 상호 관련지을 수 있는가?
• RQ2 디트마의 $Σ$-스킴, 두로프의 일반화된 스킴, 하란의 $ℝ$-환 사이의 정확한 관계는 무엇인가?
• RQ3 $Σ_0$-스킴 프레임워크를 사용하여, 그 $ℝ_1$-점들이 분할 재조화군의 웨일 군을 복원하는 $ℝ_1$ 위의 대수적 군을 정의할 수 있는가?
• RQ4 강한 사상과 약한 사상의 다양한 개념은 기본 확장과 $ℝ_1$-점의 정의에 어떻게 영향을 미치는가?
• RQ5 모든 알려진 $ℝ_1$-기하학 이론들을 함자들을 통해 연결하는 통합적인 범주론적 프레임워크가 존재하는가?

주요 결과

• 논문은 $ℝ_1$-기하학 이론들과 함자들 간의 가환 다이어그램을 구성하여 여덟 가지의 독립된 접근법을 통합한다: 디트마의 $Σ$-스킴, 토엔–바키에의 스킴, 하란의 $ℝ$-스킴, 두로프의 일반화된 스킴, 수레의 $S$-다양체 및 변형, 콘네–콘사니 $CC$-스킴, 토리피에이티드 다양체, 보르거의 $λ$-스킴.
• 저자들은 $Σ_0$-스킴이 삼중체 구성 $(\widetilde{X}, X, e_X)$를 통해 $ℝ_1$-스킴의 범주에 임베딩될 수 있음을 보였다. 여기서 $\widetilde{X}$는 $Σ_0$-스킴이며, $X$는 스킴이다.
• 저자들은 약한 사상을 사용하는 $ℝ_1$-스킴의 범주를 정의하여, 이 범주에서 군 대상으로서 $ℝ_1$ 위의 대수적 군을 정의할 수 있도록 하였다.
• 핵심 결과는 분할 재조화군 스킴 $G$와 그 웨일 군 $W$에 대해, $\mathcal{G}_{\mathbb{Z}} \simeq G$ 이며 $\mathcal{G}(\mathbb{F}_1) \simeq W$를 만족하는 $ℝ_1$ 위의 대수적 군 $\mathcal{G}$가 존재함을 보인다. 이는 티츠의 추측을 실현한 것이다.
• $\mathcal{G}(\mathbb{F}_1)$를 최종 $ℝ_1$-스킴에서 $\mathcal{G}$로 향하는 강한 사상의 집합으로 정의함으로써, $\mathcal{G}(\mathbb{F}_1)$의 군 구조가 웨일 군 $W$와 정확히 일치함을 보장한다.
• 이 프레임워크는 $Σ_0$-스킴의 구조와 기본 스킴 간의 호환성을 보장하는 새로운 사상 유형(강한 및 약한 사상)을 정의할 수 있도록 충분히 융통성 있고, 원하는 군 구조가 $ℝ_1$-점들에서 실현될 수 있도록 한다.