[논문 리뷰] New Approach to Arakelov Geometry

Nikolai Durov|ArXiv.org|2007. 04. 16.

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

한 줄 요약

이 논문은 일반화된 링과 스킴을 사용하여 아라켈로프 기하학을 위한 새로운 대수적 프레임워크를 제안한다. 이는 고전적 대수기하학, 아라켈로프 이론, 트로픽 기하학, 그리고 한 개의 원소를 가진 체 위의 기하학을 통합한다. 이 프레임워크는 extbackslash{}Spec \,\mathbb{Z}^\infty로의 컴팩티피케이션을 구축하고, 이 스킴 위에서의 모델이 복소다양체 위에 자연스럽게 (가능성 있는 특이점을 가진) 반복(코)메트릭을 유도함을 보여준다. 주요 결과로는 \textbackslash{}Spec \,\mathbb{Z}^\infty 위에서의 벡터 번들의 산술적 차수와 로그 높이의 선다발 위의 차수로의 실현이 포함된다.

ABSTRACT

This work is dedicated to a new completely algebraic approach to Arakelov geometry, which doesn't require the variety under consideration to be generically smooth or projective. In order to construct such an approach we develop a theory of generalized rings and schemes, which include classical rings and schemes together with "exotic" objects such as F_1 ("field with one element"), Z_\infty ("real integers"), T (tropical numbers) etc., thus providing a systematic way of studying such objects. This theory of generalized rings and schemes is developed up to construction of algebraic K-theory, intersection theory and Chern classes. Then existence of Arakelov models of algebraic varieties over Q is shown, and our general results are applied to such models.

연구 동기 및 목표

• 복소미분기하학을 피하는 순수한 대수적 접근을 통해 아라켈로프 기하학을 수립하기 위해.
• 이전에는 형식적이기만 했던 '아르키메데스 현지환' Z∞와 '한 개의 원소를 가진 체' F₁을 스킴 이론 내에서 엄밀히 정의하기 위해.
• 고전적 대수기하학, 아라켈로프 기하학, 트로픽 기하학, F₁-기하학을 하나의 범주론적 프레임워크 아래 통합하기 위해.
• \textbackslash{}Spec \,\mathbb{Z}^\infty 위에서 일반화된 스킴을 구축하고, 이 환경에서 벡터 번들, 피카르 군, 초위상환을 연구하기 위해.
• 이 새로운 프레임워크에서 산술적 불변량(예: 높이)과 기하학적 불변량(예: 선다발의 차수) 사이의 대응관계를 확립하기 위해.

제안 방법

• 클래식한 링과 순서화된 링의 일반화로서 Z∞, Z(∞), F±₁을 포함한 일반화된 링을 도입하기 위해.
• 일반화된 링의 스펙트럼을 정의하고, 조각짓기 방법을 통해 일반화된 스킴을 구성하며, 이는 고전적 스킴이 포함된 전체 부분범주를 이루는 범주를 형성한다.
• \textbackslash{}Spec \,\mathbb{Z}^\infty를 프로-일반화된 스킴으로 구성하여, Spec Z의 컴팩티피케이션으로서의 역할을 수행한다.
• K₀ 위의 γ-필터링을 사용하여 벡터 번들, 선다발, 그들의 체르니클 클래스를 정의하며, 그로텐디크의 리만-로흐 접근법을 적응한다.
• 고차 대수적 K-이론을 위해 월드하우젠의 구성법을 사용하고, 완전한 복합체의 대체로 완전한 단순형 대상들을 정의한다.
• 유리수 체 위의 다양체에서의 유리점과 \textbackslash{}Spec \,\mathbb{Z}^\infty 위의 모델의 단면 사이의 대응관계를 확립하여, 산술적 차수와 로그 높이를 연결한다.

실험 결과

연구 질문

• RQ1 아라켈로프 기하학은 복소미분기하학을 피한 순수한 대수적 프레임워크로 완전히 기술될 수 있는가?
• RQ2 스킴 이론 내에서 한 개의 원소를 가진 체 F₁과 아르키메데스 순서환 Z∞는 어떻게 엄밀히 정의될 수 있는가?
• RQ3 \textbackslash{}Spec \,\mathbb{Z}^\infty의 피카르 군과 초위상환의 구조는 무엇이며, 이는 산술적 불변량과 어떻게 관련되는가?
• RQ4 유리수 체 위의 프로젝티브 다양체에서의 유리점의 로그 높이가 일반화된 스킴 모델 위에서 선다발의 차수로 실현될 수 있는가?
• RQ5 \textbackslash{}Spec \,\mathbb{Z}^\infty 위에서의 벡터 번들은 고전적 아라켈로프 이론에서 헤르미트 벡터 번들과 어떻게 관련되는가?

주요 결과

• Pic(\textbackslash{}Spec \,\mathbb{Z}^\infty) → log Q×+로의 산술적 차수 사상 deg는 동형사상이며, 선다발에 대한 완전한 산술 불변량을 제공한다.
• 모든 Q 위의 프로젝티브 다양체 X에 대해, \textbackslash{}Spec \,\mathbb{Z}^\infty 위에서 유한형상 모델 X가 존재하여 대수적 유한성을 보장한다.
• 유리점 P ∈ X(Q)는 유일하게 단면 σP: \textbackslash{}Spec \,\mathbb{Z}^\infty → X로 확장되며, 이는 유리점의 기하학적 상승을 확립한다.
• σ∗P(OX(1))의 산술적 차수는 P의 로그 높이와 일치하며, 기하학적 차수와 산술적 높이 사이의 연결 고리를 형성한다.
• 일반화된 스킴 \textbackslash{}Spec \,\mathbb{Z}^\infty는 X(C) 위에 자연스러운 (코)메트릭을 지지하며, 고전적 메트릭인 푸비니-슈타르트 메트릭은 이러한 모델로부터 유도된다.
• \textbackslash{}Spec \,\mathbb{Z}^\infty 위에서의 벡터 번들은 GLn(Q)/GLn(Z)에 의해 매개화되며, 그들의 K₀군은 완전한 단순형 대상들을 통해 계산된다.