[논문 리뷰] Under Spec Z

Bertrand Toën, Michel Vaquié|arXiv (Cornell University)|2005. 09. 29.

Algebraic Geometry and Number Theory인용 수 6

한 줄 요약

이 논문은 Spec Z 위의 스킴에 상대적이고 호모토피론적 대수기하학을 적용하여 N-스킴, F₁-스킴, S-스킴, S₊-스킴, S₁-스킴이라는 새로운 스킴의 종류를 구축한다. 이 카테고리들 사이와 Z-스킴으로의 기저 전환 함자들을 수립하고, 고전적 대상들인 Glₙ과 토릭 다양체가 자연스럽게 이들 내부에서 유도됨을 보여준다.

ABSTRACT

We use techniques from relative algebraic geometry and homotopical algebraic geometry in order to construct several categories of schemes defined under Spec Z. We define this way the categories of N-schemes, F_1-schemes, S-schemes, S_+-schemes, and S_1-schemes, where from a very intuitive point of view N is the semi-ring of natural numbers, F_1 is the field with one element, S is the sphere ring spectrum, S_+ is the semi-ring spectrum of natural numbers and S_1 is the ring spectrum with one element. These categories of schemes are related by several base change functors, and they all possess a base change functor to Z-schemes (in the usual sense). Finally, we show how the linear group Gl_n and toric varieties can be defined as objects in certain of these categories.

연구 동기 및 목표

• 고급 대수기하학 기법을 사용하여 Spec Z 아래에서 정의된 스킴의 프레임워크를 개발하는 것.
• N-스킴, F₁-스킴, S-스킴, S₊-스킴, S₁-스킴을 포함한 새로운 스킴 카테고리의 정의 및 상호 관계 설정.
• 이러한 카테고리들에서 고전적 의미의 Z-스킴으로의 기저 전환 함자 수립.
• Glₙ과 토릭 다양체와 같은 표준 대수기하 대상들이 이 새로운 스킴 카테고리 내에서 실현될 수 있음을 보여주는 것.
• 일관된 카테고리론적 및 호모토피론적 프레임워크를 통해 '원소 한 개의 체'와 관련된 개념과 구조들을 통합하는 것.

제안 방법

• 상대 대수기하학 기법을 적용하여 Spec Z 위의 스킴를 구축한다.
• 호모토피론적 대수기하학을 사용하여 링 스펙트럼과 반그룹을 기초 구조로 정의한다.
• 자연수의 반그룹을 사용하여 N-스킴을 정의하고, 원소 한 개의 체가 존재한다고 가정한 F₁-스킴을 정의한다.
• 구면 링 스펙트럼을 사용하여 S-스킴을 정의하고, 자연수의 반그룹 스펙트럼을 사용하여 S₊-스킴을 정의하며, 원소 한 개를 가진 링 스펙트럼을 통해 S₁-스킴을 정의한다.
• 구축된 카테고리들 사이와 Z-스킴으로의 기저 전환 함자들을 수립한다.
• Glₙ과 토릭 다양체가 Spec Z 아래의 특정 스킴 카테고리 내에서 실현 가능함을 보여준다.

실험 결과

연구 질문

• RQ1 상대적 및 호모토피론적 대수기하학을 사용하여 Spec Z 아래에서 스킴를 체계적으로 어떻게 구축할 수 있는가?
• RQ2 N-스킴, F₁-스킴, S-스킴, S₊-스킴, S₁-스킴 간의 카테고리론적 관계는 무엇인가?
• RQ3 기저 전환 함자들은 이러한 새로운 스킴 카테고리들을 고전적 Z-스킴과 어떻게 연결하는가?
• RQ4 일반선형군 Glₙ은 어떤 의미에서 이 카테고리들 중 하나의 스킴 대상으로 실현될 수 있는가?
• RQ5 토릭 다양체는 Spec Z 아래의 스킴 프레임워크에서 어떻게 객체로 나타나는가?

주요 결과

• 논문은 Spec Z 위에 정의된 N-스킴, F₁-스킴, S-스킴, S₊-스킴, S₁-스킴이라는 다섯 가지 새로운 스킴 카테고리를 구축한다.
• 이 카테고리들 사이와 Z-스킴으로의 기저 전환 함자들이 수립되어 일관된 카테고리론적 프레임워크를 형성한다.
• 일반선형군 Glₙ은 구축된 카테고리 중 하나의 스킴 대상으로 실현된다.
• 토릭 다양체는 Spec Z 아래의 특정 스킴 카테고리 내에서 자연스럽게 나타남이 입증된다.
• 스펙트럼 이론과 반그룹 구성 기반으로 '원소 한 개의 체'와 관련된 개념과 구조들이 통합된다.
• 링 스펙트럼과 반그룹 스펙트럼의 사용은 Spec Z 위의 산술기하학에 대한 호모토피론적 기초를 제공한다.