[논문 리뷰] Cyclotomy and analytic geometry over F_1

Yuri I. Manin|ArXiv.org|2008. 09. 09.

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

한 줄 요약

이 논문은 원분 다항식과 원분 구조를 활용하여 하나의 원소를 가진 가역장 $F_1$ 위에서의 해석기하학을 위한 프레임워크를 제안한다. $\mathbb{Z}[q]$를 원분 다항식에 대해 완비화함으로써 $F_1$ 위에서의 해석함수를 정의하고, 모어즈–스말레 미분동형사상, 위튼–레시티히닌–투라에 인variants, 토릭 다양체 등과의 연결 고리를 구축하며, 최종적으로 $F_1$-모델을 가진 안정된 마크된 곡선의 보편적 가족에 이를 이르는 바이다.

ABSTRACT

Geometry over non--existent "field with one element" $F_1$ conceived by Jacques Tits [Ti] half a century ago recently found an incarnation, in at least two related but different guises. In this paper I analyze the crucial role of roots of unity in this geometry and propose a version of the notion of "analytic functions" over $F_1$. The paper combines a focused survey with some new constructions. In new version, several local additions and changes are made, references added.

연구 동기 및 목표

• 원분 구조를 활용하여 존재하지만 추상적인 하나의 원소를 가진 필드 $F_1$ 위에서의 해석함수 개념을 개발한다.
• 모어즈–스말레 미분동형사상과 양자 인variants와 같은 서로 다른 기하학적 및 산술적 맥락들을 공통의 $F_1$-기하학적 프레임워크 아래 통합한다.
• 잊기 및 봉합 사상들을 통해 특히 토릭 다양체 $\overline{L}_B$의 모듈리 공간에 대한 $F_1$-모델을 구축한다.
• 마크된 점을 가진 안정 곡선과 같은 기하학적 대상들을 $F_1$-스킴 위에서의 보편적 가족으로 해석한다.

제안 방법

• 원분 다항식 $\Phi_n(q)$에 의해 생성된 이상수를 기반으로 $\mathbb{Z}[q]$의 완비화를 사용하여 $F_1$ 위에서의 해석함수를 정의한다.
• 보르거의 $\lambda$-환 구조를 통한 내림내림 이론적 접근 방식과 일치하는 워드 스킴 위의 원분 좌표 개념을 적용한다.
• 유한 집합 $B$의 분할에 따라 인덱싱된 팬 $F_B$로부터 토릭 다양체 $\overline{L}_B$를 구성하며, 이때 원소들은 상수 모듈로 특성 함수로 생성된 콧모양을 형성한다.
• 집합 $B'$에서 원소를 제거함으로써 $\overline{L}_{B'}$와 $\overline{L}_B$ 사이의 忘却 사상 $f^{B',B}_*$를 정의하며, 콧모양의 구조를 유지한다.
• 함수를 새로운 점을 포함하도록 확장함으로써 $\overline{L}_B$를 $\overline{L}_{B'}$에 매립시키는 섹션 사상 $s_{j*}$를 도입하며, 토릭 구조를 유지한다.
• 잊기 사상이 두 개의 화이트 점($x_0, x_\infty$)과 $|B|$개의 블랙 점을 가진 종수 0 안정 곡선의 보편적 가족을 유도하며, 이는 $\overline{L}_B$ 위에 피브어링된다.

실험 결과

연구 질문

• RQ1 정수 코homology 위에서 작용하는 모어즈–스말레 미분동형사상의 고유값이 단위근인 경우, 이를 특성 1에서의 프로베니우스 사상으로 해석할 수 있는가?
• RQ2 호모로지 3차원 구의 위튼–레시티히닌–투라에 인variants는 어떻게 해석기하학적 $F_1$-기하학의 원소로 간주할 수 있는가?
• RQ3 원분 다항식은 $F_1$ 위에서 해석함수의 일관된 개념을 정의하는 데 어떤 역할을 하는가?
• RQ4 토릭 다양체 $\overline{L}_B$ 위의 忘却 및 봉합 사상은 어떻게 모듈리 공간의 $F_1$-모델을 유도하는가?
• RQ5 원분 곡선 $\Phi_n(q) = 0$의 합집합은 어떤 의미에서 $\operatorname{Spec} F_1[q]$ 위의 섬유로 간주될 수 있는가?

주요 결과

• $\mathbb{Z}[q]$를 모든 원분 다항식과 $q$에 대해 국소화하면 주 이상수환이 되며, 이는 $\operatorname{Spec} \mathbb{Z}[q]$가 $\operatorname{Spec} \mathbb{Z}$와 $\operatorname{Spec} F_1[q]$의 곱으로 간주되는 기하학적 직관을 반영한다.
• 토릭 다양체 $\overline{L}_{B'}$와 $\overline{L}_B$ 사이의 忘却 사상 $f^{B',B}_*$는 평탄하고, $F_1$-모델으로 내림내림되며, 토릭 팬의 구조를 유지한다.
• $\overline{L}_\tau$의 점 위에서 忘却 사상의 섬유는 파artitions $\tau$의 각 부분에 의해 라벨링된 $\mathbb{P}^1$들의 사슬이며, 인접한 구성요소의 교차점에서 특이점이 존재한다.
• 사상 $f^{B',B}_*$는 두 개의 화이트 점($x_0, x_\infty$)과 $|B|$개의 블랙 점을 가진 종수 0 안정 곡선의 보편적 가족이며, 블랙 점들은 섹션 $s_{j*}$로 표현된다.
• 봉합 사상 $\overline{L}_{B_1} \times \overline{L}_{B_2} \to \overline{L}_{B_1 \coprod B_2}$는 토릭적으로 기술되며 $F_1$-모델으로 내림내림되며, 오페라딕 구조를 지지한다.
• $\overline{L}_B$를 매끄럽고, 완비적이며, 프로젝티브한 토릭 다양체로 구성함으로써, 안정 곡선의 모듈리 공간에 대한 $F_1$-모델의 기하학적 실현이 이루어진다.