[논문 리뷰] Sheaves and $K$-theory for $\mathbb{F}_1$-schemes

Chenghao Chu, Oliver Lorscheid외 1명|arXiv (Cornell University)|2010. 10. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 7

한 줄 요약

이 논문은 Quillen의 Q-구성법을 단순 집합 위의 모노이드 작용에 적응시켜 $\mathbb{F}_1$-스킴에 대한 대수적 K-이론의 기초 프레임워크를 수립한다. 이는 $K_*(\operatorname{Spec} \mathbb{F}_1)$ 가 구면 스펙트럼의 안정적 호모토피 군을 실현하며, $K_0(\mathbb{P}^n_{\mathbb{F}_1}) \simeq \mathbb{Z}[\mathcal{O}(n)]_{n \in \mathbb{Z}}$ 를 만족하고, 텐서곱 법칙 $\mathcal{O}(n) \otimes \mathcal{O}(m) \simeq \mathcal{O}(n+m)$ 를 갖는다. 반면 $G_0$-이론은 비프로젝티브 코herent sheaf를 보여주며, 고전적 $K$-이론과 대조된다.

ABSTRACT

This paper is devoted to the open problem in $\mathbb{F}_1$-geometry of developing $K$-theory for $\mathbb{F}_1$-schemes. We provide all necessary facts from the theory of monoid actions on pointed sets and we introduce sheaves for $\mathcal{M}_0$-schemes and $\mathbb{F}_1$-schemes in the sense of Connes and Consani. A wide range of results hopefully lies the background for further developments of the algebraic geometry over $\mathbb{F}_1$. Special attention is paid to two aspects particular to $\mathbb{F}_1$-geometry, namely, normal morphisms and locally projective sheaves, which occur when we adopt Quillen's Q-construction to a definition of $G$-theory and $K$-theory for $\mathbb{F}_1$-schemes. A comparison with Waldhausen's $S_{\bullet}$-construction yields the ring structure of $K$-theory. In particular, we generalize Deitmar's $K$-theory of monoids and show that $K_*(\Spec\mathbb{F}_1)$ realizes the stable homotopy of the spheres as a ring spectrum.

연구 동기 및 목표

• Connes와 Consani의 프레임워크에서 $\mathbb{F}_1$-스킴에 대한 대수적 $K$-이론을 정의하는 데 있어 열려 있는 문제를 해결하기 위해.
• Quillen의 Q-구성법을 사용하여 Deitmar의 모노이드에 대한 $K$-이론을 임의의 $\mathbb{F}_1$-스킴으로 일반화하기 위해.
• Quillen의 Q-구성법과 Waldhausen의 $S_\bullet$-구성법 사이의 비교를 통해 $K$-이론에 링 구조를 수립하기 위해.
• 예측된 Tits의 프로그램에 따라 $K_*(\operatorname{Spec} \mathbb{F}_1)$ 가 구면 스펙트럼의 안정적 호모토피 군을 실현함을 보여주기 위해.
• $\mathbb{F}_1$-기하학에서 $K_0$와 $G_0$-이론의 차이를 명확히 하여, 비국소적으로 프로젝티브인 코herent sheaf가 존재함을 보여주기 위해.

제안 방법

• 정규 사상과 국소적으로 프로젝티브인 층을 사용하여 $\mathbb{F}_1$-스킴 위의 $\mathcal{O}_X$-모듈러의 범주에 Quillen의 Q-구성법을 적응시킨다.
• 모노이드 작용에 의한 포인티드 세트 위에서 ${\mathcal{M}_0}$-스킴과 $\mathbb{F}_1$-스킴 위의 층과 준코herent 층을 도입한다.
• 코herent 층의 범주 위에서 Q-구성법을 적용하여 Noetherian $\mathbb{F}_1$-스킴에 대해 $G$-이론과 $K$-이론을 정의한다.
• Waldhausen의 $S_\bullet$-구성법을 적용하여 $K$-이론에 링 구조를 도출하고, Quillen의 접근과 비교한다.
• $\mathbb{Z}$-스킴으로의 기본 확장을 사용하여 $\mathbb{F}_1$-이론적 $K$-이론을 고전적 $K$-이론과 연결하며, 특히 프로젝티브 공간에서 이를 다룬다.
• 유도와 토판 층의 정확한 수열을 사용하여 $\mathbb{P}^n_{\mathbb{F}_1}$ 의 $G_0$-이론을 계산하고, $\tilde{K}_0$ 가 $G_0(\mathbb{P}^n_{\mathbb{Z}})$ 에 동형으로 사상됨을 보여준다.

실험 결과

연구 질문

• RQ1 Quillen의 Q-구성법이 Connes–Consani 프레임워크 내에서 $\mathbb{F}_1$-스킴에 대해 일관된 $K$-이론을 유도하는가?
• RQ2 $K_*(\operatorname{Spec} \mathbb{F}_1)$ 가 구면 스펙트럼의 안정적 호모토피 군을 실현할 수 있는가?
• RQ3 $\mathbb{F}_1$-스킴의 $G_0$-이론은 $\mathbb{Z}$ 위에서의 고전적 $G_0$-이론과 어떻게 다를까, 특히 프로젝티브 공간에서?
• RQ4 $\mathbb{F}_1$-기하학에서 $K_0$와 $G_0$-이론의 관계는 무엇이며, 비국소적으로 프로젝티브인 코herent sheaf는 존재하는가?
• RQ5 Waldhausen의 $S_\bullet$-구성법을 통해 $\mathbb{F}_1$-설정에서 $K$-이론의 링 구조를 복원할 수 있는가?

주요 결과

• $\operatorname{Spec} \mathbb{F}_1$ 의 $K$-이론 스펙트럼은 구면 스펙트럼의 안정적 호모토피 군을 실현한다: $K_*(\operatorname{Spec} \mathbb{F}_1) \simeq \pi_*^s(\mathbb{S})$, 이는 Tits의 프로그램의 핵심 예측을 확인한다.
• 프로젝티브 공간 $\mathbb{P}^n_{\mathbb{F}_1}$ 에서 $K_0$-군은 $\mathbb{Z}[\mathcal{O}(n)]_{n \in \mathbb{Z}}$ 와 동형이며, 곱셈 법칙은 $\mathcal{O}(n) \otimes \mathcal{O}(m) \simeq \mathcal{O}(n+m)$ 으로 주어진다.
• $\mathbb{P}^n_{\mathbb{F}_1}$ 에서 $K_0(\mathbb{P}^n_{\mathbb{F}_1})$ 의 이미지는 $\mathcal{O}, \dots, \mathcal{O}(n)$ 으로 자유롭게 생성되며, 기본 확장 사상 $G_0(\mathbb{P}^n_{\mathbb{F}_1}) \to G_0(\mathbb{P}^n_{\mathbb{Z}})$ 는 이 이미지 위에서 동형으로 제한된다.
• $\mathbb{P}^1_{\mathbb{F}_1}$ 에서 $G_0$ 는 $[\mathcal{O}]$, $[\mathcal{O}(1)]$ 과 비국소적으로 프로젝티브인 코herent sheaf의 가чёт한 수의 계열 $[\mathcal{C}_n]$ 으로 자유롭게 생성된다.
• 짧은 정확한 수열 $0 \to \mathcal{O}_{\mathbb{Z}} \to \mathcal{O}(1)_{\mathbb{Z}} \oplus \mathcal{O}(1)_{\mathbb{Z}} \to \mathcal{O}(2)_{\mathbb{Z}} \to 0$ 이 $\mathbb{F}_1$ 로 내림내림되지 않아, $\mathbb{F}_1$-설정에서 $G_0$ 와 $K_0$ 가 다름을 설명한다.
• $\mathbb{F}_1[H]$ 의 $K$-이론은 군 $H$ 의 버너사이드 링과 동형이며, Deitmar의 모노이드에 대한 $K$-이론을 일반화한다.