Abstract
Björner and Ekedahl (Ann Math (2) 170(2):799–817, 2009) prove that general intervals [e, w] in Bruhat order are “top-heavy”, with at least as many elements in the i-th corank as the i-th rank. Well-known results of Carrell (in: Algebraic groups and their generalizations: classical methods (University Park, PA, 1991), volume 56 of proceedings of symposium on pure mathematics, pp 53–61. American Mathematical Society, Providence, RI, 1994) and of Lakshmibai and Sandhya (Proc Indian Acad Sci Math Sci 100(1):45–52, 1990) give the equality case: [e, w] is rank-symmetric if and only if the permutation w avoids the patterns 3412 and 4231 and these are exactly those w such that the Schubert variety \(X_w\) is smooth. In this paper we study the finer structure of rank-symmetric intervals [e, w], beyond their rank functions. In particular, we show that these intervals are still “top-heavy” if one counts cover relations between different ranks. The equality case in this setting occurs when [e, w] is self-dual as a poset; we characterize these w by pattern avoidance and in several other ways.
Similar content being viewed by others
References
Billey, S., Postnikov, A.: Smoothness of Schubert varieties via patterns in root subsystems. Adv. Appl. Math. 34(3), 447–466 (2005)
Billey, S.C., Fan, C.K., Losonczy, J.: The parabolic map. J. Algebra 214(1), 1–7 (1999)
Björner, A.: Posets, regular CW complexes and Bruhat order. Eur. J. Combin. 5(1), 7–16 (1984)
Björner, A., Brenti, F.: Combinatorics of Coxeter groups. Graduate Texts in Mathematics, vol. 231. Springer, New York (2005)
Björner, A., Ekedahl, T.: On the shape of Bruhat intervals. Ann. Math. (2) 170(2), 799–817 (2009)
Björner, A., Wachs, M.: Bruhat order of Coxeter groups and shellability. Adv. Math. 43(1), 87–100 (1982)
Carrell, J.B.: The Bruhat graph of a Coxeter group, a conjecture of Deodhar, and rational smoothness of Schubert varieties. In: Algebraic groups and their generalizations: classical methods (University Park, PA, 1991), vol. 56 of Proceedings of Symposium on Pure Mathematics, pp. 53–61. American Mathematical Society, Providence, RI, (1994)
Gasharov, V.: Factoring the Poincaré polynomials for the Bruhat order on \(S_n\). J. Combin. Theory Ser. A 83(1), 159–164 (1998)
Lakshmibai, V., Sandhya, B.: Criterion for smoothness of Schubert varieties in \({\rm Sl}(n)/B\). Proc. Indian Acad. Sci. Math. Sci. 100(1), 45–52 (1990)
Oh, S., Postnikov, A., Yoo, H.: Bruhat order, smooth Schubert varieties, and hyperplane arrangements. J. Combin. Theory Ser. A 115(7), 1156–1166 (2008)
Richmond, E., Slofstra, W.: Rationally smooth elements of Coxeter groups and triangle group avoidance. J. Algebraic Combin. 39(3), 659–681 (2014)
Richmond, E., Slofstra, W.: Billey–Postnikov decompositions and the fibre bundle structure of Schubert varieties. Math. Ann. 366(1–2), 31–55 (2016)
Richmond, E., Slofstra, W.: Staircase diagrams and enumeration of smooth Schubert varieties. J. Combin. Theory Ser. A 150, 328–376 (2017)
Stanley, R.P.: Weyl groups, the hard Lefschetz theorem, and the Sperner property. SIAM J. Algebraic Discrete Methods 1(2), 168–184 (1980)
Tenner, B.E.: Pattern avoidance and the Bruhat order. J. Combin. Theory Ser. A 114(5), 888–905 (2007)
Acknowledgements
We are grateful to Sara Billey for suggesting that self-dual intervals may be characterized by pattern avoidance. We also wish to thank Alexander Woo for providing helpful references and Alexander Postnikov and Thomas Lam for their suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
C.G. was partially supported by an NSF Graduate Research Fellowship under Grant No. 1122374.