[论文解读] Algebraic analysis on scalar generalized Verma modules of Heisenberg parabolic type I.: $A_n$-series

Libor Křižka, Petr Somberg|arXiv (Cornell University)|Feb 25, 2015

Advanced Algebra and Geometry参考文献 12被引用 6

一句话总结

本论文构建了一个几何D-模框架，用于分类sl(n+2,C)的标量广义Verma模中关于Heisenberg抛物子代数的g′_r-奇异向量，采用代数傅里叶变换与层论技术。关键结果是：对复化奇维CR球面S^{2n+1}及其CR子流形S^{2(n−r)+1}上的齐次线丛之间，SL(n−r+2,C)-协变微分算子实现了完全分类。

ABSTRACT

In the present article, we combine some techniques in the harmonic analysis together with the geometric approach given by modules over sheaves of rings of twisted differential operators ($\mathcal{D}$-modules), and reformulate the composition series and branching problems for objects in the Bernstein-Gelfand-Gelfand parabolic category $\mathcal{O}^\mathfrak{p}$ geometrically realized on certain orbits in the generalized flag manifolds. The general framework is then applied to the scalar generalized Verma modules supported on the closed Schubert cell of the generalized flag manifold $G/P$ for $G={ m SL}(n+2,\mathbb{C})$ and $P$ the Heisenberg parabolic subgroup, and the algebraic analysis gives a complete classification of $\mathfrak{g}'_r$-singular vectors for all $\mathfrak{g}'_r=\mathfrak{sl}(n-r+2,\mathbb{C})\,\subset\, \mathfrak{g}=\mathfrak{sl}(n+2,\mathbb{C})$, $n-r > 2$. A consequence of our results is that we classify ${ m SL}(n-r+2,\mathbb{C})$-covariant differential operators acting on homogeneous line bundles over the complexification of the odd dimensional CR-sphere $S^{2n+1}$ and valued in homogeneous vector bundles over the complexification of the CR-subspheres $S^{2(n-r)+1}$.

研究动机与目标

• 开发一种几何D-模方法，用于分析BGG抛物子范畴O_p中的合成列与分支律。
• 对具有Heisenberg抛物子代数的sl(n+2,C)的标量广义Verma模中的g′_r-奇异向量进行分类。
• 提供广义旗流形G/P与G′/P′上齐次向量丛之间G′-协变微分算子的显式描述。
• 通过代数傅里叶变换，建立奇异向量与G′-协变微分算子之间的对应关系。
• 利用扭D-模将先前关于交换幂零根的结论推广至非交换幂零根情形。

提出的方法

• 将广义Verma模几何实现为G/P上N-轨道上的扭D-模，其中N为抛物子群的幂零根。
• 应用代数傅里叶变换，将奇异向量问题转化为对边幂零根上的偏微分方程组。
• 利用扭微分算子（D-模）的层结构处理Heisenberg抛物子代数情形下的非交换幂零根。
• 将g嵌入到Weyl代数A_g¯u与A_g¯u∗中，以关联泛包络代数与对称代数。
• 运用sl(n,C)的Fischer分解分析多项式不变量与调和分量。
• 利用广义Verma模同态与诱导表示上G′-协变微分算子之间的反变双射关系。

实验结果

研究问题

• RQ1 如何通过D-模几何实现sl(n+2,C)的标量广义Verma模（具有Heisenberg抛物子代数）的合成列？
• RQ2 g′_r = sl(n−r+2,C)在sl(n+2,C)的广义Verma模中的g′_r-奇异向量的完全分类是什么？
• RQ3 广义Verma模中的奇异向量如何与复化旗流形上齐次向量丛之间的G′-协变微分算子相对应？
• RQ4 通过代数傅里叶变换获得的PDE系统解空间的结构是什么？
• RQ5 sl(n,C)的Fischer分解如何在D-模框架中支持不变微分算子与调和分量的分析？

主要发现

• 本文对所有满足n−r > 2的g′_r = sl(n−r+2,C) ⊂ sl(n+2,C)，实现了g′_r-奇异向量的完全分类。
• 代数傅里叶变换完全刻画了奇异向量问题所导出的PDE系统解空间。
• 奇异向量精确对应于作用在复化奇维CR球面S^{2n+1}上齐次线丛并取值于S^{2(n−r)+1}上齐次向量丛的SL(n−r+2,C)-协变微分算子。
• 利用sl(n,C)的Fischer分解将C[x,y]分解为C[q] ⊗ H，其中q = ∑xiyi，H = ker(∑∂xi∂yi)，且H可分解为不可约g-表示Ha,b的直和。
• Hom(g′,N′)(M′, M)与HomDiff(IndG_P(V*), IndG′_P′(W*))之间的对应关系建立了反变双射，将模同态与微分算子联系起来。
• 结果将先前关于交换幂零根的工作推广至非交换幂零根情形，为抛物子范畴O中的分支问题提供了框架。