求助PDF
{"title":"受限平移yangian和受限有限𝑊-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":"{\"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}","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
引用
批量引用
摘要
我们研究了特征为p >0 p >0的代数闭域k \Bbbk上截断移位的Yangian Y n,l (σ) Y_{n,l}(\sigma),已知它同构于有限的W W -代数U (g,e) U(\mathfrak {g},e)与对应的幂零元素e∈g = gl N(k) e \in \mathfrak {g} = \mathfrak {gl}_N(\Bbbk)相关联。我们得到了yn,l (σ) Y_{n,l}(\sigma)的中心的显式描述,表明它是由它的Harish-Chandra中心和p -中心产生的。我们定义yn,l [p] (σ) Y_{n,l}^{[p]}(\sigma)是yn,l (σ) Y_{n,l}(\sigma)的商,这是由它的p -中心的平凡性质核生成的理想。我们的主要定理表明yn,l [p] (σ) Y_{n,l}^{[p]}(\sigma)同构于有限的W -代数U [p] (g,e) U^{[p]}(\mathfrak {g},e)。因此,我们得到了这个受限ww -代数的显式表示。
本文章由计算机程序翻译,如有差异,请以英文原文为准。