[논문 리뷰] On the notion of geometry over $\F_1$

Alain Connes, Caterina Consani|ArXiv.org|2008. 09. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 11

한 줄 요약

이 논문은 소울레의 함자적 프레임워크에 계급을 도입함으로써, 가령의 한 원소로 이루어진 체 $\mathbb{F}_1$ 위에서의 기하학 개념을 정교화하여, 사영 공간 위의 $\mathbb{F}_1$-유리점의 수를 세는 데 있어 핵심적인 모순을 해결한다. Chevalley 군 스킴이 $\mathbb{F}_1$ 가 아니라 $\mathbb{F}_{1^2}$ 위의 다양체임을 증명하고, 그 함자적 구조와 $\mathbb{Z}$ 위의 대수적 군 스킴 사이의 자연스러운 변환을 수립함으로써, 티츠의 기하학적 시각과 대수적 구성 간의 조화를 이룬다.

ABSTRACT

We refine the notion of variety over the "field with one element" developed by C. Soulé by introducing a grading in the associated functor to the category of sets, and show that this notion becomes compatible with the geometric viewpoint developed by J. Tits. We then solve an open question of C. Soulé by proving, using results of J. Tits and C. Chevalley, that Chevalley group schemes are examples of varieties over a quadratic extension of the above "field".

연구 동기 및 목표

• 소울레의 $\mathbb{F}_1$-위의 다양체 정의에서 발생하는 기초적인 모순을 해결하기 위해, 사영 공간 $\mathbb{P}^d$ 에서의 $\mathbb{F}_1$-유리점의 수가 티츠의 기하학적 시각에서 예상되는 $d+1$ 개를 초과하는 문제를 해결한다.
• 함자적 접근법이 티츠의 건물 이론과 희박한 기하학 이론과 조화를 이루는지, 특히 '한 원소로 이루어진 체'가 희박한 사영 기하학에서 차지하는 역할을 분석한다.
• 소울레가 남긴 바에 따르면, Chevalley 군 스킴이 $\mathbb{F}_1$ 위의 다양체로 실현될 수 있는지 여부를 밝히는 것.
• 모든 $n$ 에 대해 $\mathbb{F}_{1^n}$ 에서의 점 수 계산이 정확해지도록, $\mathbb{F}_1$-스킴의 보다 정교한 개념을 정의하여, $n = q-1$ 인 경우에 고전적 대수기하학과 일치하도록 보장한다.

제안 방법

• 소울레의 '기구(gadget)' 개념을 계급을 포함하도록 확장하여, 계급을 부여한 함자적 프레임워크를 도입함으로써, 티츠의 기하학적 공리와의 호환성을 확보한다.
• $\mathbb{F}_{1^n} \otimes_{\mathbb{F}_1} \mathbb{Z} = \mathbb{Z}[T]/(T^n - 1)$ 의 구성으로 $\mathbb{F}_1$ 의 유한 확장을 정의하여, 점 수 계산 메커니즘의 기초를 마련한다.
• 티츠의 동형사상 $\mathcal{N}_{D,\epsilon}(L,\Phi) \to \mathcal{N}(A)$ 를 적용하여, 군 스킴 내의 정규화군과 루트 체계 및 웨일 군의 조합론적 성질을 연결한다.
• 브루아 분해를 통해 자연스러운 변환 $e_{G,A}: \underline{G}(A,-1) \to \mathfrak{G}(A)$ 를 구성함으로써, 함자적 구조를 $\mathbb{Z}$ 위의 대수적 군 스킴으로 매핑한다.
• $\mathbb{F}_1$-스킴을 국소적으로 표현 가능한 함자 $\underline{X}: \mathcal{M}_{ab} \to \mathrm{Ens}$ 로 정의하며, $A$ 가 체일 경우 $\underline{X} \circ \beta^* \to X$ 가 전단사인 자연스러운 변환을 보장한다.
• $\beta(M,\epsilon) = \mathbb{Z}[M]/(1+\epsilon)\mathbb{Z}[M]$ 을 사용하여 $\mathrm{Hom}(\beta(M,\varepsilon), A) \cong \mathrm{Hom}((M,\varepsilon), \beta^*(A))$ 의 동치관계를 확립함으로써, 모노이드 값을 갖는 함자와 $\mathbb{Z}$-스킴 사이의 수반관계를 수립한다.

실험 결과

연구 질문

• RQ1 Chevalley 군 스킴은 $\mathbb{F}_1$ 위의 다양체로 실현될 수 있는가?
• RQ2 소울레의 $\mathbb{F}_1$-위의 다양체 개념은 티츠의 희박한 사영 기하학에 대한 기하학적 프레임워크와 호환되는가?
• RQ3 소울레의 프레임워크에서 $\mathbb{P}^d(\mathbb{F}_1)$ 이 $\frac{3^{d+1}-1}{2}$ 개의 점을 가지는 이유는 무엇이며, 이는 티츠 이론에서 예상되는 $d+1$ 개의 점과 어떻게 다를까?
• RQ4 $\mathbb{F}_1$-기하학의 함자적 접근법이 $\mathbb{F}_{1^n}$ 에서의 점 수를 정확히 계산할 수 있는가? 특히 $n = q-1$ 일 때 $|X(\mathbb{F}_q)|$ 와 일치하는가?
• RQ5 Chevalley 군 스킴의 군 구조는 $\mathbb{F}_1$ 위에서 정의될 수 있는가, 아니면 이차 확장 위에서만 가능한가?

주요 결과

• Chevalley 군 스킴은 $\mathbb{F}_1$ 가 아니라 $\mathbb{F}_{1^2}$ 위의 다양체임을 증명하여, 소울레가 제기한 열린 질문을 해결한다.
• $\mathbb{F}_{1^n}$-유리점의 수가 $n = q-1$ 이고 $q$ 가 소수 거듭제곱일 때 $|X(\mathbb{F}_q)|$ 와 일치함을 보여, 고전적 대수기하학과의 일관성을 확보한다.
• 모든 체 $A$ 에 대해 자연스러운 변환 $e_{G,A}: \underline{G}(A,-1) \to \mathfrak{G}(A)$ 가 전단사임을 증명하여, 새로운 $\mathbb{F}_1$-스킴 정의의 타당성을 입증한다.
• $\beta(M,\epsilon) = \mathbb{Z}[M]/(1+\epsilon)\mathbb{Z}[M]$ 의 구성은 $\mathrm{Hom}(\beta(M,\varepsilon), A) \cong \mathrm{Hom}((M,\varepsilon), \beta^*(A))$ 를 만족하여, 모노이드 함자와 $\mathbb{Z}$-스킴 사이의 수반관계를 가능하게 한다.
• 군 스킴의 구조에서 가장 낮은 차수의 항들(랭크와 동일한 차수)은 티츠 군 $\mathcal{N}_{D,\epsilon}(L,\Phi)$ 를 만들어내며, 이는 건물의 기하학적 대칭성을 실현한다.
• 유한성과 토크션-자유 조건 하에서 $\mathbb{F}_{1^n}$-점의 수는 양의 정수 계수를 갖는 다항식 $P(n)$ 으로 표현되며, 이는 산술적 일관성을 보장한다.