[논문 리뷰] Compactification projective de Spec Z (d'apres Durov)

Javier Fresán|ArXiv.org|2009. 08. 27.

Advanced Mathematical Modeling in Engineering인용 수 3

한 줄 요약

이 논문은 일반화된 링과 아라켈로프 기하학에 영감을 받은 프로젝티브 컴 pactification을 사용하여 정수의 스펙트럼, $\mathrm{Spec\mathbb{Z}}$를 컴 pact화하는 두로프의 접근 방식에 대한 종합적 서베이를 제시한다. 수체와 함수체 간의 유사성을 확장하여 가상의 원소 하나만을 가진 체($\mathbb{F}_1$) 위의 기하학을 구축함으로써, 일반화된 Proj 구성법을 통해 $\mathrm{Spec\mathbb{Z}}$의 프로젝티브 컴 pactification을 가능하게 한다.

ABSTRACT

This is a very preliminary version of a survey on Durov's PhD thesis. All comments are welcome.

연구 동기 및 목표

• 일반화된 링과 $\mathbb{F}_1$-기하학을 사용하여 두로프의 $\mathrm{Spec\uf020\mathbb{Z}}$ 컴 pactification에 대한 종합적 서베이를 제공하는 것.
• 함수체 기하학에서의 프로젝티브 컴 pactification과 유사한 방식으로 $\mathrm{Spec\uf020\mathbb{Z}}$를 위한 기하학적 프레임워크를 수립하는 것.
• 일반화된 링과 모나드가 고전적 대수기하학을 산술 스킴을 포함하도록 확장하는 데 어떻게 사용될 수 있는지 탐구하는 것.
• $\mathrm{Spec\uf020\mathbb{Z}}$의 컴 pactification이 아라켈로프 이론과 모티브릭 제타 함수와 어떻게 연결되는지 탐구하는 것.

제안 방법

• 일반화된 링의 프레임워크를 채택하여, 고전적 스킴을 확장하는 일반화된 스킴의 범주를 구성한다.
• 환에 관련된 모나드를 사용하여 일반화된 링을 모나드 위의 대수로 정의함으로써, 덧셈이 아닌 기하학도 가능하게 한다.
• 일반화된 링에 대한 $\mathrm{Proj}$의 구성은 $\mathrm{Spec\uf020\mathbb{Z}}$의 프로젝티브 컴 pactification을 가능하게 한다.
• 수체와 함수체 간의 유사성을 활용하여, $\mathbb{F}_1$-기하학을 통한 컴 pactification을 정당화한다.
• 유한 아벨 군 위의 함자와 내림내림 데이터를 통해 $\mathbb{F}_1$-스킴의 개념을 적용하여 산술적 대상을 모델링한다.
• 컴 pactification은 일반화된 스킴의 극한으로 실현되며, 일반화된 링에 적합한 위상과 구조층을 갖춘다.

실험 결과

연구 질문

• RQ1 함수체 기하학에서의 프로젝티브 컴 pactification과 유사하게 정수의 스펙트럼을 어떻게 컴 pact화할 수 있는가?
• RQ2 가능성이 있는 원소 하나만을 가진 체($\mathbb{F}_1$)는 $\mathrm{Spec\uf020\mathbb{Z}}$의 기하학적 컴 pactification을 구성하는 데 어떤 역할을 하는가?
• RQ3 일반화된 링과 모나드는 고전적 대수기하학을 산술 스킴을 포함하도록 어떻게 확장할 수 있는가?
• RQ4 일반화된 Proj 구성법은 $\mathrm{Spec\uf020\mathbb{Z}}$의 프로젝티브 컴 pactification을 어떻게 도출하는가?
• RQ5 이 컴 pactification은 아라켈로프 기하학과 $\mathbb{Z}$의 모티브릭 제타 함수와 어떻게 관련이 있는가?

주요 결과

• 논문은 일반화된 링에 대한 일반화된 Proj 구성법을 사용하여 $\mathrm{Spec\uf020\mathbb{Z}}$의 프로젝티브 컴 pactification을 구성한다.
• 논문은 $\mathbb{Z}$가 $\mathbb{F}_1$ 위에서 유한한 표현을 가짐을 보여주며, $\mathrm{Spec\uf020\mathbb{Z}}$가 $\mathbb{F}_1$ 위의 스킴로 볼 수 있다는 아이디어를 뒷받침한다.
• 컴 pactification은 링의 범주를 일반화된 링으로 확장함으로써 실현되며, $\mathbb{F}_1$-기하학에 필수적인 비加법적 구조를 허용한다.
• 이 구성은 유한 자리와 무한 자리 양자를 모두 포함하는 아라켈로프 컴 pactification의 기하학적 유사체를 실현한다.
• $\mathbb{P}^{n-1}(\mathbb{F}_1)$의 기수는 $n$이며, 이는 $\mathbb{F}_1$-기하학의 조합론적 해석과 일치한다.
• 이 프레임워크는 $\mathbb{F}_1$-스킴의 제타 함수가 $\zeta_{\mathbb{P}^N(\mathbb{F}_1)}(s) = s(s-1)\cdots(s-N)$와 같이 단순한 형태를 가질 수 있음을 지지한다.