[论文解读] Combinatorics and Representation Theory for Generalized Permutohedra I: Simplicial Plates

Nick Early|arXiv (Cornell University)|Nov 21, 2016

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

一句话总结

本文通过多面体锥的特征函数向量空间（称为“板”）对广义排列多面体进行了范畴化，这些向量空间在对称群作用下保持不变。关键结果是广义 Worpitzky 恒等式作为对称群模的同构，几何上对应于用单位超单形铺满缩放后的单形，其特征公式源自离散环面上的单位分解以及模 Diophantine 方程。

ABSTRACT

In this paper, we announce results from our thesis, which studies for the first time the categorification of the theory of generalized permutohedra. The vector spaces in the categorification are tightly constrained by certain continuity relations which appeared in physics in the mid 20th century. We describe here the action of the symmetric group on the vector spaces in this categorification. Generalized permutohedra are replaced by vector spaces of characteristic functions of polyhedral cones about faces of permutohedra, called plates, due to A. Ocneanu. The symmetric group acts on plates by coordinate permutation. In combinatorics, the Eulerian numbers count the number of permutations with a given number of ascent and descents. The classical Worpitzky identity expands a power $r^p$ as a sum of Eulerian numbers, with binomial coefficients. In our thesis, for the main result we generalize the classical Worpitzky identity to an isomorphism of symmetric group modules, corresponding geometrically to the tiling of a scaled simplex by unit hypersimplices. In the categorification, the volume of a hypersimplex is replaced by the complex-linear dimension of a vector space associated to it. The main technical aspect of the proof of the character formula for the simplex involves a partition of unity of a commutative algebra of translations on a discrete torus, and a certain modular Diophantine equation. A detailed paper is in preparation.

研究动机与目标

• 使用 A. Ocneanu 引入的多面体锥特征函数向量空间（称为“板”），发展广义排列多面体的范畴化。
• 研究对称群在这些板向量空间上的作用，特别关注其表示论结构。
• 将经典的 Worpitzky 恒等式推广为一个模同构，用与超单形相关的向量空间维数替代幂函数。
• 通过离散环面上交换代数中平移的单位分解，建立对称群作用在板模上的特征公式。
• 将这些模的表示理论与组合不变量（如 Lyndon 单词和下降统计量）联系起来，并与 toric 簇的上同调及拟阵理论关联。

提出的方法

• 通过排列多面体面周围锥的特征函数构造向量空间，形成在对称群通过坐标置换作用下不变的向量空间，称为“板”。
• 使用离散环面上的平移代数定义单位分解，其中元素 $\epsilon_I$ 构成正交幂等元，索引为满足 $\sum i_j \equiv 1 \mod r$ 的 $n$-元组 $I \in \{0,\dots,r-1\}^n$。
• 通过模 Diophantine 方程 $\sum \lambda_i x_i \equiv 1 \mod r$ 的解数计算对称群作用在模 $\mathcal{C}_r^n$ 上的特征，其中 $\lambda_i$ 为循环长度。
• 证明模 $\mathcal{C}_r^n$ 同构于单形板模 $\mathrm{Pl}(\Delta_r^n)$ 作为 $S_n$-模，其基为单项式 $e_2^{j_2} \cdots e_n^{j_n}$，$0 \leq j_i \leq r-1$，维数为 $r^{n-1}$。
• 证明 $S_n$ 在 $\mathcal{C}_r^n$ 上的作用是自由且传递的，且 $e_j$ 算子在幂等元 $\epsilon_I$ 上作用为乘以 $q^{i_j}$，确保与关系 $e_1 \cdots e_n = q$ 兼容。
• 通过幂等基中的不动点计数计算不可约表示的重数，推导出平凡表示的生成函数。

实验结果

研究问题

• RQ1 如何利用多面体锥特征函数的向量空间（板）对广义排列多面体理论进行范畴化？
• RQ2 与缩放单形 $\Delta_r^n$ 关联的板向量空间的对称群表示结构是什么？
• RQ3 在该范畴化设定中，广义 Worpitzky 恒等式如何作为对称群模的同构出现？
• RQ4 离散环面上平移代数 $\mathcal{C}_r^n$ 在计算对称群作用的特征公式中起什么作用？
• RQ5 板模中不可约表示的重数如何与组合对象（如 Lyndon 单词和下降统计量）相关？

主要发现

• 对称群 $S_n$ 作用在与缩放单形 $\Delta_r^n$ 关联的板向量空间 $\mathrm{Pl}(\Delta_r^n)$ 上，且该模同构于离散环面上的平移代数 $\mathcal{C}_r^n$。
• 对称群作用在 $\mathcal{C}_r^n$ 上的特征由模 Diophantine 方程 $\sum \lambda_i x_i \equiv 1 \mod r$ 的解数给出，若 $\gcd(\lambda_1,\dots,\lambda_k,r) = 1$，则为 $r^{k-1}$，否则为 0。
• 元素 $\epsilon_I$ 在 $\mathcal{C}_r^n$ 中构成单位分解，每个 $\epsilon_I$ 是 $e_j$ 算子的一维特征子空间，满足 $e_j \epsilon_I = q^{i_j} \epsilon_I$。
• $\mathcal{C}_r^n$ 的维数为 $r^{n-1}$，其基为满足 $0 \leq j_i \leq r-1$ 的单项式 $e_2^{j_2} \cdots e_n^{j_n}$，证实其作为 $S_n$-模同构于 $\mathrm{Pl}(\Delta_r^n)$。
• 平凡表示在 $\mathrm{Pl}(\Delta_r^n)$ 中的重数由 Lyndon 单词枚举，$r=3$ 和 $r=4$ 时的生成函数分别为 $\frac{1}{(1-x)^3(1+x+x^2)}$ 和 $\frac{1}{(1-x)^4(1+x)^2}$。
• 对 $\mathrm{Pl}(\Delta_r^n)$ 的前几个特征表显示了不可约表示的显式重数，例如当 $n=3, r=4$ 时，$5\cdot 3^1 + 5\cdot 2^11^2$，表明其具有丰富的组合结构。