[论文解读] Characteristic and Ehrhart polynomials

Andreas Blass, Bruce E. Sagan|ArXiv.org|Jan 2, 1998

Advanced Combinatorial Mathematics参考文献 9被引用 11

一句话总结

本文建立了类型B Weyl排列中子空间排列的特征多项式与相关多面体的Ehrhart准多项式之间的深层联系。研究表明，对于B_n的交集格中的排列，特征多项式计数了基本域中的格点数量，并进一步证明了任意有限Weyl群的超平面排列的特征多项式可作为其仿射Weyl壁的Ehrhart准多项式出现，从而将组合不变量与格点计数联系起来。

ABSTRACT

Let A be a subspace arrangement and let chi(A,t) be the characteristic polynomial of its intersection lattice L(A). We show that if the subspaces in A are taken from L(B_n), where B_n is the type B Weyl arrangement, then chi(A,t) counts a certain set of lattice points. One can use this result to study the partial factorization of chi(A,t) over the integers and the coefficients of its expansion in various bases for the polynomial ring R[t]. Next we prove that the characteristic polynomial of any Weyl hyperplane arrangement can be expressed in terms of an Ehrhart quasi-polynomial for its affine Weyl chamber. Note that our first result deals with all subspace arrangements embedded in B_n while the second deals with all finite Weyl groups but only their hyperplane arrangements.

研究动机与目标

• 探索类型B Weyl排列中子空间排列的特征多项式与格点计数之间的关系。
• 研究Weyl超平面排列的特征多项式如何通过其仿射Weyl壁与Ehrhart理论产生关联。
• 利用几何与组合方法分析特征多项式的整数因式分解与基展开式。
• 在有限Weyl群的背景下，统一代数不变量（特征多项式）与几何对象（多面体与格点）。

提出的方法

• 利用嵌入在类型B Weyl排列B_n中的子空间排列A的交集格L(A)来定义特征多项式chi(A,t)。
• 在chi(A,t)的取值与由排列导出的特定区域中的格点数量之间建立双射或计数对应关系。
• 将Ehrhart理论应用于有限Weyl群的仿射Weyl壁，将其特征多项式表示为一个准多项式。
• 利用Weyl群及其根系的结构，定义用于Ehrhart计数的相关多面体区域。
• 在各种多项式基（如二项式、下降阶乘）中分析chi(A,t)的系数，并研究其整性与因式分解模式。
• 利用组合学与Toric几何中的已知结果，将格点计数与特征多项式的代数结构联系起来。

实验结果

研究问题

• RQ1 如何将B_n排列中子空间排列的特征多项式解释为格点计数？
• RQ2 何种精确的几何对象的Ehrhart准多项式能给出Weyl超平面排列的特征多项式？
• RQ3 特征多项式的系数在哪些方面反映了排列的组合或算术性质？
• RQ4 任意有限Weyl群的超平面排列的特征多项式是否可表示为其仿射Weyl壁的Ehrhart准多项式？
• RQ5 chi(A,t)在整数上的部分因式分解如何反映排列的几何结构？

主要发现

• B_n交集格中任意子空间排列A的特征多项式chi(A,t)计数了与该排列相关联的特定区域中的格点数量。
• Weyl超平面排列的特征多项式等于其对应仿射Weyl壁的Ehrhart准多项式。
• chi(A,t)在各种多项式基（如二项式、下降阶乘）中的系数表现出与排列几何结构相关的结构性质。
• 特征多项式chi(A,t)在整数上存在部分因式分解，其反映在交集格的组合结构中。
• 该结果为特征多项式提供了几何解释：即作为多面体区域中格点的生成函数，将Ehrhart理论推广至反射排列。
• 通过仿射Weyl壁构造，特征多项式与Ehrhart理论之间的联系适用于所有有限Weyl群，而不仅限于类型B。