[论文解读] Decomposition spaces in Combinatorics

Imma Gálvez-Carrillo, Joachim Kock+1 more|arXiv (Cornell University)|Dec 29, 2016

Advanced Topics in Algebra参考文献 89被引用 18

一句话总结

本文引入分解空间作为组合学中关联（共）代数的统一框架，通过用分解条件替代塞加条件，将偏序集和范畴进行推广。它通过卷积代数与基数，建立了分解空间与经典组合结构（如二项式偏序集、Faà di Bruno 与 Butcher-Connes-Kreimer Hopf 代数）之间的直接联系，揭示了 Möbius 反演与生成函数中的消去现象，源于在对象层面不可见的同伦结构。

ABSTRACT

A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In this contribution, after establishing a formula for the section coefficients, we survey a large supply of examples, emphasising the notion's firm roots in classical combinatorics. The first batch of examples, similar to binomial posets, serves to illustrate 2 key points: (1) the incidence algebra in question is realised directly from a decomposition space, without a reduction step, and reductions are often given by CULF functors; (2) at the objective level, the convolution algebra is a monoidal structure of species. We encounter the usual Cauchy product of species, the shuffle product of L-species, the Dirichlet product of arithmetic species, the Joyal-Street external product of q-species and the Morrison `Cauchy' product of q-species. In each case a power series representation results from taking cardinality. The external product of q-species exemplifies the fact that Waldhausen's S-construction on an abelian category is a decomposition space, yielding Hall algebras. The next class of examples includes Schmitt's chromatic Hopf algebra, the Faà di Bruno bialgebra, the Butcher-Connes-Kreimer Hopf algebra of trees and variations from operad theory. Similar structures on posets and directed graphs exemplify a general construction of decomposition spaces from directed restriction species. An appetiser on decomposition spaces of symmetric functions is included. We finish by computing the Möbius function in a few cases, and commenting on certain cancellations that occur in the process of taking cardinality, substantiating that these cancellations are not possible at the objective level.

研究动机与目标

• 建立分解空间作为组合学中关联（共）代数的通用框架，超越经典偏序集与范畴。
• 证明组合学中的卷积代数自然源自分解空间，无需经过约化步骤。
• 阐明 CULF 范畴在关联分解空间与诱导余代数同态中的作用。
• 表明生成函数中的消去现象（如 Möbius 反演）在对象层面不可实现，而源于隐藏的同伦结构。
• 在分解空间形式化中，全面梳理经典组合例子，包括类型、Hopf 代数与 Waldhausen 的 S•-构造。

提出的方法

• 本文使用单纯范畴群作为自然的通用层次，通过范畴群结构编码组合对象的对称性。
• 引入分解空间作为满足单位 2-塞加条件的单纯范畴群，该条件编码分解而非复合。
• 通过推广关联代数结构的公式，计算分解空间的系数。
• 使用 CULF 范畴关联分解空间并诱导代数同态，尤其在类型与双代数的语境中。
• 通过复合映射 Δ(f) = ∑_{ab=f} a⊗b 定义箭头自由向量空间上的卷积代数结构，推广了关联余代数。
• 应用基数将同伦结构转化为幂级数，恢复了经典乘积，如柯西积、洗牌积与狄利克雷积。

实验结果

研究问题

• RQ1 分解空间如何作为组合学中关联（共）代数的统一框架？
• RQ2 CULF 范畴在分解空间之间构造余代数同态方面发挥何种作用？
• RQ3 为何 Möbius 反演与生成函数中的消去现象无法在对象层面发生，而仅源于同伦结构？
• RQ4 阿贝尔范畴上的 Waldhausen S•-构造如何产生分解空间，从而导出 Hall 代数？
• RQ5 胖诺伊曼（fat nerve）在从具有对称性的范畴实现分解空间中扮演何种角色？

主要发现

• 分解空间的关联余代数可直接实现而无需约化，其复合映射 Δ([x,y]) = ∑_{x≤m≤y} [x,m]⊗[m,y] 推广了经典偏序集情形。
• 分解空间的卷积代数可导出类型上的单峰结构，包括柯西积、洗牌积与狄利克雷积，具体取决于类型。
• q-类型的外部积源于阿贝尔范畴上的 Waldhausen S•-构造，该构造为分解空间，从而导出 Hall 代数。
• Faà di Bruno 双代数、Butcher-Connes-Kreimer Hopf 代数与 Schmitt 的色多项式 Hopf 代数均作为分解空间的关联双代数出现。
• 在对象层面计算的 Möbius 函数无法解释生成函数中观察到的消去现象，这些消去源于在底层范畴群中不可见的同伦结构。
• 本文表明，zeta 函数与 Möbius 函数中项的消去（如黎曼 zeta 函数中）在分解空间本身层面无法实现，仅在取基数后才可发生。