<p>Kleshchev–Mathas–Ram give a presentation of the Specht module <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(S^\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mi>λ</mi> </msup> </math></EquationSource> </InlineEquation> as a quotient of the permutation module <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(M^\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>M</mi> <mi>λ</mi> </msup> </math></EquationSource> </InlineEquation>. In this paper, we construct a (graded) Specht filtration of the permutation module <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(M^\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>M</mi> <mi>λ</mi> </msup> </math></EquationSource> </InlineEquation> in the following cases: when <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\lambda = (k,1^r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>k</mi> <mo>,</mo> <msup> <mn>1</mn> <mi>r</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a hook partition, over the KLR algebra of type <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(A^{(1)}_{e-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mrow> <mi>e</mi> <mo>-</mo> <mn>1</mn> </mrow> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(e &gt; 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>e</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>; and when <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda = (k,r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>k</mi> <mo>,</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a two-row partition with <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(k \ge r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mi>r</mi> </mrow> </math></EquationSource> </InlineEquation>, over the KLR algebra of type <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(A_\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation>. Furthermore, when <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> is an arbitrary partition in type <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(A_\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation>, we construct a filtration of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(M^\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>M</mi> <mi>λ</mi> </msup> </math></EquationSource> </InlineEquation> such that each subquotient <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(M_i / M_{i+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mi>i</mi> </msub> <mo stretchy="false">/</mo> <msub> <mi>M</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> admits a Specht resolution.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Specht filtration of permutation modules over KLR algebras

  • Tao Qin

摘要

Kleshchev–Mathas–Ram give a presentation of the Specht module \(S^\lambda \) S λ as a quotient of the permutation module \(M^\lambda \) M λ . In this paper, we construct a (graded) Specht filtration of the permutation module \(M^\lambda \) M λ in the following cases: when \(\lambda = (k,1^r)\) λ = ( k , 1 r ) is a hook partition, over the KLR algebra of type \(A^{(1)}_{e-1}\) A e - 1 ( 1 ) for \(e > 2\) e > 2 ; and when \(\lambda = (k,r)\) λ = ( k , r ) is a two-row partition with \(k \ge r\) k r , over the KLR algebra of type \(A_\infty \) A . Furthermore, when \(\lambda \) λ is an arbitrary partition in type \(A_\infty \) A , we construct a filtration of \(M^\lambda \) M λ such that each subquotient \(M_i / M_{i+1}\) M i / M i + 1 admits a Specht resolution.