[논문 리뷰] F1-schemes and toric varieties

Anton Deitmar|arXiv (Cornell University)|2006. 08. 07.

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

한 줄 요약

이 논문은 유한형의 정수적 $˵_1$-스킴이 본질적으로 토릭 다양체와 동치임을 확립하며, 토릭 기하학을 통해 $˵_1$-스킴의 기하적 실현을 제공한다. 이와 동시에 다면체 콩의 면 수를 이용해 $˵_1$-리만 제타 함수를 정의하고, 평탄한 사상, 에탈레 사상, 그리고 보편 코팅을 포함한 기본 도구들을 $˵_1$-맥락에서 개발한다.

ABSTRACT

This paper contains a loose collection of remarks on F1-schemes. Etale morphisms and universal coverings are introduced. The relation to toric varieties, at least for integral schemes, is clarified.In this paper it is shown that integral F1-schemes of finite type are essentially the same as toric varieties. A description of the F1-zeta function in terms of toric geometry is given. Etale morphisms and universal coverings are introduced.

연구 동기 및 목표

• 정수적 $˵_1$-스킴이 유한형일 때, 그것이 토릭 다양체와 카테고리적이고 기하학적으로 동치임을 확립하기.
• 토릭 다양체의 조합론적 자료를 이용해 $˵_1$-리만 제타 함수를 정의하고 계산하기.
• 평탄성, 에탈레 사상, 보편 코팅과 같은 고전적 대수기하학 개념들을 $˵_1$-스킴의 맥락으로 일반화하기.
• 모노이드 이론과 토릭 기하학에 기반한 $˵_1$-기하학의 프레임워크 제공하기.

제안 방법

• 가환 모노이드의 스펙트럼을 기초 기하 대상으로 사용하여, $˵_1$-스킴을 모노이드의 스펙트럼과 국소적으로 동형인 국소적으로 모노이드가 있는 공간으로 정의한다.
• 함수자기 $A \mapsto \mathbb{Z}[A]$를 통한 모노이드에서의 기저 전환을 적용하여 $˵_1$-스킴을 고전적 $˵_1$-스킴과 연결한다.
• 지정된 모듈러에 대한 텐서 함수의 강한 정확성 조건을 통해 $˵_1$-스킴에서의 평탄성을 특성화하며, 취소 모노이드를 포함한 핵심 예제들을 제시한다.
• 고전적 정의를 모노이드 준동형사상과 그 국소화에 적응하여 $˵_1$-설정에서 에탈레 사상과 보편 코팅을 도입한다.
• 합리적 다면체 콩의 조합론적 구조를 활용하여, 팬과 그에 관련된 모노이드를 통해 $˵_1$-스킴을 묘사한다.
• 다음 공식을 사용하여 콩 $\sigma$의 $˵_1$-제타 다항식을 면 수의 생성함수로 유도한다: $N_\sigma(x) = \sum_{k=0}^n f_k^\sigma (x-1)^{n-k}$.

실험 결과

연구 질문

• RQ1 정수적 $˵_1$-스킴이 유한형일 때, 그것과 토릭 다양체 사이의 관계는 어떠한가?
• RQ2 $˵_1$-리만 제타 함수는 다면체 콩의 면 수와 같은 토릭 불변량을 통해 표현될 수 있는가?
• RQ3 $˵_1$-스킴 맥락에서 평탄성의 올바른 일반화는 무엇이며, 그것과 모노이드 위의 모듈러 이론은 어떻게 관련되는가?
• RQ4 에탈레 사상과 보편 코팅은 $˵_1$-기하학에서 어떻게 정의되고 특성화될 수 있는가?
• RQ5 코homological 구성은 $˵_1$-스킴으로까지 어떻게 일반화될 수 있으며, 그 과정에서 어떤 장애물들이 발생하는가?

주요 결과

• 정수적 $˵_1$-스킴이 유한형일 때, 그것이 토릭 다양체와 동치임을 보여주며, $˵_1$-기하학과 토릭 기하학 사이에 깊은 카테고리적이고 기하학적 연결 고리를 확립한다.
• 콩 $\sigma$에 관련된 토릭 $˵_1$-스킴의 $˵_1$-리만 제타 다항식은 $N_\sigma(x) = \sum_{k=0}^n f_k^\sigma (x-1)^{n-k}$로 주어지며, 여기서 $f_k^\sigma$는 $\sigma$의 $k$차원 면의 수이다.
• 스킴의 평탄한 사상은 기저가 되는 모노이드 준동형사상의 평탄성에 의해 특성화되며, 평탄성은 지정된 모듈러 위의 텐서 함수의 강한 정확성과 동치이다.
• 모노이드 $A$의 값매김 집합과 몫 $B$의 값매김 집합 사이에 전단사 대응이 존재한다. 이는 $A \to B$ 가 유한 핵을 가진 전성사상일 때 성립하며, 이는 $˵_1$-맥락으로의 값매김 이론 일반화를 가능하게 한다.
• $˵_1$-기하학에서 코homology는 근본적인 장애를 겪는다: 층 코homology에서의 플립 사상은 기저 집합의 자기사상에 의해 유도될 수 없다. 이는 표준 코homological 도구들이 직접적으로 확장되지 않음을 시사한다.
• 세 점으로 이루어진 공간과 그 위의 층 $\mathcal{F}, \mathcal{G}, \mathcal{H}$의 예시는 $˵_1$-기하학에서의 단순형 분해가 유일하지 않음을 보여주며, 이는 코homology 군이 비표준적임을 의미한다.