[论文解读] Cancelation free formula for the antipode of linearized Hopf monoid

Nantel Bergeron, Carolina Benedetti|arXiv (Cornell University)|Nov 5, 2016

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

一句话总结

本文提出了一种无需消去项、无重数的公式，用于计算线性化霍普夫单子（L）与线性化霍普夫单子 H 的哈达玛积的对极元，从而为从 H 衍生出的组合霍普夫代数提供了新的对极元公式。关键贡献是利用超图的无环定向构建了一个结构化框架，推导出类似于斯坦利（-1）-着色定理和色多项式的恒等式，其应用涵盖排列与 q-变形。

ABSTRACT

Many combinatorial Hopf algebras $H$ in the literature are the functorial image of a linearized Hopf monoid $\bf H$. That is, $H={\mathcal K} ({\bf H})$ or $H=\overline{\mathcal K} ({\bf H})$. Unlike the functor $\overline{\mathcal K}$, the functor ${\mathcal K}$ applied to ${\bf H}$ may not preserve the antipode of ${\bf H}$. In this case, one needs to consider the larger Hopf monoid ${\bf L} imes{\bf H}$ to get $H={\mathcal K} ({\bf H})=\overline{\mathcal K}({\bf L} imes{\bf H})$ and study the antipode in ${\bf L} imes{\bf H}$. One of the main results in this paper provides a cancelation free and multiplicity free formula for the antipode of ${\bf L} imes{\bf H}$. From this formula we obtain a new antipode formula for $H$. We also explore the case when ${\bf H}$ is commutative and cocommutative. In this situation we get new antipode formulas that despite of not being cancelation free, can be used to obtain one for $\overline{\mathcal K}({\bf H})$ in some cases. We recover as well many of the well-known cancelation free formulas in the literature. One of our formulas for computing the antipode in ${\bf H}$ involves acyclic orientations of hypergraphs as the central tool. In this vein, we obtain polynomials analogous to the chromatic polynomial of a graph, and also identities parallel to Stanley's (-1)-color theorem. One of our examples introduces a {\it chromatic} polynomial for permutations which counts increasing sequences of the permutation satisfying a pattern. We also study the statistic obtained after evaluating such polynomial at $-1$. Finally, we sketch $q$ deformations and geometric interpretations of our results. This last part will appear in a sequel paper in joint work with J. Machacek.

研究动机与目标

• 为解决函子 K 可能不保持线性化霍普夫单子 H 的对极元的问题，需改用 L×H 而非 K(H)。
• 为 L×H 的对极元建立无消去项、无重数的公式，从而在组合霍普夫代数中实现新的对极元计算。
• 探讨当 H 为交换且余交换时的情形，特别关注超图霍普夫单子作为通用结构的作用。
• 将斯坦利的（-1）-着色定理与色多项式恒等式推广至超图与排列。
• 为 q-变形及通过超图嵌套多面体（nestohedra）对对极元公式的几何解释奠定基础。

提出的方法

• 将霍普夫代数结构提升为范畴中的霍普夫单子，通过哈达玛积 L×H 确保对极元的保持。
• 利用超图的无环定向作为核心组合工具，构建 L×H 的无消去项对极元公式。
• 为超图与排列定义一种类似色多项式的函数，用于计数满足特定模式条件的递增序列。
• 通过在 t = -1 处求值，推导出类似于斯坦利（-1）-着色定理的恒等式。
• 利用函子 K 及其变体 K̄，将 L×H 中的对极元与 K(H) 和 K̄(H) 中的对极元联系起来，尤其在交换与余交换情形下。
• 通过受 Guay-Paquet 启发的构造，引入 L×G 上的余乘法 q-变形，从而导出色多项式的 q-模拟。

实验结果

研究问题

• RQ1 当 K(H) 不保持 H 的对极元时，如何为哈达玛积 L×H 构建无消去项的对极元公式？
• RQ2 超图的无环定向在推导对极元公式及推广斯坦利（-1）-着色定理中起到何种作用？
• RQ3 能否为排列定义类似色多项式的函数？其在 -1 处的取值计数什么？
• RQ4 L×G 上余乘法的 q-变形如何与色多项式的 q-模拟及对极元公式相关联？
• RQ5 何种几何或多面体结构（如嵌套多面体）编码了超图霍普夫单子中对极元的信息？

主要发现

• 为线性化霍普夫单子 H 的哈达玛积 L×H 建立了无消去项、无重数的对极元公式。
• K(H) 的对极元由 L×H 的对极元导出，为组合霍普夫代数提供了新的计算框架。
• 当 H 为交换且余交换时，超图霍普夫单子 HG 作为通用结构，可用于计算所有此类 H 的对极元。
• 引入了用于排列的色多项式，用于计数满足给定模式的递增序列，其在 -1 处的取值给出特定无环定向的带符号计数。
• 在 -1 处求值的色多项式恢复了超图情形下的斯坦利（-1）-着色定理，推广了图的情形。
• 本文为 q-变形对极元公式及通过超图嵌套多面体的几何解释奠定了基础，相关工作将在与 J. Machacek 的后续论文中展开。