[论文解读] Branching problems of Zuckerman derived functor modules

Toshiyuki Kobayashi|arXiv (Cornell University)|Apr 22, 2011

Advanced Algebra and Geometry被引用 5

一句话总结

本文研究了实半单群的不可约酉表示的分支法则，重点关注Zuckerman导出函子模 $A_{\frak{q}}(\lambda)$，揭示了诸如无限重数、不可约性、无重数分解和离散可分解性等丰富而多样的特征。研究建立了与椭圆共轭轨道几何量子化的联系，并提出了若干关键猜想以供进一步研究。

ABSTRACT

We discuss recent developments on branching problems of irreducible unitary representations $π$ of real reductive groups when restricted to reductive subgroups. Highlighting the case where the underlying $(g,K)$-modules of $π$ are isomorphic to Zuckerman's derived functor modules $A_q(λ)$, we show various and rich features of branching laws such as infinite multiplicities, irreducible restrictions, multiplicity-free restrictions, and discrete decomposable restrictions. We also formulate a number of conjectures.

研究动机与目标

• 理解实半单群的不可约酉表示在限制到半单子群时的分解结构。
• 分析Zuckerman导出函子模 $A_{\frak{q}}(\lambda)$ 的分支法则，特别是其重数与不可约性特征。
• 探索分支问题与椭圆共轭轨道几何量子化之间的联系。
• 在对称对中提出关于无重数性、离散可分解性和酉可化性的新猜想。
• 为理解表示理论中多样的分支现象提供统一框架。

提出的方法

• 利用Zuckerman的导出函子构造，将不可约酉表示实现为从抛物子代数的余上同调诱导。
• 通过 $H^{S}_{\bar{\partial}}(G/L, \mathcal{L}_{\lambda+\rho(\frak{u})})$ 应用Dolbeault上同调实现 $A_{\frak{q}}(\lambda)$，以研究酉结构。
• 利用椭圆共轭轨道的几何量子化，将 $A_{\frak{q}}(\lambda)$ 与全纯线丛及 $G$-不变复结构联系起来。
• 应用Schmid的最大化原理，将 $A_{\frak{q}}(\lambda)$ 的酉整体化识别为Fréchet拓扑下的最大整体化。
• 利用Vogan的“良好范围”条件，确保酉表示 $\pi_\lambda$ 的不可约性与非零性。
• 通过 $G$-模到 $G'$ 的限制分析分支法则，特别是在 $G'$ 为半单的对称对 $(G,G')$ 中。

实验结果

研究问题

• RQ1 在何种条件下，Zuckerman导出函子模 $A_{\frak{q}}(\lambda)$ 限制到半子群 $G'$ 后仍保持不可约？
• RQ2 在何种条件下，$A_{\frak{q}}(\lambda)$ 限制到 $G'$ 后具有有限或无限重数？
• RQ3 在何种条件下，$A_{\frak{q}}(\lambda)$ 限制到 $G'$ 后是离散可分解的？
• RQ4 在对称对中，$A_{\frak{q}}(\lambda)$ 的无重数分支法则由什么特征刻画？
• RQ5 哪些对称对 $(G,G')$ 允许 $A_{\frak{q}}(\lambda)|_{G'}$ 具有Plancherel型分解？

主要发现

• 尽管 $A_{\frak{q}}(\lambda)$ 作为 $({\frak{g}},K)$-模是不可约的，其限制到半单子群 $G'$ 时仍可能具有无限重数。
• 存在某些情形下，$A_{\frak{q}}(\lambda)$ 限制到 $G'$ 后仍保持不可约，这一现象在有限维表示中未曾出现。
• $A_{\frak{q}}(\lambda)$ 限制到 $G'$ 可能是离散可分解的，即其可分解为不可约 $G'$-表示的直和。
• 限制的谱可能完全是连续的，表明Plancherel公式中的分解涉及非离散测度。
• 当 $\lambda$ 属于良好范围时，与 $A_{\frak{q}}(\lambda)$ 关联的酉表示 $\pi_\lambda$ 是不可约且非零的，从而保证了酉可化性。
• Zuckerman导出函子模 $A_{\frak{q}}(\lambda)$ 同构于Dolbeault上同调 $H^{S}_{\bar{\partial}}(G/L, \mathcal{L}_{\lambda+\rho(\frak{u})})$，该上同调携带Fréchet拓扑和连续的 $G$-作用。