[論文レビュー] Integral Eisenstein cocycles on GLn, I : Sczech's cocycle and p-adic L-functions of totally real fields

Pierre Charollois, Samit Dasgupta|arXiv (Cornell University)|Jun 14, 2012

Algebraic Geometry and Number Theory参考文献 11被引用数 8

ひとこと要約

本稿は、素数 ℓ における滑らか化操作を用いて、GLₙ(Q) 上の Sczech のイーゼンスタインコサイクルの整数版を構成し、全実体の部分ゼータ関数が非正整数における整数性を示し、p-進 L-関数の新たなコhomological な構成を与える。また、s=0 におけるこれらの p-進 L-関数の零点の重複度が期待値以上であることを示し、Spiess の形式的体系を用いて Gross の予想を確認する。

ABSTRACT

We define an integral version of Sczech's Eisenstein cocycle on GLn by smoothing at a prime ell. As a result we obtain a new proof of the integrality of the values at nonpositive integers of the smoothed partial zeta functions associated to ray class extensions of totally real fields. We also obtain a new construction of the p-adic L-functions associated to these extensions. Our cohomological construction allows for a study of the leading term of these p-adic L-functions at s=0. We apply Spiess's formalism to prove that the order of vanishing at s=0 is at least equal to the expected one, as conjectured by Gross. This result was already known from Wiles' proof of the Iwasawa Main Conjecture.

研究の動機と目的

• 素数 ℓ における滑らか化操作を用いて、GLₙ(Q) 上の Sczech のイーゼンスタインコサイクルの整数的精製を提供すること。
• 全実体のリーマン類拡大に関連する滑らか化された部分ゼータ関数が非正整数において整数的であることの証明。
• コhomological 手法を用いて p-進 L-関数を構成し、s=0 におけるその主要項を研究すること。
• これらの p-進 L-関数が s=0 において零点をとる重複度が、期待される値と一致することを確認し、Gross の予想を裏付けること。

提案手法

• 素数 ℓ における滑らか化操作を用いて、元のイーゼンスタインコサイクル Ψ を新たなコサイクル Ψₗ に滑らかにし、整数性の性質を向上させる。
• Ψₗ とホモロジー類とのコhomological ペアリングを用いて、ゼータ関数の特別値を抽出する。
• Spiess の p-進 L-関数の形式的体系を適用し、s=0 における零点の重複度を分析する。
• Cₚ^♭(Fₚ) が ℂₚ[T]-自由加群であることを示し、コhomological 計算におけるスペクトル系列の議論を可能にする。
• 対数的項における単項式の次数に関する帰納法を用い、特定の特性関数がコチェーン複体内のイデアル I に属することを示す。
• 誘導加群の構造と Hochschild–Serre スペクトル系列を活用し、自由性および退化性の性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 滑らか化されたイーゼンスタインコサイクル Ψₗ は、全実体の部分ゼータ関数が非正整数において整数値をとることを保証するか？
• RQ2 全実体のリーマン類拡大に関連する p-進 L-関数は、この整数的コサイクルを用いたコhomological 構成によって得られるか？
• RQ3 これらの p-進 L-関数が s=0 において零点をとる重複度は何か？ 期待される値と一致するか？
• RQ4 ℓ における滑らか化操作は、元のコサイクルと比較して整数性の性質をどのように改善するか？
• RQ5 コhomological 構成は、Gross が予想した零点の最小重複度を示すのに十分か？

主な発見

• 滑らか化されたゼータ関数 ζ_f,ₖ(𝔞,s) は非正整数 s において ℤ[1/ℓ] の値をとることを示し、滑らか化により整数性が保証される。
• これらの値を補間する p-進 L-関数 ζ_f,ₖ,p(𝔞,s) は、滑らか化されたコサイクル Ψₗ とのコhomological ペアリングによって構成される。
• s=0 における p-進 L-関数の零点の重複度は、期待される値以上であることが示され、Gross の予想が確認された。
• コチェーン複体 Cₚ^♭(Fₚ) は ℂₚ[T]-自由加群であるため、Hochschild–Serre スペクトル系列が E² で退化することが示された。
• 適切な条件下で、コチェーン複体内のイデアル I は、すべての単項式 ℓ(x)^n で |n| ≤ k かつ |R| > |n| を満たすものを含む。
• 本構成により、Deligne–Ribet や Cassou-Noguès の結果を拡張した、ゼータ関数の特別値の整数性の新たな証明が得られた。