具有商性质的单体阿贝尔包络

@文章{Coulenbier2021MonoidalAE,title={具有商性质的单体阿贝尔包络},author={Kevin Coullembier和Pavel Etingof以及Victor Ostrik和Bregje Pauwels},journal={journal f{\“u}r die reine und angewandte Mathematik(克里勒斯期刊)},年份={2021},体积={2023},页码={179-214},url={https://api.semanticscholar.org/CorpusID:232075662}}
摘要我们研究了伪传感器类别的阿贝尔包络,其性质是包络中的每个对象都是伪传感器类别中对象的商。我们建立了一个伪传感器类别的内在判据,证明了满足此商性质的阿贝尔包络的存在性。这使我们可以将张量范畴的标量和Deligne张量积的扩张解释为阿贝尔包络,并扩大了所有张量范畴都

对称范畴中的对立李代数

我们在对称范畴中定义了逆李代数,从向量空间的范畴推广了Cartan矩阵$A$的$\mathfrak{g}(A)$形式的李代数的构造

$\tilde中$A_n$web类别的模块类别{答}_{n-1}$-建筑物

我们在局部有限元的顶点上装备向量丛的范畴{答}_{n-1}$building$\Delta$,在$a_{n}$webs类型的类别上具有模块类别的结构

单体函子的同调核

我们证明了域上的每个刚性单体范畴$${\textbf{a}$$a定义了一系列泛张量范畴,它们共同将$${\textbf{a}中的所有忠实单体函子分类$$

汇流数学

受Peter O'Sullivan最近工作的启发,我们给出了阿贝尔范畴之间的忠实单体函子是精确的条件。

关于对称张量范畴的更高Frobenius函子

我们在正特征张量范畴上发展了单体函子的理论和例子,从{Os,EOf,Tann}推广了Frobenius函子。后者已被证明是

张量范畴中的交换代数

从代数几何的角度出发,我们在对称张量范畴中发展了交换代数的一些基础。大多数结果在张量中建立了经典定理的类似物

不可压缩张量范畴

如果代数闭域$k$上的对称张量范畴$\mathcal D$中的每个张量函子都是嵌入的,则它是不可压缩的。例如,的类别$Vec$和$sVec$

离散的前塔纳基安类别

前坦纳范畴是一类自然的张量范畴,可以看作是代数群的推广。如果前Tannkian范畴由

Delannoy类别

让$G$是实线的所有order-preserving自映射的组。在之前的工作中,前两位作者构建了一个与$G$关联的前Tannakian范畴$\underline{\mathrm{Rep}}(G)$。

一个普遍的刚性阿贝尔张量范畴

我们证明了任何刚性加性对称单体范畴都可以以一种普遍的方式映射到刚性阿贝尔对称单体类。这为格罗森迪克的标准提供了一种新的方法

加法Grothendieck前拓扑与张量范畴的表示

我们研究了张量范畴如何用刚性单体范畴和Grothendieck拓扑表示,并表明这种表示具有很强的普适性。作为主要

自由邻接单体对偶

摘要给定一个带对象J的单体范畴$\mathcal C$,我们通过自由连接右对偶${J^\vee}$到J,构造了一个单体范畴

三角形化类别

具有正特性的新的不可压缩对称张量类

我们提出了一种在代数闭域$\bfk$上构造对称刚性单体Karoubian范畴交换包络的方法。如果${\rm-char}({\bf-k})=p>0$,我们使用此方法

单调阿贝尔包络

我们证明了非交换单体范畴的交换包络的一个构造性存在定理。这为张量范畴的构建建立了一个新的工具。作为示例,我们获得了新的

关于正特征对称张量范畴的Frobenius函子

摘要我们发展了特征p的域上对称张量范畴(STC){\mathcal{C}}的Frobenius函子理论,并将其应用于

单体阿贝尔包络与Benson和Etingof的一个猜想

我们给出了几个判定给定张量范畴是否是固定对称单体范畴的阿贝尔包络的准则。Benson和Etingof猜想

指定类别和类别代表的限制(GL(m|n))

对于每个整数$t$,张量类别$\mathcal{五} _(t)$的构造,使得精确的张量函子$\mathcal{五} _(t)\rightarrow\mathcal{C}$classify中的可对偶$t$-维对象

半隐式produits tensiiels en caractéristique p

RésuméSoient G un schéma en groupes affine sur un corps k de caractéristique p≠0,et(Vi)une famille finie de représentations semi-simples de G.Nous montrons que si∑(dimVi−1)<p,alors la