[论文解读] $N_\infty$-operads and associahedra

Scott Balchin, David Barnes+1 more|arXiv (Cornell University)|May 9, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 6

一句话总结

本文通过证明当 $G = C_{p^n}$ 时，$N_\infty$-operads 的偏序集同构于 $(n+1)$-associahedron，且此类 operads 的数量等于第 $(n+1)$ 个 Catalan 数，建立了对有限循环 $p$-群的 $N_\infty$-operads 的组合分类。此外，本文引入了纯与混合 $N_\infty$-operads 的概念，并为任意有限循环群上的 $N_\infty$-operads 总数提供了闭式下界。

ABSTRACT

We provide a new combinatorial approach to studying the collection of N-infinity-operads in G-equivariant homotopy theory for G a finite cyclic group. In particular, we show that for G the cyclic group of order p^n the natural order on the collection of N-infinity-operads stands in bijection with the poset structure of the (n+1)-associahedron. We further provide a lower bound for the number of possible N-infinity-operads for any finite cyclic group G.

研究动机与目标

• 为 $G$-等变同伦论中的 $N_\infty$-operads 提供一个组合框架，特别是针对有限循环群。
• 在 $G = C_{p^n}$ 的 $N_\infty$-operads 偏序集与 $(n+1)$-associahedron 之间建立双射，表明其结构由 Catalan 数控制。
• 在循环 $p$-群的乘积背景下，引入并分析纯与混合 $N_\infty$-operads 的区别。
• 推导出 $G = C_{p^n}C_{q^m}$ 上纯 $N_\infty$-operads 数量的闭式表达式，为任意有限循环群上 $N_\infty$-operads 的总数提供非平凡下界。

提出的方法

• 将 $N_\infty$-operads 表示为转移系统（满足限制与复合封闭性的子图），这等价于索引系统。
• 利用 $(n+1)$-associahedron 的偏序结构，其中顶点对应具有 $n+2$ 片叶子的二叉树，来建模 $G = C_{p^n}$ 的 $N_\infty$-operads 的包含序。
• 通过二叉树与 associahedra 之间的对应关系，建立 $N_\infty$-operads 偏序集与 Tamari 格之间的保序同构。
• 将纯 $N_\infty$-operads 定义为完全由其在 $C_{p^n}$ 与 $C_{q^m}$ 子群上的限制决定的那些，而将混合的定义为需要额外的范数映射（非由子群诱导）的那些。
• 使用 $n$-Tamari 格 $\mathcal{A}_n$ 来计算格中长度为 $n$ 的路径数量，从而导出路径数 $\mathcal{P}(n,r)$ 的公式。
• 推导出 $C_{p^n}C_{q^m}$ 上纯 $N_\infty$-operads 数量的公式 $\mathcal{P}(n+1,m)\mathcal{P}(m+1,n)$，并通过此类项的乘积推广至 $k$ 重乘积。

实验结果

研究问题

• RQ1 如何组合地描述 $G = C_{p^n}$ 的 $N_\infty$-operads 偏序集？
• RQ2 是否存在一个直接的组合不变量（如多面体或格），用于分类 $C_{p^n}$ 的 $N_\infty$-operads 的包含序？
• RQ3 在循环 $p$-群的乘积背景下，纯 $N_\infty$-operads 与混合 $N_\infty$-operads 的区别是什么？
• RQ4 能否为任意有限循环群 $G$ 上的 $N_\infty$-operads 总数建立一个非平凡下界？

主要发现

• 当 $G = C_{p^n}$ 时，$N_\infty$-operads 的偏序集同构于 $(n+1)$-associahedron，且此类 operads 的数量等于第 $(n+1)$ 个 Catalan 数。
• 对于 $G = C_{p^n}C_{q^m}$，纯 $N_\infty$-operads 的数量为 $\mathcal{P}(n+1,m)\mathcal{P}(m+1,n)$，其中 $\mathcal{P}(n,r)$ 表示在 $n$-Tamari 格中长度为 $r$ 的路径数量。
• 公式 $\mathcal{P}(n,r) = \frac{2(4n+1)!}{(n+1)!(3n+2)!}$ 为这类路径数量提供了闭式表达式。
• 通过计算验证了 $G = C_{p^3q}$ 上 $N_\infty$-operads 的总数为 544，展示了混合 operads 的复杂性。
• 对于 $G = C_{p^{n_1}}\cdots C_{p^{n_k}}$，纯 $N_\infty$-operads 的数量为 $\prod_{i,j=1}^k \mathcal{P}(n_i+1,n_j)$，为总数提供了非平凡下界。
• 在 $C_{pq}$ 情况下存在唯一的“异类”——即一个范数映射不由复合规则强制产生——这使得混合 operads 与纯 operads 区分开来。