[논문 리뷰] The geometry of blueprints. Part I: Algebraic background and scheme theory

Oliver Lorscheid|arXiv (Cornell University)|2011. 03. 09.

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

한 줄 요약

이 논문은 가환 세미링과 모노이드를 통합하는 범주론적 프레임워크인 블루프린트를 소개한다. 이는 고전적 대수기하학과 $\mathbb{F}_1$-기하학을 연결하는 공통의 스킴 이론을 가능하게 한다. 블루 스킴은 블루프린트를 기본으로 하는 국소적으로 링드 공간으로 정의되며, 그로텐디크 스킴과 세미링 스킴을 일반화한다. 또한 오른쪽 수반 함자에 의해 라이징-아드 조건을 만족하는 라이팅-스킴으로의 유니버설 베이스 확장이 가능하며, 이는 다양한 $\mathbb{F}_1$-스킴 기하학적 접근법을 통합한다.

ABSTRACT

In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp.\ congruences for rings and monoids and leads to a common scheme theory. In particular, it bridges the gap between usual schemes and $\mathbb{F}_1$-schemes (after Kato, Deitmar and Connes-Consani). Beside this unification, the category of blueprints contains new interesting objects as "improved" cyclotomic field extensions $\mathbb{F}_{1^n}$ of $\mathbb{F}_1$ and "archimedean valuation rings". It also yields a notion of semiring schemes. This first paper lays the foundation for subsequent projects, which are devoted to the following problems: Tits' idea of Chevalley groups over $\mathbb{F}_1$, congruence schemes, sheaf cohomology, $K$-theory and a unified view on analytic geometry over $\mathbb{F}_1$, adic spaces (after Huber), analytic spaces (after Berkovich) and tropical geometry.

연구 동기 및 목표

• 가환 링, 세미링, 모노이드를 하나의 대수적 프레임워크로 일반화하여 고전적 스킴 이론과 $\mathbb{F}_1$-기하학을 통합하는 것.
• 블루프린트를 위한 스킴 이론을 개발하여 그로텐디크 스킴과 세미링 스킴을 모두 일반화하는 것.
• $\mathbb{F}_1$-기하학의 새로운 대상(예: 순환체 확장, 아르키메데스 평가 링 등)을 수용할 수 있는 범주론적 기초를 마련하는 것.
• 블루 스킴에서 그로텐디크 스킴으로 가는 유니버설 베이스 확장 함자를 수립하여 블루 스킴과 고전적 대수기하학을 연결하는 것.
• 블루 스킴이 기존의 $\mathbb{F}_1$-기하학적 프레임워크(예: 콘-콘사니 스킴, 트로피컬 기하학 등)와 어떻게 연결되는지 명확히 하는 것.

제안 방법

• 블루프린트는 $R$가 세미링이고 $A \subset R$가 0과 1을 포함하며 $R$를 세미링으로 생성하는 곱셈 부분모노이드인 쌍 $(A,R)$로 정의된다.
• 블루프린트의 준동형은 곱셈 부분모노이드 $A$를 보존하는 세미링 준동형이다.
• 소수 이상과 국소화는 가환대수학과 유사하게 정의되며, 이는 스펙트럼 $\operatorname{Spec}B$를 위상공간과 블루프린트의 구조층을 갖는 것으로 구성한다.
• 블루 스킴은 국소적으로 $\operatorname{Spec}B$와 위상동형인 국소적으로 링드 공간으로 정의되며, 블루프린트 공간의 국소 준동형을 통해 사상이 정의된다.
• 유니버설 베이스 확장 함자 $(-)_{\mathbb{Z}}$가 구성되며, 이는 임의의 블루프린트 $B$를 링 $B_{\mathbb{Z}}$로 보내며, 블루 스킴에서 그로텐디크 스킴으로 가는 오른쪽 수반 함자를 유도한다.
• 이 프레임워크는 모노이드, 세미링, 링을 전부 포함하는 완전한 부분범주로 포함하며, 알려진 $\mathbb{F}_1$-스킴(예: 콘-콘사니)은 블루 스킴의 특수한 경우로 복원된다.

실험 결과

연구 질문

• RQ1 어떻게 하나의 대수적 프레임워크가 가환 링, 세미링, 모노이드를 통합하여 일관된 스킴 이론을 지원할 수 있는가?
• RQ2 블루프린트의 스펙트럼 구성과 구조층이 고전적 스킴 이론을 확장하여 $\mathbb{F}_1$-기하학적 대상을 포함할 수 있는가?
• RQ3 블루프린트 $B \mapsto B_{\mathbb{Z}}$의 유니버설 베이스 확장은 블루 스킴과 고전적 스킴 간의 관계에서 어떤 역할을 하는가?
• RQ4 블루 스킴은 기존의 $\mathbb{F}_1$-기하학적 구성(예: 콘-콘사니 스킴, 트로피컬 스킴 등)과 어떻게 관련되어 있는가?
• RQ5 블루 스킴에 대해 그로텐디크 스킴의 제타 함수와 $\mathbb{F}_1$-스킴의 조합론적 제타 함수를 통합하는 제타 함수 이론이 존재하는가?

주요 결과

• 블루프린트의 범주는 세미링과 모노이드를 전부 포함하는 완전한 부분범주이며, 세미링은 $(R,R)$ 형태의 자연스러운 포함을 통해 블루프린트로 삽입된다.
• 블루프린트 $B=(A,R)$의 스펙트럼 $\operatorname{Spec}B$는 소수 이상을 통해 정의되며, 위상은 $U_h = \{ \mathfrak{p} \in \operatorname{Spec}B \mid h \notin \mathfrak{p} \}$ 형태의 집합들로 생성되고, 국소화 $B_{\mathfrak{p}}$를 통해 정의된 구조층이 존재한다.
• 모든 $X = \operatorname{Spec}B$에 대해 $B \to \Gamma(X, \mathcal{O}_X)$의 자연스러운 준동형이 존재하며, 이는 $\operatorname{Spec} \Gamma(X, \mathcal{O}_X) \to \operatorname{Spec} B$의 동형을 유도하여 전역 단위가 원래 블루프린트를 스펙트럼 동치 관계로 복원함을 보장한다.
• 베이스 확장 함자 $(-)_{\mathbb{Z}}$는 임의의 블루프린트를 링으로 보내며, 블루 스킴에서 그로텐디크 스킴으로 가는 오른쪽 수반 함자를 유도한다. 이는 고전적 베이스 확장 $- \otimes_{{\mathbb{F}}_1} {\mathbb{Z}}$를 일반화한다.
• 세미링 스킴는 세미링 $R$에 대해 국소적으로 $\operatorname{Spec} R$와 위상동형인 블루 스킴으로 정의되며, 이 범주의 세미링 스킴은 합리적인 추측 하에 토엔-바키에의 ${\mathbb{N}}$-스킴과 동치임을 보인다.
• 콘-콘사니 $\mathbb{F}_1$-스킴은 $X_{\mathbb{Z}} \to Y$ 형태의 준동형으로 복원되며, $X$는 ${\mathcal{M}}_0$-스킴이면서 모든 체 $k$에 대해 $X(k) \to Y(k)$가 전단사임을 만족한다. 이는 더 넓은 범위의 블루 콘-콘사니 스킴으로 일반화된다.