[論文レビュー] Construction of eigenvarieties in small cohomological dimensions for semi-simple, simply connected groups

Richard Hill|ArXiv.org|Jun 25, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用数 8

ひとこと要約

この論文は、エメートンのスペクトル系列法を適応させることで、小次元のコhomological次元における単純連結な半単純群の固有多様体の構成を確立する。実ランク1の群に対してはコホモロジー次元1で固有多様体が構成され、実ランク2の群に対しては、ある種のリー・コホモロジー群の消滅と合同核の自明性に依拠する修正手法により次元2で成功する。

ABSTRACT

We study low order terms of Emerton's spectral sequence for simply connected, simple groups. As a result, for real rank 1 groups, we show that Emerton's method for constructing eigenvarieties is successful in cohomological dimension 1. For real rank 2 groups, we show that a slight modification of Emerton's method allows one to construct eigenvarieties in cohomological dimension 2.

研究の動機と目的

• 半単純で単純連結な群に対して、小次元コホモロジー次元における固有多様体の構成を拡張すること。
• エメートンの元来の手法が高次元コホモロジーにおいて有効でない場合の制限を克服し、その有効性が保証される条件を同定すること。
• 実ランク1の群では次元1、実ランク2の群では次元2において固有多様体の存在を確立すること。
• SL₂、SL₃、Sp₄、およびSpin(2,l)などの主要な群に対して、弱エメートン基準と合同核の自明性が成り立つことを検証すること。
• 低次元コホモロジーにおける古典的自己尖型表現の補間を可能にする、固有多様体の枠組みを提供すること。

提案手法

• 算術群のコホモロジーに係数をとる際、エメートンのスペクトル系列手法を適応する。
• 数体上の単純連結で半単純な群に関連するシムーラ多様体にそのスペクトル系列を適用する。
• 群の局所解析的コホモロジーを用いて、E₂シートの分析を行い、E₃およびE₄シートへの安定化を追跡する。
• サタケ同型とヘッケ代数の分解を用いて、球的ヘッケ代数のコホモロジー上での作用を記述する。
• スペクトル系列の分解を保証するために、合同核の自明性および相対リー・コホモロジー群（例：H³(𝔤, K∞, ℂ) = 0）の消滅に依拠する。
• ポアンカレ双対性を適用して、偶数次元の対称空間における補完的コホモロジー次元への構成の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 実ランク1の群に対して、エメートンの手法がコホモロジー次元1に成功裏に適用可能か。
• RQ2 エメートンの手法の修正版が、実ランク2の群に対してコホモロジー次元2で固有多様体を構成可能か。
• RQ3 スペクトル系列がどれほど早く安定化するかが、固有多様体の構成を可能にする条件は何か。
• RQ4 合同核の自明性が弱エメートン基準の有効性を保証するために果たす役割は何か。
• RQ5 リー・コホモロジーの消滅結果（例：H³(𝔤, K∞, ℂ) = 0）が、低次元における固有多様体の構成に与える影響は何か。

主な発見

• 数体上のSL₂に対して、スペクトル系列を用いてコホモロジー次元1における固有多様体E(1, Kᵖ)が構成され、関連する双次数でE₄シートがH²_class.(G, E)に安定化する。
• ℚ上のSL₃に対して、次元2における固有多様体E(2, Kᵖ)が構成され、スペクトル系列はE₅シートで安定化し、H²_class.(G, E)がそのターゲットとして現れる。
• ℚ上のSp₄に対して、次元2における固有多様体E(2, Kᵖ)が構成され、スペクトル系列は安定化しており、H³_rel.Lie(𝔤, K∞, ℂ) = 0が定理8の適用可能性を保証する。
• l ≥ 3 に対するSpin(2,l)では、合同核が自明であり、H³(𝔤, K∞, ℂ) = 0 であるため、定理8を用いてE(2, Kᵖ)が構成可能である。
• すべての研究対象となった場合、スペクトル系列はE₄またはE₅で安定化し、古典的コホモロジー群Hⁿ_class.(G, E)はスペクトル系列のE∞-項として回復される。
• 構成はポアンカレ双対性と整合的であり、固有多様体の補完的コホモロジー次元（例：Sp₄ではH⁴）への拡張が可能である。