<p>Let <i>u</i> be a word over the positive integers. Motivated in part by a question from representation theory, we study the centralizer set of <i>u</i> which is <Equation ID="Equ3"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10535_Article_Equ3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="321" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} C(u) = \{w \mid uw\text { is Knuth-equivalent to }wu\}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>C</mi> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo stretchy="false">{</mo> <mi>w</mi> <mo>∣</mo> <mi>u</mi> <mi>w</mi> <mspace width="0.333333em" /> <mtext>is Knuth-equivalent to</mtext> <mspace width="0.333333em" /> <mi>w</mi> <mi>u</mi> <mo stretchy="false">}</mo> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>In particular, we give various necessary conditions for <i>w</i> to be in <i>C</i>(<i>u</i>). We also characterize <i>C</i>(<i>u</i>) when <i>u</i> has few letters, when it has a single repeated entry, or when it is a certain type of decreasing sequence. We consider <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10535_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_{n,m}(u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>m</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the number of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10535_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(w\in C(u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <mi>C</mi> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of length <i>n</i> with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10535_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(\max w\le m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">max</mo> <mi>w</mi> <mo>≤</mo> <mi>m</mi> </mrow> </math></EquationSource> </InlineEquation>. We prove that for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10535_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(|u|=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> the value of this function depends only on the relative sizes of <i>u</i> and <i>m</i> and not on their actual values. And for various <i>u</i> we use Stanley’s theory of poset partitions to show that, for fixed <i>n</i>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10535_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_{n,m}(u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>m</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a polynomial in <i>m</i> with certain degree and leading coefficient. We end with various conjectures and directions for further research.</p>

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

Centralizers in the plactic monoid

  • Bruce E. Sagan,
  • Alexander N. Wilson

摘要

Let u be a word over the positive integers. Motivated in part by a question from representation theory, we study the centralizer set of u which is \(\begin{aligned} C(u) = \{w \mid uw\text { is Knuth-equivalent to }wu\}. \end{aligned}\) C ( u ) = { w u w is Knuth-equivalent to w u } . In particular, we give various necessary conditions for w to be in C(u). We also characterize C(u) when u has few letters, when it has a single repeated entry, or when it is a certain type of decreasing sequence. We consider \(c_{n,m}(u)\) c n , m ( u ) , the number of \(w\in C(u)\) w C ( u ) of length n with \(\max w\le m\) max w m . We prove that for \(|u|=1\) | u | = 1 the value of this function depends only on the relative sizes of u and m and not on their actual values. And for various u we use Stanley’s theory of poset partitions to show that, for fixed n, \(c_{n,m}(u)\) c n , m ( u ) is a polynomial in m with certain degree and leading coefficient. We end with various conjectures and directions for further research.