<p>We establish an extension of Viennot’s geometric (shadow line) construction to the setting of oscillating tableaux. We then use this to give a new proof of the Type <i>C</i> analogue of Schensted’s theorem on longest decreasing subsequences. This pairs with our results from [<CitationRef CitationID="CR3">3</CitationRef>] on Type <i>C</i> webs to give a direct proof of a result of Sundaram and Stanley: that the dimension of the space of invariant vectors in a 2<i>k</i>-fold tensor product of the vector representation of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathfrak {sp}_{2n}\)</EquationSource> </InlineEquation> equals the number of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\((n+1)\)</EquationSource> </InlineEquation>-avoiding matchings of 2<i>k</i> points.</p>

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

Decreasing subsequences and Viennot for oscillating tableaux

  • Elijah Bodish,
  • Ben Elias,
  • David E. V. Rose,
  • Logan Tatham

摘要

We establish an extension of Viennot’s geometric (shadow line) construction to the setting of oscillating tableaux. We then use this to give a new proof of the Type C analogue of Schensted’s theorem on longest decreasing subsequences. This pairs with our results from [3] on Type C webs to give a direct proof of a result of Sundaram and Stanley: that the dimension of the space of invariant vectors in a 2k-fold tensor product of the vector representation of \(\mathfrak {sp}_{2n}\) equals the number of \((n+1)\) -avoiding matchings of 2k points.