{"title":"Tilting modules, dominant dimensions and Brauer-Schur-Weyl duality","authors":"Jun Hu, Zhankui Xiao","doi":"10.1090/btran/84","DOIUrl":null,"url":null,"abstract":"<p>In this paper we use the dominant dimension with respect to a tilting module to study the double centraliser property. We prove that if <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A\">\n <mml:semantics>\n <mml:mi>A</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">A</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is a quasi-hereditary algebra with a simple preserving duality and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper T\">\n <mml:semantics>\n <mml:mi>T</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">T</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is a faithful tilting <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A\">\n <mml:semantics>\n <mml:mi>A</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">A</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-module, then <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A\">\n <mml:semantics>\n <mml:mi>A</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">A</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> has the double centralizer property with respect to <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper T\">\n <mml:semantics>\n <mml:mi>T</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">T</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. This provides a simple and useful criterion which can be applied in many situations in algebraic Lie theory. We affirmatively answer a question of Mazorchuk and Stroppel by proving the existence of a unique minimal basic tilting module <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper T\">\n <mml:semantics>\n <mml:mi>T</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">T</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> over <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A\">\n <mml:semantics>\n <mml:mi>A</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">A</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> for which <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A equals upper E n d Subscript upper E n d Sub Subscript upper A Subscript left-parenthesis upper T right-parenthesis Baseline left-parenthesis upper T right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>A</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mi>E</mml:mi>\n <mml:mi>n</mml:mi>\n <mml:msub>\n <mml:mi>d</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>E</mml:mi>\n <mml:mi>n</mml:mi>\n <mml:msub>\n <mml:mi>d</mml:mi>\n <mml:mi>A</mml:mi>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>T</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>T</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A=End_{End_A(T)}(T)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. As an application, we establish a Schur-Weyl duality between the symplectic Schur algebra <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper S Subscript upper K Superscript s y Baseline left-parenthesis m comma n right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msubsup>\n <mml:mi>S</mml:mi>\n <mml:mi>K</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>s</mml:mi>\n <mml:mi>y</mml:mi>\n </mml:mrow>\n </mml:msubsup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>m</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">S_K^{sy}(m,n)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and the Brauer algebra <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"German upper B Subscript n Baseline left-parenthesis minus 2 m right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">B</mml:mi>\n </mml:mrow>\n <mml:mi>n</mml:mi>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mn>2</mml:mn>\n <mml:mi>m</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathfrak {B}_n(-2m)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> on the space of dual partially harmonic tensors under certain condition.</p>","PeriodicalId":377306,"journal":{"name":"Transactions of the American Mathematical Society, Series B","volume":"82 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/btran/84","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
In this paper we use the dominant dimension with respect to a tilting module to study the double centraliser property. We prove that if AA is a quasi-hereditary algebra with a simple preserving duality and TT is a faithful tilting AA-module, then AA has the double centralizer property with respect to TT. This provides a simple and useful criterion which can be applied in many situations in algebraic Lie theory. We affirmatively answer a question of Mazorchuk and Stroppel by proving the existence of a unique minimal basic tilting module TT over AA for which A=EndEndA(T)(T)A=End_{End_A(T)}(T). As an application, we establish a Schur-Weyl duality between the symplectic Schur algebra SKsy(m,n)S_K^{sy}(m,n) and the Brauer algebra Bn(−2m)\mathfrak {B}_n(-2m) on the space of dual partially harmonic tensors under certain condition.