arXiv++ Combinatorics

We introduce a family of reconfiguration puzzles arising from ideas in geometry and topology. We present their construction from square-tiled shapes, discuss some of the underlying mathematics and describe how they are naturally associated to puzzle spaces which can be explored through visualization.

We compute the sheaf homology of the intersection lattice of a hyperplane arrangement with coefficients in the graded exterior sheaf of the natural sheaf. This builds on the results of our previous paper, where this homology was computed for the natural sheaf, itself a generalisation of an old result of Lusztig. The computational machinery we develop in this paper is quite different though: sheaf homology is lifted to what we call Boolean covers, where we instead compute homology cellularly. A number of tools are given for the cellular homology of these Boolean covers, including a deletion-restriction long exact sequence.

We give a long exact sequence for the homology of a graded atomic lattice equipped with a sheaf of modules, in terms of the deleted and restricted lattices. This is then used to compute the homology of the arrangement lattice of a hyperplane arrangement equipped with the natural sheaf. This generalises an old result of Lusztig.

J. Przytycki has established a connection between the Hochschild homology of an algebra $A$ and the chromatic graph homology of a polygon graph with coefficients in $A$. In general the chromatic graph homology is not defined in the case where the coefficient ring is a non-commutative algebra. In this paper we define a new homology theory for directed graphs which takes coefficients in an arbitrary $A-A$ bimodule, for $A$ possibly non-commutative, which on polygons agrees with Hochschild homology through a range of dimensions.

We define a homology theory for a certain class of posets equipped with a representation. We show that when restricted to Boolean lattices this homology is isomorphic to the homology of the "cube" complex defined by Khovanov.