[论文解读] Combalgebraic structures on decorated cliques

Samuele Giraudo|arXiv (Cornell University)|Sep 25, 2017

Advanced Topics in Algebra参考文献 15被引用 4

一句话总结

本文提出一个函子性构造 C，从幺半群构造操作代数，生成在带装饰的团簇（带弧标记的完全图）上的组合操作代数层级。关键贡献是识别并详细研究了非交叉带装饰团簇操作代数 NCℳ，证明其为 Koszul 代数，给出显式表示与 Koszul 对偶，并表明其包含已知结构如 Schröder 树、Motzkin 对象及双色非交叉配置作为商代数。

ABSTRACT

A new hierarchy of combinatorial operads is introduced, involving families of regular polygons with configurations of arcs, called decorated cliques. This hierarchy contains, among others, operads on noncrossing configurations, Motzkin objects, forests, dissections of polygons, and involutions. All this is a consequence of the definition of a general functorial construction from unitary magmas to operads. We study some of its main properties and show that this construction includes the operad of bicolored noncrossing configurations and the operads of simple and double multi-tildes. We focus in more details on a suboperad of noncrossing decorated cliques by computing its presentation, its Koszul dual, and showing that it is a Koszul operad.

研究动机与目标

• 开发一个通用代数框架，用于在多边形中弧的组合构型上构造操作代数。
• 通过单一函子性构造，统一并推广已知操作代数，如非交叉划分、Motzkin 路径和多波浪线操作代数。
• 识别并研究非交叉带装饰团簇的子操作代数作为 Koszul 操作代数，具有显式代数与组合性质。
• 在新层级中重新发现并重新解释现有操作代数，如 BNC、MT 和 DMT。

提出的方法

• 定义一个从幺半群范畴到非对称操作代数范畴的函子 C，构造 M-带装饰团簇上的操作代数。
• 引入两种替代基（H-基与 K-基），利用 M-带装饰团簇上的偏序关系分析操作代数结构。
• 通过施加关于顶点度数、交叉与嵌套的约束，构造 Cℳ 的商代数，生成子操作代数如 Invℳ、Degkℳ 和 NCℳ。
• 使用重写理论证明非交叉操作代数 NCℳ 拥有收敛重写系统，从而确立其 Koszul 性质。
• 通过原始关系的对偶性，计算 NCℳ! 的显式表示，得到其 Koszul 对偶。
• 利用函数方程推导 NCℳ! 的 Hilbert 系数，提供其元素的组合解释。

实验结果

研究问题

• RQ1 能否通过一个通用函子性构造统一多种在多边形弧构型上的操作代数，如非交叉划分与 Motzkin 路径？
• RQ2 非交叉带装饰团簇的子操作代数 NCℳ 是否为 Koszul 代数？其表示与 Koszul 对偶为何？
• RQ3 已知操作代数如 BNC、MT 与 DMT 如何嵌入由函子 C 生成的层级中？
• RQ4 Koszul 对偶操作代数 NCℳ! 中元素的组合解释是什么？
• RQ5 NCℳ! 的 Hilbert 系数能否通过一个反映其底层组合结构的函数方程表达？

主要发现

• 操作代数 NCℳ 是 Koszul 代数，由其生成元上存在收敛重写系统所确立。
• NCℳ 具有生成元在二元 arity 上、关系集中在三元 arity 上的表示，关系由公式 (3.2.1a)–(3.2.1c) 给出。
• Koszul 对偶操作代数 NCℳ! 具有关系 (3.2.2a)–(3.2.2c) 的表示，由原始关系的正交性导出。
• NCℳ! 的 Hilbert 系数满足函数方程 (3.2.3)，当 |ℳ| = 2 时，生成序列 1, 8, 80, 992, 13760，与序列 A234596 一致。
• 当 |ℳ| = 2 时，NCℳ! 的维数与 BNC 操作代数一致，确认了非交叉操作代数的对偶与双色非交叉构型之间存在组合联系。
• 操作代数 NCℳ 同构于满足特定相容条件的弧上带标签的 Schröder 树操作代数。