[论文解读] Simplicial Endomorphisms

Kosta Došen|ArXiv.org|Jan 25, 2003

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文提出了一种关于单纯自同态幺半群 $\mathcal{O}_n$ 的全新、自包含的生成元与关系完全呈现，这些幺半群是单纯范畴 $\Delta$ 中的自同态幺半群。通过 frieze 图形，建立了其与伴随函子及 Temperley-Lieb 代数之间深刻的联系，表明 $\mathcal{O}_n$ 是这些代数中幺半群的子幺半群，并揭示了 $\mathbb{N}$ 上保序函数与 frieze 结构之间的一种新颖关联。

ABSTRACT

The monoids of simplicial endomorphisms, i.e. the monoids of endomorphisms in the simplicial category, are submonoids of monoids one finds in Temperley-Lieb algebras, and as the monoids of Temperley-Lieb algebras are linked to situations where an endofunctor is adjoint to itself, so the monoids of simplicial endomorphisms are linked to arbitrary adjoint situations. This link is established through diagrams of the kind found in Temperley-Lieb algebras. Results about these matters, which were previously prefigured up to a point, are here surveyed and reworked. A presentation of monoids of simplicial endomorphisms by generators and relations has been given a long time ago. Here a closely related presentation is given, with completeness proved in a new and self-contained manner.

研究动机与目标

• 使用生成元与关系，为单纯自同态幺半群 $\mathcal{O}_n$ 提供一种自包含的完全呈现。
• 系统地建立单纯自同态与伴随函子情形之间的联系，推广在 Temperley-Lieb 代数中观察到的关联。
• 引入并分析“frieze”——源自伴随函子的图示结构——并证明其与 $\mathbb{N}$ 上有限类型的保序自同态同构。
• 证明 $\mathcal{O}_n$ 同构于与 Temperley-Lieb 代数相关的幺半群 $\mathcal{K}_\omega$ 的子幺半群。
• 将先前预示的关于 $\mathcal{O}_n$、$\mathcal{K}_\omega$ 与伴随函子的结果统一并重构为一个连贯、自包含的框架。

提出的方法

• 使用 $\mathcal{O}_n$ 元素的规范形式，通过生成元与关系证明其完全性。
• 采用类似证明论中剪切消去的复合消去技术，分析并简化幺半群中的复合结构。
• 将生成元 $p^i$ 与 $q^i$ 定义为标准单纯生成元 $\sigma_i$ 与 $\delta_i$ 的复合，分别表示右分叉与左分叉的自同态。
• 构造所有 $\mathbb{N}$ 上有限类型保序自同态的幺半群 $\mathcal{O}_\omega$，并证明其同构于 $\mathcal{K}_\omega$ 的子幺半群。
• 引入 frieze 图形作为伴随函子的图示演算，并证明其与 $\mathbb{N}$ 上有限类型保序自同态之间存在双射对应。
• 通过 $\sigma_i \mapsto \lfloor{2i+2}\rfloor$、$\delta_i \mapsto \lceil{2i+1}\rceil$ 将标准单纯生成元嵌入 $\mathcal{K}_\omega$，在此代数设定中验证了单纯关系。

实验结果

研究问题

• RQ1 如何以自包含的方式，通过生成元与关系完全呈现单纯自同态幺半群 $\mathcal{O}_n$？
• RQ2 单纯自同态与范畴论中伴随函子之间的确切关系是什么？
• RQ3 最初源自 Temperley-Lieb 代数的 frieze 图形如何与 $\mathbb{N}$ 上的保序函数相关联？
• RQ4 幺半群 $\mathcal{O}_n$ 以何种方式被嵌入到 Temperley-Lieb 代数的幺半群中？
• RQ5 标准单纯范畴 $\Delta$ 是否可同构于由单个对象生成的自由单子？这与伴随函子有何关联？

主要发现

• 幺半群 $\mathcal{O}_n$ 由生成元 $p^i$ 与 $q^i$ 完全呈现，关系为：当 $i \leq j$ 时，$p^i p^j = p^j p^i$；当 $i \leq j$ 时，$q^i q^j = q^j q^i$；当 $i \leq j$ 时，$p^i q^j = q^j p^i$；且 $p^i q^i = p^i q^{i+1} = \mathbf{1}$。
• 所有 $\mathbb{N}$ 上有限类型保序自同态的幺半群 $\mathcal{O}_\omega$ 同构于 $\mathcal{K}_\omega$（即 frieze 的 $\mathcal{K}$-等价类的幺半群）的子幺半群。
• 存在 $\mathbb{N}$ 上有限类型保序自同态与有限类型 frieze 之间的双射对应，建立了代数结构与图示演算之间的直接联系。
• 标准单纯生成元 $\sigma_i$ 与 $\delta_i$ 通过映射 $\sigma_i \mapsto \lfloor{2i+2}\rfloor$ 与 $\delta_i \mapsto \lceil{2i+1}\rceil$ 嵌入 $\mathcal{K}_\omega$，且在此设定中验证了所有单纯关系。
• $\Delta$ 的单纯范畴同构于由单个对象生成的自由单子，且该构造被证明自然地源于伴随函子数据。
• $\mathcal{O}_n$ 幺半群被证明是与 Temperley-Lieb 代数相关幺半群的子幺半群，将已知的自伴随情形推广至一般伴随函子设定。