{"title":"海森堡-维拉索罗代数上简单光滑模块的分类","authors":"Haijun Tan, Yufeng Yao, Kaiming Zhao","doi":"10.1017/prm.2024.132","DOIUrl":null,"url":null,"abstract":"<p>In this paper, we classify simple smooth modules over the mirror Heisenberg–Virasoro algebra <span><span><span data-mathjax-type=\"texmath\"><span>${\\mathfrak {D}}$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline1.png\"/></span></span>, and simple smooth modules over the twisted Heisenberg–Virasoro algebra <span><span><span data-mathjax-type=\"texmath\"><span>$\\bar {\\mathfrak {D}}$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline2.png\"/></span></span> with non-zero level. To this end we generalize Sugawara operators to smooth modules over the Heisenberg algebra, and develop new techniques. As applications, we characterize simple Whittaker modules and simple highest weight modules over <span><span><span data-mathjax-type=\"texmath\"><span>${\\mathfrak {D}}$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline3.png\"/></span></span>. A vertex-algebraic interpretation of our result is the classification of simple weak twisted and untwisted modules over the Heisenberg–Virasoro vertex algebras. We also present a few examples of simple smooth <span><span><span data-mathjax-type=\"texmath\"><span>${\\mathfrak {D}}$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline4.png\"/></span></span>-modules and <span><span><span data-mathjax-type=\"texmath\"><span>$\\bar {\\mathfrak {D}}$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline5.png\"/></span></span>-modules induced from simple modules over finite dimensional solvable Lie algebras, that are not tensor product modules of Virasoro modules and Heisenberg modules. This is very different from the case of simple highest weight modules over <span><span><span data-mathjax-type=\"texmath\"><span>$\\mathfrak {D}$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline6.png\"/></span></span> and <span><span><span data-mathjax-type=\"texmath\"><span>$\\bar {\\mathfrak {D}}$</span></span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline7.png\"/></span></span> which are always tensor products of simple Virasoro modules and simple Heisenberg modules.</p>","PeriodicalId":54560,"journal":{"name":"Proceedings of the Royal Society of Edinburgh Section A-Mathematics","volume":"19 1","pages":""},"PeriodicalIF":1.3000,"publicationDate":"2024-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Classification of simple smooth modules over the Heisenberg–Virasoro algebra\",\"authors\":\"Haijun Tan, Yufeng Yao, Kaiming Zhao\",\"doi\":\"10.1017/prm.2024.132\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>In this paper, we classify simple smooth modules over the mirror Heisenberg–Virasoro algebra <span><span><span data-mathjax-type=\\\"texmath\\\"><span>${\\\\mathfrak {D}}$</span></span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline1.png\\\"/></span></span>, and simple smooth modules over the twisted Heisenberg–Virasoro algebra <span><span><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\bar {\\\\mathfrak {D}}$</span></span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline2.png\\\"/></span></span> with non-zero level. To this end we generalize Sugawara operators to smooth modules over the Heisenberg algebra, and develop new techniques. As applications, we characterize simple Whittaker modules and simple highest weight modules over <span><span><span data-mathjax-type=\\\"texmath\\\"><span>${\\\\mathfrak {D}}$</span></span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline3.png\\\"/></span></span>. A vertex-algebraic interpretation of our result is the classification of simple weak twisted and untwisted modules over the Heisenberg–Virasoro vertex algebras. We also present a few examples of simple smooth <span><span><span data-mathjax-type=\\\"texmath\\\"><span>${\\\\mathfrak {D}}$</span></span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline4.png\\\"/></span></span>-modules and <span><span><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\bar {\\\\mathfrak {D}}$</span></span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline5.png\\\"/></span></span>-modules induced from simple modules over finite dimensional solvable Lie algebras, that are not tensor product modules of Virasoro modules and Heisenberg modules. This is very different from the case of simple highest weight modules over <span><span><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\mathfrak {D}$</span></span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline6.png\\\"/></span></span> and <span><span><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\bar {\\\\mathfrak {D}}$</span></span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240116103651863-0511:S0308210523001324:S0308210523001324_inline7.png\\\"/></span></span> which are always tensor products of simple Virasoro modules and simple Heisenberg modules.</p>\",\"PeriodicalId\":54560,\"journal\":{\"name\":\"Proceedings of the Royal Society of Edinburgh Section A-Mathematics\",\"volume\":\"19 1\",\"pages\":\"\"},\"PeriodicalIF\":1.3000,\"publicationDate\":\"2024-01-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Royal Society of Edinburgh Section A-Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1017/prm.2024.132\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Royal Society of Edinburgh Section A-Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/prm.2024.132","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
Classification of simple smooth modules over the Heisenberg–Virasoro algebra
In this paper, we classify simple smooth modules over the mirror Heisenberg–Virasoro algebra ${\mathfrak {D}}$, and simple smooth modules over the twisted Heisenberg–Virasoro algebra $\bar {\mathfrak {D}}$ with non-zero level. To this end we generalize Sugawara operators to smooth modules over the Heisenberg algebra, and develop new techniques. As applications, we characterize simple Whittaker modules and simple highest weight modules over ${\mathfrak {D}}$. A vertex-algebraic interpretation of our result is the classification of simple weak twisted and untwisted modules over the Heisenberg–Virasoro vertex algebras. We also present a few examples of simple smooth ${\mathfrak {D}}$-modules and $\bar {\mathfrak {D}}$-modules induced from simple modules over finite dimensional solvable Lie algebras, that are not tensor product modules of Virasoro modules and Heisenberg modules. This is very different from the case of simple highest weight modules over $\mathfrak {D}$ and $\bar {\mathfrak {D}}$ which are always tensor products of simple Virasoro modules and simple Heisenberg modules.
期刊介绍:
A flagship publication of The Royal Society of Edinburgh, Proceedings A is a prestigious, general mathematics journal publishing peer-reviewed papers of international standard across the whole spectrum of mathematics, but with the emphasis on applied analysis and differential equations.
An international journal, publishing six issues per year, Proceedings A has been publishing the highest-quality mathematical research since 1884. Recent issues have included a wealth of key contributors and considered research papers.