{"title":"经典李代数最高权模的湮灭子变化","authors":"Zhanqiang Bai, Jia-Jun Ma, Yutong Wang","doi":"10.1112/jlms.70256","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <mi>g</mi>\n <annotation>$\\mathfrak {g}$</annotation>\n </semantics></math> be a classical complex simple Lie algebra, and let <span></span><math>\n <semantics>\n <mrow>\n <mi>L</mi>\n <mo>(</mo>\n <mi>λ</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$L(\\lambda)$</annotation>\n </semantics></math> be the irreducible highest weight module of <span></span><math>\n <semantics>\n <mi>g</mi>\n <annotation>$\\mathfrak {g}$</annotation>\n </semantics></math> with the highest weight <span></span><math>\n <semantics>\n <mrow>\n <mi>λ</mi>\n <mo>−</mo>\n <mi>ρ</mi>\n </mrow>\n <annotation>$\\lambda -\\rho$</annotation>\n </semantics></math>, where <span></span><math>\n <semantics>\n <mi>ρ</mi>\n <annotation>$\\rho$</annotation>\n </semantics></math> is half the sum of positive roots. The associated variety of the annihilator ideal of <span></span><math>\n <semantics>\n <mrow>\n <mi>L</mi>\n <mo>(</mo>\n <mi>λ</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$L(\\lambda)$</annotation>\n </semantics></math> is known as the annihilator variety of <span></span><math>\n <semantics>\n <mrow>\n <mi>L</mi>\n <mo>(</mo>\n <mi>λ</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$L(\\lambda)$</annotation>\n </semantics></math>. It is established by Joseph that the annihilator variety of a highest weight module is the Zariski closure of a nilpotent orbit in <span></span><math>\n <semantics>\n <msup>\n <mi>g</mi>\n <mo>∗</mo>\n </msup>\n <annotation>$\\mathfrak {g}^*$</annotation>\n </semantics></math>. However, describing this nilpotent orbit for a given highest weight module <span></span><math>\n <semantics>\n <mrow>\n <mi>L</mi>\n <mo>(</mo>\n <mi>λ</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$L(\\lambda)$</annotation>\n </semantics></math> can be quite challenging. In this paper, we present some efficient algorithms based on the Robinson–Schensted insertion algorithm to compute these orbits for classical Lie algebras. Our formulae are given by introducing two algorithms, that is, bipartition algorithm and partition algorithm. To get a special or metaplectic special partition from a domino type partition, we define the H-algorithm based on the Robinson–Schensted insertion algorithm. By using this H-algorithm, we can easily determine this nilpotent orbit from the information of <span></span><math>\n <semantics>\n <mi>λ</mi>\n <annotation>$\\lambda$</annotation>\n </semantics></math>.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 2","pages":""},"PeriodicalIF":1.2000,"publicationDate":"2025-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the annihilator variety of a highest weight module for classical Lie algebras\",\"authors\":\"Zhanqiang Bai, Jia-Jun Ma, Yutong Wang\",\"doi\":\"10.1112/jlms.70256\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span></span><math>\\n <semantics>\\n <mi>g</mi>\\n <annotation>$\\\\mathfrak {g}$</annotation>\\n </semantics></math> be a classical complex simple Lie algebra, and let <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>L</mi>\\n <mo>(</mo>\\n <mi>λ</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$L(\\\\lambda)$</annotation>\\n </semantics></math> be the irreducible highest weight module of <span></span><math>\\n <semantics>\\n <mi>g</mi>\\n <annotation>$\\\\mathfrak {g}$</annotation>\\n </semantics></math> with the highest weight <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>λ</mi>\\n <mo>−</mo>\\n <mi>ρ</mi>\\n </mrow>\\n <annotation>$\\\\lambda -\\\\rho$</annotation>\\n </semantics></math>, where <span></span><math>\\n <semantics>\\n <mi>ρ</mi>\\n <annotation>$\\\\rho$</annotation>\\n </semantics></math> is half the sum of positive roots. The associated variety of the annihilator ideal of <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>L</mi>\\n <mo>(</mo>\\n <mi>λ</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$L(\\\\lambda)$</annotation>\\n </semantics></math> is known as the annihilator variety of <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>L</mi>\\n <mo>(</mo>\\n <mi>λ</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$L(\\\\lambda)$</annotation>\\n </semantics></math>. It is established by Joseph that the annihilator variety of a highest weight module is the Zariski closure of a nilpotent orbit in <span></span><math>\\n <semantics>\\n <msup>\\n <mi>g</mi>\\n <mo>∗</mo>\\n </msup>\\n <annotation>$\\\\mathfrak {g}^*$</annotation>\\n </semantics></math>. However, describing this nilpotent orbit for a given highest weight module <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>L</mi>\\n <mo>(</mo>\\n <mi>λ</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$L(\\\\lambda)$</annotation>\\n </semantics></math> can be quite challenging. In this paper, we present some efficient algorithms based on the Robinson–Schensted insertion algorithm to compute these orbits for classical Lie algebras. Our formulae are given by introducing two algorithms, that is, bipartition algorithm and partition algorithm. To get a special or metaplectic special partition from a domino type partition, we define the H-algorithm based on the Robinson–Schensted insertion algorithm. By using this H-algorithm, we can easily determine this nilpotent orbit from the information of <span></span><math>\\n <semantics>\\n <mi>λ</mi>\\n <annotation>$\\\\lambda$</annotation>\\n </semantics></math>.</p>\",\"PeriodicalId\":49989,\"journal\":{\"name\":\"Journal of the London Mathematical Society-Second Series\",\"volume\":\"112 2\",\"pages\":\"\"},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2025-08-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of the London Mathematical Society-Second Series\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/jlms.70256\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the London Mathematical Society-Second Series","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/jlms.70256","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
On the annihilator variety of a highest weight module for classical Lie algebras
Let be a classical complex simple Lie algebra, and let be the irreducible highest weight module of with the highest weight , where is half the sum of positive roots. The associated variety of the annihilator ideal of is known as the annihilator variety of . It is established by Joseph that the annihilator variety of a highest weight module is the Zariski closure of a nilpotent orbit in . However, describing this nilpotent orbit for a given highest weight module can be quite challenging. In this paper, we present some efficient algorithms based on the Robinson–Schensted insertion algorithm to compute these orbits for classical Lie algebras. Our formulae are given by introducing two algorithms, that is, bipartition algorithm and partition algorithm. To get a special or metaplectic special partition from a domino type partition, we define the H-algorithm based on the Robinson–Schensted insertion algorithm. By using this H-algorithm, we can easily determine this nilpotent orbit from the information of .
期刊介绍:
The Journal of the London Mathematical Society has been publishing leading research in a broad range of mathematical subject areas since 1926. The Journal welcomes papers on subjects of general interest that represent a significant advance in mathematical knowledge, as well as submissions that are deemed to stimulate new interest and research activity.