[论文解读] Parabolic Induction and Geometry of Orbital Varieties for GL(n)

Taiwang Deng|arXiv (Cornell University)|Mar 21, 2016

Advanced Algebra and Geometry参考文献 22被引用 4

一句话总结

本文通过截断函子与偏导子，将GL(n)在p进域上的诱导表示的重数问题约化至对称群情形，证明了Zelevinsky关于重数仅依赖于多重段中段相对位置的猜想。研究发现，这些重数等于Kazhdan-Lusztig多项式在q=1处的取值，并通过轨道流形与Schubert流形给出了其几何解释。

ABSTRACT

Ariki and Ginzburg, after the previous work of Zelevinsky on orbital varieties, proved that multiplicities in a total parabolically induced representations are given by the value at q=1 of Kazhdan-Lusztig Polynomials associated to the symmetric groups. In my thesis I explore the geometry of orbital varieties and I essentially obtain two important results: - first I prove a conjecture of Zelevinksy on a property of independence of total parabolically induced representations. - More crucially I give a strategy to compute multiplicities in general parabolically induced representations using the product of perverse sheaves introduced by Lusztig.

研究动机与目标

• 本文旨在证明Zelevinsky的猜想：在GL(n,F)中，parabolic诱导表示π(a) = LΔ₁ × ⋯ × LΔₛ的重数m(b,a)仅依赖于多重段a与b中段的相对位置。
• 本研究旨在解决在GL(n,F)中，对诱导表示π(a) = LΔ₁ × ⋯ × LΔₛ的重数m(b,a)的计算问题，其中LΔ表示与段Δ关联的不可约表示。
• 目标是建立一个几何与组合框架，将这些重数与Kazhdan-Lusztig多项式及轨道流形联系起来。
• 本文试图通过基于截断函子与偏导子的新方法，推广并重新推导已知的诱导表示结果。
• 旨在构造一个显式算法，用于计算当b为段时的m(c,b,a)，并利用几何与组合工具。

提出的方法

• 该方法使用截断函子a ↦ a(k)与以整数k为指标的偏导子Dk，将一般多重段约化至对称群情形。
• 应用轨道流形理论及其在A型Schubert流形中的嵌入，借助Chriss-Ginzburg与Ariki的成果。
• 关键技术工具是将m(aτ, aσ)识别为Kazhdan-Lusztig多项式Pτ,σ(q)在q=1处的取值Pτ,σ(1)，其中τ,σ ∈ Sₙ。
• 本文通过幂零轨道的结构，给出了Kazhdan-Lusztig多项式5条定义关系的几何解释。
• 利用Lusztig的 perverse sheaves 乘积，赋予偏导子Dk(La)中系数以几何意义。
• 该方法通过结合导子运算与多重段上的组合条件，构造出m(c,b,a)的显式公式，尤其在b为段时成立。

实验结果

研究问题

• RQ1 在parabolic诱导表示π(a) = ×LΔᵢ中，重数m(b,a)是否如Zelevinsky所猜想的，仅依赖于a与b中段的相对位置？
• RQ2 重数m(b,a)能否表示为对称群Sₙ中置换τ,σ对应的Kazhdan-Lusztig多项式在q=1处的取值？
• RQ3 偏导子Dk(La)中系数的几何意义是什么？它们如何与轨道流形的结构相关联？
• RQ4 能否基于截断与导子函子，构造一个显式算法来计算当b为段时的m(c,b,a)？
• RQ5 由多重段上的优序关系生成的偏序集S(a) = {b : b ≤ a}，与对称群或其商群中的区间有何关系？

主要发现

• 本文证明了Zelevinsky的猜想：m(b,a)仅依赖于a与b中段的相对位置，而与底层的特殊表示无关。
• 对由Sₙ中置换τ,σ参数化的多重段，重数m(aτ, aσ)等于Kazhdan-Lusztig多项式Pτ,σ(q)在q=1处的取值Pτ,σ(1)。
• 推导出当b = [k+1]时La × Lb的新公式：La × Lb = La+b + Σ_{c∈Γℓₖ₋₁(a,k)} (θₖ(c,a) − θₖ(c[k+1]₁, a+b))Lc [k+1]₁[k]ℓₖ₋₁。
• 当b = [k−i₀+1, k+1]时，本文给出了m(c,b,a)的递推公式，涉及对Γℓₖ₋ᵢ₀₋₁(a,k−i₀)k−i₀+1的求和，以及系数θₖ₋ᵢ₀(d,a)与m(c,b,d(k−i₀+1))，并包含校正项。
• 偏序集S(a)被分类为Sₙ或Sₙ的双重商群中的区间，对应于广义旗流形中抛物轨道。
• 通过幂零轨道与轨道流形的结构，确立了Kazhdan-Lusztig多项式5条定义关系的几何解释。