The Sperner property for 132-avoiding intervals in the weak order

DOI10.1112/BLMS.12433MaRDI QIDQ4999664zbMATH OpenOpenAlexFDO

Authors Christian Gaetz, Katherine Tung

Publication date 2 July 2021

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2006.16359

zbMATH Keywords

\(k\)-Sperner propertyalgebraic varietiesBruhat ordercomplex semisimple algebraic groupfinite partially ordered setshard Lefschetz theoremparabolic subgroupWeyl group

Mathematics Subject Classification ID

Permutations, words, matrices (05A05) Combinatorics of partially ordered sets (06A07) Classical problems, Schubert calculus (14N15)

Abstract: A well-known result of Stanley from 1980 implies that the weak order on a maximal parabolic quotient of the symmetric group $S_n$ has the Sperner property; this same property was recently established for the weak order on all of $S_n$ by Gaetz and Gao, resolving a long-open problem. In this paper we interpolate between these results by showing that the weak order on any parabolic quotient of $S_n$ (and more generally on any $132$-avoiding interval) has the Sperner property. This result is proven by exhibiting an action of $mathfrak{sl}_2$ respecting the weak order on these intervals. As a corollary we obtain a new formula for principal specializations of Schubert polynomials. Our formula can be seen as a strong Bruhat order analogue of Macdonald's reduced word formula. This proof technique and formula generalize work of Hamaker, Pechenik, Speyer, and Weigandt and Gaetz and Gao.

Recommendations

• A combinatorial \(\mathfrak{sl}_2\)-action and the Sperner property for the weak order
• The weak Bruhat order on the symmetric group is Sperner
• Derivatives of Schubert polynomials and proof of a determinant conjecture of Stanley
• A combinatorial duality between the weak and strong Bruhat orders
• The weak order on pattern-avoiding permutations

Cites work

• A combinatorial \(\mathfrak{sl}_2\)-action and the Sperner property for the weak order
• A combinatorial duality between the weak and strong Bruhat orders
• An introduction to Lie groups and Lie algebras
• Asymptotics of principal evaluations of Schubert polynomials for layered permutations
• Combinatorics of Coxeter Groups
• Derivatives of Schubert polynomials and proof of a determinant conjecture of Stanley
• Determinantal identities for flagged Schur and Schubert polynomials
• scientific article; zbMATH DE number 3955215 (Why is no real title available?)
• scientific article; zbMATH DE number 3106058 (Why is no real title available?)
• Product decompositions of the symmetric group induced by separable permutations
• Representations of $\mathfrak{sl}( 2,\mathbb{C} )$ on Posets and the Sperner Property
• Symmetric functions, Schubert polynomials and degeneracy loci. Transl. from the French by John R. Swallow
• Weighted enumeration of Bruhat chains in the symmetric group
• Weyl Groups, the Hard Lefschetz Theorem, and the Sperner Property

Cited in

(4)

• A combinatorial duality between the weak and strong Bruhat orders
• The weak Bruhat order on the symmetric group is Sperner
• A combinatorial \(\mathfrak{sl}_2\)-action and the Sperner property for the weak order
• A q-deformation of an algebra of Klyachko, and Macdonald's reduced word formula

This page was built for publication: The Sperner property for 132-avoiding intervals in the weak order

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4999664)