[论文解读] Discrete branching laws for minimal holomorphic representations

Jan Möllers, Yoshiki Oshima|arXiv (Cornell University)|Feb 14, 2014

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

一句话总结

本文確立了實李群的最小全純表示在對稱子群上的顯式分支法則，證明了全純與非全純設定下的離散可分解性。在全純對中，限制分解為最低權表示的直和；在非全純對中，限制保持不可約，且可識別為已知表示，從而確認了小林關於關聯簇的猜想。

ABSTRACT

We find the explicit branching laws for the restriction of minimal holomorphic representations to symmetric subgroups in the case where the restriction is discretely decomposable. For holomorphic pairs the minimal holomorphic representation decomposes into a direct sum of lowest weight representations which is made explicit. For non-holomorphic pairs the restriction is shown to be irreducible and identified with a known representation. We further study a conjecture by Kobayashi on the behaviour of associated varieties under restriction and confirm this conjecture in the setting of this paper.

研究动机与目标

• 確立最小全純表示在對稱子群上的顯式分支法則。
• 分析當限制為離散可分解時，這些表示的分解結構。
• 驗證小林關於最小全純表示下關聯簇行為的猜想。
• 區分全純與非全純對稱對在表示分解上的差異。

提出的方法

• 作者使用 $(\mathfrak{g},K)$-模與最低權模的框架，分析最小全純表示的限制。
• 他們應用普遍包絡代數上的標準濾過結構，並利用濾過結構的相容性來證明離散可分解性。
• 對於全純對，透過 $U(\mathfrak{g}_{\mathbb{C}}) \otimes_{U(\mathfrak{k}_{\mathbb{C}} + \mathfrak{p}_{-})} F^{\mathfrak{k}}(\lambda)$ 的結構，證明限制可分解為最低權表示的直和。
• 在非全純情形，透過驗證濾過結構相容性條件，並識別所得表示為已知的單位表示，證明限制不可約。
• 證明依賴於關聯分次模的相容性，以及 $\mathfrak{p}_{+}$, $\mathfrak{p}_{-}$ 在 $\operatorname{ad}(z')$ 作用下的特徵空間結構。
• 透過證明誘導表示的關聯簇的投影等於限制表示的關聯簇，從而確認了關於關聯簇的猜想。

实验结果

研究问题

• RQ1 在全純設定下，最小全純表示限制到對稱子群時如何分解？
• RQ2 在非全純對稱對的情形下，最小全純表示的限制具有何種結構？
• RQ3 在何種條件下，最小全純表示的限制是離散可分解的？
• RQ4 根據小林的猜想，最小表示的關聯簇在限制下是否表現如預期的行為？
• RQ5 能否使用濾過結構相容性方法明確得出分支法則？

主要发现

• 在全純對稱對中，最小全純表示 $L^{\mathfrak{g}}(c\zeta)$ 的限制分解為最低權表示的直和：$\bigoplus_{k=0}^{\infty} F^{\mathfrak{k}}(c\zeta + k\beta)$。
• 在非全純對稱對中，限制保持不可約，且可識別為已知的單位表示，從而確認其在此設定下的唯一性。
• 小林關於限制下關聯簇行為的猜想得到確認：$\operatorname{pr}_{\mathfrak{g} \to \mathfrak{g}^\prime}(\mathcal{V}_{\mathfrak{g}_{\mathbb{C}}}(X)) = \mathcal{V}_{\mathfrak{g}^{\prime}_{\mathbb{C}}}(Y)$。
• 濾過結構相容性條件 $U_n(\mathfrak{g}_{\mathbb{C}})X_0 \cap U(\mathfrak{g}^{\prime}_{\mathbb{C}})X_0 = U_n(\mathfrak{g}^{\prime}_{\mathbb{C}})X_0$ 在全純與非全純情形下均成立，從而支持了離散可分解性的證明。
• $L^{\mathfrak{g}}(c\zeta)$ 的 $K$-型分解明確給出為 $\bigoplus_{k=0}^{\infty} F^{\mathfrak{k}}(c\zeta + k\beta)$，其中 $\beta$ 是 $\mathfrak{p}_+$ 中的最高根。
• 最小全純表示是單位可化，且在其類型的不可約表示中，Gelfand–Kirillov維數最小。