Extended generalized permutahedra, and cointeracting bialgebras

技术摘要：扩展广义置换多胞形与共交互双代数

问题陈述
本文研究了扩展广义置换多胞形（Extended Generalized Permutahedra, EGPs）的代数结构。虽然 Aguiar 和 Ardila [1] 此前利用笛卡尔积作为乘法以及基于面的分解作为余乘法，建立了 EGPs 的 Hopf 单子结构，但在是否存在一个“共交互”（cointeracting）双代数结构方面仍存在显著空白。在组合 Hopf 代数的语境下，一个典型的共交互双代数由一个双代数 $(A, \mu, \Delta)$ 和第二个双代数 $(B, \mu, \delta)$ 组成，其中 $A$ 通过映射 $\delta': A \to B \otimes A$ 成为 $B$ 的一个余模（comodule），并满足特定的相容条件。作者探讨了对于 EGPs 是否存在这样的结构，以及如果存在，它反映了什么样的几何或组合特征。

方法论
作者采用物种（species，即从有限集到对称单幺群范畴的函子）的框架来形式化这些代数结构。他们利用了以下方法论支柱：

1. 多面体几何学： 他们分析了多面体的几何性质，特别关注多面体 $P$、其面 $F$ 以及在这些面处的切锥（或仿射锥）$\text{cone}_F(P)$ 之间的关系。
2. 伽罗瓦连接（Galois Connections）： 他们在给定锥的子锥与超锥之间建立了伽罗瓦连接，并将其特化到辫子锥（braid cones）和偏序（preorders）的设定中。
3. 次模函数（Submodular Functions）： 他们利用了 EGPs 与扩展次模函数 $z: \mathcal{P}(I) \to \mathbb{R} \cup \{\infty\}$ 之间的双射。这使得他们能够将几何操作（面、切锥）转化为函数操作（限制、核限制以及基于偏序的修正）。
4. 测量代数（Measuring Algebras）： 作者并未采用经典的余模定义，而是利用了“测量代数”的概念。他们认为标准的共交互条件等价于一个代数 $B$ 测量一个双代数 $A$。在本文特定的设定中，他们反转了这一过程：由 EGPs 组成的代数（$A$）测量由仿射锥 EGPs 组成的双代数（$B$）。

主要贡献与结果

• 共交互映射的定义： 作者定义了一个余模类型的映射 $\delta: A \to A \otimes B$，其中 $A$ 是 EGPs 的物种，$B$ 是仿射锥 EGPs 的物种。对于多面体 $P$，该映射定义为：
  $$\delta(P) = \sum_{F \text{ face of } P} (F, \text{cone}_F(P))$$
  这里 $\text{cone}_F(P)$ 是 $P$ 在面 $F$ 处的切锥。

• 测量框架： 论文证明了这种结构并不符合 $A$ 是 $B$ 的余模的经典共交互双代数定义。相反，它符合“测量”的框架，即代数 $A$ 测量双代数 $A$ 和 $B$。这是一种在技术层面上不同的共交互含义。

• 通过次模函数的显式描述：

  • 面（Faces）： 对于由次模函数 $z$ 定义且其法锥对应于偏序 $P$ 的 EGP，面 $F$ 的次模函数由 $z_P = \prod_{C \in b(P)} z_C$ 给出，其中 $b(P)$ 是 $P$ 的“泡泡”（bubbles，即等价类），而 $z_C$ 是 $z$ 的特定限制。
  • 切锥（Tangent Cones）： 对应于切锥 $\text{cone}_F(P)$ 的次模函数记作 $z_P$。它被定义为：
    $$z_P(S) = \begin{cases} z(S) & \text{如果 } S \text{ 是 } P \text{ 的向下封闭集 (down-set)} \\ \infty & \text{否则} \end{cases}$$
    作者证明了 $z_P$ 是一个模函数（modular function），从而确认了切锥确实是一个仿射锥。

• 辫子扇（Braid Fan）与偏序： 论文建立了一个联系，即 EGP 的法扇是辫子扇的一个子扇的粗化。这直接将 EGPs 的几何性质与索引集 $I$ 上的偏序联系起来。EGP 的面对应于相关偏序的收缩，而切锥则对应于由这些偏序导出的特定模函数。

• 主定理（定理 8.1）： EGPs 的物种（$\text{egp}$）和仿射锥 EGPs 的子物种（$\text{egca}$）在物种层面构成共交互双单子（cointeracting bimonoids）。具体而言，映射 $\delta_{\text{egp}}$ 构成了单子 $(\text{egp}, \mu)$ 对双单子 $(\text{egp}, \mu, \Delta)$ 与双单子 $(\text{egca}, \mu, \Delta)$ 之间的测量。

意义与主张
作者声称，这项工作提供了第一个针对扩展广义置换多胞形的共交互结构的显式构造。他们强调，这种结构的独特性在于它依赖于“测量代数”的概念，而非大多数组合 Hopf 代数中常见的经典余模结构。

论文断言，映射 $\delta$ 反映了多面体及其在各面处的局部几何（切锥）的基本几何分解。通过将这些几何操作转化为次模函数和偏序的语言，本文提供了共交互的完整组合描述。作者指出，虽然这种共交互对于一般的多面体和仿射锥是成立的，但其“测量”属性仅在限制在扩展广义置换多胞形这一类时才有效。

本工作被呈现为对之前一份预印本的实质性重写，其重点转向了多面体几何学，并引入了针对此特定语境的测量代数框架。它并未提出新的应用或未来的实验方向，而是旨在巩固连接 EGP 几何与组合 Hopf 代数理论的理论代数基础。