{"title":"Ideals in enveloping algebras of affine Kac–Moody algebras","authors":"Rekha Biswal, Susan J. Sierra","doi":"10.2140/ant.2025.19.1199","DOIUrl":null,"url":null,"abstract":"<p>Let <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>L</mi></math> be an affine Kac–Moody algebra, with central element <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>c</mi></math>, and let <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>λ</mi>\n<mo>∈</mo>\n<mi>ℂ</mi></math>. We study two-sided ideals in the central quotient <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msub><mrow><mi>U</mi></mrow><mrow><mi>λ</mi></mrow></msub><mo stretchy=\"false\">(</mo><mi>L</mi><mo stretchy=\"false\">)</mo>\n<mo>:</mo><mo>=</mo>\n<mi>U</mi><mo stretchy=\"false\">(</mo><mi>L</mi><mo stretchy=\"false\">)</mo><mo>∕</mo><mo stretchy=\"false\">(</mo><mi>c</mi>\n<mo>−</mo>\n<mi>λ</mi><mo stretchy=\"false\">)</mo></math> of the universal enveloping algebra of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>L</mi></math> and prove: </p><ol>\n<li>\n<p>If <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>λ</mi><mo>≠</mo><mn>0</mn></math> then <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msub><mrow><mi>U</mi></mrow><mrow><mi>λ</mi></mrow></msub><mo stretchy=\"false\">(</mo><mi>L</mi><mo stretchy=\"false\">)</mo></math> is simple. </p></li>\n<li>\n<p>The algebra <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msub><mrow><mi>U</mi></mrow><mrow><mn>0</mn></mrow></msub><mo stretchy=\"false\">(</mo><mi>L</mi><mo stretchy=\"false\">)</mo></math> has <span>just-infinite growth</span>, in the sense that any proper quotient has polynomial growth.</p></li></ol>\n<p> As an immediate corollary, we show that the annihilator of any nontrivial integrable highest-weight representation of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>L</mi></math> is centrally generated, extending a result of Chari for Verma modules. </p><p> We also show that universal enveloping algebras of loop algebras and current algebras of finite-dimensional simple Lie algebras have just-infinite growth, and prove similar results to the two results above for quotients of symmetric algebras of these Lie algebras by Poisson ideals. </p>","PeriodicalId":50828,"journal":{"name":"Algebra & Number Theory","volume":"25 1","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2025-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebra & Number Theory","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2140/ant.2025.19.1199","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let be an affine Kac–Moody algebra, with central element , and let . We study two-sided ideals in the central quotient of the universal enveloping algebra of and prove:
If then is simple.
The algebra has just-infinite growth, in the sense that any proper quotient has polynomial growth.
As an immediate corollary, we show that the annihilator of any nontrivial integrable highest-weight representation of is centrally generated, extending a result of Chari for Verma modules.
We also show that universal enveloping algebras of loop algebras and current algebras of finite-dimensional simple Lie algebras have just-infinite growth, and prove similar results to the two results above for quotients of symmetric algebras of these Lie algebras by Poisson ideals.
期刊介绍:
ANT’s inclusive definition of algebra and number theory allows it to print research covering a wide range of subtopics, including algebraic and arithmetic geometry. ANT publishes high-quality articles of interest to a broad readership, at a level surpassing all but the top four or five mathematics journals. It exists in both print and electronic forms.
The policies of ANT are set by the editorial board — a group of working mathematicians — rather than by a profit-oriented company, so they will remain friendly to mathematicians'' interests. In particular, they will promote broad dissemination, easy electronic access, and permissive use of content to the greatest extent compatible with survival of the journal. All electronic content becomes free and open access 5 years after publication.