[论文解读] Some dendriform functors

Frédéric Chapoton|ArXiv.org|Sep 15, 2009

Algebraic structures and combinatorial models参考文献 12被引用 3

一句话总结

本文通过塔马里格拉蒂斯模范畴，对枝形操作代数进行了范畴化，构造了三个关键运算的范畴化函子：第一个复合映射 $∘_1$、结合积 $*$ 和一个新运算 $ frac{1}{2}$。其主要贡献在于证明了 $ frac{1}{2}$ 运算保持投射模，从而在格罗滕迪克群层面上实现了该运算的良定义函子范畴化。

ABSTRACT

We make a first step towards categorification of the dendriform operad, using categories of modules over the Tamari lattices. This means that we describe some functors that correspond to part of the operad structure.

研究动机与目标

• 通过塔马里格拉蒂斯的表示理论，启动枝形操作代数 $\operatorname{Dend}$ 的范畴化。
• 在塔马里偏序集的模范畴上定义对应于 $\operatorname{Dend}$ 操作代数运算的函子。
• 证明通过卡塔兰替代表格引入的 $\tfrac{1}{2}$ 运算保持投射模，从而在格罗滕迪克群层面上诱导出良定义的函子。
• 证明 $\tfrac{1}{2}$ 运算与格罗滕迪克群上的欧拉形式相容，并保持正性。

提出的方法

• 通过将平面二叉树的基视为塔马里偏序集范畴格罗滕迪克群中的单个模，实现范畴化。
• 从 $\mathbb{Y}_m \times \mathbb{Y}_n$ 的模范畴到 $\mathbb{Y}_{m+n-1}$ 的模范畴构造函子，分别对应 $\u2218_1$、$*$ 和 $\tfrac{1}{2}$ 运算。
• 通过非交叉构型组合定义 $\tfrac{1}{2}$ 运算，并利用归纳法与分解引理证明其保持投射模。
• 利用欧拉形式验证 $\tfrac{1}{2}$ 函子与格罗滕迪克群结构的相容性。
• 证明依赖于结构性引理（如引理 10.3、引理 10.4），这些引理通过上下乘积与非交叉树性质分解乘积。
• 证明投射模范畴在 $\u2218_1$ 与 $\tfrac{1}{2}$ 下封闭，从而实现所需函子的构造。

实验结果

研究问题

• RQ1 能否通过塔马里格拉蒂斯模范畴对枝形操作代数实现部分范畴化？
• RQ2 如何将通过卡塔兰替代表格定义的 $\tfrac{1}{2}$ 运算实现为模范畴上的函子？
• RQ3 $\tfrac{1}{2}$ 运算是否保持塔马里格拉蒂斯范畴中投射模的子范畴？
• RQ4 $\tfrac{1}{2}$ 运算是否与塔马里格拉蒂斯范畴格罗滕迪克群上的欧拉形式相容？
• RQ5 能否证明 $\tfrac{1}{2}$ 运算在格罗滕迪克群上保持正性与无重数和？

主要发现

• 通过次数归纳法与上下乘积的分解，证明了 $\tfrac{1}{2}$ 运算保持投射模。
• $\tfrac{1}{2}$ 运算诱导出从 $\mathbb{Y}_m \times \mathbb{Y}_n$-模范畴到 $\mathbb{Y}_{m+n-1}$-模范畴的良定义函子。
• $\tfrac{1}{2}$ 运算与欧拉形式相容，满足格罗滕迪克群上的 $E(x\#y) = E(x)\#E(y)$。
• 两个无重数的平面二叉树和的 $\tfrac{1}{2}$ 运算结果仍为无重数的树和，如公式 (40) 所示。
• 由 $\psfig{height=7.11317pt}$ 与 $\psfig{height=7.11317pt}$ 在 $\u2218_1$ 与 $\tfrac{1}{2}$ 下生成所有投射元素，如命题 10.6 所示。
• $\tfrac{1}{2}$ 运算在正元素上为正，且格罗滕迪克群中两个正元素的乘积仍为正。