[論文レビュー] On higher special elements of $p$-adic representations

David Burns, Takamichi Sano+1 more|Research Portal (King's College London)|Sep 11, 2018

Algebraic Geometry and Number Theory参考文献 12被引用数 3

ひとこと要約

本稿は、$p$-進ガロアコホロジーの外冪双対の高次特殊要素に対する新しい代数的枠組みを導入し、Euler系を高ランクに一般化する。標準的高さ双対性を用いて整数性の性質、消滅子の公式、合同関係を確立し、ディリクレ$L$関数の導関数およびQuillen–Lichtenbaum予想に関する予想を精緻化する応用を行う。$K_{2m-1}$-群の修正された類数公式を証明する。

ABSTRACT

As a natural generalization of the notion of `higher rank Euler system', we develop a theory of `higher special elements' in the exterior power biduals of the Galois cohomology of $p$-adic representations. We show, in particular, that such elements encode detailed information about the structure of Galois cohomology groups and are related by families of congruences involving natural height pairings on cohomology. As a first concrete application of the approach, we use it to refine, and extend, a variety of existing results and conjectures concerning the values of derivatives of Dirichlet $L$-series.

研究の動機と目的

• 外冪双対における$p$-進ガロアコホロジー群の高次特殊要素の一般代数的理論を構築すること。
• 入力データに制限を課さずに、これらの要素の整数性および消滅子の性質を確立すること。
• 標準的高さ双対性を用いて、高次特殊要素間の合同関係を定式化し、証明すること。
• 理論をディリクレ$L$関数の導関数およびQuillen–Lichtenbaum予想に関する予想の精緻化・拡張に応用すること。
• 円分要素の文脈において、高次特殊要素を用いて$K_{2m-1}(\mathcal{O}_F)$の修正された類数公式を提示すること。

提案手法

• 複体$C$、$\mathfrak{A}$-加群上の同型写像$\lambda$、および行列式モジュールの生成子$\mathcal{L}$を用いて、$H^1(C)$の$a$-重外冪における高次特殊要素$\eta_{(C,\lambda,\mathcal{L},x_\bullet)}$を定義する。
• これらの要素が$H^2(C)$の高次フィッティングイデアルを計算し、部分商の消滅子を生成することを証明する。$x_\bullet$の組に制限を課さない場合でも成立する。
• Gorenstein条件を用いて、外冪の商と$\mathfrak{A}$の商の間の標準的完全$\mathfrak{A}$-双一次双対性を構成する。
• コホロジー群上の標準的代数的高さ双対性を用いて、高次特殊要素間の合同関係を確立する。
• 算術的設定において、コンパクト台付き$p$-進コホロジーおよびNekovář–Selmer複体に理論を応用する。
• 円分データに付随する高次特殊要素がDeligne–Souléの円分要素と一致することを確認し、$K$-理論への関連を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 入力データに制限を課さずに、$p$-進ガロアコホロジーの外冪双対における高次特殊要素を体系的に定義する方法は何か？
• RQ2 高次特殊要素はどのような整数性および消滅子の性質を持つのか？また、ガロアコホロジー群の構造とどのように関係するか？
• RQ3 異なるデータセット間で高次特殊要素はどのように関係しているのか？これらの関係は標準的高さ双対性で捉えられるか？
• RQ4 この理論は、既知のディリクレ$L$関数の導関数に関する予想およびQuillen–Lichtenbaum予想を精緻化できるか？
• RQ5 高次特殊要素の構成は、古典的な$K_{2m-1}(\mathcal{O}_F)$の類数公式を回復または精緻化するか？

主な発見

• 高次特殊要素$\eta$は、$H^2(C)$の高次フィッティングイデアルを計算し、$x_\bullet$の組に制限がなくとも、$H^2(C)$の部分商の消滅子を生成する。これは定理3.10で示された。
• Gorenstein条件のもとで、$\bigwedge^a_{\mathfrak{A}}H^1(C)$の$\eta$によって生成される部分加群による商と、$\eta$によって定まるイデアルによる$\mathfrak{A}$の商の間の標準的完全$\mathfrak{A}$-双一次双対性が存在する。これは定理3.27で確立された。
• 高次特殊要素間の合同関係は、コホロジー群上の標準的代数的高さ双対性によって支配される。これは定理3.36で証明された。
• 円分データに付随する高次特殊要素は、Deligne–Souléの円分要素と一致し、$K$-理論におけるその役割が裏付けられた。
• 理論により、$K_{2m-1}(\mathcal{O}_F)$の修正された類数公式が証明された。具体的には、定理5.15で示されたように、$\left(\varepsilon_m^- \cdot K_{2m-1}(\mathcal{O}_F)^\prime / \mathbb{Z}'[G] \cdot c_F(m)\right)^\vee \cong \mathbb{Z}'[G]\varepsilon_m^- / \mathrm{Fit}^0_{\mathbb{Z}'[G]}(K_{2m-2}(\mathcal{O}_{F,\Sigma})^\prime)$が成り立つ。
• この結果により、El Boukhariの[15, Th. 6.5]における誤りが是正された。具体的には、$\prod_{\ell \in \Sigma \setminus \{\infty\}} (1 - \mathrm{Fr}_\ell^{-1} \cdot \ell^{m-1}) e_{I_\ell}$として正しく定義された因子が提供され、誤って定義された「Q(0)」因子が解消された。