[论文解读] Partial flag incidence algebras

Max Wakefield|arXiv (Cornell University)|May 5, 2016

Algebraic structures and combinatorial models参考文献 14被引用 4

一句话总结

本文引入了部分旗旗阶代数——一种非结合、无单位元的代数结构，基于局部有限偏序集中可比较元素的n元组上的函数，系数取自一个环。定义了广义的zeta函数、delta函数和Möbius函数，并提出了一种新的旗版本特征多项式，该多项式并非Tutte多项式不变量，如删除-收缩公式不成立所示，同时给出了布尔格上的显式公式。

ABSTRACT

The $n^{th}$ partial flag incidence algebra of a poset $P$ is the set of functions from $P^n$ to some ring which are zero on non-partial flag vectors. These partial flag incidence algebras for $n>2$ are not commutative, not unitary, and not associative. However, partial flag incidence algebras contain generalized zeta, delta, and Möbius functions which are finer and more delicate invariants than their classical analogues. We also study some generalized characteristic polynomials of posets which are not evaluations of Tutte polynomials and compute them for Boolean lattices. Motivation for this work came from studying the matroid Kazhdan-Lusztig polynomials where partial flag Whitney numbers play a central role.

研究动机与目标

• 基于偏序集中的部分旗，发展广义旗阶代数，将经典旗阶代数理论扩展至区间之外。
• 为这些代数定义并研究广义Möbius函数以及第一类与第二类旗Whitney数。
• 引入特征多项式的旗版本，并确定其是否满足删除-收缩关系。
• 建立与拟阵Kazhdan-Lusztig多项式之间的联系，并为未来研究广义Tutte多项式提供基础工具。
• 通过证明其不满足经典Tutte多项式的删除-收缩公理，表明新特征多项式并非经典Tutte多项式的取值。

提出的方法

• 将第n级部分旗旗阶代数定义为从局部有限偏序集中可比较元素的n元组到环R的函数集合，且在非部分旗上取值为零。
• 在代数结构中引入典范元素，如广义zeta、delta和Möbius函数。
• 采用类积分卷积的高维卷积型乘积，导致代数为非结合且无单位元。
• 当系数环为交换环时，建立代数的Künneth型乘积公式，实现对无限族的计算。
• 利用递归结构与多项式恒等式，计算布尔格上的广义特征多项式。
• 测试多项式在删除与限制操作下的行为，表明其不满足经典删除-收缩公式。

实验结果

研究问题

• RQ1 在部分旗上定义的广义特征多项式是否满足类似于经典Tutte多项式的删除-收缩递推关系？
• RQ2 部分旗旗阶代数中的广义Möbius函数是否满足Rota交叉截面定理的高维类比？
• RQ3 布尔格的第一类与第二类旗Whitney数能否用多项式系数表示？
• RQ4 新旗特征多项式是否为取值函数，或与Dupont、Fink与Moci的超平面排列取值理论框架相容？
• RQ5 这些非结合、无单位元的代数具有何种结构性质，使其在研究拟阵不变量方面具有实用性？

主要发现

• 布尔格B_n的k阶广义特征多项式为χ_k(B_n; t₁,…,t_k) = (t₁(t₂(⋯(t_{k-1}(t_k−1)+1)⋯+(−1)^{k−1})+(−1)^k)^n。
• 当k=2且在秩2中存在3个超平面时，特征多项式为χ₂(A;t₁,t₂) = t₁²t₂² − 3t₁²t₂ + 2t₁² + 3t₁t₂ − 6t₁ + 4。
• 通过直接计算表明，广义特征多项式的提议删除-收缩公式在简单秩2超平面排列（含3个超平面）中即告失效。
• 广义特征多项式不满足删除-收缩递推关系，证明其并非经典Tutte多项式的取值。
• 该多项式满足乘积公式（命题4.3），表明其在偏序集乘积下表现良好，但其复杂性限制了实际应用。
• 广义Möbius函数满足Rota交叉截面定理的高维类比，将经典结果推广至旗情形。