The Abel--Jacobi map over the twistor-$\mathbb{P}^1$ and real local class field theory

技術的要約：ツイスター-$\mathbb{P}^1$上のアーベル・ヤコビ写像と実局所類体論

問題設定
本論文は、[Sch24]におけるピーター・ショルツェの枠組みに基づき、アルキメデス的局所体（$E = \mathbb{R}$ または $\mathbb{C}$）における局所ラングランズ対応の幾何学的実現に取り組むものである。非アルキメデス的な設定において、ファルジュはファルジュ・フォントレー曲線の幾何学を研究することにより、局所ラングランズ対応を回収できることを示した。具体的には、次数1の因子スタック（$\text{Div}^1_{\text{FF}}$）上のランク1の$\ell$進局所系が、アーベル・ヤコビ写像を介して線束のスタック（$\text{Pic}^1_{\text{FF}}$）からプルバックされることを示した。

著者らは、ファルジュの戦略（$\text{Sym}^d \text{Div}^1_{\text{FF}} \cong \text{Div}^d_{\text{FF}}$ という同型性と、$d \geq 2$ におけるアーベル・ヤコビ写像のファイバーの単連結性に依拠するもの）を、ショルツェの「ツイスター-$\mathbb{P}^1$」（$X_E$）という幾何学的対象を用いてアルキメデス的な設定へ適応させることを目的としている。中心となる課題は、アーベル・ヤコビ写像 $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ によるプルバックが、マルチプリカティブ群の分類スタックへのマッピング・アニマ（mapping anima）に対して同値性を誘導すること、すなわち、この幾何学的文脈において局所類体論（$W_E^{\text{ab}} \cong E^\times$）を回収することを示すことである。

手法と障害
著者らは、ファルジュの戦略を適応させようと試みているが、アルキメデス的な設定における2つの根本的な障害を特定している：

1. 対称冪同型の失敗： ファルジュ・フォントレー曲線とは異なり、自然な写像 $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ は全射ではあるが同型ではない。スタック $\text{Div}^d_E$ は $\text{Div}^1_E$ の第 $d$ 対称冪と同型ではない。
2. 降下（Descent）の問題： 著者らは$\ell$進層ではなく準連接層（線束）を扱っている。アーベル・ヤコビ写像に沿った線束の降下のためには、ファイバーは単に単連結であるだけでなく、「可縮」である必要がある。有限次数のアーベル・ヤコビ写像 $AJ_d$ は $(d-1)$-連結であるが、これは要求される降下には不十分である。

これらの問題を克服するために、著者らは以下の技術的戦略を採用している：

• 領域 $\text{Div}^d_{\text{HT}\leq 1}$： 特殊な点 $0$と$\infty$における消滅次数が高々1である因子をパラメータ化する開部分スタック$\text{Div}^d_{\text{HT}\leq 1} \subset \text{Div}^d_E$を導入する。彼らは、この領域において写像$\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ が同型になることを証明している。
• 線束の一意な延長： 線束が $\text{Div}^d_{\text{HT}\leq 1}$ から $\text{Div}^d_E$ 全体に一意に延長されることを示す。これは、これらのスタックのチャート（解析空間とベティ・スタックを含む明示的な商）を分析し、「余次元2」の補集合がピカール群（Picard groupoid）に影響を与えないことを示すことで達成される。
• 無限レベル極限： 連結性の問題を解決するため、著者らは「無限レベル」のアーベル・ヤコビ写像へと移行する。特定の次数1の因子による乗法によって誘導される遷移写像の下で、次数 $d$ の写像を単一の写像へと集約する（スタックの余極限をとる）。彼らは、この極限が（具体的には可縮な空間の商として）可縮なファイバーを持つスタックを与えることを示し、これにより線束の降下を可能にしている。

主要な貢献と結果
本論文は、以下の主要な結果を確立している：

1. 定理1.1 (定理5.2)： アルキメデス的局所体 $E$ に対して、アーベル・ヤコビ写像 $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ によるプルバックは、マッピング・アニマの同値性を誘導する：
   $$\text{Map}(\text{Pic}^1_E, \ast/G^{\text{an}}_m) \xrightarrow{\sim} \text{Map}(\text{Div}^1_E, \ast/G^{\text{an}}_m)$$
   したがって、$\text{Div}^1_E$ 上の任意の線束は $\text{Pic}^1_E$ からプルバックされる。

2. 系1.2 (局所類体論)： 著者らは、主定理と、$\text{Div}^1_E$ 上の線束とヴェイユ群 $W_E$ の指標との識別、および $\text{Pic}^1_E$ と $E^\times$ の分類スタックとの識別を組み合わせることで、アルキメデス的局所体における標準的な同型 $W_E^{\text{ab}} \cong E^\times$ を導出する。

3. $\text{Div}^d_E$ の幾何学的解析： 本論文は、次数 $d$ の因子スタックの詳細な構造解析を提供している。これには以下が含まれる：

   • $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ は全射であるが単射ではないことの証明（例 4.13）。
   • 解析的ド・ラム・スタック、または開領域 $\text{Div}^d_{\text{HT}\leq 1}$ に制限した後に、この写像が同型になることの確立（命題 4.9, 命題 4.17）。
   • $\text{Div}^d_{\text{HT}\leq 1}$ から $\text{Div}^d_E$ へのベクトル束の一意な延長の証明（命題 4.19）。

意義と主張
著者らは、本研究をアルキメデス的な場における圏論的局所ラングランズ・プログラムにおける極めて重要なステップとして位置づけており、これはファルジュによる非アルキメデス的なケースでの成功を反映している。その意義は以下の点にある：

• 幾何学的実現： これは、デリーニュによる大域的類体論の幾何学的証明のアナロジーでありながら、ショルツェのツイスター幾何学を通じて局所的な設定に適応させた、アルキメデス的局所類体論の幾何学的証明を提供するものである。
• 手法の適応： 「$\text{HT}\leq 1$ 領域」を導入し、「無限レベル極限」を利用することで、アルキメデス的な設定特有の困難（$\ell$進層の欠如、異なる連結性の性質）をどのように乗り越えるかを示している。
• 基礎的枠組み： 本論文は、「ガス状（gaseous）」な解析環構造と [Sch24] で開発された解析的スタックの理論に大きく依存しており、古典的な数論的結果を回収するための、この枠組みの有用性の具体的な適用および検証となっている。

著者らは、「余次元」や「可縮性」に関する議論は、解析的スタックの設定における厳密な定義ではなく、直感的なガイドであることに注意を促している。なぜなら、この文脈においては、強固な次元や基本群の概念がまだ完全には確立されていないためである。証明は、純粋に形式的な位相幾何学的議論よりも、明示的なチャート解析と降下の性質に依拠している。