[논문 리뷰] Remarks on zeta functions and K-theory over F1

Anton Deitmar|ArXiv.org|2006. 05. 16.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 11

한 줄 요약

이 논문은 가령의 한 원소 체($\mathbb{F}_1$) 위에서 Soulé의 제타 함수 정의를 모든 $\mathbb{F}_1$-스킴으로 확장한다. 이는 고정된 정수 $e$에 대해 $q-1$이 $e$와 서로소일 때 유한체 $\mathbb{F}_q$ 위에서의 점 수를 캡처하는 제타다항식을 도입함으로써 이루어지며, 이는 $\mathbb{F}_1$-스킴의 제타다항식을 정의한다. 또한 $\mathbb{F}_1$-환에 대한 K-이론의 두 구성, Quillen의 $Q$-구성과 $+$-구성의 비교를 수행한다. 이 두 구성은 모노이드가 군일 경우 일치하지만 일반적으로는 다르며, $+$-구성은 단지 단위원군에 의존하는 반면 $Q$-구성은 모노이드의 전체 구조를 반영한다.

ABSTRACT

We show that the notion of zeta functions over F1, as given in special cases by Soule', extends naturally to all F1-schemes as defined earlier by the author. We further give two constructions of K-theory for affine schemes or F1-rings, we show that these coincide in the group case, but not in general.

연구 동기 및 목표

• Soulé의 $\mathbb{F}_1$ 위에서의 제타 함수 정의를, 강한 다항식 점수 조건을 만족하는 스킴에 국한되지 않고 모든 $\mathbb{F}_1$-스킴으로 일반화한다.
• 고정된 정수 $e$에 대해 $q$가 $e$와 서로소일 때, $\mathbb{F}_q$-점의 수를 캡처하는 제타다항식 $N(x)$를 정의한다.
• Quillen의 $Q$-구성과 Quillen의 $+$-구성의 두 가지 $\mathbb{F}_1$-환에 대한 K-이론 구성 방식을 비교한다.
• 이 두 K-이론 구성 방식이 어떤 조건에서 일치하는지 규명한다.
• $\mathbb{F}_1$-K-이론에서 단위원군과 모노이드 구조의 역할을 명확히 한다.

제안 방법

• 고정된 $e$에 대해 $\gcd(q-1, e) = 1$일 때 $\#X(\mathbb{F}_q) = N(q)$를 만족하는 $\mathbb{F}_1$-스킴 $X$에 대해 제타다항식 $N(x)$를 정의하고, $N(x)$가 유일하게 결정됨을 보인다.
• 제타다항식 $N(x) = a_0 + a_1x + \cdots + a_nx^n$을 바탕으로 $\mathbb{F}_1$-제타 함수를 $\zeta_{X|\mathbb{F}_1}(s) = s^{a_0}(s-1)^{a_1}\cdots(s-n)^{a_n}$로 정의한다.
• 모노이드 $A$에 대해 $\mathrm{GL}_n(A) = A^n \rtimes \mathrm{Per}(n)$라 할 때, $\mathrm{GL}(A)^+$ 위에서 Quillen의 $+$-구성을 통해 $K_i^+(A)$를 정의하고, 유한 생성 프로젝티브 $A$-모듈러의 범주 위에서 Quillen의 $Q$-구성을 통해 $K_i^Q(A)$를 정의한다.
• 모노이드 $A$가 군일 경우, $+$-구성과 $Q$-구성은 동치인 K-이론 군을 유도하며, $i=0$일 때는 $\mathbb{Z} \times A$로, $i>0$일 때는 $\pi_i^s$로 명시적으로 계산할 수 있음을 증명한다.
• 일반적인 모노이드 $A$에 대해 $K_i^+(A) = K_i^+(A^\times)$이므로, $+$-구성은 단지 단위원군에 의존하지만, $K_i^Q(A)$는 전체 모노이드 구조에 의존한다.
• 자명한 준동형사상 $K_i^+(A) \to K_i^Q(A)$를 수립하고, $A$가 군이 아닐 경우 두 구성 방식이 다름을 보여주며, 예를 들어 $a^2 = a$인 $A = \{1,a\}$일 때 $K_0^+(A) = \mathbb{Z}$이지만 $K_0^Q(A) = \mathbb{Z} \times \mathbb{Z}$임을 보인다.

실험 결과

연구 질문

• RQ1 Soulé의 $\mathbb{F}_1$ 위에서의 제타 함수 구성은 강한 다항식 점수 조건을 만족하는 스킴에 국한되지 않고, 모든 $\mathbb{F}_1$-스킴으로 확장 가능한가?
• RQ2 자연스러운 점 수 성질을 만족하는 $\mathbb{F}_1$-스킴에 대한 제타 함수의 올바른 일반화는 무엇인가?
• RQ3 Quillen의 $Q$-구성과 $+$-구성은 $\mathbb{F}_1$-환에 대해 동치인 K-이론을 유도하는가? 만약 그렇지 않다면 그 차이는 무엇인가?
• RQ4 모노이드의 $\mathbb{F}_1$-K-이론은 그 단위원군과 전체 곱셈 구조와 어떻게 관련이 있는가?
• RQ5 $\mathbb{F}_1$-환의 맥락에서 $+$-구성과 $Q$-구성의 K-이론 간 정확한 관계는 무엇인가?

주요 결과

• 모든 $\mathbb{F}_1$-스킴 $X$에 대해 자연수 $e$와 유일한 정수 계수 다항식 $N(x)$가 존재하여, $\gcd(q-1, e) = 1$일 때 $\#X(\mathbb{F}_q) = N(q)$를 만족하며, 이는 $X$의 제타다항식으로 정의된다.
• $\mathbb{F}_1$-제타 함수는 제타다항식 $N(x) = a_0 + a_1x + \cdots + a_nx^n$을 바탕으로 $\zeta_{X|\mathbb{F}_1}(s) = s^{a_0}(s-1)^{a_1}\cdots(s-n)^{a_n}$로 정의되며, Soulé의 구성 방식을 일반화한다.
• $\mathbb{F}_1$-환 $A$에 대한 $+$-구성은 단지 단위원군 $A^\times$에 의존하므로 $K_i^+(A) = K_i^+(A^\times)$이지만, $Q$-구성은 전체 모노이드 구조에 의존한다.
• 모노이드 $A$가 군일 경우, $+$-구성과 $Q$-구성은 일치한다: $K_i^+(A) = K_i^Q(A)$이며, $K_0(A) = \mathbb{Z} \times A$, $i > 0$일 때 $K_i(A) = \pi_i^s$이다. 여기서 $\pi_i^s$는 구의 $i$번째 안정 호모토피 군이다.
• $a^2 = a$인 비군 모노이드 $A = \{1,a\}$와 같이, $K_0^+(A) = \mathbb{Z}$이지만 $K_0^Q(A) = \mathbb{Z} \times \mathbb{Z}$이므로, 두 구성 방식이 일반적으로 일치하지 않음을 보여준다.
• 자명한 준동형사상 $K_i^+(A) \to K_i^Q(A)$가 존재하지만, 이는 일반적으로 동형사상이 아니며, 이는 모든 프로젝티브 모듈러가 자유 모듈러의 직합이 아니기 때문이다.