Semiseparability of induction functors in a monoidal category
University of Turin(都灵大学)
本文研究了单向范畴中诱导函子的共性分离性条件及其在双单向范畴中的应用。
2026-02-03 math.CT math.QA math.RA
Grothendieck-Verdier duality in categories of bimodules and weak module functors
该研究探讨幺半范畴中Grothendieck-Verdier对偶结构下关联两个张量积的分配子成为同构的条件,借助模范畴视角与内Hom、内上Hom的弱模函子结构展开分析,并以结合代数的双模范畴为例进行具体阐释。
2024-12-12 hep-th math.CT math.QA
Realizations of Rigid C*-Tensor Categories as Bimodules over GJS C*-Algebras
本文通过GJS构造将刚性C*-张量范畴实现为GJS C*-代数的双模,并进一步构造双有限球形双模范畴的函子。
2020-05-20 math.OA math.QA
A modular functor from state sums for finite tensor categories and their bimodules
我们构造了一个模函子,它取值于有限范畴、左正合函子和自然变换的么半群双范畴。模函子定义在2-框架的协边上。因此,我们不需要要求在我们的构造中出现的有限范畴是半单的,也不需要要求赋给二维层的有限张量范畴具有枢轴结构。我们的处方可以被理解为一种状态和结构。状态和变量被分配到一维地层,并采取在有限张量类别的双模类别的值,从而我们也占存在的边界和缺陷。我们的构造允许我们显式地计算与表面相关的函子和作用于它们的映射类群的表示。
2022-03-23 hep-th math.CT math.QA
Singular crossings and Ozsváth-Szabó's Kauffman-states functor
最近,Ozsváth和Szabó在有界弗洛尔同调的精神下引入了一些计算纽结弗洛尔同调的代数结构,包括一族代数B(n),以及对于n股上的辫群的生成元,B(n)上的某种双模。我们定义了奇异交叉的类双模。我们的双模的动机是计数全纯磁盘在边界缝合版本的Heegaard图考虑以前由Ozsváth,Stipsicz和Szabó。
2019-04-24 math.GT math.QA
A categorical approach to dynamical quantum groups
利用Harish-Chandra双模范畴给出了动力学量子群的范畴化观点.我们证明了Harish-Chandra双模的幺半范畴范畴内的遗忘函子的Tannaka对偶定理。此外,我们证明了标准动力学量子群$F(G)$和$F_q(G)$与经典和量子Harish-Chandra双模的抛物限制函子有关.最后,我们展示了一个自然的Weyl对称性的抛物型限制函子使用Zhelobenko运营商,并表明,它引起的行动的动态外尔群。
2020-08-24 math.CT math.QA math.RT
A trace for bimodule categories
研究了有限k-线性张量范畴上的双模范畴与k-线性阿贝尔范畴的2-函子。这个2-函子可以看作是有限张量范畴的三范畴中的1-态射的范畴值迹。它是由一个泛性质定义的,这个泛性质是代数上双模的霍赫希尔德同调的分类。我们提出了这个2-函子的几个等价实现,并证明了它具有相干循环不变性。我们的结果有应用到与三维拓扑域论中的缺陷圆相关的范畴。这是明确的子类Dijkgraaf-Witten拓扑域论。
2016-01-19 hep-th math.CT math.QA
Parabolic induction and restriction functors for rational Cherednik algebras
引入了有理Cherednik代数的抛物诱导和限制函子,并研究了它们的基本性质。然后讨论了这些函子在有理Cherednik代数的表示论中的应用。特别地,我们证明了关于A型有理Cherednik代数及其球面子代数的Morita等价的Gordon-Stafford定理,而不需要假定c不是半整数,这是迄今为止所要求的.此外,我们还对不含Sn-不变向量的A型有理Cherednik代数上的O类表示进行了分类,并证实了Okounkov和第一作者关于O类表示个数的一个猜想.在第二个版本中,我们增加了一个结果的简单性的球形切雷德尼克代数的类型A为-1<c<0,和加强版本的主要结果arXiv:数学/0312474,以及附录由第二作者包含arXiv:0706.4308,约简的多项式表示的三角切雷德尼克代数。
2009-10-28 math.QA math.RT
Odd two-variable Soergel bimodules and Rouquier complexes
我们考虑Soergel双模范畴的奇类比。在奇数情况下,并且已经有两个变量,转置双模不能合并到生成Soergel双模中,迫使一个进入一个幺半范畴范畴,与偶数情况相比,具有更大的Grothendieck环。我们建立了适当的函子的双伴性,并发展了奇Soergel范畴和相关的奇异Soergel 2-范畴在2-变元情况下的图形演算。我们描述了奇模拟的Rouquier复合物,并建立其可逆性的同伦范畴。对于三个变量,生成的Soergel双模的张量积的直和分解的缺乏为Reidemeister III关系在同伦范畴中保持提出了障碍。
2023-02-06 math.QA math.RT
Serre Duality and the Whitehead Link
本文证明了二面体Soergel双模同伦范畴中全扭转作为Serre函子,并利用部分迹函子的可表示性计算了Whitehead链环的三重分次链环同调。
2025-09-26 math.GT math.QA math.RT
Separable functors in corings
我们给出了与核态射相关联的诱导函子和自诱导函子的可分性的刻画。
2001-11-16 math.QA math.RA
The structure of corings: Induction functors, Maschke-type theorem, and Frobenius and Galois-type properties
给定环$A$和$A$ -核$\cC$,研究了右$\cC$ -余模范畴到右$A$ -模范畴的遗忘函子及其右伴随$-\otimes_A\cC$是可分的.然后,我们继续研究时,诱导函子$-\otimes_A\cC$也是左伴随的健忘函子。这个问题与当$A\to {}_A{\rm Hom}(\cC,A)$是Frobenius扩张时的问题密切相关。引入Galois核的概念,分析了当$A$的子环在$\cC$的余作用下不动时,其上的张量函子是等价的.我们还评论可能的二元化的概念的核心。
2000-03-02 math.QA math.RA
Frobenius monoidal functors induced by Frobenius extensions of Hopf algebras
University of Bonn(波恩大学);University of Nottingham(诺丁汉大学);University of Münster(明斯特大学)
本文研究了由霍普夫代数的弗罗贝尼乌斯扩展诱导的单子函子,证明其在一般情况下为弗罗贝尼乌斯单子函子,并探讨了其在 Yetter-Drinfeld 模拟中的扩展条件。
2026-04-30 math.CT math.QA math.RT
The center functor is fully faithful
我们证明了Drinfeld中心的概念定义了一个函子,从不可分解的多张量范畴的范畴与双模的态射给出的monoidal双模的辫子张量范畴。此外,我们应用拓扑序物理学的一些思想,证明了限制于不可分解的多融合范畴(在目标范畴上附加条件)的中心函子是完全忠实的。作为副产品,我们提供了新的证明,一些重要的已知结果的融合类别。在物理学中,这个完全忠实函子给出了带间隙边界的2+ 1维无异常拓扑序的边界-体关系的精确数学描述。
2018-10-18 math.CT math.QA
The diagrammatic Soergel category and sl(N)-foams, for N > 3
对于每个N > 3,我们定义了一个monoidal函子,从Elias和Khovanov的Soergel双模范畴的图解版本到Mackaay,Stosic和Vaz定义的sl(N)泡沫范畴。我们证明了通过这些函子可以从sl(N)泡沫中得到Soergel范畴。
2010-04-10 math.QA math.RT
Cohomology of Hopf Bimodules and Cup-product
给定一个霍普夫代数A,由M. Gerstenhaber和S.D. Schack和C.奥普当A是有限维时,我们证明了它们等于C所描述的与A相联的结合代数的模范畴上的Ext函子. Cibils和M.罗索我们还给出了C定义的上同调中的上积的表达式。证明了它对应于延拓的Yoneda积。
2001-09-13 math.QA
Generalised 6j symbols over the category of $G$-graded vector spaces
本文在$G$-分次向量空间范畴上构造双模范畴、函子与自然变换实例,以矩阵刻画并在有限循环群情形分类模函子,同时计算相应广义6j符号。
2025-02-16 math.CT math.QA
Nakayama functor for monads on finite abelian categories
若$\mathcal{M}$是有限阿贝尔范畴,且$\mathbf{T}$是$\mathcal{M}$上的线性右正合单子,则$\mathbf{T}$ -模的范畴$\mathbf{T}\mbox{-mod}$是有限阿贝尔范畴.在单子$\mathbf{T}$的基础函子具有双重左伴随和双重右伴随的假设下,给出了$\mathbf{T}\mbox{-mod}$的Nakayama函子的一个显式.作为应用,我们给出了有限双模范畴的中心的Nakayama函子和有限张量范畴的对偶的公式。文中还讨论了霍普夫代数理论中的一些例子。
2022-08-17 math.CT math.QA math.RT
Villamayor-Zelinsky sequence for symmetric finite tensor categories
证明了如果有限张量范畴$\C$是对称的,则单侧$\C$ -双模范畴的幺半范畴是对称的.因此,$\C$的Picard群(由Etingov-Nikshych-Gelaki引入的Brauer-Picard群的子群)在这种情况下是阿贝尔群。然后我们在这样的$\C$上引入一个上同调。一个重要的工具,这个建设是计算的对偶对象的双模类别和事实,即可逆的单侧$\C$ -双模类别的评价函子涉及的是一个等价的,是coevaluation函子的拟逆,因为我们显示。最后,我们构造了$\C$的一个无穷正合序列.它由相应的上同调群在三种类型的系数,在序列中周期性地重复评估。
2019-02-18 math.QA
Abelian Categories of Modules over a (Lax) Monoidal Functor
Yetter的变形理论形式(宽松)monoidal函子和Gerstenahaber的变形理论之间的类比固化的结合代数表明,在合理的条件下,函子的范畴与行动的宽松monoidal函子是阿贝尔,一个类似的Hochschild上同调代数的系数在双模存在monoidal函子,并给出了右导出函子。证明了么正自然变换的变形力学是其特例。
2001-12-29 math.CT math.QA
Braided categories of bimodules from stated skein TQFTs
本文通过陈述 skein TQFTs 构建了 braided 分类,并将其与 ribbon 单则代数的模分类联系起来,揭示了其与 Kerler-Lyubashenko TQFT 的关系。
2026-03-05 math.GT math.QA
Kazhdan-Lusztig tensoring and Harish-Chandra categories
利用Kazhdan-Lusztig张量定义仿射平移函子,用相应的VOA描述仿射李代数上最高权模的零化理想,并给出仿射Harish-Chandra双模的一种函子方法.
1997-03-05 math.QA q-alg
Categorical 4-manifold invariants from trisection diagrams
本文通过三重分解图定义新的4维流形不变量,结合双模范畴和pivotal函数,恢复了霍普夫代数和模融合范畴的不变量。
2025-11-24 math-ph math.GT math.MP
Module Eilenberg-Watts calculus
对于任意一对有限范畴M和N,Eilenberg-Watts演算的范畴公式通过伴随等价将线性左或右正合函子的有限范畴Fun^{le}(N,M)和Fun^{re}(N,M)与Deligne积\bar N \boxtimes M联系起来。对于有限范畴M和N是有限张量范畴上的模范畴的情形,我们建立了这种微积分的一个变体。这特别提供了左或右正合模函子(或更一般地,平衡函子)的范畴与双模范畴的某些扭曲中心之间的规范和显式可计算等价。
2020-03-27 math.CT math.QA math.RT
The Parity of Lusztig's Restriction Functor and Green's Formula
本文的研究基于三个重要结果。(1)在[12]中,Ringel引入了有限域上一个代数的表示的Hall代数,并证明了对应于简单表示的元素满足量子Serre关系。这就给出了量子群的幂零部分的一个实现,如果量子群是有限型的。(2)在[4]中,Green找到了Ringel Hall代数的表示范畴的同调公式,并给Ringel Hall代数配备了一个余乘。由简单表示生成的Hall代数的合成子代数的一般形式实现了任何类型的量子群的幂零部分。(3)在文献[9]中,Lusztig定义了旗簇上的常数层的直接象中出现的表示簇上的反常层的归纳函子和限制函子,并在他的归纳函子和限制函子之间找到了一个公式,该公式给出了量子群的代数同态的余乘。本文证明了这个公式对所有具有Weil结构的半单复形都成立。这就建立了格林公式的分类。
2022-12-23 math.QA math.RA math.RT
Bimodule structure of the mixed tensor product over $U_{q} s\ell(2|1)$ and quantum walled Brauer algebra
研究了当$q$不是单位根时,Hopf代数$U_{q} s\ell(2|1)$的三维基本表示的混合张量积$\mathbf{3}^{\otimes m} \otimes \mathbf{\overline{3}}^{\otimes n}$.给出了任意单投射$U_{q} s\ell(2|1)$ -模与生成模$\mathbf{3}$和$\mathbf{\overline{3}}$的张量积的分解公式。计算了链上$U_{q} s\ell(2|1)$的中心化子。证明它是量子壁Brauer代数的商$\mathscr{X}_{m,n}$。给出了$\mathscr{X}_{m,n}$上投射模的结构.已知有壁Brauer代数形成一个无限塔。我们计算了$\mathscr{X}_{m,n}$上的单模和投射模上相应的限制函子。这一结果是将混合张量积分解为$\mathscr{X}_{m,n}\boxtimes U_{q} s\ell(2|1)$上的双模的关键步骤。我们给出了所有$m,n$的一个明确的双模结构。
2017-06-24 math.QA
Centres, trace functors, and cyclic cohomology
本文研究了(左或右)Hopf代数体上模和余模的幺半范畴的双闭性,以及相应的对范畴的双模范畴中心和分别对应的反Yetter-Drinfel'd逆模和反Yetter-Drinfel'd模的范畴等价性.这与所讨论的模和余模的幺半范畴范畴上的迹函子的存在直接相关,这反过来又允许恢复(或定义)使循环上同调成为可能的循环算子。
2022-11-11 math.CT math.QA math.RA
A theory of induction and classification of tensor C*-categories
本文讨论了用共轭和不可约张量单位刻画张量C ~*-范畴M的结构问题。没有假设存在一个编织的对称性或顺从。我们的假设的动机的话,这些范畴往往包含非全张量C*-子范畴的共轭和相同的对象允许嵌入到希尔伯特空间。这样的嵌入定义了一个紧凑的量子群的Woronowicz对偶。一个重要的例子是Temperley-Lieb范畴正则地包含在由一个维度大于2的实或伪实对象生成的张量C* 范畴中。相应的量子群是Wang和Van Daele的泛正交量子群。我们的主要结果是,从M到紧量子群的一类Hilbert双模表示存在一个完全的忠实的张量函子.在经典的情形下,这些双模表示归结为紧齐性G-空间上的G-等变埃尔米特丛,其中G是紧群。我们的结构性结果揭示了M在希尔伯特空间中是否存在嵌入函子的问题。我们表明,这是有关的问题,是否一个经典的紧李群可以遍历作用于一个非I型冯诺依曼代数。特别地,将其与Wassermann的结果相结合表明,如果M是由2维的伪实对象生成的,则嵌入存在。
2010-11-09 math.OA math.QA
Braidings on the category of bimodules, Azumaya algebras and epimorphisms of rings
设$A$是交换环$k$上的代数.证明了$A$ -双模范畴上的辫子与标准R-矩阵是双射对应的,它们是$A\ot A\ot A$中满足一定公理的元素.我们表明,所有的辫子是对称的。若$A$是交换的,则${}_A\Mm_A$上存在辫子当且仅当$k\to A$是环范畴中的满射,且相应的$R$ -矩阵是平凡的.如果不变量函子$G = (-)^A:\{}_A\Mm_A\to \Mm_k$是可分的,则$A$允许一个标准R-矩阵;特别地,任何Azumaya代数允许一个标准R-矩阵。在域上,我们发现了中心单代数的一个显著的新特征:它们恰恰是允许标准R-矩阵的有限维代数。正则R-矩阵给出了量子杨-巴克斯特方程和辫子方程同时解的一类新的例子。
2012-10-08 math.QA math.RA
Tannaka-Krein duality for Hopf algebroids
本文研究了环上双模范畴中带目标的幺半群函子的Tannaka-Krein对偶。这样一个函子的$\coend$是环上的一个Hopf代数胚。利用前一篇文章的结果,我们刻画了传递Hopf代数体上的小交换局部有限刚性幺半范畴范畴为刚性余模范畴.
2007-04-12 math.CT math.QA math.RA
Standard $λ$-lattices, rigid ${\rm C}^*$ tensor categories, and (bi)modules
本文直接从标准$λ$ -格构造了一个2-阴影刚性${\rm C}^*$多重张量范畴,它具有正则酉对偶函子.利用无迹Markov塔和格的概念定义了标准$λ$ -格上的模和双模的概念,并在相应的2-阴影刚性${\rm C}^*$多张量范畴上明确地构造了相应的模范畴和双模范畴.作为一个例子,我们计算了Temperley-Lieb-Jones标准$λ$ -格的模和双模。通过转化到二分次希尔伯特空间的酉2-范畴,我们恢复了DeCommer-Yamshita关于$\mathcal{TLJ}$模的边权图分类和关于$\mathcal{TLJ}$双模的平方部权图的双酉联络分类.作为应用,我们证明了每个(无限深度)子因子平面代数嵌入到其主图的二部图平面代数中。
2020-10-13 math.CT math.OA math.QA