A note on the homotopy type of posets (Q1318820)

An order-reversing map \(f: P\to Q\) of posets induces maps \(J(Q^*)\to J(P)\) and \(J(Q)\to J(P^*)\) of the order ideals, where \(*\) indicates the dual poset. If \(f: P\to Q\) and \(g: Q\to P\) is a Galois connection between \(P\) and \(Q\), then so are the maps \(J(Q^*)\to J(P)^*\), \(J(P)^*\to J(Q^*)\) determined by the induced maps, and similarly for \(J(Q)^*\to J(P^*)\), \(J(P^*)\to J(Q)^*\). The authors consider when these give a homotopy equivalence between the proper posets \(\overline {J(Q^*)}\) and \(\overline{J(P)^*}\). They also consider when the map \(J(Q)\to J(P)\) induced by an isotone map \(f: P\to Q\) will give a homotopy equivalence between the proper posets \(\overline {J(Q)}\) and \(\overline {J(P)}\). The work depends on J. W. Walker's work and of course on Quillen's theorem.