[论文解读] 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)$ 的極大階 pariabolic 子群所誘導的退化主系數表示之間的交錯算子空間。證明該空間的維數至多為一，並明確描述所有維數恰好為一的情況——分為標準、混合或例外交錯算子——從而建立了此類算子的完整無重複分類。

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)$。
• 明確分類所有此類交錯算子，特別是識別其存在條件與結構。
• 證明在所有情況下，交錯算子空間的維數至多為一，從而確立重複性一的性質。
• 證明所有此類交錯算子均來自已知的幾何變換（例如，Radon 變換、餘弦變換）或其推廣，不存在其他類型。
• 分類所有滿足 $\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)$，並識別標準、混合與例外情形。

提出的方法

• 使用從 $GL(n,F)$ 的極大階 pariabolic 子群 $P_{p_1,p_2} \subset GL(n,F)$ 誘導的退化主系數表示框架，其中在 $P$ 上具有特徵 $\chi_1 \otimes \chi_2$。
• 將誘導表示 $\pi = \chi_1 \times \chi_2$ 定義為格拉斯曼流形 $G/P$ 上線叢的光滑截面，該流形參數化 $F^n$ 中的 $p_1$-維子空間。
• 應用表示的導數理論，並利用唯一不可約商模/子模的概念，分析非零交錯映射的存在性。
• 利用中心扭轉不變性：對任意 $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)$ 的最大可能維數為何？何時其維數恰好為一？
• RQ3 哪些表示四元組 $\mathfrak{X} = (\chi_1, \chi_2, \chi_3, \chi_4)$ 會產生非平凡交錯算子？能否實現完全分類？
• RQ4 所有已知的幾何交錯算子（如 Radon 變換與餘弦變換）是否均包含在此分類中？是否存在新的類型？
• RQ5 中心扭轉如何影響交錯算子的存在性與結構？能否用於將分類簡化至標準形式？

主要发现

• 對於所有 $\chi_1, \chi_2, \chi_3, \chi_4$ 的選擇，$\mathrm{Hom}_{G_n}(\pi_1, \pi_2)$ 中交錯算子的空間維數至多為一。
• 維數恰好為一，當且僅當表示四元組 $\mathfrak{X} = (\chi_1, \chi_2, \chi_3, \chi_4)$ 為標準、混合或例外情形，如本文所定義。
• 標準交錯算子包括恆等映射 ($\pi \dashrightarrow \pi$) 和交換映射 ($\pi \dashrightarrow \tilde{\pi}$)，二者始終存在。
• 混合交錯算子來自如 $\widetilde{\alpha_j} \dashrightarrow \alpha_i$ 的配置，其中 $0 \leq i \neq j < k$，且 $\alpha_i = [0,i) \times [i,k)$。
• 例外交錯算子存在於 $F = \mathbb{R}$ 或 $\mathbb{C}$ 時，包括如 $1 \times \delta^i\varsigma \dashrightarrow \delta^i \times \varsigma$ 對 $GL_k(\mathbb{R})$，以及 $GL_k(\mathbb{C})$ 的類似情形。
• 除標準、混合或例外類別外，不存在其他交錯算子——因此分類是完整且 exhaustive 的。