Towards the Fontaine--Mazur conjecture for GL(2)

技術的要約：$GL_2$ に対するフォンテーヌ–マズール予想に向けて

問題設定
本論文は、$GL_2$ に対するフォンテーヌ–マズール予想、具体的には予想A（全実数体 $F$ において、連続かつ既約なガロア表現 $\rho: G_F \to GL_2(\mathbb{Q}_p)$ が、特定の局所条件（ほとんど至る所で不分岐、かつ $p$ において異なるホッジ・テイト重みを持つド・ラーム表現、および全奇的な行列式）を満たすとき、それらは幾何学に由来するというもの）を扱っている。

既存の文献における重要な空白は、剰余表現 $\bar{\rho}: G_F \to GL_2(\mathbb{F}_p)$ が可約である場合である。モジュラリティ・リフティング定理は、「十分に非退化な」（例えば既約な）剰余表現については成功してきたが、これらの手法は $\bar{\rho}$ が可域である場合には一般に失敗する。SkinnerとWiles [SW99]らによる可変的な既知の結果は、主に $F = \mathbb{Q}$ の場合に限定されており、任意の全実数体への一般化が困難であった。

手法
著者であるJack A. Thorneは、可変的な剰余表現を扱うために、新しいモジュラリティ・リフティング定理と「数の幾何学」を組み合わせた新しいアプローチを導入している。証明戦略は、主に2つの技術的な柱に基づいている：

1. 新しいモジュラリティ・リフティング定理 (Theorem 4.1):
   本論文は、標的となる表現 $\rho$ と既知のモジュラー表現 $\rho'$ との間の「近さ」が、合同式 $\text{mod } \varpi^C$ によって測定されるモジュラリティ・リフティング結果を確立している。決定的なことに、指数 $C$ は、セルマー群のランクや濃度といった微妙な大域的不変量ではなく、局所データ（分岐する素点）および大域的表現の像のみに依存する。これにより、適切な全実数拡大へのベースチェンジの下で、定数 $C$ を安定させることが可能となる。証明にはテイラー–ワイルズ・パッチング引数が用いられ、パッチされた変形環 $R_\infty$ とパッチされたヘッケ環 $T_\infty$ が構成される。ここでの主要な革新は、これらの環を構成するために超フィルター（ultrafilters）を用いること、および、ある標的点に十分に近く存在するモジュラーな点が、その標的点と同じ既約成分上に存在すること（スペクトルの既約成分上の点の支持に関する定理2.12）を用いて、標的点がモジュラーであることを導出することにある。

2. 数の幾何学によるモジュラー近似の構成 (Section 3):
   リフティング定理を適用するために、$\rho$ を $\varpi^C$ で近似するモジュラー表現 $\rho'$ を構成する必要がある。著者は、ヒルベルト–ブラウメント・アーベル多様体（HBAV）を用いてこれらの近似を構成する。

• 著者は、レベル構造を持つ偏極されたHBAVのモジュライ空間を構成する。
• 「数の幾何学」（具体的には [DH98] および [Wid12] に従った、凸体における格子点の分布に関する結果）を用いて、$\rho$ の局所的な制限を高度な精度で近似する、 $F'/F$ 上の全実数拡大 $F'$ と $F'$ 上のHBAVが存在することを証明する。
• この構成により、$\rho$ と十分高い次数の一元化元（uniformizer）に対して合同であるモジュラー表現 $\rho'$（これらのHBAVのコホモロジーに由来するもの）の存在を保証する。

主要な貢献と結果

• Theorem B (主結果): 本論文は、全実数体 $F$ と素数 $p$ に対して、フォンテーヌ–マズール条件（ほとんど至る所で不分岐、 $p$ において潜在的に結晶的かつ通常の重み $\{0, 1\}$ を持ち、かつ全奇的な行列式を持つ）を満たす連続かつ既約な表現 $\rho: G_F \to GL_2(\mathbb{Q}_p)$ は、**潜在的にモジュラー（potentially modular）**であることを証明している。これは、有限の全実数拡大 $F'/F$ が存在し、$\rho|_{G_{F'}}$ が $GL_2(\mathbb{A}_{F'})$ の尖点かつ正則代数的な自己型表現から生じることを意味する。

  • 意義: この結果は、剰余表現 $\bar{\rho}$ が可変である場合でも適用可能であり、これは任意の全実数体においてこれまでアクセス不可能であったケースである。

• Theorem D ( $\mathbb{Q}$ への応用): 系として、本論文は、同一の条件下での $\rho: G_\mathbb{Q} \to GL_2(\mathbb{Q}_p)$ のモジュラリティを証明しており、特に $\bar{\rho}$ が可変である $p=2$ のケースを扱っている。これは、Serreの予想とTheorem Bを組み合わせることで導かれる。

• 可換代数と群行列式: 本論文は、変形環と群行列式の構造に関する洗練された結果（Proposition 2.13, Theorem 2.12）を提供し、$p$ 進的な近接性に基づいて変形環上の点が同じ既約成分上に位置するための条件を確立している。

意義と主張
本論文は、可変な剰余表現が存在する場合でも堅牢な、フォンテーヌ–マズール予想への新しいアプローチを提供すると主張している。要求される合同レベルを大域的なセルマー群のサイズから切り離し、代わりに局所データと数の幾何学に依存させることで、著者は全実数体におけるモジュラリティ・リフティング定理の一般化における主要な障害を克服している。

本論文は、Theorem Bにおける「潜在的に（potentially）」という語を除去するか、あるいは非通常のケースを扱うことで、完全なフォンテーヌ–マズール予想を証明することを目的としているのではない。むしろ、潜在的なモジュラリティが、あるクラスの表現においてモジュラリティが保証されることを示している。著者は、潜在的なモジュラリティは、その表現が適合的な体系（compatible system）の中に存在することを意味し、追加の条件（ヴァイル–デリーニュ表現が潜在的に不分岐ではない素点が存在すること）の下では、その表現が幾何学に由来することを意味すると述べている。

本論文は、 $F=\mathbb{Q}$ の場合の大部分のケースはすでにSerreの予想やリフティング定理によって既知であったと明記しているが、本研究は特に、剰余像が可変である $p=2$ の「未解決のケース」を対象としており、モジュラリティの結果の射程をより広いクラスの表現と体へと広げている。