<p>For fixed positive integers <i>n</i>,&#xa0;<i>m</i>, let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textrm{Mat}_{n\times m}(\mathbb {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>Mat</mtext> <mrow> <mi>n</mi> <mo>×</mo> <mi>m</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the affine space consisting of all <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n\times m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>×</mo> <mi>m</mi> </mrow> </math></EquationSource> </InlineEquation> complex matrices, and let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {C}[\textbf{x}_{n\times m}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">[</mo> <msub> <mi mathvariant="bold">x</mi> <mrow> <mi>n</mi> <mo>×</mo> <mi>m</mi> </mrow> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> be its coordinate ring. For <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(0\le r\le \min \{m,n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>r</mi> <mo>≤</mo> <mo movablelimits="true">min</mo> <mo stretchy="false">{</mo> <mi>m</mi> <mo>,</mo> <mi>n</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, we apply the orbit harmonics method to the finite matrix loci <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {Z}_{n,m,r}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">Z</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>m</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of rook placements with exactly <i>r</i> rooks, yielding a graded <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathfrak {S}_n\times \mathfrak {S}_m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">S</mi> <mi>n</mi> </msub> <mo>×</mo> <msub> <mi mathvariant="fraktur">S</mi> <mi>m</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>-module <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(R(\mathcal {Z}_{n,m,r})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">Z</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>m</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We find one signed and two sign-free graded character formulae for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(R(\mathcal {Z}_{n,m,r})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">Z</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>m</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We also exhibit some applications of these formulae, such as proving a concise presentation of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(R(\mathcal {Z}_{n,m,r})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">Z</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>m</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and proving some module injections and isomorphisms. Our techniques for showing the presentation of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(R(\mathcal {Z}_{n,m,r})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">Z</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>m</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> also apply to involution matrix loci.</p>

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

Rook placements and orbit harmonics

  • Hai Zhu

摘要

For fixed positive integers nm, let \(\textrm{Mat}_{n\times m}(\mathbb {C})\) Mat n × m ( C ) be the affine space consisting of all \(n\times m\) n × m complex matrices, and let \(\mathbb {C}[\textbf{x}_{n\times m}]\) C [ x n × m ] be its coordinate ring. For \(0\le r\le \min \{m,n\}\) 0 r min { m , n } , we apply the orbit harmonics method to the finite matrix loci \(\mathcal {Z}_{n,m,r}\) Z n , m , r of rook placements with exactly r rooks, yielding a graded \(\mathfrak {S}_n\times \mathfrak {S}_m\) S n × S m -module \(R(\mathcal {Z}_{n,m,r})\) R ( Z n , m , r ) . We find one signed and two sign-free graded character formulae for \(R(\mathcal {Z}_{n,m,r})\) R ( Z n , m , r ) . We also exhibit some applications of these formulae, such as proving a concise presentation of \(R(\mathcal {Z}_{n,m,r})\) R ( Z n , m , r ) , and proving some module injections and isomorphisms. Our techniques for showing the presentation of \(R(\mathcal {Z}_{n,m,r})\) R ( Z n , m , r ) also apply to involution matrix loci.