We investigate the homology representation of the symmetric group on rank-selected subposets of subword order. We show that the homology module for words of bounded length, over an alphabet of size $n,$ decomposes into a sum of tensor powers of the ${S}_{n}$-irreducible ${S}_{(n-1,1)}$ indexed by the partition $(n-1,1),$ recovering, as a special case, a theorem of Björner and Stanley for words of length at most $k.$ For arbitrary ranks we show that the homology is an integer combination of positive tensor powers of the reflection representation ${S}_{(n-1,1)}$, and conjecture that this combination is nonnegative. We uncover a curious duality in homology in the case when one rank is deleted.

We prove that the action on the rank-selected chains of subword order is a nonnegative integer combination of tensor powers of ${S}_{(n-1,1)}$, and show that its Frobenius characteristic is $h$-positive and supported on the set ${T}_{1}\left(n\right)=\{{h}_{\lambda}:\lambda =(n-r,{1}^{r}),r\ge 1\}.$

Our most definitive result describes the Frobenius characteristic of the homology for an arbitrary set of ranks, plus or minus one copy of the Schur function ${s}_{(n-1,1)},$ as an integer combination of the set ${T}_{2}\left(n\right)=\{{h}_{\lambda}:\lambda =(n-r,{1}^{r}),r\ge 2\}.$ We conjecture that this combination is nonnegative, establishing this fact for particular cases.

Revised:

Accepted:

Published online:

Keywords: Subword order, reflection representation, $h$-positivity, Whitney homology, Kronecker product, internal product, Stirling numbers.

^{1}

@article{ALCO_2021__4_5_879_0, author = {Sundaram, Sheila}, title = {The reflection representation in the homology of subword order}, journal = {Algebraic Combinatorics}, pages = {879--907}, publisher = {MathOA foundation}, volume = {4}, number = {5}, year = {2021}, doi = {10.5802/alco.184}, language = {en}, url = {http://archive.numdam.org/articles/10.5802/alco.184/} }

TY - JOUR AU - Sundaram, Sheila TI - The reflection representation in the homology of subword order JO - Algebraic Combinatorics PY - 2021 SP - 879 EP - 907 VL - 4 IS - 5 PB - MathOA foundation UR - http://archive.numdam.org/articles/10.5802/alco.184/ DO - 10.5802/alco.184 LA - en ID - ALCO_2021__4_5_879_0 ER -

Sundaram, Sheila. The reflection representation in the homology of subword order. Algebraic Combinatorics, Volume 4 (2021) no. 5, pp. 879-907. doi : 10.5802/alco.184. http://archive.numdam.org/articles/10.5802/alco.184/

[1] Whitney numbers of geometric lattices, Adv. in Math., Volume 16 (1975), pp. 125-138 | DOI | MR | Zbl

[2] Shellable and Cohen–Macaulay partially ordered sets, Trans. Amer. Math. Soc., Volume 260 (1980) no. 1, pp. 159-183 | DOI | MR | Zbl

[3] On the homology of geometric lattices, Algebra Universalis, Volume 14 (1982) no. 1, pp. 107-128 | DOI | MR | Zbl

[4] Posets, regular CW complexes and Bruhat order, European J. Combin., Volume 5 (1984) no. 1, pp. 7-16 | DOI | MR | Zbl

[5] The Möbius function of subword order, Invariant theory and tableaux (Minneapolis, MN, 1988) (IMA Vol. Math. Appl.), Volume 19, Springer, New York, 1990, pp. 118-124 | MR | Zbl

[6] Bruhat order of Coxeter groups and shellability, Adv. in Math., Volume 43 (1982) no. 1, pp. 87-100 | DOI | MR | Zbl

[7] On lexicographically shellable posets, Trans. Amer. Math. Soc., Volume 277 (1983) no. 1, pp. 323-341 | DOI | MR | Zbl

[8] A note on theorems of Burnside and Blichfeldt, Proc. Amer. Math. Soc., Volume 15 (1964), pp. 31-34 | DOI | MR | Zbl

[9] Cellular homology for posets, Math. Japon., Volume 23 (1978/79) no. 6, pp. 607-613 | MR | Zbl

[10] Combinatorial operators for Kronecker powers of representations of ${\U0001d516}_{n}$, Sém. Lothar. Combin., Volume 54 (2005/07), Art 54j, 13 pages | MR | Zbl

[11] Character theory of finite groups, Dover Publications, Inc., New York, 1994, xii+303 pages | MR

[12] A Study on Lexicographic Shellable Posets, Ph. D. Thesis, Washington University in St. Louis (2020), 43 pages (https://www.proquest.com/docview/2395253064)

[13] Homology of Smirnov words (in preparation)

[14] Symmetric functions and Hall polynomials. With contributions by A. Zelevinsky, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1995, x+475 pages (Oxford Science Publications)

[15] Set partitions with successions and separations, Int. J. Math. Math. Sci. (2005) no. 3, pp. 451-463 | DOI | MR | Zbl

[16] Homotopy properties of the poset of nontrivial $p$-subgroups of a group, Adv. in Math., Volume 28 (1978) no. 2, pp. 101-128 | DOI | MR | Zbl

[17] Some aspects of groups acting on finite posets, J. Combin. Theory Ser. A, Volume 32 (1982) no. 2, pp. 132-161 | DOI | MR | Zbl

[18] Enumerative combinatorics. Vol. 1. With a foreword by Gian-Carlo Rota, Corrected reprint of the 1986 original, Cambridge Studies in Advanced Mathematics, 49, Cambridge University Press, Cambridge, 1997, xii+325 pages | DOI | MR

[19] Enumerative combinatorics. Vol. 2. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin, Cambridge Studies in Advanced Mathematics, 62, Cambridge University Press, Cambridge, 1999, xii+581 pages | DOI | MR

[20] Applications of the Hopf trace formula to computing homology representations, Jerusalem combinatorics ’93 (Contemp. Math.), Volume 178, Amer. Math. Soc., Providence, RI, 1994, pp. 277-309 | DOI | MR

[21] The homology representations of the symmetric group on Cohen–Macaulay subposets of the partition lattice, Adv. in Math., Volume 104 (1994) no. 2, pp. 225-296 | DOI | MR | Zbl

[22] Maximal chains of subwords and up-down sequences of permutations, J. Combin. Theory Ser. A, Volume 34 (1983) no. 1, pp. 1-14 | DOI | MR | Zbl

[23] Poset topology: tools and applications, Geometric combinatorics (IAS/Park City Math. Ser.), Volume 13, Amer. Math. Soc., Providence, RI, 2007, pp. 497-615 | DOI | MR

*Cited by Sources: *