On the Absolute Geometry of $\operatorname{Spec}\mathbf{Z}$

技術要約：$\text{Spec } \mathbb{Z}$ の絶対幾何学とファルジュ・フォンテイン曲線について

問題提起
本論文は、P. Scholzeが提唱した$p$進幾何学におけるヒューリスティックな原理、すなわち「$F$を標数$p$の代数的閉体完全層的部分体（perfectoid field）とする時、$\text{Spec } \mathbb{Z}$ の$F$値点は、$F$の『アンティルト（untilts）』によって分類されるべきである」という概念を取り上げる。Scholzeの洞察は強力な概念的枠組みを提供する一方で、著者らは、このパラダイムを、整数の「下」で動作し、テスト体の標別に依存しない、より具体的な幾何学的実現および一般化を行うことを目的としている。目標は、$p$進ホッジ理論、複素解析幾何学、およびアデール・スケーリング・サイト（adelic scaling site）の構造を自然に符号化する絶対的な幾何学的対象を構築することである。

手法
著者らは、$\mathbb{F}_1$-幾何学（数の一つの体上の幾何学）およびトポス理論の枠組みを用いる。その手法は以下のステップで進行する。

1. $\mathbb{F}_1$-算術サイトの構成: 著者らは、$\mathbb{F}_1$-算術サイト $\text{Pic}^*$ を、ペア $(\widehat{\mathbb{N}^\times_0}, \mathcal{O}_{\mathbb{F}_1})$ として定義する。ここで $\widehat{\mathbb{N}^\times_0}$ は、乗法的モノイド $\mathbb{N}_{\geq 0}$ の作用を持つ集合の準層トポスであり、$\mathcal{O}_{\mathbb{F}_1} = \mathbb{F}_1[T]$ は自由可換モノイドの球形代数（spherical algebra）である。構造層には、普遍的なフロベニウス準同型 $Frob_k(T^n) = T^{nk}$ が作用する。
2. アーベル・ヤコビ写像のリフト: 著者らは、古典的なアーベル・ヤコビ写像をリフトするために、幾何学的射 $\Theta: \text{Spec } \mathbb{Z} \to \widehat{\mathbb{N}^\times_0}$ を利用する（これは既往の研究により構成されている）。この射は、素数 $p$ に対して環 $\mathbb{Z}[1/p]$ の順序付き加法群を割り当て、ジェネリック点に対しては自明な群を割り当てる。
3. 絶対曲線へのプルバック: 著者らは、絶対 $\mathbb{F}_1$-算術曲線 $(\text{Spec } \mathbb{Z})_{\mathbb{F}_1}$ を、ペア $(\text{Spec } \mathbb{Z}, \mathcal{F})$ として定義する。ここで $\mathcal{F} = \Theta^{-1}(\mathcal{O}_{\mathbb{F}_1})$ は構造層のプルバックである。素数 $p$ における茎（stalk）$\mathcal{F}_p$ は、球形代数 $\mathbb{F}_1[T^{\mathbb{Z}[1/p]^+}]$ と同一視される。
4. 評価と局所性: 著者らは、様々な体（標数$p$の完全層的部分体、任意の剰余標数を持つ完全層的部分体、および複素数 $\mathbb{C}$）の上でのこの曲線の点を評価する。重要な手法的な道具として、「局所性条件」の賦課がある。すなわち、茎からの射は、茎を定義する順序付き群（$p$進またはアルキメデス的局所体）の固有の位相に関して連続でなければならないという条件である。

主要な貢献と結果

• Scholzeのヒューリスティックの実装: 本論文は、代数的閉完全層的部分体 $F$（標数$ $p$）上の $(\text{Spec } \mathbb{Z})_{\mathbb{F}_1}$ の局所点のモジュライ空間が、固有の対称性による剰余を除いて、以下のように分解することを証明している：

  • 任意の素数 $\ell \neq p$ において、モジュライ空間は単一の自明な軌道に潰れる。
  • 素数 $p$ において、モジュライ空間は、$F$ の全てのアンティルトの空間とフロベニウスによる剰余との間の標準的な全単射となる。これは、$\mathbb{F}_1$-曲線が素数 $p$ を孤立させる「幾何学的ふるい（geometric sieve）」として機能するという、Scholzeのヒューリスティックの直接的な幾何学的実現を提供している。

• 普遍的ティルティング関手: 著者らは、$\mathbb{F}_1$-曲線が標数に依存しないことを示している。剰余標数が $p$ である任意の完全層的部分体 $C$（$C$ の標数が $p$ か $0$かを問わない）の上で評価する場合、$p$における茎は普遍的なティルティング関手として機能する。$C$の点の空間は、ティルトされた体$C^\flat$内の開単位円盤$1 + \mathfrak{m}_{C^\flat}$と標準的に同一視される。完成された茎の対称性（$\mathbb{Q}p^\times$）で割ることにより、ファルジュ・フォンテイン曲線$X{C^\flat, \mathbb{Q}_p}$ の閉点を回収できる。

• テイト曲線の幾何学的分解: 複素数 $\mathbb{C}$ 上での素数 $p$ における曲線の評価を通じて、著者らは二つの異なる場所（place）を特定している：非アルキメデス的な場所 $p$ と、アルキメデス的な場所 $\infty$ である。

  • アルキメデス的な場所において、非自明な局所点は、ワイル群 $W_\infty = \mathbb{C}^\times$ の主トーソル（principal homogeneous space）を形成する。
  • このトーソルを離散的なフロベニウス対称性（$p\mathbb{Z}$）で割ることで、複素テイト曲線 $E_p \cong \mathbb{C}^\times / p\mathbb{Z}$ が得られる。
  • 本論文は、テイト曲線の標準的な大域的分解 $E_p \cong C_p \times \tilde{X}_\infty$ を確立している。ここで $C_p = \mathbb{R}^\times_+ / p\mathbb{Z}$ はアデール・スケーリング・サイトから導かれる周期軌道であり（$p$ への算術的依存性を担う）、$\tilde{X}_\infty$ はファルジュ・フォンテイン曲線の実的アナロジーとして記述される、$p$ に依存しない位相空間である。
  • この分解は、ホロモルフィックな 1-形式 $\omega = d\lambda/\lambda + i d\theta$ が、算術的因子と幾何学的因子の不変測度をどのように織り交ぜているかという、テイト曲線の長方形の複素構造を説明している。

• 標数 1 幾何学との接続: 著者らは、ファルジュ・フォンテイン曲線の基礎となる解析的構造（具体的には、周期環上のガウス・バリュエーションの族）が、スケーリング・サイト $S$ の冪等幾何学へと標準的にトロピカル化されることを示している。解析関数のバリュエーション・プロファイルは、整数値のスロープを持つ凸かつ区分的にアフィンな関数からなるスケーリング・サイトの構造層のグローバル切断に対応する。

意義と主張
本論文は、Scholzeのヒューリスティックに対する「具体的な幾何学的実現」を提供すると主張しており、単なる分類を超えて、構造的な構築へと踏み込んでいる。その主要な意義は、以下の通り、異質な幾何学的領域の統一にある：

1. 普遍性: $\mathbb{F}_1$-算術曲線 $(\text{Spec } \mathbb{Z})_{\mathbb{F}_1}$ は、完全層的部分体のための普遍的な受け皿として機能し、任意の標数を持つ体を収容し、それらのティルトを標準的に抽出する。
2. 幾何学的起源: ファルジュ・フォンテイン理論（アンティルト、ファルジュ・フォンテイン曲線）および複素幾何学（テイト曲線）の基本構造が、$\text{Spec } \mathbb{Z}$ の絶対的な $\mathbb{F}_1$-幾何学という共通の起源を持つことを示している。
3. 対称性とふるい分け: 「局所性条件」がいかに幾何学的なふるいとして作用し、テスト体の剰余標数に一致する素数に幾何学を集中させ、それ以外の場所では崩壊させるかを解明している。
4. トロピカル幾何学への架け橋: ファルジュ・フォンテイン曲線の解析的幾何学と、スケーリング・サイトの冪等幾何学（標数 1 の幾何学）との間の厳密な繋がりを確立しており、後者が前者の標準的なトロピカル化であることを示唆している。

著者らは、$p$ 進ホッジ理論における未解決問題を解決しようとしているのではなく、既知の構造（アンティルト、テイト曲線、ファルジュ・フォンテイン曲線）の存在と相互関係を、絶対算術幾何学の観点から説明するための新しい幾何学的枠組みを提供することを目指している。