English

The reflection representation in the homology of subword order

Representation Theory 2025-09-09 v3 Combinatorics

Abstract

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,n, decomposes into a sum of tensor powers of the SnS_n-irreducible S(n1,1)S_{(n-1,1)} indexed by the partition (n1,1),(n-1,1), recovering, as a special case, a theorem of Bj\"orner and Stanley for words of length at most k.k. For arbitrary ranks we show that the homology is an integer combination of positive tensor powers of the reflection representation S(n1,1)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(n1,1)S_{(n-1,1)}, and show that its Frobenius characteristic is hh-positive and supported on the set T1(n)={hλ:λ=(nr,1r),r1}.T_{1}(n)=\{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(n1,1),s_{(n-1,1)}, as an integer combination of the set T2(n)={hλ:λ=(nr,1r),r2}.T_{2}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}. We conjecture that this combination is nonnegative, establishing this fact for particular cases.

Keywords

Cite

@article{arxiv.2006.13367,
  title  = {The reflection representation in the homology of subword order},
  author = {Sheila Sundaram},
  journal= {arXiv preprint arXiv:2006.13367},
  year   = {2025}
}

Comments

30 pages; typos corrected; sections have been reorganised. To appear in Algebraic Combinatorics