<p>Given a finite tensor category <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\cal C}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">C</mi> </mrow> </math></EquationSource> </InlineEquation>, an exact indecomposable <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\cal C}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">C</mi> </mrow> </math></EquationSource> </InlineEquation>-module category <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\cal M}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">M</mi> </mrow> </math></EquationSource> </InlineEquation>, and a tensor subcategory <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\cal D} \subseteq {\cal C}_{\cal M}^{\ast}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>⊆</mo> <msubsup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mrow> <mi mathvariant="script">M</mi> </mrow> <mrow> <mo>∗</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation>, we describe a way to produce <i>exact</i> commutative algebras in the center <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(Z({\cal C})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>Z</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">C</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>, measuring this inclusion. The construction of such algebras is done in an analogous way as presented by Shimizu [20], but using instead the <i>relative</i> (<i>co</i>)<i>end</i>, a categorical tool developed in [1] in the realm of representations of tensor categories. We provide some explicit computations.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Relative Adjoint Algebras

  • Martín Mombelli

摘要

Given a finite tensor category \({\cal C}\) C , an exact indecomposable \({\cal C}\) C -module category \({\cal M}\) M , and a tensor subcategory \({\cal D} \subseteq {\cal C}_{\cal M}^{\ast}\) D C M , we describe a way to produce exact commutative algebras in the center \(Z({\cal C})\) Z ( C ) , measuring this inclusion. The construction of such algebras is done in an analogous way as presented by Shimizu [20], but using instead the relative (co)end, a categorical tool developed in [1] in the realm of representations of tensor categories. We provide some explicit computations.