Localization and Affine Schemes over $\mathbb{F}_1$

技術要約：$\mathbb{F}_1$ 上の局所化とアフィン・スキーム

問題設定
本論文は、「1つの要素を持つ体」（$\mathbb{F}_1$）における絶対代数幾何学の強固な理論を構築するという基礎的な課題に取り組んでいる。古典的な代数幾何学は、可換環とアフィン・スキームの間の反同値関係を素イデアルスペクトル関手によって確立しているが、これを $\mathbb{F}_1$ へと拡張するには適切な代数的枠組みが必要となる。著者は、Connes-Consani の枠組みを採用し、$\mathbb{F}_1$-代数を $\Gamma$-集合（$\Gamma^{op}$ から点付き集合への関手）の圏における可換モノイド対象としてモデル化する。中心となる問題は、これらの $\Gamma$-集合代数に対する局所化の理論を定義し、古典的なケースと同様に、可換 $\mathbb{F}_1$-代数と絶対アフィン・スキームとの間の反同値を与える対応する素スペクトルを構成することである。特定の困難として、$\Gamma$-集合における加法的構造は、環やハイパーリングよりも「緩い」ため、素イデアルに対して加法的閉包を課すと病理的な挙動（例：特定の代数において素イデアルが存在しないこと）を招く。そのため、純粋に乗法的なアプローチが必要となる。

手法
本論文は、古典的な可換代数およびスキーム論を $\Gamma$-集合の文脈に適応させることで進行する：

1. 代数的枠組み： 著者は、スマッシュ積をモノイダル構造として備えた $\Gamma$-集合の圏 $\Gamma\text{Set}_*$ を利用する。$\mathbb{F}_1$-代数は、この圏における可換モノイド対象として定義される。$\mathbb{F}_1$-代数 $A$ の基礎となる構造は、点付き可換モノイド $A(1+)$ によって捉えられる。これは、スペクトル代数幾何学における $E_\infty$-環の 0 次ホモトピー群 $\pi_0 A$ が基礎となる環を捉える手法に類似している。
2. 局所化理論： 可換 $\mathbb{F}_1$-代数 $A$ と、乗法的に閉じられた部分集合 $S \subseteq A(1+)$ に対する局所化 $S^{-1}A$ の理論が展開される。決定的な点として、$\Gamma$-集合の関手性を維持し、結果として得られる構造層のグローバル切断が元の代数を回収することを保証するために、局所化は第1レベル $A(1+)$ の要素に限定される。この構成は、$\Gamma$-集合としての全レベルにわたる一貫性を維持しながら、要素 $S$ を反転させることで、レベルごとに $S^{-1}A$ を定義する。
3. 層理論： 本論文は、$\mathbb{F}_1$-代数の位相空間上の層の理論を展開する。$\Gamma\text{Set}_*$ における極限と余極限はレベルごとに計算されるため、層化、直接像／逆像、および茎（stalk）は、基礎となる点付き集合のプレ層に対して古典的な層の操作をレベルごとに適用することによって構成される。
4. 素スペクトル構成： 素スペクトル $|\text{Spec } A|$ は、Deitmar の意味での（加法的閉包を無視し、乗法的構造のみを用いる）基礎となるモノイド $A(1+)$ の素スペクトルとして定義される。構造層 $\mathcal{O}_A$ は、要素 $A(1+)$ において $A$ を局所化することにより、開集合上の切断を $A$ の要素の局所的な商として定義することで構築される。
5. 関手性と同値性： 著者は反変関手 $\text{Spec}: \mathbb{F}_1\text{Alg}^{op} \to \text{AffSch}_{\mathbb{F}_1}$ を確立し、それが反同値であることを証明する。また、古典的なスキームへの基底変換関手 $-\otimes_{\mathbb{F}_1} \mathbb{Z}$ を定義し、古典的なアフィン・スキームがいかに $\mathbb{F}_1$-代数から導かれるかを示す。

主要な貢献と結果

• 定理 A (局所化)： 本論文は、任意の可換 $\mathbb{F}_1$-代数 $A$ と乗法的に閉じられた $S \subseteq A(1+)$ に対して、局所化 $S^{-1}A$ の存在を証明する。この局所化は普遍性を満たす：すなわち、射 $S^{-1}A \to B$ は、$S$ を $B(1+)$ の単元へと送る射 $A \to B$ と一対一に対応する。さらに、可換環 $R$ のアイレンベルグ・マレーニー代数 $HR$に対しては、$S^{-1}(HR) \cong H(S^{-1}R)$ であり、この理論が古典的な環の局所化を一般化していることを示す。
• 定理 B (構造層)： 素スペクトル $(|\text{Spec } A|, \mathcal{O}_A)$ について、本論文は以下を確立する：
  • 素イデアル $\mathfrak{p}$ における茎は、局所化 $A_{\mathfrak{p}}$ と同型である。
  • 基本開集合 $D(f)$ 上の切断は、局所化 $A_f$ と同型である。
  • グローバル切断は代数を回収する：$\Gamma(|\text{Spec } A|, \mathcal{O}_A) \cong A$。
• 定理 C (反同値)： 関手 $\text{Spec}$ は、可換 $\mathbb{F}_1$-代数の圏と絶対アフィン・スキーム（$\text{Spec } A$ に同型な、局所的に $\mathbb{F}_1\text{Alg}$-空間であるものとして定義される）の圏との間の反同値を確立する。
• 基底変換： 本論文は、絶対アフィン・スキームから古典的な $\mathbb{Z}$ 上のアフィン・スキームへの基底変換関手 $-\otimes_{\mathbb{F}_1} \mathbb{Z}$ を構成する。これは、アイレンベルグ・マレーニー代数 $HR$に対して、基底変換が古典的なスキーム$\text{Spec } R$ を回収することを示す。これは、基底変換が通常トーリック多様体のみを生成する Deitmar のモノイド・スキームとは対照的であり、$\Gamma$-集合によるアプローチは、より広いクラスの「$\mathbb{F}_1$ 上のスキーム」として古典的なアフィン・スキームを取り込んでいる。

意義
本論文は、Deitmar のモノイド・スキームと古典的なスキーム論の両方を厳密に一般化する、絶対代数幾何学の厳密な基礎を提供すると主張している。$\mathbb{F}_1$-代数を $\Gamma$-集合としてモデル化することで、この枠組みは、他の $\mathbb{F}_1$ へのアプローチ（ハイパーリングなど）で問題となる、素イデアルにおける加法的閉包に関連する病理的挙果を回避することに成功している。可換 $\mathbb{F}_1$-代数と絶対アフィン・スキームとの間の反同値の確立は、$\mathbb{F}_1$-代数が、古典的な幾何学における可換環の役割を模倣し、この幾何学にとって適切な代数的対象であることを裏付けている。基底変換を通じて古典的なスキームを回収できる能力は、この枠組みがトーリック多様体と古典的なアフィン・スキームの両方を単一の圏論的構造の中に含める、統一的な視点を提供しつつ、標準的な代数幾何学を包含していることを示している。