Nonzero $\mathfrak{n}$-cohomology of Totally Degenerate Limit of Discrete Series representations

技術的サマリー：TDLDS 表現の非零 $\mathfrak{n}$ コホモロジー

問題提起
離散系列の完全退化極限（TDLDS）表現は、標準的な離散系列表現に必要な正則性の仮定を緩和することで定義される。離散系列表現はガロア表現に対応し、算術幾何学との強固な関連性を有することが知られているが、TDLDS 表現には同様に確立された関連性は見出されていない。Carayol は、TDLDS が Griffiths-Schmid 領域（エルミート対称空間ではない）の整合コホモロジーにおいて検出可能であると指摘したが、これらの領域に複素構造が存在しないため、古典的な代数幾何学のツールの応用は妨げられている。ここで扱われる中心的な問題は、$\mathfrak{n}$を負のルート空間とするとき、TDLDS 表現 $\pi$ に対するリー代数コホモロジー $H^*(\mathfrak{n}, \pi)$ の非消滅性を決定し、これらコホモロジー群がユニタリ群に対する Gan-Gross-Prasad (GGP) 型の分岐則を支持しうる双対性性質を満たすかどうかを調査することである。

手法
本論文は、組合せ論的表現論と明示的な加群構成の組み合わせを採用する。

1. 組合せ論的枠組み: 著者は、Soergel [Soe97] によって導入された組合せ論的複体を用いてリー代数コホモロジーを計算する。これには、ブルワート順序と相対的ブルワート長さ（$l$ および $l_K$）を用いて、ウェイル群 $W$ の部分集合上に鎖複体を定義することが含まれる。これらの複体における微分は、$d^2=0$ を保証する特定の符号条件を満たすように構成される。
2. コホモロジー解析: 論文は、TDLDS 表現の重み空間 $H^*(\mathfrak{n}, \pi)_{-\lambda}$ を解析する。Casselman-Osborne 補題を活用することで、解析は無限小指標によって決定される特定の重みに制限される。著者は、TDLDS において、表現を定義する非コンパクトな単純根に起因して、関連する次数における微分が消滅することを証明する。
3. 明示的構成: 低ランクの場合（$SU(2,1) \subset SU(1,1)$）において、論文は抽象的な組合せ論的議論から明示的な計算へと移行する。Carayol [Car98] および Jantzen-Wallach [JW77] によって記述された $SU(2,1)$ の唯一の TDLDS の Harish-Chandra 加群分解を利用する。著者は、$SU(2,1)$ の TDLDS と $SU(1,1)$ の既約許容表現との間の明示的な intertwining 写像 $J$ を構成し、それが $\mathfrak{g}'$-作用と両立することを検証する。

主要な貢献と結果

• 非消滅定理（定理 1.1 / 定理 3.3）: 論文は、ウェイル群によって固定される任意の積分支配的重み $\lambda$（TDLDS の特徴）に対して、無限小指標 $\lambda + \rho$ を持つ TDLDS 表現 $\pi$ が存在し、標準的な次数 $q = \#(\Phi_K \cap \Phi^+)$ においてコホモロジー群 $H^q(\mathfrak{n}, \pi)_{-\lambda}$ が非零であることを確立する。これは Carayol および Kerr による先行する結果を、すべての簡約群に拡張するものである。
• Serre 双対性（定理 1.2 / 定理 3.6）: 著者は、これらのコホモロジー群が Serre 双対性を満たすことを証明する。具体的には、$H^q(\mathfrak{n}, V)_{-\lambda} \simeq H^{\#\Phi^+ - q}(\mathfrak{n}, V^\vee)_{\lambda + 2\rho}$ である。証明は、この双対性が $K$-型の $\mathfrak{n} \cap \mathfrak{k}$ コホモロジーの Serre 双対性と両立することを示す。
• GGP 予想との関連（第 4 節）: 論文は、これらのコホモロジー群を通じて GGP 予想の幾何学的解釈を提案する。ランク $n$ と $n+1$ のユニタリ群に対する Griffiths-Schmid 多様体上の線形束のコホモロジー群間の制限写像を構成する。これらの写像の非消滅性は、周期積分および $L$-値の非消滅性と関連付けられる。
• 明示的 intertwining 写像（定理 1.3 / 定理 5.7）: 特定の包含関係 $SU(1,1) \subset SU(2,1)$ に対して、論文は $\mathfrak{g}'$-加群の準同型 $J: \pi \to \pi'$ を構成する。主要な結果は、そのような写像が次数 1 においてコホモロジー上で非消滅の制限を誘導するのは、$\pi'$ が $SU(1,1)$に対する離散系列の反正則極限である場合に限られるということである。注目すべきは、この写像は$SU(2,1)$の最小$K$-型上で消滅するが、コホモロジーのレベルでは非自明な写像を誘導するということである。

意義と主張
本論文は、特定のケースを超えて、すべての簡約群における TDLDS の $\mathfrak{n}$-コホモロジーの非消滅性に関する、最初の堅牢な組合せ論的証明を提供すると主張する。これらの群に対する Serre 双対性を確立することにより、標準的な離散系列の性質を反映する構造的枠組みを創出する。

著者は、これらの結果が TDLDS と GGP 予想との間の関連性に対する証拠を提供すると提唱する。具体的には、コホモロジー制限写像の非消滅性は、TDLDS におけるアーキメデス点での周期積分の非消滅性に対するコホモロジー的障害が存在しないことを示唆する。しかし、論文はこの関連性の範囲については控えめであり、すべてのユニタリ群への一般化を証明された予想ではなく、未解決の問題（質問 1.4）として位置づけている。$SU(2,1)$ に対する明示的構成は、低ランクにおいてこれらの分岐則を研究する方法の「基本的な例」として機能し、intertwining 写像が最小 $K$-型を消滅させる場合であっても非消滅コホモロジーが発生しうることを示しており、これは変換関手を用いるアプローチとは異なる現象である。