[论文解读] Exponents for B-stable ideals

Eric Sommers, Julianna Tymoczko|ArXiv.org|Jun 2, 2004

Advanced Algebra and Geometry参考文献 5被引用 10

一句话总结

本文引入了复单代数群的博雷尔子代数的幂零根系中 $B$-稳定理想之'理想指数'，推广了威尔群的经典指数。作者提出两个猜想：这些指数控制与该理想相关的庞加莱多项式以及相关超平面排列的特征多项式的因式分解，并在经典类型 $A_n$、$B_n$、$C_n$ 及部分例外情形下证明了这两个猜想。

ABSTRACT

Let G be a simple algebraic group over the complex numbers containing a Borel subgroup B. Given a B-stable ideal I in the nilradical of the Lie algebra of B, we define natural numbers $m_1, m_2, ..., m_k$ which we call ideal exponents. We then propose two conjectures where these exponents arise, proving these conjectures in types A_n, B_n, C_n and some other types. When I is zero, we recover the usual exponents of G by Kostant and one of our conjectures reduces to a well-known factorization of the Poincare polynomial of the Weyl group. The other conjecture reduces to a well-known result of Arnold-Brieskorn on the factorization of the characteristic polynomial of the corresponding Coxeter hyperplane arrangement.

研究动机与目标

• 为单代数群的 $B$-稳定理想在博雷尔子代数的幂零根系中定义经典指数的推广。
• 提出两个猜想，将这些理想指数与一个庞加莱多项式的因式分解以及一个超平面排列的特征多项式联系起来。
• 在经典类型 $A_n$、$B_n$、$C_n$ 及某些其他情形下证明这两个猜想，建立表示论、代数几何与组合学之间新的联系。
• 推测通过将庞加莱多项式几何实现为正则幂零赫斯堡尔变体的庞加莱多项式，可揭示两个猜想之间更深层次的等价性。

提出的方法

• 定义 $B$-稳定理想 $\mathcal{I}$ 在正根系中的补集 $\mathcal{I}^c = \Phi^+ \setminus \mathcal{I}$。
• 计算 $\mathcal{I}^c$ 中高度为 $i$ 的根的数量 $\lambda_i$，形成一个满足 $\lambda_1 > \lambda_2$ 的分拆 $\lambda = (\lambda_1, \lambda_2, \dots)$。
• 构造对偶分拆 $m^\mathcal{I} = (m^\mathcal{I}_k, \dots, m^\mathcal{I}_1)$，从而定义理想 $\mathcal{I}$ 的理想指数。
• 为理想定义一个庞加莱多项式 $P_\mathcal{I}(t)$，并猜想其可因式分解为 $\prod_{i=1}^k (1 + t + \cdots + t^{m^\mathcal{I}_i})$。
• 为 $\mathcal{I}$ 关联一个超平面排列 $\mathcal{A}_\mathcal{I}$，其超平面对应于不在 $\mathcal{I}$ 中的根，并猜想其特征多项式具有根 $m^\mathcal{I}_1, \dots, m^\mathcal{I}_k$。
• 利用加法-删除定理，并在根系上进行归纳，证明经典类型中的自由性与指数公式，借助威尔群作用与根高度滤子。

实验结果

研究问题

• RQ1 如何将单代数群的经典指数推广至其博雷尔子代数幂零根系中的 $B$-稳定理想？
• RQ2 与 $B$-稳定理想相关的庞加莱多项式是否可按理想指数因式分解，从而推广威尔群已知的因式分解形式？
• RQ3 由 $B$-稳定理想补集定义的超平面排列的特征多项式是否可被一个以理想指数为根的多项式整除？
• RQ4 $B$-稳定理想相关的超平面排列是否自由，且其指数是否与理想指数一致？
• RQ5 能否通过几何或拓扑构造，将理想指数在庞加莱多项式与特征多项式中的两个猜想角色统一起来？

主要发现

• 理想指数 $m^\mathcal{I}_1, \dots, m^\mathcal{I}_k$ 定义为不在理想 $\mathcal{I}$ 中的根的高度分布的对偶分拆，且满足 $m^\mathcal{I}_1 = 1$。
• 当 $\mathcal{I} = \emptyset$ 时，理想指数恢复了由科斯塔nt定义的群 $G$ 的经典指数。
• 为理想定义的庞加莱多项式 $P_\mathcal{I}(t)$ 猜想可因式分解为 $\prod_{i=1}^k (1 + t + \cdots + t^{m^\mathcal{I}_i})$，推广了威尔群的已知因式分解形式。
• 超平面排列 $\mathcal{A}_\mathcal{I}$ 的特征多项式猜想具有根 $m^\mathcal{I}_1, \dots, m^\mathcal{I}_k$，推广了阿诺德-布里斯基恩对完整考克斯eter排列的结果。
• 作者在类型 $A_n$、$B_n$、$C_n$ 及部分例外情形下证明了两个猜想，确立了相关排列的自由性及其预测的指数。
• 对于极大理想 $\mathcal{I} = \{\theta\}$（其中 $\theta$ 为最高根），证明了受限排列 $\mathcal{A}_\mathcal{I}^{\gamma}$ 是自由的，且其指数为 $m^\mathcal{I}_1, \dots, m^\mathcal{I}_{n-1}$，支持了普遍自由性猜想。