{"title":"Weak Hopf algebras, smash products and applications to adjoint-stable algebras","authors":"Zhimin Liu, Shenglin Zhu","doi":"10.1142/s0219498825501567","DOIUrl":null,"url":null,"abstract":"<p>For a semisimple quasi-triangular Hopf algebra <span><math altimg=\"eq-00001.gif\" display=\"inline\" overflow=\"scroll\"><mo stretchy=\"false\">(</mo><mi>H</mi><mo>,</mo><mi>R</mi><mo stretchy=\"false\">)</mo></math></span><span></span> over a field <span><math altimg=\"eq-00002.gif\" display=\"inline\" overflow=\"scroll\"><mi>k</mi></math></span><span></span> of characteristic zero, and a strongly separable quantum commutative <span><math altimg=\"eq-00003.gif\" display=\"inline\" overflow=\"scroll\"><mi>H</mi></math></span><span></span>-module algebra <span><math altimg=\"eq-00004.gif\" display=\"inline\" overflow=\"scroll\"><mi>A</mi></math></span><span></span>, we show that <span><math altimg=\"eq-00005.gif\" display=\"inline\" overflow=\"scroll\"><mi>A</mi><mi>#</mi><mi>H</mi></math></span><span></span> is a weak Hopf algebra, and it can be embedded into a weak Hopf algebra <span><math altimg=\"eq-00006.gif\" display=\"inline\" overflow=\"scroll\"><mo>End</mo><msup><mrow><mi>A</mi></mrow><mrow><mo stretchy=\"false\">∗</mo></mrow></msup><mo stretchy=\"false\">⊗</mo><mi>H</mi></math></span><span></span>. With these structures, <span><math altimg=\"eq-00007.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow></mrow><mrow><mi>A</mi><mi>#</mi><mi>H</mi></mrow></msub><mo>Mod</mo></math></span><span></span> is the monoidal category introduced by Cohen and Westreich, and <span><math altimg=\"eq-00008.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow></mrow><mrow><mo>End</mo><msup><mrow><mi>A</mi></mrow><mrow><mo stretchy=\"false\">∗</mo></mrow></msup><mo stretchy=\"false\">⊗</mo><mi>H</mi></mrow></msub><mi mathvariant=\"cal\">ℳ</mi></math></span><span></span> is tensor equivalent to <span><math altimg=\"eq-00009.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow></mrow><mrow><mi>H</mi></mrow></msub><mi mathvariant=\"cal\">ℳ</mi></math></span><span></span>. If <span><math altimg=\"eq-00010.gif\" display=\"inline\" overflow=\"scroll\"><mi>A</mi></math></span><span></span> is in the Müger center of <span><math altimg=\"eq-00011.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow></mrow><mrow><mi>H</mi></mrow></msub><mi mathvariant=\"cal\">ℳ</mi></math></span><span></span>, then the embedding is a quasi-triangular weak Hopf algebra morphism. This explains the presence of a subgroup inclusion in the characterization of irreducible Yetter–Drinfeld modules for a finite group algebra.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1142/s0219498825501567","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
For a semisimple quasi-triangular Hopf algebra over a field of characteristic zero, and a strongly separable quantum commutative -module algebra , we show that is a weak Hopf algebra, and it can be embedded into a weak Hopf algebra . With these structures, is the monoidal category introduced by Cohen and Westreich, and is tensor equivalent to . If is in the Müger center of , then the embedding is a quasi-triangular weak Hopf algebra morphism. This explains the presence of a subgroup inclusion in the characterization of irreducible Yetter–Drinfeld modules for a finite group algebra.