[论文解读] The cone of Hilbert nullforms

Vladimir L. Popov|arXiv (Cornell University)|Sep 30, 2010

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

一句话总结

本文提出一种几何-组合算法，仅利用权系与根系，构造性地确定了半单代数群线性表示的零锥的Hesselink层。通过计算正交投影与凸包，该方法将层分类为光滑、有理代数簇，并在应用于伴随表示时，退化为半单李代数中幂零轨道的Dynkin分类。

ABSTRACT

We describe a geometric-combinatorial algorithm that allows one, using solely the system of weights and roots, to determine the Hesselink strata of the null-cone of a linear representation of a reductive algebraic group and calculate their dimensions. In particular, it provides a constructive approach to calculating the dimension of the null-cone and determining all its irreducible components of maximal dimension. In the case of the adjoint representation (and, more generally, a $θ$-representation), the algorithm turns into the classification algorithm for the conjugacy classes of nilpotent elements in a semisimple Lie algebra (respectively, homogeneous nilpotent elements in a cyclically graded semisimple Lie algebra).

研究动机与目标

• 为半单代数群线性表示中零锥的Hesselink层提供一种构造性、几何-组合方法。
• 仅利用权系与根系，确定零锥的维数及其最大维数不可约分量。
• 当表示为伴随表示或θ-表示时，将半单李代数中幂零轨道的分类作为特例恢复。
• 提供一种系统性算法，避免依赖深层不变量理论工具，仅使用初等几何运算。

提出的方法

• 通过正交投影与凸包，从权系与根系构造有限子集 𝔛 ⊂ Lie(T)(ℚ)。
• 从投影的权系构建有向根树，根据与有理元 l 的内积规则，为顶点分配符号（+ 或 −）。
• 将层识别为根顶点被赋予 + 符号的树的根所对应的层。
• 对每个赋予 + 符号的 l ∈ 𝔛，定义子空间 V[l⁺] ⊂ V 及其开子集 V[l⁺]⁰ ⊂ V[l⁺]，使得 G·V[l⁺]⁰ 构成一个层。
• 利用Weyl群作用对代表元进行标准化，简化层的描述。
• 将该算法应用于伴随表示，通过几何手段恢复半单李代数中幂零轨道的Dynkin分类。

实验结果

研究问题

• RQ1 能否仅利用半单群的权系与根系，构造性地描述零锥的Hesselink层？
• RQ2 何种精确的几何-组合规则可确定零锥中最大维数不可约分量的层？
• RQ3 当应用于伴随表示时，该算法如何退化为半单李代数中幂零轨道的经典分类？
• RQ4 能否通过凸包与投影显式参数化层，而无需依赖范数最小化或上同调工具？
• RQ5 定义元素 l 的Weyl群轨道与层的闭包性质之间有何关系？

主要发现

• 该算法通过初等几何运算（正交投影与凸包构造）构造出零锥的所有Hesselink层。
• 每个层均为光滑、有理代数簇，且微分同构于某个抛物子群 P 的齐性向量丛上的开子集。
• 层 G·V[l⁺]⁰ 的维数等于半空间 {v ∈ Lie(T)(ℚ) | ⟨l, v⟩ < 0} 中根的个数，加上 V[l⁺]⁰ 的维数。
• 在伴随表示下，该算法通过几何手段恢复了半单李代数中幂零轨道的Dynkin分类。
• 在 G₂ 情形下，该算法识别出恰好四个非零层，对应四个共轭类的幂零元素，例如显式代表元 eₐ + eᵝ 与 eᵝ + e₃ₐ₊ᵝ。
• 该方法表明，对于 θ-表示，层恰好是零形式的轨道，将轨道分类推广至更广泛的表示类。