arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2412.03341math.ATmath.CT
收藏

operad 上代数的高阶交叉模

Higher crossed modules of algebras over an operad

Clovis Chabertier

AI总结:

本文统一 operad 上代数交叉模的不同定义,证明 Janelidze 与 Leray-Riviere-Wagemann 方法等价,并借助余下降构造高阶交叉模,刻画为代数内部的 n 重范畴。

摘要:

我们在 operad 上代数的语境中研究交叉模。为此,在第一节中,我们通过回顾 operad 情形下的内部作用、预交叉模和交叉模概念,调整了 Janelidze 的方法。此外,我们对任意 operad 上的预交叉模提取了在 Lie 情形中众所周知的 Peiffer 关系。我们通过证明固定 operad 上代数的交叉模等价于该固定 operad 上代数内部的范畴,证明了我们的交叉模概念等价于 Janelidze 的概念。在第二节中,我们研究了 Leray-Riviere-Wagemann 在 arXiv:2411.04614 中引入的 operad 上代数交叉模概念,并证明它等价于既有的交叉模概念。粗略地说,Leray-Rivière-Wagemann 意义下的交叉模是集中在次数 0 和 1 的链复形上的代数结构。我们强调了一个“余下降”过程,它使我们能够赋予链复形的一次项和零次项以代数结构,使得微分为代数态射。此外,我们证明它是一个交叉模。事实上,我们证明了 Leray-Riviere-Wagemann 的交叉模方法等价于 Janelidze 的方法。这一新方法连同余下降过程,使我们能够以非常简洁和显式的方式引入高阶交叉模,并且我们证明它们对于某个 n 等价于代数内部的 n 重范畴。

英文摘要:

We study crossed modules in the context of algebras over an operad. To do so, in the first section, we adapt the methods of Janelidze by reviewing the notions of internal actions, precrossed modules and crossed modules in the operadic case. Moreover, we extract the Peiffer relations, well known in the Lie case, for precrossed modules over an arbitrary operad. We prove that our notion of crossed modules is equivalent to the one of Janelidze by proving that our crossed modules of algebras over a fixed operad are equivalent to categories internal to algebras over this fixed operad. In the second section, we study the notion of crossed modules of algebras over an operad as introduced by Leray-Riviere-Wagemann in arXiv:2411.04614 and prove it to be equivalent to the already existing notions of crossed modules. Roughly speaking, a crossed module in the sense of Leray-Rivière-Wagemann is an algebra structure on a chain complex concentrated in degrees 0 and 1. We highlight a "codescent" process which allows us to endow the degree one and zero terms of the chain complex with algebra structures such that the differential is an algebra morphism. Moreover, we prove it to be a crossed module. In fact we prove that the approach to crossed modules of Leray-Riviere-Wagemann is equivalent to the one of Janelidze. This new approach, together with the codescent process, allows us to introduce higher crossed modules in a very concise and explicit way, and we prove them to be equivalent to n-fold categories internal to algebras, for some n.

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

↑