Some vanishing results for the rational completed cohomology of Shimura varieties

この論文「SOME VANISHING RESULTS FOR THE RATIONAL COMPLETED COHOMOLOGY OF SHIMURA VARIETIES（シャミュー多様体の有理数係数完備コホモロジーに関するいくつかの消滅結果）」は、カイ・ウェン・ラン（Kai-Wen Lan）とリュエ・パン（Lue Pan）によって書かれています。

以下に、この論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて日本語で詳細に記述します。

1. 問題設定 (Problem)

シャミュー多様体（Shimura varieties）の $p$ 進完備コホモロジー（completed cohomology）は、エメトン（Emerton）によって導入され、$p$ 進モジュラー形式の空間の代わりとして機能する重要な対象です。この空間は $G(\mathbb{Q}_p)$ の連続作用を持ち、その無限小指標（infinitesimal character）に関する構造は数論的幾何学において中心的な関心事です。

特に、シャミュー多様体の次元 $d$ 未満の次数におけるコホモロジーの振る舞いは、カレガリ・エメトン予想（Calegari–Emerton conjecture）や、通常の局所系のコホモロジーにおける消滅定理の文脈で重要視されています。
既存の研究（Caraiani–Scholze など）は、$l \neq p$ における $p$ 進（または mod $p$）表現の一般性（genericity）条件に基づいた消滅結果を提供してきましたが、これらは整数係数（ねじれを含む）を扱います。

本研究の核心的な問い：
$G(\mathbb{Q}_p)$ の作用に対する有理数係数（rational coefficients）の完備コホモロジーにおいて、特に「十分正則（sufficiently regular）」な無限小指標を持つ部分空間が、中位数（middle degree, $d$）未満の次数で消滅するかどうかを明らかにすることです。

2. 手法とアプローチ (Methodology)

この論文は、以下の 3 つの主要な数学的道具を組み合わせて証明を構成しています。

1. Bhatt の混合特性におけるほぼコディラ消滅定理（Almost Kodaira Vanishing）:

   • バルガブ・バット（Bhatt）が証明した、混合特性（mixed characteristic）におけるコディラ型の消滅定理を利用します。これは、ある ample 線形束 $L$ に対して、$H^{<d}(X, \mathcal{F} \otimes L^{-1}) = 0$ となるような「ほぼ」消滅を示すものです。
   • 著者らはこれを、シャミュー多様体の無限レベルの塔（tower）上の局所解析的関数（locally analytic functions）の完備化されたコホモロジーに適用できるように、Kummer 等式サイト（Kummer étale site）やプロ・Kummer 等式サイト（pro-Kummer étale site）の枠組みを用いて再定式化・一般化します。

2. 幾何学的 Sen 理論（Geometric Sen Theory）とホッジ・テイト周期写像:

   • シャミュー多様体の無限レベルにおける完備コホモロジーは、ホッジ・テイト周期写像（Hodge–Tate period morphism）$\pi_{HT}$ を介して、部分旗多様体（partial flag variety）$\mathcal{F}\ell$ 上の幾何学的構造と関連付けられます。
   • 局所解析的ベクトル空間 $O_S^{la}$ に対する $G(\mathbb{Q}_p)$ の作用は、無限小作用素（Sen operators）によって記述され、これらは旗多様体上の Lie 代数作用と対応します。特に、$Z(\mathfrak{g})$（$\mathfrak{g}$ の普遍包絡環の中心）の作用が、$Z(\mathfrak{m})$（レヴィ部分代数の中心）の作用を通じて記述されることが示されます。

3. 翻訳関手（Translation Functors）と Beilinson–Bernstein 局所化:

   • 旗多様体上のコホモロジーにおける「ねじれ（twisting）」を解除するために、Beilinson–Bernstein による局所化の理論と翻訳関手を利用します。
   • 有限次元表現 $V$ とテンソル積を取る操作（翻訳関手）を用いることで、$L^{-1}$ のねじれを除去し、十分正則な無限小指標を持つ部分空間がコホモロジーに現れないことを示します。
   • この議論は、$Z(\mathfrak{g})$ の作用が $Z(\mathfrak{m})$ の作用とどのように関連するか（Harish-Chandra 同型を通じた関係）を精密に追跡することで機能します。

3. 主要な貢献と結果 (Key Contributions and Results)

主定理 (Main Theorem)

シャミュー多様体の次元を $d$ とします。$G(\mathbb{Q}_p)$ の局所解析的完備コホモロジー $\tilde{H}^{<d, la}_{\mathbb{C}}$ において、**十分正則（sufficiently regular）**な無限小指標を持つ部分空間はすべてゼロになります。

具体的には、$Z(\mathfrak{g})$ の中心の指標 $[\lambda]$ が「$\mu_h$-十分正則」である場合、その同型部分（isotypic part）$\tilde{H}^{<d, la}_{\mathbb{C}, [\lambda]}$ は消滅します。
ここで「十分正則」とは、対応するウェイト $\lambda'$ に対して、すべての根 $\alpha$ について $(\lambda', \alpha^\vee)$ が特定の値（短根の場合は $\{1, 2\}$、それ以外は $\{1\}$）をとらないことを意味します。

重要な特徴:

• 有理数係数: この結果は、ねじれ（torsion）を含まない有理数係数（$p$ 進完備化された $\mathbb{Q}_p$ 係数）の文脈で得られています。
• 一般性: 任意のシャミュー多様体（コンパクトでない場合も含む）および、必ずしも有限次元ではない「大きな」局所系（automorphic local systems）に対しても適用可能です。
• 条件の精密化: 従来の「正則（regular）」という条件よりも、根の長さ（短根と長根の区別）を考慮したより精密な「十分正則」条件を導出しました。特に、タイプ B や C の単純因子を持つ場合、短根に対する条件が重要になります。

補題と関連結果

• Bhatt の定理の適用: シャミュー多様体の無限レベルの塔上のコホモロジーに対して、Bhatt の混合特性における消滅定理を適用する技術的な枠組みを構築しました。
• 翻訳関手による除去: 旗多様体上の線形束のねじれを、翻訳関手を用いて除去する標準的な手法を、$p$ 進幾何の文脈で成功させました。
• 例外ケースの計算: 例外型（$E_6, E_7$）の Lie 代数における計算を、コンピュータ代数システムを用いて厳密に検証し、定理の一般性を保証しました。

4. 意義 (Significance)

1. 有理数係数における消滅定理の確立:
   これまでの消滅結果（Caraiani–Scholze など）は主に整数係数や $l \neq p$ の一般性に依存していました。本研究は、$p$ 進表現そのものの構造（無限小指標）に直接基づいた、有理数係数での消滅定理を提供しました。これは、$p$ 進 Langlands 対応や $p$ 進モジュラー形式の空間の構造理解において重要な一歩です。

2. 中位数以下の次数の重要性の裏付け:
   シャミュー多様体のコホモロジーにおいて、最も興味深い情報が中位数 $d$ 以降に現れるという予想（Calegari–Emerton 予想など）を、無限小指標の観点から強く支持する結果となりました。$d$ 未満の次数では、十分正則な指標を持つ表現は現れないことが示されました。

3. 既存結果の再証明と拡張:
   著者自身による以前の論文 [Lan16] で得られた、有限次元局所系に対する消滅結果を、より一般的な設定（無限次元の局所解析的表現を含む）で再証明し、条件を精緻化しました。また、タイプ B や C の場合における短根の扱いを明確にしました。

4. 手法の革新:
   Bhatt の混合特性における代数的幾何学の強力な結果（ほぼコディラ消滅）を、$p$ 進解析的対象（完備コホモロジー）に応用する新しい橋渡しを行いました。これは、$p$ 進 Hodge 理論と代数幾何の深いつながりを示す好例です。

結論

この論文は、シャミュー多様体の $p$ 進完備コホモロジーの構造に関する重要な進展をもたらしました。Bhatt の消滅定理、幾何学的 Sen 理論、および翻訳関手という 3 つの強力なツールを統合することで、有理数係数のもとで「十分正則」な無限小指標を持つコホモロジーが中位数未満で消滅することを証明しました。これは、$p$ 進モジュラー形式の空間の次元や構造を制限する新しい制約条件を提供し、今後の $p$ 進 Langlands 研究や数論的幾何学の発展に寄与するものです。