[论文解读] On the restriction of Zuckerman's derived functor modules A_q(\lambda) to reductive subgroups

Yoshiki Oshima|arXiv (Cornell University)|Jul 14, 2011

Advanced Algebra and Geometry参考文献 11被引用 3

一句话总结

本文建立了Zuckerman的导出函子模$A_q(\lambda)$在实reductive李群对称对中reductive子群上的分支律。通过在复partial flag流形上使用D-模实现，构造了从$A_q(\lambda)$到子群上$A_{q''}(\lambda')$模的直和的单射同态，证明了每个不可约分量同构于此类导出函子模的子模。关键结果是$A_q(\lambda)$的投影关联簇与限制中任意不可约分量的关联簇相等，证实了在离散可分解情形下关于关联簇的猜想。

ABSTRACT

In this article, we study the restriction of Zuckerman's derived functor (g,K)-modules A_q(\lambda) to g' for symmetric pairs of reductive Lie algebras (g,g'). When the restriction decomposes into irreducible (g',K')-modules, we give an upper bound for the branching law. In particular, we prove that each (g',K')-module occurring in the restriction is isomorphic to a submodule of A_q'(\lambda') for a parabolic subalgebra q' of g', and determine their associated varieties. For the proof, we construct A_q(\lambda) on complex partial flag varieties by using D-modules.

研究动机与目标

• 确定Zuckerman的导出函子模$A_q(\lambda)$在对称对中reductive子群上的限制时的分支律。
• 为$A_q(\lambda)|_{(g', K')}$中不可约$(g', K')$-模的重数建立上界。
• 刻画限制中不可约分量的关联簇，特别是验证分解中不可约$V$的等式$\mathrm{pr}_{g\to g'}(\mathrm{Ass}_g(A_q(\lambda))) = \mathrm{Ass}_{g'}(V)$。
• 通过在复partial flag流形上对$A_q(\lambda)$的D-模实现，将广义Blattner公式推广至非紧子群。

提出的方法

• 利用同调诱导框架，将$A_q(\lambda)$实现为复partial flag流形上扭曲D-模的整体截面。
• 在子群$g'$上构造从$A_q(\lambda)$到$A_{q''}(\lambda')$模直和的单射$(g', K')$-同态，其中$q''$为明确的抛物子代数，且重数函数$m(\lambda', p)$显式给出。
• 利用Borel–Weil定理与D-模的上推，将flag流形上的整体截面与不可约表示联系起来。
• 应用Mackey同构定理与导出函子的性质，比较$A_q(\lambda)$与$A_q(\lambda + 2N\rho(u))$（$N$充分大）的关系，确保与关联簇理论相容。
• 利用Kobayashi提出的离散可分解性判别准则，定义$g'$中相关的抛物子代数$q''$。
• 通过flag流形上轨道的稠密性与闭包性论证，证明$\mathrm{pr}_{g\to g'}(\mathrm{Ad}(K)(\bar{u} \cap p)) = \mathrm{Ad}(K')(u'' \cap p')$，从而确立投影簇与关联簇的相等性。

实验结果

研究问题

• RQ1 在何种条件下，$A_q(\lambda)$对reductive子群$g'$的限制可分解为不可约$(g', K')$-模？
• RQ2 当限制为离散可分解时，$A_q(\lambda)|_{(g', K')}$的分支律的精确结构为何？
• RQ3 限制中不可约分量的关联簇与$A_q(\lambda)$的关联簇之间有何关系？
• RQ4 能否通过D-模技术将紧子群限制下的广义Blattner公式推广至非紧对称子群？
• RQ5 如先前工作所猜想，等式$\mathrm{pr}_{g\to g'}(\mathrm{Ass}_g(A_q(\lambda))) = \mathrm{Ass}_{g'}(V)$是否对分解中的不可约$V$成立？

主要发现

• 限制$A_q(\lambda)|_{(g', K')}$存在到$A_{q''}(\lambda')$模直和的单射$(g', K')$-同态，其中$q''$为$g'$的抛物子代数，且重数$m(\lambda', p)$显式定义。
• 限制中出现的每个不可约$(g', K')$-模同构于某个$A_{q''}(\lambda')$的子模，推广了紧情形的公式。
• 限制中任意不可约分量$V$的关联簇满足$\mathrm{Ass}_{g'}(V) = \mathrm{Ad}(K')(u'' \cap p')$，其中$u'' \cap p'$为抛物子代数$q''$的幂零根。
• 投影关联簇$\mathrm{pr}_{g\to g'}(\mathrm{Ass}_g(A_q(\lambda)))$等于$\mathrm{Ad}(K')(u'' \cap p')$，证实了猜想$\mathrm{pr}_{g\to g'}(\mathrm{Ass}_g(W)) = \mathrm{Ass}_{g'}(V)$（$W = A_q(\lambda)$）。
• $A_q(\lambda)$在复partial flag流形上的D-模实现，使得可通过上推与整体截面实现分支律的几何证明。
• 等式$\mathrm{pr}_{g\to g'}(\mathrm{Ad}(K)(\bar{u} \cap p)) = \mathrm{Ad}(K')(u'' \cap p')$成立，原因在于$K'/(Q \cap K')$在$K/(Q \cap K)$中的稠密性与轨道闭包的闭性。