arXiv++ Combinatorics

We introduce a new combinatorial invariant, which we call crosscut poset, that is finer than the crosscut complex. We exhibit many applications of the crosscut poset which include a generalization of Björner's crosscut theorem and two results concerning the fixed point property and the fixed simplex property.

We introduce two novel ideas related to the crosscut poset and give many examples of application of these ideas to the fixed point property.

We develop a novel tool to study the fixed point property of finite posets using a topological approach. Our tool is a construction which turns out to induce an endofunctor of the homotopy category of finite $T_0$--spaces. We study many properties of this construction and give several examples of application.

We characterize the Hurewicz cofibrations between finite topological spaces, that is, the continuous functions between finite topological spaces that have the homotopy extension property with respect to all topological spaces. In particular, we show that cofibrations between connected non-empty finite topological spaces are homotopy equivalences. As a consequence of our characterization, we obtain a simple algorithm capable of determining whether a given continuous function between finite topological spaces is a cofibration.

We characterize the homotopically trivial non-contractible topological spaces with the minimum number of points.

We develop a novel technique, which we call poset splitting, that allows us to solve two open problems regarding minimality of finite models of spaces: the nonexistence of a finite model of the real projective plane with fewer than 13 points and the nonexistence of a finite model of the torus with fewer than 16 points. Indeed, we prove much stronger results from which we also obtain that there does not exist a finite model of the Klein bottle with fewer than 16 points and that the integral homology groups of finite spaces with fewer than 13 points are torsion-free, settling a conjecture of Hardie, Vermeulen and Witbooi. Furthermore, we also apply our technique to give a complete characterization of the minimal finite models of the real projective plane, the torus, and the Klein bottle. In addition, we show that the poset splitting technique has an intrinsic interest giving original topological results that can be obtained from its application, such as a generalization of Hurewicz's theorem for non-simply-connected spaces and a generalization of a result of R. Brown on the fundamental group of a space.

We develop a new method to compute the homology groups of finite topological spaces (or equivalently of finite partially ordered sets) by means of spectral sequences giving a complete and simple description of the corresponding differentials. Our method proves to be powerful and involves far fewer computations than the standard one. We derive many applications of our technique which include a generalization of Hurewicz theorem for regular CW-complexes, results in homological Morse theory and formulas to compute the Möbius function of posets.