arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1907.04411math.RAmath.ATmath.CO
收藏

分裂霍普夫代数、拟混洗代数和Omega Sigma X的上同调

Split Hopf algebras, quasi-shuffle algebras, and the cohomology of Omega Sigma X

Nicholas J. Kuhn

摘要:

设A和B是两个连通的有限型分次交换k-代数,其中k是正特征p的完满域.证明了A和B生成的拟shuffle代数同构为霍普夫代数当且仅当A和B同构为具有Frobenius(p次幂)映射的分次k-向量空间.对于最难的部分,这种分析,我们的工作与对偶结构,并导致研究连接的分次余交换霍普夫代数H与两个额外的属性:H是免费的结合代数,和投影到不可分解的分裂作为一个态射的分次k-向量空间配备了一个Vernebung映射。非交换维特向量的工作Goerss,Lannes和莫雷尔的基础上,我们分类等自由,“分裂”霍普夫代数。一个拓扑推论是,如果X是基路连通空间,则霍普夫代数H^*(Omega Sigma X;k)由X的稳定同伦类型确定。我们还讨论了更简单的相似特征0结果,并给出了我们的拟-shuffle代数是多项式时的一个刻画,推广了所谓的Ditters猜想。

英文摘要:

Let A and B be two connected graded commutative k-algebras of finite type, where k is a perfect field of positive characteristic p. We prove that the quasi--shuffle algebras generated by A and B are isomorphic as Hopf algebras if and only if A and B are isomorphic as graded k-vector spaces equipped with a Frobenius (pth-power) map. For the hardest part of this analysis, we work with the dual construction, and are led to study connected graded cocommutative Hopf algebras H with two additional properties: H is free as an associative algebra, and the projection onto the indecomposables is split as a morphism of graded k-vector spaces equipped with a Verschiebung map. Building on work on non-commutative Witt vectors by Goerss, Lannes, and Morel, we classify such free, `split' Hopf algebras. A topological consequence is that, if X is a based path connected space, then the Hopf algebra H^*(Omega Sigma X;k) is determined by the stable homotopy type of X. We also discuss the much easier analogous characteristic 0 results, and give a characterization of when our quasi--shuffle algebras are polynomial, generalizing the so-called Ditters conjecture.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑