[論文レビュー] Intertwining operators between line bundles on Grassmannians

Dmitry Gourevitch, Siddhartha Sahi|arXiv (Cornell University)|Mar 5, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 3

ひとこと要約

本稿では、任意の特徴を持つ局所体 $F$ における $GL(n,F)$ の最大パラボリック部分群から誘導される退化主系列表現間の埋め込み作用素の空間を明示的に決定する。この空間の次元は常に1以下であり、それがちょうど1となる場合（標準的、混合的、例外的埋め込み作用素に分類される）を同定することで、このような作用素の完全な多重性1分類を確立する。

ABSTRACT

Let G=GL(n,F) where F is a local field of arbitrary characteristic, and let $π_1,π_2$ be representations induced from characters of two maximal parabolic subgroups $P_1,P_2$. We explicitly determine the space $Hom_G(π_1,π_2)$ of intertwining operators and prove that it has dimension at most 1 in all cases.

研究の動機と目的

• $GL(n,F)$ 上の退化主系列表現 $\pi_1 = \chi_1 \times \chi_2$ と $\pi_2 = \chi_3 \times \chi_4$ 間の埋め込み作用素の空間 $\mathrm{Hom}_{G_n}(\pi_1, \pi_2)$ を特定すること。
• このような埋め込み作用素を明示的に分類し、特にその存在条件と構造を同定すること。
• すべての状況において、埋め込み作用素の空間の次元が1以下であることを証明し、多重性1の性質を確立すること。
• すべてのこのような埋め込み作用素が、既知の幾何的変換（例：ラドン変換、コサイン変換）またはその一般化から生じることを示し、それ以外の作用素は存在しないこと。
• 次元 $\dim \mathrm{Hom}_{G_n}(\chi_1 \times \chi_2, \chi_3 \times \chi_4) = 1$ を満たす表現 $\mathfrak{X} = (\chi_1, \chi_2, \chi_3, \chi_4)$ を分類し、標準的、混合的、例外的ケースを特定すること。

提案手法

• 最大パラボリック部分群 $P_{p_1,p_2} \subset GL(n,F)$ から誘導される退化主系列表現の枠組みを用いる。$P$ 上で $\chi_1 \otimes \chi_2$ のキャラクターを持つ。
• 誘導表現 $\pi = \chi_1 \times \chi_2$ を、$F^n$ の $p_1$ 次元部分空間をパラメトライズするグラスマンニアン $G/P$ 上のラインバンドルの滑らかな切断として定義する。
• 表現の導関数理論を適用し、非自明な埋め込み写像の存在を分析するために、唯一の既約商／部分モジュールの概念を用いる。
• 中心的ねじれ不変性：任意の $F^\times$ のキャラクター $\psi$ に対して $H(\mathfrak{X}) \cong H(\psi\mathfrak{X})$ を用い、分類を標準形に還元する。
• 中心キャラクター条件：すべての $z \in F^\times$ に対して $\psi_1(z)^{p_1}\psi_2(z)^{p_2} = \psi_3(z)^{p_3}\psi_4(z)^{p_4}$ を用い、可能な表現を制約する。
• $n = p_1 + p_2 = p_3 + p_4$ についての帰納法を用い、$H_0(\mathfrak{X})$ 条件を介して問題をより小さい $n$ に還元し、$p_i = 1$ かどうかに基づく場合分けで解析する。

実験結果

リサーチクエスチョン

• RQ1 $GL(n,F)$ 上の二つの退化主系列表現 $\chi_1 \times \chi_2$ と $\chi_3 \times \chi_4$ 間に非自明な埋め込み作用素が存在するのはいつか？
• RQ2 空間 $\mathrm{Hom}_{G_n}(\chi_1 \times \chi_2, \chi_3 \times \chi_4)$ の最大次元は何か？ そしてそれがちょうど1になるのはいつか？
• RQ3 どの表現 $\mathfrak{X} = (\chi_1, \chi_2, \chi_3, \chi_4)$ が非自明な埋め込み作用素をもたらし、それらを完全に分類できるか？
• RQ4 既知の幾何的埋め込み作用素（例：ラドン変換、コサイン変換）がこの分類にすべて含まれるか、それ以外の新しい作用素が存在するか？
• RQ5 中心的ねじれは埋め込み作用素の存在と構造にどのように影響するか？ そして、分類を標準形に還元するために使用できるか？

主な発見

• すべての $\chi_1, \chi_2, \chi_3, \chi_4$ の選択に対して、$\pi_1 = \chi_1 \times \chi_2$ と $\pi_2 = \chi_3 \times \chi_4$ 間の埋め込み作用素の空間 $\mathrm{Hom}_{G_n}(\pi_1, \pi_2)$ の次元は1以下である。
• 次元がちょうど1であるのは、表現四つ組 $\mathfrak{X} = (\chi_1, \chi_2, \chi_3, \chi_4)$ が本稿で定義された標準的、混合的、または例外的である場合に限る。
• 標準的埋め込み作用素には、恒等写像 ($\pi \dashrightarrow \pi$) と転置写像 ($\pi \dashrightarrow \tilde{\pi}$) が含まれ、これらは常に存在する。
• 混合的埋め込み作用素は、$0 \leq i \neq j < k$ のような配置 $\widetilde{\alpha_j} \dashrightarrow \alpha_i$ から生じる。ここで $\alpha_i = [0,i) \times [i,k)$ である。
• 例外的埋め込み作用素は $F = \mathbb{R}$ または $\mathbb{C}$ の場合に存在し、例として $GL_k(\mathbb{R})$ における $1 \times \delta^i\varsigma \dashrightarrow \delta^i \times \varsigma$ や、$GL_k(\mathbb{C})$ における類似のケースが含まれる。
• 標準的、混合的、例外的クラスに属さない他の埋め込み作用素は存在しない。したがって、分類は完全かつ包括的である。