<p>We study multiplicities <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(a^{d\lambda }_{\mu ,(dk)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>a</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mo stretchy="false">(</mo> <mi>d</mi> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>d</mi> <mi>λ</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> of highest weight representations <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathbb {S}}_{d\lambda }({\mathbb {C}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">S</mi> <mrow> <mi>d</mi> <mi>λ</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\lambda \vdash pk\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>⊢</mo> <mi>p</mi> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation>, of length at most <i>p</i>, in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {S}_{\mu }(S^{dk}({\mathbb {C}}^n))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">S</mi> <mi>μ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>S</mi> <mrow> <mi mathvariant="italic">dk</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mu \vdash p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>⊢</mo> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation>, so called plethysm coefficients, as <i>d</i> tends to <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>. These are given by quasi-polynomials, which in the case of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(S^p(S^{dk}({\mathbb {C}}^n))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>S</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>S</mi> <mrow> <mi mathvariant="italic">dk</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> can explicitly be computed by Pieri’s rule. We show that for all but a finite, explicit list of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation>’s, the leading term is in fact constant and that <Equation ID="Equ3"> <EquationSource Format="TEX">\(\begin{aligned} a^{d\lambda }_{\mu ,(dk)}\sim \frac{\dim V_\mu }{p!}c^{d\lambda }_{p,dk} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mi>a</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mo stretchy="false">(</mo> <mi>d</mi> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>d</mi> <mi>λ</mi> </mrow> </msubsup> <mo>∼</mo> <mfrac> <mrow> <mo>dim</mo> <msub> <mi>V</mi> <mi>μ</mi> </msub> </mrow> <mrow> <mi>p</mi> <mo>!</mo> </mrow> </mfrac> <msubsup> <mi>c</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>d</mi> <mi>k</mi> </mrow> <mrow> <mi>d</mi> <mi>λ</mi> </mrow> </msubsup> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>as <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(d\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. In particular, we answer a conjecture of Kahle and Michałek, going back to Howe.</p>

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

Asymptotics of plethysm

  • Tim Kuppel

摘要

We study multiplicities \(a^{d\lambda }_{\mu ,(dk)}\) a μ , ( d k ) d λ of highest weight representations \({\mathbb {S}}_{d\lambda }({\mathbb {C}}^n)\) S d λ ( C n ) , \(\lambda \vdash pk\) λ p k , of length at most p, in \(\mathbb {S}_{\mu }(S^{dk}({\mathbb {C}}^n))\) S μ ( S dk ( C n ) ) , \(\mu \vdash p\) μ p , so called plethysm coefficients, as d tends to \(\infty \) . These are given by quasi-polynomials, which in the case of \(S^p(S^{dk}({\mathbb {C}}^n))\) S p ( S dk ( C n ) ) can explicitly be computed by Pieri’s rule. We show that for all but a finite, explicit list of \(\lambda \) λ ’s, the leading term is in fact constant and that \(\begin{aligned} a^{d\lambda }_{\mu ,(dk)}\sim \frac{\dim V_\mu }{p!}c^{d\lambda }_{p,dk} \end{aligned}\) a μ , ( d k ) d λ dim V μ p ! c p , d k d λ as \(d\rightarrow \infty \) d . In particular, we answer a conjecture of Kahle and Michałek, going back to Howe.