[논문 리뷰] Compactifying Spec Z

Satoshi Takagi|arXiv (Cornell University)|2012. 03. 22.

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

한 줄 요약

이 논문은 덧셈의 결합법칙을 완화한 구조인 컨벡소이드 링(convexoid rings)을 도입하여, 순수하게 대수적 방법으로 $\overline{\operatorname{Spec}\mathbb{Z}} = \operatorname{Spec}\mathbb{Z} \cup \{\infty\}$의 컴acts화된 스펙트럼을 구성한다. 이는 약한 컨벡소이드 스킴의 범주에서 $\operatorname{Spec}\mathbb{Z}$의 자리지-라이만 공간으로서 실현되며, 핵심 결과는 아르키메데스 노름을 외부 가정 없이 대수적 공리로부터 도출하는 유일하고 보편적인 무한 장소의 정의이다.

ABSTRACT

In this paper, we introduce a new algebraic type of `convexoid rings', and we give the definition of (weak) convexoid schemes, which share similar properties with ordinary schemes. As a result, we give a purely-algebraic construction of the compactification of Spec Z (in Arakelov's sense) which is realized as the Zariski-Riemann space in the category of weak convexoid schemes.

연구 동기 및 목표

• 기하학적 확장 없이 보편적이고 대수적인 방법으로 오랜 기간 동안 남아있던 문제인 $\overline{\operatorname{Spec}\mathbb{Z}} = \operatorname{Spec}\mathbb{Z} \cup \{\infty\}$ 의 컴팩티피케이션을 구성하는 것.
• 기존 스킴 이론에서 $\operatorname{Spec}\mathbb{Z}$ 가 최종 대상이므로 무한 장소 $\infty$ 가 실현되지 못하는 한계를 해결하는 것.
• 분석적 자료에 의존하지 않고 대수적 공리에서 유도된 노름 구조를 통해 아르키메데스 장소에 대한 보편적이고 내재된 정의를 제공하는 것.
• 아라켈로프 기하학과 $\mathbb{F}_1$-기하학을 일반화하여 무한 장소를 더 넓은 대수적 프레임워크 내에 통합하는 것.
• $\overline{\operatorname{Spec}\mathbb{Z}}$의 전역 단위층과 $\mathbb{F}_{1^2} = \{0, \pm 1\}$ 사이의 대응관계를 확립하여 $\mathbb{F}_1$-기하학의 기대와 일치시키는 것.

제안 방법

• 곱셈에 대한 가환 모노이드이자 흠수 원소를 가진 비결합성 덧셈 $\boxplus$ 를 가진 컨벡소이드 링을 도입하여, 링과 곱셈 모노이드를 일반화한다.
• '비틀린' 접합을 允허하는 약한 컨벡소이드 스킴를 정의하여 자리지-라이만 공간을 합법적인 기하 대상으로 다룰 수 있도록 한다.
• 초기 컨벡소이드 링 $R_0$ 에 대해 $\operatorname{Proj}R_0$ 를 구성하며, 이는 $\operatorname{Spec}\mathbb{Z}$ 의 '가짜 폐쇄'로서 기저 공간이 $\overline{\operatorname{Spec}\mathbb{Z}}$ 와 위상동형이 되는 구조를 가진다.
• 중급 컨벡소이드 링을 사용하여 고전적 대수기하학과 유사하게 프로젝티브 컨벡소이드 스킴를 정의하며, 벡터 공간 대신 $\mathbb{F}_{1^2}$-모듈을 사용한다.
• $\mathbb{F}_{1^2}$ 위의 프로프로젝티브 공간 $\mathbb{P}$ 에로 향하는 준동형사상 $f: \operatorname{Proj}R_0 \to \mathbb{P}$ 를 정의하며, 프로젝티브 공간들의 무한곱을 취한 후에는 이 사상이 임베딩이 된다.
• 완전히 대수적 언어로 표현된 오스트로프스키 정리의 변형을 활용하여 무한 장소의 보편 성질을 정당화한다.

실험 결과

연구 질문

• RQ1 스킴의 범주 내에서 순수하게 대수적 구조만을 사용하여 무한 장소 $\infty$ 를 구성할 수 있는가?
• RQ2 분석적 자료에 의존하지 않고, $\mathbb{Q}$ 상의 아르키메데스 노름에 대한 보편적이고 내재된 대수적 정의가 존재하는가?
• RQ3 어떻게 자리지-라이만 공간 $\operatorname{Spec}\mathbb{Z}$ 를 일반화된 스킴 이론에서 기하적 대상으로 실현할 수 있는가?
• RQ4 $\overline{\operatorname{Spec}\mathbb{Z}}$ 의 전역 단위층에서 $\mathbb{F}_{1^2}$ 의 역할은 무엇이며, 이는 $\mathbb{F}_1$-기하학과 어떻게 관련이 있는가?
• RQ5 확장된 스킴의 범주에서 $\overline{\operatorname{Spec}\mathbb{Z}}$ 가 보편 성질을 통해 정의될 수 있는가?

주요 결과

• $\overline{\operatorname{Spec}\mathbb{Z}} = \operatorname{Spec}\mathbb{Z} \cup \{\infty\}$ 는 약한 컨벡소이드 스킴의 범주에서 $\operatorname{Spec}\mathbb{Z}$ 의 자리지-라이만 공간으로서 보편적으로 실현된다.
• 무한 장소 $\infty$ 에서의 스토크는 절댓값이 $\leq 1$ 인 유리수로 이루어진 평가 컨벡소이드 링 $\mathbf{D}\mathbb{Q}$ 이며, 비결합성 덧셈 $\boxplus$ 를 지닌다.
• $\Gamma(\overline{\operatorname{Spec}\mathbb{Z}}, \mathscr{O})$ 의 전역 단위층은 곱셈 모노이드 $\{0, \pm 1\}$ 으로, $\mathbb{F}_{1^2}$ 와 동일하며 $\boxplus$-구조는 지닌다.
• 이 구성은 보편적이다: $\overline{\operatorname{Spec}\mathbb{Z}}$ 는 초기 컨벡소이드 링 $R_0$ 에로 가는 보편적인 약한 컨벡소이드 스킴이다.
• 사상 $f: \operatorname{Proj}R_0 \to \mathbb{P} = \prod_d \mathbb{P}^{2^d - 1}_{\mathbb{F}_{1^2}}$ 는 임베딩이 되며, 이는 무한 장소가 대수적으로 식별 가능하다는 것을 보여준다.
• $\mathbf{D}\mathbb{Q}$ 의 대수적 구조로부터 아르키메데스 노름이 도출되므로, 이 구성은 아크릴로프나 두로프 기하학과 달리 내재적이고 보편적이다.