Abstract
We construct and analyze an explicit basis for the homology of the boolean complex of a finite simple graph. This provides a combinatorial description of the spheres in the wedge sum representing the homotopy type of the complex. We assign a set of derangements to any finite simple graph. For each derangement, we construct a corresponding element in the homology of the complex, and the collection of these elements forms a basis for the homology of the boolean complex. In this manner, the spheres in the wedge sum describing the homotopy type of the complex can be represented by a set of derangements.
We give an explicit, closed-form description of the derangements that can be obtained from any finite simple graph, and compute this set for several families of graphs. In the cases of complete graphs and Ferrers graphs, these calculations give bijective proofs of previously obtained enumerative results.
Article PDF
Similar content being viewed by others
References
Björner, A.: Posets, regular CW complexes and Bruhat order. Eur. J. Comb. 5, 7–16 (1984)
Björner, A., Wachs, M.: On lexicographically shellable posets. Trans. Am. Math. Soc. 277, 323–341 (1983)
Claesson, A., Kitaev, S., Ragnarsson, K., Tenner, B.E.: Boolean complexes for Ferrers graphs. Australas. J. Comb. 48, 159–173 (2010)
Ehrenborg, R., Steingrímsson, E.: The excedance set of a permutation. Adv. Appl. Math. 24, 284–299 (2000)
Farmer, F.D.: Cellular homology for posets. Math. Jpn. 23, 607–613 (1978/1979)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Jonsson, J., Welker, V.: Complexes of injective words and their commutation classes. Pac. J. Math. 243, 313–329 (2009)
Ragnarsson, K., Tenner, B.E.: Homotopy type of the boolean complex of a Coxeter system. Adv. Math. 222, 409–430 (2009)
Reiner, V., Webb, P.: The combinatorics of the bar resolution in group cohomology. J. Pure Appl. Algebra 190, 291–327 (2004)
Sloane, N.J.A.: The on-line encyclopedia of integer sequences, published electronically at http://www.research.att.com/~njas/sequences/
Tenner, B.E.: Pattern avoidance and the Bruhat order. J. Comb. Theory, Ser. A 114, 888–905 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Research partially supported by a DePaul University Faculty Summer Research Grant.
Rights and permissions
About this article
Cite this article
Ragnarsson, K., Tenner, B.E. Homology of the boolean complex. J Algebr Comb 34, 617–639 (2011). https://doi.org/10.1007/s10801-011-0285-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-011-0285-5