[論文レビュー] On the notion of geometry over $\F_1$

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

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 11

ひとこと要約

この論文は、ソールの関手的枠組みに次数を導入することで、仮想の1要素体（$\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$点を上回っていること。
• 関手的$\mathbb{F}_1$-幾何のアプローチを、ティーツのビルディング理論および細い幾何学（thin geometries）と統合すること。特に、1要素体が退化した射影幾何学において果たす役割を明確にすること。
• ソールが残した未解決問題である、Chevalley群スキームが$\mathbb{F}_1$上に代数的集合として実現可能かどうかを特定すること。
• $\mathbb{F}_{1^n}$上での正しい点数え上げを保証する、$\mathbb{F}_1$-スキームの精緻化された概念を定義すること。これは、$n = q-1$（$q$は素数べき）のとき、古典的代数幾何と整合するように設計されている。

提案手法

• ソールの「ガジェット」概念を次数を含む形に拡張することで、次数付き関手的枠組みを導入し、ティーツの幾何的公理と整合性を保つようにする。
• $\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$-スキームを、$\mathcal{M}_{ab} \to \mathrm{Ens}$ となる局所的代表可能な関手 $\underline{X}$ として定義し、$A$ が体のとき、自然変換 $\underline{X} \circ \beta^* \to X$ が全単射であることを要求する。
• $\beta(M,\epsilon) = \mathbb{Z}[M]/(1+\epsilon)\mathbb{Z}[M]$ を用いて、$\mathrm{Hom}(\beta(M,\epsilon), A) \cong \mathrm{Hom}((M,\epsilon), \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$-幾何のアプローチは、$n = q-1$ のとき$|X(\mathbb{F}_q)|$と一致する$\mathbb{F}_{1^n}$上の正しい点数え上げをもたらすか？
• 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)|$ と一致し、古典的代数幾何と整合性を持つことが保証された。
• 自然変換 $e_{G,A}: \underline{G}(A,-1) \to \mathfrak{G}(A)$ は、$A$ が体のとき全単射であることが示され、$\mathbb{F}_1$-スキームの新しい定義が妥当であることが裏付けられた。
• $\beta(M,\epsilon) = \mathbb{Z}[M]/(1+\epsilon)\mathbb{Z}[M]$ の構成により、$\mathrm{Hom}(\beta(M,\epsilon), A) \cong \mathrm{Hom}((M,\epsilon), \beta^*(A))$ が成り立ち、モノイド値関手と$\mathbb{Z}$-スキームとの間の随伴関係が実現された。
• 群スキームの構造の最低次の項（$G$のランクに等しい次数）は、ティーツ群 $\mathcal{N}_{D,\epsilon}(L,\Phi)$ を生成し、ビルディングの幾何的対称性を実現する。
• 有限性およびねじれ自由条件の下で、$\mathbb{F}_{1^n}$-点の数は正の整数係数を持つ多項式 $P(n)$ として表され、算術的整合性が保証された。