[论文解读] Dimension of zero weight space: An algebro-geometric approach

Shrawan Kumar, Dipendra Prasad|arXiv (Cornell University)|Apr 15, 2013

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

一句话总结

本文证明了在复代数群的连通、自伴、单代数群的不可约表示中，零权空间的维数是其在主导积分权锥上的分段多项式函数，每个分段定义于一个GIT房间。通过几何不变量理论与奇异概形的Riemann–Roch定理，作者证明该维数函数在适当的格点平移后，于每个房间内为多项式，并利用分支法则显式计算了A₂、B₂和A₃型的多项式。

ABSTRACT

Abstract Let G be a connected, adjoint, simple algebraic group over the complex numbers with a maximal torus T and a Borel subgroup B containing T. The study of zero weight spaces in irreducible representations of G has been a topic of considerable interest; there are many works which study the zero weight space as a representation space for the Weyl group. In this paper, we study the variation on the dimension of the zero weight space as the highest weight of the irreducible representation varies over the set of dominant integral weights of T, which are lattice points in a certain polyhedral cone. The theorem proved here asserts that the zero weight spaces have dimensions which are piecewise quasi-polynomial functions on the polyhedral cone of dominant integral weights.The main tool we use are the Geometric Invariant Theory and the Riemann–Roch theorem.

研究动机与目标

• 理解当最高权在主导积分权上变化时，单代数群不可约表示中零权空间维数的变化规律。
• 建立该维数函数在主导权锥上的分段多项式结构，每个分段定义于一个GIT房间。
• 利用分支法则，显式计算低秩群（A₂、B₂、A₃）中零权空间维数的分段多项式表达式。
• 通过GIT商与可逆层构造代数几何框架，推导出多项式行为。
• 将结果与辛几何方法进行比较，表明在T-不变子空间情形下，本方法可得到更精确的结果。

提出的方法

• 通过极大环面T作用，将零权空间维数实现为旗流形G/B的GIT商上一个可逆层的Euler–Poincaré示性数。
• 应用奇异概形的Riemann–Roch定理计算该Euler–Poincaré示性数，从而得到多项式表达式。
• 利用从G/B到GIT商的齐次线丛的下降性质，将该层与表示论数据联系起来。
• 将GIT房间识别为实权空间中由Weyl群与基本权定义的有限个超平面并集的补集的连通分支。
• 利用根格与权格的结构，特别是子格Γ ⊂ Q，定义在每个余类µ + Γ上多项式行为成立的区域。
• 利用GL(n)表示的已知分支法则，显式计算A₂、B₂与A₃型的多项式。

实验结果

研究问题

• RQ1 单代数群不可约表示中零权空间的维数是否为在主导权锥上的分段多项式函数？
• RQ2 能否通过GIT与奇异概形的Riemann–Roch等代数几何工具推导出该分段多项式结构？
• RQ3 每个GIT房间上的多项式精确形式为何？其在不同房间之间如何变化？
• RQ4 与辛几何方法相比，结果如何？特别是在T-不变子空间情形下？
• RQ5 该方法能否推广至计算任意固定权空间或对约化子群H的H-不变子空间的维数？

主要发现

• 零权空间维数是主导积分权锥上的分段多项式函数，每个分段定义于一个GIT房间。
• 在每个房间Ck及根格Q中的每个余类µ + Γ上，维数函数µ0(λ)等于一个次数不超过dim X − ℓ的多项式fµ,k(λ)，其中X = G/B。
• 多项式fΓ,k的常数项为1，表明其与旗流形几何相关的归一化条件。
• 对于GL(4)，零权空间维数d(λ₁,λ₂,λ₃,λ₄)作为λ₁,λ₂,λ₃的分段多项式（其中λ₄ = −(λ₁+λ₂+λ₃)）被显式计算，共分六种情况，依据λ₁+λ₄与2λ₂+λ₃的符号条件。
• 尽管积分区域不同，情况III与IV、情况V与VI中出现相同的多项式表达式，表明存在非平凡的抵消与对称性。
• 多项式在房间边界上并不总相同，表明分段结构本质不可简化为全局多项式。