[论文解读] The cd-index of fans and lattices

Kalle Karu|ArXiv.org|Oct 24, 2004

Advanced Combinatorial Mathematics参考文献 3被引用 7

一句话总结

本文利用层论方法证明了完备扇与Gorenstein*偏序集的cd-指数的非负性。通过构造半-Gorenstein层并定义层维数上的组合运算C与D，作者表明：对常层应用cd-单项式后所得结果的维数为非负整数，从而确立了这些结构的cd-指数中所有系数均为非负整数。

ABSTRACT

The number of flags in a complete fan, or more generally in an Eulerian poset, is encoded in the cd-index. We prove non-negativity of the cd-index for complete fans, regular CW-spheres and Gorenstein* posets.

研究动机与目标

• 证明完备扇与Gorenstein*偏序集的cd-指数非负性，该问题此前仅为猜想而未被证明。
• 为cd-指数提供一个组合与代数框架，将其解释为在C与D运算下对层维数的计数。
• 利用层论对偶性与庞加莱对偶性，将cd-指数构造从扇推广至欧拉偏序集，特别是Gorenstein*偏序集。
• 通过证明更广义类别的Gorenstein*偏序集，解决Bayer与Klapper关于正则CW球面的cd-指数非负性长期悬而未决的猜想。

提出的方法

• 将cd-指数定义为非交换变量c与d的齐次多项式，其中c对应t_i + 1，d对应t_i + t_{i+1}，编码扇的剖分上分锥多项式函数的Poincaré多项式。
• 引入在锥的偏序集上取整数值函数的运算C（限制）与D = C ∘ (E − Id) ∘ C，其中E为Möbius型反演算子。
• 在扇或Gorenstein*偏序集的剖分上构造半-Gorenstein层，确保截面维数满足庞加莱对偶性，并与C与D运算相容。
• 定义C与D的层论类比C̃与D̃，作用于有限维向量丛层上，证明其保持半-Gorenstein条件与上拉性质π*。
• 利用归纳法与层运算结构，证明对常层1_Δ应用cd-单项式后，其结果的维数等于该单项式在cd-指数中的系数。
• 证明所得维数恒为非负整数，从而确立cd-指数系数的非负性。

实验结果

研究问题

• RQ1 完备扇的cd-指数是否总是具有非负整数系数的多项式？
• RQ2 能否通过层论方法证明Gorenstein*偏序集的cd-指数具有非负系数？
• RQ3 在锥的偏序集上函数的组合运算C与D是否可自然地推广至层，同时保持系数的非负性？
• RQ4 是否存在一种层论解释，能够说明cd-指数的非负性，而不仅依赖于代数恒等式？

主要发现

• 任何完备扇的cd-指数均具有非负整数系数，解决了Bayer与Klapper的猜想。
• 任何Gorenstein*偏序集的cd-指数均具有非负整数系数，将结果从扇推广至更广义的偏序集类别。
• 对常层1_Δ应用任意cd-单项式w(c,d)于运算C̃与D̃后，所得向量空间的维数等于w在cd-指数中的系数。
• 函数上的运算C与D可自然提升至半-Gorenstein层上，保持系数计数所需的结构。
• 证明依赖于层的对偶性，以及Möbius型算子E与投影π的相容性，确保对偶层也满足所需的上拉条件。
• 该结果表明，Gorenstein*偏序集的cd-指数的约束条件仅限于系数的非负性，如Stanley所展示，无额外线性不等式约束。