<p>We study a categorical generalization of the usual notion of basis. The chief concern is the exploration of the monoidal behaviour and transfer of these bases, and the connection with semisimplicity. Precisely, we construct a large strict monoidal Ab−category <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1223_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{Ba}(\mathcal {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Ba</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> whose objects are bases on dualizable objects of a given strict monoidal Ab−category <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1223_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> and show that it inherits the structures of a braiding and twist from <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1223_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>. Moreover, we show that the dualizable objects of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1223_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{Ba}(\mathcal {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Ba</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are precisely those defined by the usual duality maps on objects of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1223_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> and that this latter is naturally isomorphic to the full subcategory of dualizable objects of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1223_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{Ba}(\mathcal {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Ba</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In order to examine the transfer of bases, we determine sufficient conditions on a functor <i>F</i> between rigid Ab−categories, to ensure its extension to a functor <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1223_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{Ba}(F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Ba</mi> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> between the corresponding categories of bases. Furthermore, this procedure reflects isomorphisms in the sense that <i>F</i> is an isomorphism if and only if so is <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1223_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{Ba}(F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Ba</mi> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Categorical basis and semisimplicity

  • Khalid Draoui,
  • Hanan Choulli

摘要

We study a categorical generalization of the usual notion of basis. The chief concern is the exploration of the monoidal behaviour and transfer of these bases, and the connection with semisimplicity. Precisely, we construct a large strict monoidal Ab−category \(\textbf{Ba}(\mathcal {C})\) Ba ( C ) whose objects are bases on dualizable objects of a given strict monoidal Ab−category \(\mathcal {C}\) C and show that it inherits the structures of a braiding and twist from \(\mathcal {C}\) C . Moreover, we show that the dualizable objects of \(\textbf{Ba}(\mathcal {C})\) Ba ( C ) are precisely those defined by the usual duality maps on objects of \(\mathcal {C}\) C and that this latter is naturally isomorphic to the full subcategory of dualizable objects of \(\textbf{Ba}(\mathcal {C})\) Ba ( C ) . In order to examine the transfer of bases, we determine sufficient conditions on a functor F between rigid Ab−categories, to ensure its extension to a functor \(\textbf{Ba}(F)\) Ba ( F ) between the corresponding categories of bases. Furthermore, this procedure reflects isomorphisms in the sense that F is an isomorphism if and only if so is \(\textbf{Ba}(F)\) Ba ( F ) .