[论文解读] Unitary spherical spectrum for split classical groups

Dan Barbasch|arXiv (Cornell University)|Sep 29, 2006

Advanced Algebra and Geometry参考文献 14被引用 13

一句话总结

本文對實數與 $ p $-進局部域上的分裂經典群 $\mathrm{Sp}(n)$ 和 $\mathrm{SO}(n)$ 的球對稱酉對偶進行了完整分類。透過引入一類稱為「相關」$ K $-類型的新 $ K $-類型，該類型可檢測非酉性，並在兩種設定下建立統一的證明，作者表明酉性僅取決於其對偶群中的相關幂零軌道，從而實現了表示理論中的一種萊夫謝茨原理形式。

ABSTRACT

This paper gives a complete classification of the unitary irreducible spherical representations of split real and p-adic groups. The results were obtained around 2000, the changes to the new version are expository.

研究动机与目标

• 對實數與 $ p $-進域上分裂辛群與正交群的球對稱酉對偶進行分類。
• 識別一類新的 $ K $-類型——「相關」$ W $-類型——其在實數與 $ p $-進設定中均可檢測非酉性。
• 透過這些相關類型，統一實數與 $ p $-進情形下的酉性準則，表明相同的厄米形式條件適用。
• 透過證明酉性不依賴於域類型，建立表示理論中的一種萊夫謝茨原理形式。

提出的方法

• 引入與某些不可約威爾群表示一一對應的「相關」$ K $-類型，用以檢測非酉性。
• 利用雅可布森-莫羅佐夫定理，將每個無分歧特徵 $\chi \in \mathfrak{a}^*$ 對應至對偶群中唯一的幂零軌道 $\check{\mathcal{O}}(\chi)$。
• 證明球對稱表示 $L(\chi)$ 的酉性由相關 $ W $-類型上的厄米形式的正定性決定，且此結果與 $ p $-進情形一致。
• 透過證明相關 $ W $-類型在兩種情形下產生相同的厄米形式，從而證明同一證明適用於實數與 $ p $-進情形。
• 利用互繞性算子與標準模的誘導，證明不可約球對稱模由其 $\mu_e$-同調分量生成。
• 利用 $\mu_e$-同調分量在誘導模中的重數與不可約商模中一致的事實，從而證明兩者相等。

实验结果

研究问题

• RQ1 如何對實數與 $ p $-進域上分裂經典群的球對稱酉表示進行完整分類？
• RQ2 如何在實數與 $ p $-進設定中建立統一的酉性準則？
• RQ3 威爾群表示及其相關 $ K $-類型在檢測非酉性中扮演何種角色？
• RQ4 對偶群中的相關幂零軌道 $\check{\mathcal{O}}(\chi)$ 如何決定 $L(\chi)$ 的酉性？
• RQ5 能否僅透過其相關 $ K $-類型與厄米形式的結構來確定球對稱表示的酉性？

主要发现

• 在 $\mathbb{R}$ 與 $ p $-進域上，分裂 $\mathrm{Sp}(n)$ 與 $\mathrm{SO}(n)$ 的球對稱酉對偶，完全由每個無分歧特徵 $\chi \in \mathfrak{a}^*$ 對應的幂零軌道 $\check{\mathcal{O}}(\chi)$ 決定。
• 引入「相關」$ K $-類型提供了一種統一機制，可在實數與 $ p $-進情形中檢測非酉性，且兩種設定下的厄米形式完全相同。
• 實數情形下酉性必要條件的證明完全為新成果，其依賴於這些相關 $ K $-類型的結構。
• 同一酉性準則適用於實數與 $ p $-進情形，從而建立表示理論中的一種萊夫謝茨原理形式。
• 不可約球對稱模 $L(\chi)$ 由其 $\mu_e$-同調分量生成，且這些分量的重數與標準模中一致，從而證明相等性。
• 分類結果與域無關，表明酉性僅取決於幂零軌道 $\check{\mathcal{O}}(\chi)$ 與相關 $ W $-類型的結構。