A Schur-Weyl type duality for twisted weak modules over a vertex algebra

Pub Date : 2024-03-29 DOI:10.1090/proc/16843
Kenichiro Tanabe
{"title":"A Schur-Weyl type duality for twisted weak modules over a vertex algebra","authors":"Kenichiro Tanabe","doi":"10.1090/proc/16843","DOIUrl":null,"url":null,"abstract":"<p>Let <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper V\"> <mml:semantics> <mml:mi>V</mml:mi> <mml:annotation encoding=\"application/x-tex\">V</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be a vertex algebra of countable dimension, <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\"application/x-tex\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> a subgroup of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A u t upper V\"> <mml:semantics> <mml:mrow> <mml:mi>A</mml:mi> <mml:mi>u</mml:mi> <mml:mi>t</mml:mi> <mml:mi>V</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">AutV</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of finite order, <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper V Superscript upper G\"> <mml:semantics> <mml:msup> <mml:mi>V</mml:mi> <mml:mrow> <mml:mi>G</mml:mi> </mml:mrow> </mml:msup> <mml:annotation encoding=\"application/x-tex\">V^{G}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> the fixed point subalgebra of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper V\"> <mml:semantics> <mml:mi>V</mml:mi> <mml:annotation encoding=\"application/x-tex\">V</mml:annotation> </mml:semantics> </mml:math> </inline-formula> under the action of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\"application/x-tex\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, and <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper S\"> <mml:semantics> <mml:mrow> <mml:mi mathvariant=\"script\">S</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathscr {S}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> a finite <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\"application/x-tex\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-stable set of inequivalent irreducible twisted weak <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper V\"> <mml:semantics> <mml:mi>V</mml:mi> <mml:annotation encoding=\"application/x-tex\">V</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-modules associated with possibly different automorphisms in <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\"application/x-tex\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We show a Schur–Weyl type duality for the actions of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper A Subscript alpha Baseline left-parenthesis upper G comma script upper S right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant=\"script\">A</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>α</mml:mi> </mml:mrow> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>G</mml:mi> <mml:mo>,</mml:mo> <mml:mrow> <mml:mi mathvariant=\"script\">S</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathscr {A}_{\\alpha }(G,\\mathscr {S})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper V Superscript upper G\"> <mml:semantics> <mml:msup> <mml:mi>V</mml:mi> <mml:mi>G</mml:mi> </mml:msup> <mml:annotation encoding=\"application/x-tex\">V^G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> on the direct sum of twisted weak <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper V\"> <mml:semantics> <mml:mi>V</mml:mi> <mml:annotation encoding=\"application/x-tex\">V</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-modules in <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper S\"> <mml:semantics> <mml:mrow> <mml:mi mathvariant=\"script\">S</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathscr {S}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> where <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper A Subscript alpha Baseline left-parenthesis upper G comma script upper S right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant=\"script\">A</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>α</mml:mi> </mml:mrow> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>G</mml:mi> <mml:mo>,</mml:mo> <mml:mrow> <mml:mi mathvariant=\"script\">S</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathscr {A}_{\\alpha }(G,\\mathscr {S})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a finite dimensional semisimple associative algebra associated with <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G comma script upper S\"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mo>,</mml:mo> <mml:mrow> <mml:mi mathvariant=\"script\">S</mml:mi> </mml:mrow> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">G,\\mathscr {S}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, and a <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2\"> <mml:semantics> <mml:mn>2</mml:mn> <mml:annotation encoding=\"application/x-tex\">2</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-cocycle <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"alpha\"> <mml:semantics> <mml:mi>α</mml:mi> <mml:annotation encoding=\"application/x-tex\">\\alpha</mml:annotation> </mml:semantics> </mml:math> </inline-formula> naturally determined by the <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\"application/x-tex\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-action on <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper S\"> <mml:semantics> <mml:mrow> <mml:mi mathvariant=\"script\">S</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathscr {S}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. It follows as a natural consequence of the result that for any <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"g element-of upper G\"> <mml:semantics> <mml:mrow> <mml:mi>g</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>G</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">g\\in G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> every irreducible <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"g\"> <mml:semantics> <mml:mi>g</mml:mi> <mml:annotation encoding=\"application/x-tex\">g</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-twisted weak <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper V\"> <mml:semantics> <mml:mi>V</mml:mi> <mml:annotation encoding=\"application/x-tex\">V</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-module is a completely reducible weak <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper V Superscript upper G\"> <mml:semantics> <mml:msup> <mml:mi>V</mml:mi> <mml:mi>G</mml:mi> </mml:msup> <mml:annotation encoding=\"application/x-tex\">V^G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-module.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/proc/16843","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Let V V be a vertex algebra of countable dimension, G G a subgroup of A u t V AutV of finite order, V G V^{G} the fixed point subalgebra of V V under the action of G G , and S \mathscr {S} a finite G G -stable set of inequivalent irreducible twisted weak V V -modules associated with possibly different automorphisms in G G . We show a Schur–Weyl type duality for the actions of A α ( G , S ) \mathscr {A}_{\alpha }(G,\mathscr {S}) and V G V^G on the direct sum of twisted weak V V -modules in S \mathscr {S} where A α ( G , S ) \mathscr {A}_{\alpha }(G,\mathscr {S}) is a finite dimensional semisimple associative algebra associated with G , S G,\mathscr {S} , and a 2 2 -cocycle α \alpha naturally determined by the G G -action on S \mathscr {S} . It follows as a natural consequence of the result that for any g G g\in G every irreducible g g -twisted weak V V -module is a completely reducible weak V G V^G -module.

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
顶点代数上扭曲弱模块的舒尔-韦尔型对偶性
让 V V 是一个可数维度的顶点代数,G G 是 A u t V AutV 的一个有限阶的子群,V G V^{G} 是 V V 在 G G 作用下的定点子代数,而 S \mathscr {S} 是一个有限的 G G 稳定集合,由与 G G 中可能不同的自变量相关联的不等价的不可还原的扭曲弱 V V 模块组成。我们展示了 A α ( G , S ) \mathscr {A}_{\alpha }(G,\mathscr {S}) 和 V G V^G 对 S \mathscr {S} 中扭曲弱 V V 模量的直接和的作用的舒尔-韦尔型对偶性,其中 A α ( G 、 S ) 是与 G , S G , \mathscr {S} 相关联的有限维半简单关联代数,以及由 G G 在 S \mathscr {S} 上的作用自然决定的 2 2 -环 α \alpha 。结果的一个自然结果是,对于任意 g ∈ G g\in G,每一个不可还原的 g g -扭曲弱 V V -模块都是一个完全可还原的弱 V G V^G -模块。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1