[論文レビュー] The trace of Hecke operators on the space of classical holomorphic Siegel modular forms of genus two

Rainer Weissauer|ArXiv.org|Sep 9, 2009

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

ひとこと要約

この論文は、完全なシーゲルモジュラー群に対する genus two の古典的正則ホロモーフィックシーゲルモジュラー尖点形式の空間上のヘッケ作用素のトレースを、トレース公式と自動形式表現論を用いて計算する。主な結果は、トレースがエタールコホモロジー、イーゼンスタインコホモロジー、および楕円尖点形式に付随するガロア表現におけるフロベニウストレースで表されることを示し、[FG]の正則重みに関する予想を確認する。

ABSTRACT

We prove multiplicity one for vector valued holomorphic Siegel modular forms of weights greater or equal to 3 and the full Siegel modular group and give a trace formula for the action of the Hecke operators T(p) in the regular cases.

研究の動機と目的

• 完全なシーゲルモジュラー群に対する genus two の正則ホロモーフィックシーゲル尖点形式の空間上のヘッケ作用素のトレースを計算すること。
• トレース公式を用いて、シムーラ多様体のコホモロジーとガロア表現を通じて、このトレースを関連付けること。
• 正則重みにおける自動形式コホモロジーのオイラー特性に関する [FG] の予想 4.1 を確認すること。
• モジュライ空間 A₂ のコホモロジーをイーゼンスタイン、CAP、内部的、および非-CAP尖点形式に関連する成分に分解すること。

提案手法

• GSp(4,𝔸) に対して [W1]–[W3] のトレース公式を適用し、シーゲル尖点形式上のヘッケ作用素のトレースを分析する。
• H₆c(A₂, V_λ) のコホモロジーをイーゼンスタイン、CAP、内部的、および非-CAP (00) 成分に分解する。
• エイクララー＝シュミラ同型を用いて、A₁ のコホモロジーを重み r₂ の楕円モジュラー形式に関連付ける。
• コhomological なカスプ形式的自動形式表現を、重み (k₁,k₂) (k₁ ≥ k₂ ≥ 3) の正則離散的系列に対応付ける。
• 弱内部的リフトおよび CAP 表現の理論を用いて、非-CAP 形式の寄与を分離する。
• トレース公式を用いて、T(p) のトレースをコホモロジーおよびガロア表現上のフロベニウストレースの組み合わせとして表現する。

実験結果

リサーチクエスチョン

• RQ1 genus two シーゲル尖点形式上のヘッケ作用素のトレースは、自動形式的およびガロア理論的手段を用いてどのように計算できるか？
• RQ2 モジュライ空間 A₂ のコホモロジーは、イーゼンスタイン、CAP、内部的、非-CAP 成分にどのように正確に分解されるか？
• RQ3 トレース公式は、正則重みにおける自動形式コホモロジーのオイラー特性に関する [FG] の予想 4.1 を確認するか？
• RQ4 楕円尖点形式に付随するガロア表現は、genus two シーゲル尖点形式上のヘッケ作用素のトレースにおいて果たす役割は何か？
• RQ5 正則重みにおいて、GSp(4,𝔸_f) の作用の下でシムーラ多様体 M のコホモロジーはどのように分解されるか？

主な発見

• 重み (k₁,k₂) (k₁ > k₂ > 3) のシーゲル尖点形式の空間上のヘッケ作用素 T(p) のトレースは、コホモロジー上のフロベニウストレース、ガロア表現、およびイーゼンスタイン寄与を含む式で与えられる。
• 正則重み k₁ > k₂ > 3 に対して、イーゼンスタインコホモロジー H_E^•(M,V_λ) は消えるため、トレース公式が簡略化される。
• 非-CAP 尖点コホモロジー成分 H_00^•(M,V_λ) はランク 4·dim_ℂ([Γ₂,ρ]_00) のモチーフを寄与させ、[FG] が予測したモチーフ的構造を確認する。
• T(p) のトレースの式には、ガロア表現 ρ₂ と特徴子 ν_l^{k₂−2} のテンソル積上のフロベニウストレースを含む項が含まれており、重み r₁ の楕円尖点形式空間の次元で重み付けされている。
• オイラー特性 e_c(A₂, V_λ) は e_Eis, e_E, e_endo, および e_00 成分に分解され、e_00 は非-CAP 尖点形式に対応する。
• 結果として、正則重みにおける予想の L 関数の振る舞いと一致するため、[FG] の予想 4.1 が確認された。