JOURNAL OF
ALGEBRAIC
COMBINATORICS

Home > Vol 9, No 2 (1999)

Michelle L. Wachs

We generalize results of Calderbank, Hanlon and Robinson on the representation of the symmetric group on the homology of posets of partitions with restricted block size. Calderbank, Hanlon and Robinson consider the cases of block sizes that are congruent to 0 mod d and 1 mod d for fixed d. We derive a general formula for the representation of the symmetric group on the homology of posets of partitions whose block sizes are congruent to k mod d for any k and d. This formula reduces to the Calderbank-Hanlon-Robinson formulas when k = 0, 1 and to formulas of Sundaram for the virtual representation on the alternating sum of homology. Our results apply to restricted block size partition posets even more general than the k mod d partition posets. These posets include the lattice of partitions whose block sizes are bounded from below by some fixed k. Our main tools involve the new theory of nonpure shellability developed by Björner and Wachs and a generalization of a technique of Sundaram which uses Whitney homology to compute homology representations of Cohen-Macaulay posets. An application to subspace arrangements is also discussed.

1. K. Baclawski, “Whitney numbers of geometric lattices,” Advances in Math. 16 (1975), 125-138.
2. A. Bj\ddot orner, “Homology and shellability of geometric lattices,” Matroid Applications, N. White (Ed.), Cambridge University Press, 1992, pp. 226-283.
3. A. Bj\ddot orner, “Subspace arrangements,” First European Congress of Mathematics, Paris, 1992, A. Joseph et al. (Eds.), Progress in Math., Vol. 119, Birkh\ddot auser, 1994, pp. 321-370.
4. A. Bj\ddot orner and L. Lovász, “Linear decision trees, subspace arrangements and M\ddot obius functions,” Journal Amer. Math. Soc. 7 (1994), 677-706.
5. A. Bj\ddot orner, L. Lovász, and A. Yao, “Linear decision trees: volume estimates and topological bounds,” Proc. 24th ACM Symp. on Theory of Computing, May 1992, ACM Press, New York, 1992, pp. 170-177.
6. A. Bj\ddot orner and M.L. Wachs, “On lexicographically shellable posets,” Trans. AMS 277 (1983), 323-341.
7. A. Bj\ddot orner and M.L. Wachs, “Nonpure shellable complexes and posets I,” Trans. AMS 348 (1996), 1299-1327.
8. A. Bj\ddot orner and M.L. Wachs, “Nonpure shellable complexes and posets II,” Trans. AMS 349 (1997), 3945- 3975.
9. A. Bj\ddot orner and V. Welker, “The homology of “k-equal” manifolds and related partition lattices,” Advances in Math. 110 (1995), 277-313.
10. A.R. Calderbank, P. Hanlon, and R.W. Robinson, “Partitions into even and odd block size and some unusual characters of the symmetric groups,” Proc. London Math. Soc. (3) 53 (1986), 288-320.
11. A.M. Duval, “Algebraic shifting and sequentially Cohen-Macaulay simplicial complexes,” Electronic Journal of Combinatorics 3 (1996).
12. M. Goresky and R.D. MacPherson, “Stratified Morse theory,” Ergebnisse der Mathematic und ihrer Grenzgebiete, Vol. 14, Springer Verlag, (1988).
13. G.D. James and A. Kerber, “The representation theory of the symmetric group,” Encyclopedia of mathematics and its applications, Vol 16, Addison-Wesley, Reading, MA, (1981).
14. G.I. Lehrer and L. Solomon, “On the action of the symmetric group on the cohomology of the complement of its reflecting hyperplanes,” J. Algebra 104 (1986), 410-424.
15. S. Linusson, “Partitions with restricted block sizes, M\ddot obius functions and the k-of-each problem,” SIAM J. Discrete Math. 10 (1977), 18-29.
16. I.G. Macdonald, Symmetric Functions and Hall Polynomials, Oxford University Press, London/New York, 1979.
17. B. Sagan, “Shellability of exponential structures,” Order 3 (1986), 47-54.
18. A.E. Sanders and M.L Wachs, “On the (co)homology of the lattice of partitions with restricted block size,” in preparation.
19. R.P. Stanley, Combinatorics and Commutative Algebra, 2nd edition, Birkh\ddot auser, Boston, 1995.
20. S. Sundaram, “The homology representations of the symmetric group on Cohen-Macaulay subposets of the partition lattice,” Advances in Math. 104 (1994), 225-296.
21. S. Sundaram, “Applications of the Hopf trace formula to computing homology representations,”Proceedings of Jerusalem Combinatorics Conference, 1993, H. Barcelo and G. Kalai (Eds.), Contemporary Math., Vol. 178, Amer. Math. Soc., 1994, pp. 277-309.
22. S. Sundaram, “Plethysm, partitions with an even number of blocks and Euler numbers,” DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 1995.
23. S. Sundaram and M.L. Wachs, “The homology representations of the k-equal partition lattice,” Trans. AMS 349 (1997), 935-954.
24. S. Sundaram and V. Welker, “Group actions on arrangements of linear subspaces and applications to configuration spaces,” Trans. AMS 349 (1997), 1389-1420.
25. S. Sundaram and V. Welker, “Group representations on the homology of products of posets,” J. Combin. Theory, A 73 (1996), 174-180.
26. M.L. Wachs, “A basis for the homology of the d-divisible partition lattice,” Advances in Math. 117 (1996), 294-318.
27. G.M. Ziegler and R.T. \check Zivaljević, “Homotopy type of arrangements via diagrams of spaces,” Math. Ann. 295 (1983), 527-548.