<p>The <i>q</i>-Whittaker function <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1048_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(W_\lambda (\textbf{x};q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>W</mi> <mi>λ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo>;</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> associated to a partition <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1048_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> is a <i>q</i>-analogue of the Schur function <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1048_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_\lambda (\textbf{x})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mi>λ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and is defined as the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1048_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(t=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> specialization of the Macdonald polynomial <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1048_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_\lambda (\textbf{x};q,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>λ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo>;</mo> <mi>q</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We show combinatorially how to expand <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1048_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(W_\lambda (\textbf{x};q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>W</mi> <mi>λ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo>;</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> in terms of partial flags compatible with a nilpotent endomorphism over the finite field of size 1/<i>q</i>. This yields an expression analogous to a well-known formula for the Hall–Littlewood functions. We show that considering pairs of partial flags and taking Jordan forms leads to a probabilistic bijection between nonnegative-integer matrices and pairs of semistandard tableaux of the same shape, proving the Cauchy identity for <i>q</i>-Whittaker functions. We call our probabilistic bijection the <i>q</i>-<i>Burge correspondence</i>, and prove that in the limit as <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1048_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, we recover a description of the classical Burge correspondence (also known as column RSK) due to Rosso (2012). A key step in the proof is the enumeration of an arbitrary double coset of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1048_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {GL}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> modulo two parabolic subgroups, which we find to be of independent interest. As an application, we use the <i>q</i>-Burge correspondence to count isomorphism classes of certain modules over the preprojective algebra of a type <i>A</i> quiver (i.e. a path), refined according to their socle filtrations. This develops a connection between the combinatorics of symmetric functions and the representation theory of preprojective algebras.</p>

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

q-Whittaker functions, finite fields, and Jordan forms

  • Steven N. Karp,
  • Hugh Thomas

摘要

The q-Whittaker function \(W_\lambda (\textbf{x};q)\) W λ ( x ; q ) associated to a partition \(\lambda \) λ is a q-analogue of the Schur function \(s_\lambda (\textbf{x})\) s λ ( x ) , and is defined as the \(t=0\) t = 0 specialization of the Macdonald polynomial \(P_\lambda (\textbf{x};q,t)\) P λ ( x ; q , t ) . We show combinatorially how to expand \(W_\lambda (\textbf{x};q)\) W λ ( x ; q ) in terms of partial flags compatible with a nilpotent endomorphism over the finite field of size 1/q. This yields an expression analogous to a well-known formula for the Hall–Littlewood functions. We show that considering pairs of partial flags and taking Jordan forms leads to a probabilistic bijection between nonnegative-integer matrices and pairs of semistandard tableaux of the same shape, proving the Cauchy identity for q-Whittaker functions. We call our probabilistic bijection the q-Burge correspondence, and prove that in the limit as \(q\rightarrow 0\) q 0 , we recover a description of the classical Burge correspondence (also known as column RSK) due to Rosso (2012). A key step in the proof is the enumeration of an arbitrary double coset of \(\text {GL}_n\) GL n modulo two parabolic subgroups, which we find to be of independent interest. As an application, we use the q-Burge correspondence to count isomorphism classes of certain modules over the preprojective algebra of a type A quiver (i.e. a path), refined according to their socle filtrations. This develops a connection between the combinatorics of symmetric functions and the representation theory of preprojective algebras.