[論文レビュー] Dirac cohomology of unipotent representations of Sp(2n,R) and U(p,q)

Dan Barbasch, Pavle Pandžić|arXiv (Cornell University)|Feb 11, 2013

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

ひとこと要約

本稿は、実リー群 $\mathrm{Sp}(2n,\mathbb{R})$ および $U(p,q)$ の特殊ユニポテンツ表現のディラック・コホモロジーを、ディラック作用素と表現論的技法を用いて計算する。ディラック・コホモロジーが、特定のワイル群作用によって定まる最高重量を持つ $\widetilde{K}$-型から構成され、重複度 $\binom{p_2 + q_2}{p_2}$ を持つことを証明し、これらのコホモロジー・モジュールの完全分類を提供する。

ABSTRACT

In this paper we study the problem of computing the Dirac cohomology of the special unipotent representations of the real groups Sp(2n,R) and U(p,q).

研究の動機と目的

• $\mathrm{Sp}(2n,\mathbb{R})$ および $U(p,q)$ の特殊ユニポテンツ表現のディラック・コホモロジーを計算すること。これらは実再帰的リー群の表現論において基本的である。
• ディラック・コホモロジーに現れる $\widetilde{K}$-モジュールの構造、特にその最高重量と重複度を特定すること。
• ディラック不等式と Huang-Pandžić 定理を用いて、表現の無限小特性とコホモロジー内の $\widetilde{K}$-型との間の明確な対応を確立すること。
• $\rho_{\mathfrak{g}}$ と $w\tilde{\tau}$ の成分ごとの分布を分析することにより、ディラック・コホモロジーを記述する方程式系のすべての解を分類すること。

提案手法

• $\mathfrak{s}$ の基底 $\{b_i\}$ と、非退化不変形式 $B$ に関する双対基底 $\{d_i\}$ を用いて、$U(\mathfrak{g}) \otimes C(\mathfrak{s})$ 内のディラック作用素 $D = \sum_i b_i \otimes d_i$ を用いる。
• ディラック不等式と Huang-Pandžić 定理を適用し、コホモロジー内に現れる可能性のある $\widetilde{K}$-型を、ワイル群 $W$ のある $x$ に対して $x\Lambda = \tau + \rho_{\mathfrak{k}}$ を満たすものに制限する。
• $\rho_{\mathfrak{g}}$ 及びその $\sigma$ と $w$ による像の成分ごとの構造を分析し、$p_2 + q_2$ 個の最大および最小成分に注目して $w\tilde{\tau}$ を再構成する。
• $(p_2, q_2)$-シャッフルの議論を用いて、$\rho_{\mathfrak{g}}$ の成分の各分布が方程式 (5.7) の一意的な解に対応することを示す。
• 解における $b_i$ と $a_j$ 成分の整合性を保つために、対称性条件 $(\sigma\rho_{\mathfrak{g}})'_{q-i+1} = - (\sigma\bar{\rho}_{\mathfrak{g}})_i$ を用いる。
• 得られた $b_i$ および $a_j$ 数列が厳密に減少していることを検証し、それらが $\widetilde{K}$-モジュールの有効な最高重量を定めることを保証する。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{Sp}(2n,\mathbb{R})$ および $U(p,q)$ の特殊ユニポテンツ表現のディラック・コホモロジーの構造は何か？
• RQ2 どの $\widetilde{K}$-型がディラック・コホモロジーに現れ、重複度はどれほどか？
• RQ3 ワイル群作用と無限小特性は、コホモロジー内の可能な $\widetilde{K}$-型をどのように制限するか？
• RQ4 与えられた $\widetilde{K}$-型がコホモロジーに現れるために満たすべき条件は何か？ また、このような型を体系的に列挙する方法は？
• RQ5 $\rho_{\mathfrak{g}}$ の成分ごとの分布が、コホモロジー方程式の解をどのように決定するか？

主な発見

• $\mathrm{Sp}(2n,\mathbb{R})$ や $U(p,q)$ の任意の特殊ユニポテンツ表現 $X(p_1, q_1, \xi)$ のディラック・コホモロジーは、方程式 (5.5) で定義される最高重量 $\tau$ を持つ $\widetilde{K}$-モジュール $E_\tau$ から構成される。
• 各 such $\widetilde{K}$-型 $E_\tau$ は、ディラック・コホモロジーに重複度 $\binom{p_2 + q_2}{p_2}$ で現れる。
• コホモロジー方程式 (5.7) の解は、$\rho_{\mathfrak{g}}$ の最大および最小成分のすべての可能な $(p_2, q_2)$-シャッフルと一対一に対応する。
• $w\tilde{\tau}$ の成分構造は、$\sigma\rho_{\mathfrak{g}}$ 成分の分布によって完全に決定され、$w\tilde{\tau}_{p_2+1} = i_1 + 1, \dots, w\tilde{\tau}_{p_2 + r} = i_r + r$ および $w\tilde{\tau}_{q_2 + 1} = k_1 + 1, \dots, w\tilde{\tau}_{q_2 + t} = k_t + t$ となる。
• システムの整合性は、対称性条件 $(\sigma\bar{\rho}_{\mathfrak{g}})'_{q-i+1} = - (\sigma\bar{\rho}_{\mathfrak{g}})_i$ に依存し、これにより導かれた $b_i$ および $a_j$ 数列が厳密に減少しており、したがって有効な最高重量を定めることを保証する。