{"title":"Restricted shifted Yangians and restricted finite 𝑊-algebras","authors":"Simon M. Goodwin, L. Topley","doi":"10.1090/BTRAN/63","DOIUrl":null,"url":null,"abstract":"<p>We study the truncated shifted Yangian <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper Y Subscript n comma l Baseline left-parenthesis sigma right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>Y</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>n</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>l</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>σ<!-- σ --></mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">Y_{n,l}(\\sigma )</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> over an algebraically closed field <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck k\">\n <mml:semantics>\n <mml:mi mathvariant=\"double-struck\">k<!-- k --></mml:mi>\n <mml:annotation encoding=\"application/x-tex\">\\Bbbk</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> of characteristic <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p greater-than 0\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>p</mml:mi>\n <mml:mo>></mml:mo>\n <mml:mn>0</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">p >0</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, which is known to be isomorphic to the finite <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper W\">\n <mml:semantics>\n <mml:mi>W</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">W</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-algebra <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper U left-parenthesis German g comma e right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>U</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">g</mml:mi>\n </mml:mrow>\n <mml:mo>,</mml:mo>\n <mml:mi>e</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">U(\\mathfrak {g},e)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> associated to a corresponding nilpotent element <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"e element-of German g equals German g German l Subscript upper N Baseline left-parenthesis double-struck k right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>e</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">g</mml:mi>\n </mml:mrow>\n <mml:mo>=</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">g</mml:mi>\n <mml:mi mathvariant=\"fraktur\">l</mml:mi>\n </mml:mrow>\n <mml:mi>N</mml:mi>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi mathvariant=\"double-struck\">k<!-- k --></mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">e \\in \\mathfrak {g} = \\mathfrak {gl}_N(\\Bbbk )</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. We obtain an explicit description of the centre of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper Y Subscript n comma l Baseline left-parenthesis sigma right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>Y</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>n</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>l</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>σ<!-- σ --></mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">Y_{n,l}(\\sigma )</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, showing that it is generated by its Harish-Chandra centre and its <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\">\n <mml:semantics>\n <mml:mi>p</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">p</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-centre. We define <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper Y Subscript n comma l Superscript left-bracket p right-bracket Baseline left-parenthesis sigma right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msubsup>\n <mml:mi>Y</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>n</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>l</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo stretchy=\"false\">[</mml:mo>\n <mml:mi>p</mml:mi>\n <mml:mo stretchy=\"false\">]</mml:mo>\n </mml:mrow>\n </mml:msubsup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>σ<!-- σ --></mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">Y_{n,l}^{[p]}(\\sigma )</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> to be the quotient of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper Y Subscript n comma l Baseline left-parenthesis sigma right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>Y</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>n</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>l</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>σ<!-- σ --></mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">Y_{n,l}(\\sigma )</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> by the ideal generated by the kernel of trivial character of its <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\">\n <mml:semantics>\n <mml:mi>p</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">p</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-centre. Our main theorem states that <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper Y Subscript n comma l Superscript left-bracket p right-bracket Baseline left-parenthesis sigma right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msubsup>\n <mml:mi>Y</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>n</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>l</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo stretchy=\"false\">[</mml:mo>\n <mml:mi>p</mml:mi>\n <mml:mo stretchy=\"false\">]</mml:mo>\n </mml:mrow>\n </mml:msubsup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>σ<!-- σ --></mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">Y_{n,l}^{[p]}(\\sigma )</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is isomorphic to the restricted finite <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper W\">\n <mml:semantics>\n <mml:mi>W</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">W</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-algebra <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper U Superscript left-bracket p right-bracket Baseline left-parenthesis German g comma e right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msup>\n <mml:mi>U</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo stretchy=\"false\">[</mml:mo>\n <mml:mi>p</mml:mi>\n <mml:mo stretchy=\"false\">]</mml:mo>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">g</mml:mi>\n </mml:mrow>\n <mml:mo>,</mml:mo>\n <mml:mi>e</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">U^{[p]}(\\mathfrak {g},e)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. As a consequence we obtain an explicit presentation of this restricted <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper W\">\n <mml:semantics>\n <mml:mi>W</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">W</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-algebra.</p>","PeriodicalId":377306,"journal":{"name":"Transactions of the American Mathematical Society, Series B","volume":"32 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/BTRAN/63","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5
Abstract
We study the truncated shifted Yangian Yn,l(σ)Y_{n,l}(\sigma ) over an algebraically closed field k\Bbbk of characteristic p>0p >0, which is known to be isomorphic to the finite WW-algebra U(g,e)U(\mathfrak {g},e) associated to a corresponding nilpotent element e∈g=glN(k)e \in \mathfrak {g} = \mathfrak {gl}_N(\Bbbk ). We obtain an explicit description of the centre of Yn,l(σ)Y_{n,l}(\sigma ), showing that it is generated by its Harish-Chandra centre and its pp-centre. We define Yn,l[p](σ)Y_{n,l}^{[p]}(\sigma ) to be the quotient of Yn,l(σ)Y_{n,l}(\sigma ) by the ideal generated by the kernel of trivial character of its pp-centre. Our main theorem states that Yn,l[p](σ)Y_{n,l}^{[p]}(\sigma ) is isomorphic to the restricted finite WW-algebra U[p](g,e)U^{[p]}(\mathfrak {g},e). As a consequence we obtain an explicit presentation of this restricted WW-algebra.