On Quillen's Theorem A for posets

A theorem of McCord of 1966 and [email protected]?s Theorem A of 1973 provide sufficient conditions for a map between two posets to be a homotopy equivalence at the level of complexes. We give an alternative elementary proof of this result and we deduce also a stronger statement: under the hypotheses of the theorem, the map is not only a homotopy equivalence but a simple homotopy equivalence. This leads then to stronger formulations of the simplicial version of [email protected]?s Theorem A, the Nerve Lemma and other known results. In particular we establish a conjecture of Kozlov on the simple homotopy type of the crosscut complex and we improve a well-known result of Cohen on contractible mappings.

[1]  A. Hatcher.  Higher simple homotopy theory , 1975 .

[2]  James W. Walker,et al.  Homotopy Type and Euler Characteristic of Partially Ordered Sets , 1981, Eur. J. Comb..

[3]  J. Milnor.  Construction of Universal Bundles, II , 1956 .

[4]  R. Ho.  Algebraic Topology , 2022 .

[5]  Elias Gabriel Minian,et al.  Strong Homotopy Types, Nerves and Collapses , 2009, Discret. Comput. Geom..

[6]  L. Glaser.  Geometrical combinatorial topology , 1970 .

[7]  Michelle L. Wachs,et al.  Poset fiber theorems , 2004 .

[8]  A. Björner.  Topological methods , 1996 .

[9]  P. Csorba,et al.  On the Simple ℤ2-homotopy Types of Graph Complexes and Their Simple ℤ2-universality , 2008, Canadian Mathematical Bulletin.

[10]  Elias Gabriel Minian,et al.  One-point reductions of finite spaces, h–regular CW–complexes and collapsibility , 2007, 0801.0007.

[11]  Anders Björner,et al.  Nerves, fibers and homotopy groups , 2003, J. Comb. Theory, Ser. A.

[12]  Wolfgang Metzler,et al.  Two-dimensional homotopy and combinatorial group theory , 1993 .

[13]  Elias Gabriel Minian,et al.  Simple homotopy types and finite spaces , 2006, math/0611158.

[14]  Dmitry N. Kozlov.  Simple homotopy types of Hom-complexes, neighborhood complexes, Lovász complexes, and atom crosscut complexes , 2006 .

[15]  C. H. Dowker.  HOMOLOGY GROUPS OF RELATIONS , 1952 .

[16]  D. Quillen,et al.  Higher algebraic K-theory: I , 1973 .

[17]  Ronald T. Brown,et al.  Elements of Modern Topology , 1968 .

[18]  Robion Kirby,et al.  Foundational Essays on Topological Manifolds, Smoothings, and Triangulations. , 1977 .

[19]  Marshall M. Cohen.  A Course in Simple-Homotopy Theory , 1973 .

[20]  Jonathan Ariel Barmak,et al.  Algebraic Topology of Finite Topological Spaces and Applications , 2011 .

[21]  Marshall M. Cohen.  Simplicial Structures and Transverse Cellularity , 1967 .

[22]  Kenneth Baclawski,et al.  Cohen-Macaulay ordered sets , 1980 .

[23]  E. Babson,et al.  Complexes of graph homomorphisms , 2003, math/0310056.

[24]  D. Quillen,et al.  Homotopy properties of the poset of nontrivial p-subgroups of a group , 1978 .

[25]  M. McCord.  Singular homology groups and homotopy groups of finite topological spaces , 1966 .