[论文解读] Infinitesimal and $B\_\infty$-algebras, finite spaces, and quasi-symmetric functions

Loïc Foissy, Claudia Malvenuto+1 more|arXiv (Cornell University)|Mar 28, 2014

Advanced Combinatorial Mathematics参考文献 20被引用 4

一句话总结

本文证明了有限拓扑空间的线性张量构成一个 $B_{u}$-代数，并存在一个到拟对称函数代数的满射霍普夫代数同态。通过组合霍普夫代数方法，本文将有限空间与余代数结构联系起来，并引入舒尔-外尔范畴以描述结合代数中的刚性性质，揭示了局部拓扑不变量背后的全局代数结构。

ABSTRACT

Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be put on recent topological and combinatorial Hopf algebra techniques. We will show that the linear span of finite spaces carries generalized Hopf algebraic structures that are closely connected with familiar constructions and structures in topology (such as the one of cogroups in the category of associative algebras that has appeared e.g. in the study of loop spaces of suspensions). The most striking results that we obtain are certainly that the linear span of finite spaces carries the structure of the enveloping algebra of a $B\_\infty$--algebra, and that there are natural (Hopf algebraic) morphisms between finite spaces and quasi-symmetric functions. In the process, we introduce the notion of Schur-Weyl categories in order to describe rigidity theorems for cogroups in the category of associative algebras and related structures, as well as to account for the existence of natural operations (graded permutations) on them.

研究动机与目标

• 使用现代组合与霍普夫代数工具研究有限拓扑空间。
• 在有限空间的线性张量上揭示全局代数结构——特别是 $B_{\backslash\text{infty}}$-代数与余代数结构。
• 建立从有限空间到拟对称函数代数的自然霍普夫代数同态。
• 引入舒尔-外尔范畴以形式化结合代数中余交换余群的刚性定理及其相关双代数。
• 阐明局部构造（例如上积）与有限空间线性张量上全局代数运算之间的相互作用。

提出的方法

• 利用有限拓扑空间与有限集上预序之间的双射对应关系，以代数方式建模空间。
• 通过提取开子集在有限空间的线性张量上定义余乘法，形成余代数结构。
• 在拟对称函数上引入 $\succ_q$-乘积，并构造从有限空间线性张量到 $\mathbf{QSym}$ 的同态 $\phi_q$。
• 使用标准线性序 $Lin_{ackslash ext{Std}}(\mathcal{T})$ 编码拓扑数据，并通过标记的加权和定义映射 $\phi_q$。
• 应用舒尔-外尔范畴的概念，描述结合代数范畴中余交换余群的刚性性质。
• 使用 $F_<}$ 和 $F_=}$ 映射定义在标记上的运算，以保持并反映 $\succ_q$-乘积结构。

实验结果

研究问题

• RQ1 如何在有限拓扑空间的线性张量上赋予 $B_{\infty}$-代数结构？
• RQ2 从有限空间线性张量到拟对称函数代数的霍普夫代数同态的本质是什么？
• RQ3 有限空间上的全局代数运算如何与局部拓扑不变量（如上积）相关联？
• RQ4 舒尔-外尔范畴在刻画结合代数中余群结构的刚性时起什么作用？
• RQ5 在何种条件下，两个有限空间在同态 $\phi_q$ 下产生相同的像？

主要发现

• 有限空间的线性张量 $\mathcal{F}$ 具备 $B_{\infty}$-代数的包络代数结构，如定理 19 所证。
• 存在一个满射且保持结构的霍普夫代数同态 $\phi_q: \mathcal{F} \to \mathbf{QSym}$，如定理 21 所证。
• 同态 $\phi_q$ 尊重 $\succ_q$-乘积，满足 $\phi_q(\overline{\mathcal{T}}_1 \succ \overline{\mathcal{T}}_2) = \phi_q(\overline{\mathcal{T}}_1) \succ_q \phi_q(\overline{\mathcal{T}}_2)$，确认其与代数运算的兼容性。
• 在 $\mathcal{F}$ 上的特征 $\zeta_q = \zeta_{\mathbf{QSym}} \circ \phi_q$ 的取值为 $q^{\alpha((n))} = q^{\text{满足 } i <_{\mathcal{T}} j \text{ 的对数}}$，将拓扑数据与 $q$-变形联系起来。
• 映射 $\phi_q$ 不是单射；不同的有限空间 $\overline{\mathcal{T}}$ 与 $\overline{\mathcal{T}}'$ 可能映射到 $\mathbf{QSym}$ 中的同一元素，如一个含 204 项的反例所示。
• 同一集合上的两个拓扑 $\mathcal{T}$ 与 $\mathcal{T}'$ 相等当且仅当 $Lin(\mathcal{T}) = Lin(\mathcal{T}')$，提供了拓扑同构的组合判别准则。