[論文レビュー] Harish-Chandra Modules over $\Bbb Z$

Günter Harder|arXiv (Cornell University)|Jul 2, 2014

Advanced Algebra and Geometry参考文献 4被引用数 4

ひとこと要約

本稿では、GL₂(ℝ) の離散的系列表現の整数環 ℤ 上のハリシュ＝チャンドラ加群を導入し、その整数構造を構成し、そのコホモロジーを研究する。相互作用作用素が有理数倍の π のべきに一致することを示し、算術幾何におけるコホモロジー的周期の整数性を支持する有理数性の結果を得る。

ABSTRACT

In this note we discuss the concept of Harish-Chandra modules over the integers. The main result is a rationality result for certain intertwining operator which is used in a joint paper with Raghuram. We also discuss an interesting question concerning the arithmetic properties of this intertwining operator.

研究の動機と目的

• 実再帰的リー群の整数環 ℤ 上のハリシュ＝チャンドラ加群を定義し、構成する。
• 特に離散的系列表現の文脈において、これらの加群のコホモロジーを、有限生成 ℤ-加群として研究する。
• ℚ(s) 上の誘導加群間の相互作用作用素を分析し、それらが Γ(s)R(s) の形に表され、R(s) ∈ ℚ(s) であることを示す。
• 相互作用作用素がコホモロジーに誘導する同型が、ℚ ではなく ℤ 上で定義されているかどうかを調査する。
• 周期の有理数性を L-関数およびイーゼンスタイン類の算術的性質と結びつける。

提案手法

• リー代数 𝔤_ℤ と最大コンpakト部分群スキーム 𝒦/ℤ との整合的作用を持つ ℤ-加群として、ℤ 上のハリシュ＝チャンドラ加群を定義する。
• 局所化と twisting を用いて、ℚ(s) 上で整数版のバーナンスタイン＝ゲルファンド関手 𝔻_λ^ε を構成する。
• H^•(𝔤_ℤ, 𝒦, 𝔻_λ^ε ⊗ ℳ_λ,ℤ[𝑖,1/2]) を有限生成 ℤ-加群としてコホモロジー群を計算する。
• ℚ(s) 上での積分変換により相互作用作用素を定義し、それらが Γ(s)R(s) の形に表され、R(s) ∈ ℚ(s) であることを示す。
• s=0 における相互作用作用素の評価を行い、それが π のべきの非ゼロ有理数倍に一致することを証明する。
• ガロア不変性と局所的自明化を用いて代数的周期 Ω_i(π_f,ι,ε) を定義し、それらをコホモロジー的 L-値と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 GL₂(ℝ) の離散的系列表現は、ℤ 上の整数構造として実現可能か？
• RQ2 ℤ 上のハリシュ＝チャンドラ加群のコホモロジー群は、有限生成 ℤ-加群か？
• RQ3 ℚ(s) 上の誘導ハリシュ＝チャンドラ加群間の相互作用作用素を s=0 で評価すると、有理数倍の π が得られるか？
• RQ4 相互作用作用素がコホモロジーに誘導する同型は、ℚ ではなく ℤ 上で定義されているか？
• RQ5 周期 Ω_i(π_f,ι,ε) の素因数は、イーゼンスタイン類および L-値の分母とどのように関係するか？

主な発見

• GL₂ の ℤ-整数的離散的系列加群のコホモロジーは、最高次数においてランク1の自由 ℤ-加群である。
• 誘導加群間の相互作用作用素は、R(s) ∈ ℚ(s) である Γ(s)R(s) の形に表され、s=0 での値は π のべきの非ゼロ有理数倍である。
• 相互作用作用素がコホモロジーに誘導する同型は ℤ 上で定義されており、算術的コホモロジーにおける周期の整数性を支持する。
• 周期 Ω_i(π_f,ι,ε) は、係数体の整数環における単数を単位として、well-defined であり、それらの比は整数環の単数群に属する。
• L-値比 L^coh(ι,σ×σ′^v, m₀)/L^coh(ι,σ×σ′^v, 1+m₀) の有理数性は、精緻化された周期定義のもとで保たれ、今や算術的意味を持つ。
• 周期の素イデアルへの分解はイーゼンスタイン類の分母を反映している可能性があるが、これは要因 c_∞(μ̃) のために曇ることがある。