arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1303.2500math.CTmath.KT
收藏

微分分次范畴与Deligne猜想

Differential graded categories and Deligne conjecture

Boris Shoikhet

摘要:

我们证明了特征为0的域$k$上的$n$ -fold monoidal阿贝尔范畴$A$的Deligne猜想的一个版本,假设$A$满足一些相容性和非退化性条件。我们构造的结果是$k$上的弱LeinsterPDMATHABMP-代数,它是$Alg(k)$中$n$ -代数概念的放松版本.当$n>1$,因为$n=1$,两个概念重合时,Leinster原始定义和我们的宽松定义之间的区别是明显的。我们认为存在一个从$k$上的弱Leinster $(n,1)$ -代数到$C(E_{n+1},k)$ -代数的函子,当$k=\mathbb{Q}$时,该函子定义良好,并且保持弱等价.对于$n=1$的情形,[Sh 4]用初等单纯方法构造了这样一个函子,(与本文一起)给出了1-monoidal阿贝尔范畴的完全解.我们的方法德利涅猜想分为两个部分。本文的第一部分是在满足相容性和非退化性条件的前提下,从$k$ -线性交换范畴的$n$ -fold monoidal中构造了$k$上的弱Leinster $(n,1)$ -代数.第二部分(仍然开放的$n>1$)是从弱Leinster $(n,1)$ -代数到$C(E_{n+1},k)$ -代数的通道。作为应用,我们证明了特征为0的域$k$上的Hopf代数的Gerstenhaber-Schack复形存在一个扩张Yoneda结构的$k$上的弱Leinster(2,1)-代数结构.它依赖于我们早期的建设[Sh 1]的2倍monoidal结构上的交换范畴的tetramodules双代数。

英文摘要:

We prove a version of the Deligne conjecture for $n$-fold monoidal abelian categories $A$ over a field $k$ of characteristic 0, assuming some compatibility and non-degeneracy conditions for $A$. The output of our construction is a weak Leinster $(n,1)$-algebra over $k$, a relaxed version of the concept of Leinster $n$-algebra in $Alg(k)$. The difference between the Leinster original definition and our relaxed one is apparent when $n>1$, for $n=1$ both concepts coincide. We believe that there exists a functor from weak Leinster $(n,1)$-algebras over $k$ to $C(E_{n+1},k)$-algebras, well-defined when $k=\mathbb{Q}$, and preserving weak equivalences. For the case $n=1$ such a functor is constructed in [Sh4] by elementary simplicial methods, providing (together with this paper) a complete solution for 1-monoidal abelian categories. Our approach to Deligne conjecture is divided into two parts. The first part, completed in the present paper, provides a construction of a weak Leinster $(n,1)$-algebra over $k$, out of an $n$-fold monoidal $k$-linear abelian category (provided the compatibility and non-degeneracy condition are fulfilled). The second part (still open for $n>1$) is a passage from weak Leinster $(n,1)$-algebras to $C(E_{n+1},k)$-algebras. As an application, we prove that the Gerstenhaber-Schack complex of a Hopf algebra over a field $k$ of characteristic 0 admits a structure of a weak Leinster (2,1)-algebra over $k$ extending the Yoneda structure. It relies on our earlier construction [Sh1] of a 2-fold monoidal structure on the abelian category of tetramodules over a bialgebra.

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

↑