Abstract: We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of using strong collapses is the existence and uniqueness of cores and their relationship with the nerves of the complexes. From this theory we derive new results for studying simplicial collapsibility with a different point of view. We analyze vertex-transitive simplicial -actions and prove a particular case of the Evasiveness conjecture for simplicial complexes. Moreover, we reduce the general conjecture to the class of minimal complexes. We also strengthen a result of V. Welker on the barycentric subdivision of collapsible complexes. We obtain this and other results on collapsibility of polyhedra by means of the characterization of the different notions of collapses in terms of finite topological spaces.
The simple homotopy type of a simplicial complex is defined in terms of elementary collapses. In the paper under review the authors suggest a modification called strong homotopy type. In this case an elementary strong collapse from \(K\) to \(K\setminus v\) is possible if \(v\) is a vertex of \(K\) such that \(lk_K(v)\) is a simplicial cone over another vertex \(v'\). Here \(K\setminus v\) denotes the full subcomplex spanned by all vertices of \(K\) distinct from \(v\), and \(v\) is said to be dominated by \(v'\). A strong collapse is a sequence of elementary strong collapses, and the strong homotopy type is defined accordingly. The strong collapsing procedure terminates at a so-called minimal complex, that is one without a dominated vertex. Such a minimal subcomplex of \(K\) is called a core, and a core is shown to be unique up to isomorphism. Furthermore, two complexes have the same strong homotopy type if and only if their cores are isomorphic. A theory of strong collapses is developed in view of barycentric subdivisions, nerves and evasiveness. In particular a complex is strong collapsible to a vertex if and only if its first barycentric subdivision is. At the end an evasiveness conjecture is stated as follows: If \(K\) is a minimal, vertex-homogeneous, non-evasive complex, then it is a point.
Recommendations
Cites work
- A topological approach to evasiveness
- Algebraic topology of finite topological spaces and applications
- An action of a finite group on an 𝑛-cell without stationary points
- Constructible complexes and recursive division of posets
- Constructions preserving evasiveness and collapsibility
- Convergence of iterated clique graphs
- Dismantlability Revisited for Ordered Sets and Graphs and the Fixed-Clique Property
- Examples of \(\mathbb{Z}\)-acyclic and contractible vertex-homogeneous simplicial complexes
- Finite Topological Spaces
- Fixed-point sets of group actions on finite acyclic complexes
- Group actions on finite spaces
- Homology groups of relations
- Homotopy theory of finite and locally finite \(T_ 0\) spaces
- scientific article; zbMATH DE number 5704228 (Why is no real title available?)
- scientific article; zbMATH DE number 863503 (Why is no real title available?)
- scientific article; zbMATH DE number 3235051 (Why is no real title available?)
- scientific article; zbMATH DE number 3337454 (Why is no real title available?)
- Nerves of simplicial complexes
- On the dunce hat
- One-point reductions of finite spaces, \(h\)-regular CW-complexes and collapsibility
- Simple homotopy types and finite spaces
- Singular homology groups and homotopy groups of finite topological spaces
- Some remarks on finite 1-acyclic and collapsible complexes
- Some results related to the evasiveness conjecture.
- Über iterierte Clique-Graphen
Cited in
(72)- The homotopy types of the posets of \(p\)-subgroups of a finite group
- Subdivisions, Shellability, and collapsibility of products
- Lusternik-Schnirelmann category for categories and classifying spaces
- A stronger reformulation of Webb's conjecture in terms of finite topological spaces
- A combinatorial description of topological complexity for finite spaces
- Strong discrete Morse theory and simplicial L-S category: a discrete version of the Lusternik-Schnirelmann theorem
- Simple homotopy theory and nerve theorem for categories
- Fixed points of group actions on link collapsible simplicial complexes
- Political structures and the topology of simplicial complexes
- Some remarks on PL collapsible covers of 2-dimensional polyhedra
- Symmetric topological complexity for finite spaces and classifying spaces
- A hierarchy of dismantlings in graphs
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
- Quantitative simplification of filtered simplicial complexes
- Simplicial fibrations
- Higher analogs of simplicial and combinatorial complexity
- A qualitative theory of conflict resolution and political compromise
- A note on independence complexes of chordal graphs and dismantling
- Strong homotopy types of acyclic categories and \(\varDelta\)-complexes
- Collapsing along monotone poset maps
- Simple homotopy types and finite spaces
- Rips complexes as nerves and a functorial Dowker-nerve diagram
- Effective homological computations on finite topological spaces
- Simplicial and combinatorial versions of higher symmetric topological complexity
- Homomorphism complexes, reconfiguration, and homotopy for directed graphs
- Nerve complexes of circular arcs
- Discrete topological complexity
- Lusternik–Schnirelmann category of relation matrices on finite spaces and simplicial complexes
- Local properties of simplicial complexes
- Star clusters in independence complexes of graphs
- Knots in collapsible and non-collapsible balls
- Foldings in graphs and relations with simplicial complexes and posets
- Dismantlable classifying space for the family of parabolic subgroups of a relatively hyperbolic group
- Realisation and dismantlability
- Lusternik-Schnirelmann category of simplicial complexes and finite spaces
- Strong Collapse for Persistence
- Alexandroff spaces via simplicial complexes
- Computing persistent homology of flag complexes via strong collapses
- Smallest weakly contractible non-contractible topological spaces
- Towards directed collapsibility (research)
- Simplicial approximation and refinement of monoidal topological complexity
- Strong collapse and persistent homology
- On the homotopy and strong homotopy type of complexes of discrete Morse functions
- Contiguity distance between simplicial maps
- Morphism complexes of sets with relations
- A new method to h-regularize finite topological spaces
- Evasiveness through binary decision diagrams
- Minimal graphs for contractible and dismantlable properties
- Cone complexes and group actions
- On Quillen's theorem A for posets
- Higher analogues of discrete topological complexity
- Morse-Bott theory on posets and a homological Lusternik-Schnirelmann theorem
- Stratified simple homotopy type: theory and computation
- Sectional category of maps related to finite spaces
- Homotopy, homology, and persistent homology using closure spaces
- Dominance complexes, neighborhood complexes and combinatorial Alexander duals
- Helly groups
- On the homology of several number-theoretic set families
- Contiguity distance between simplicial maps: stability, product-wedge principles, and relative variants
- On edge collapse of random simplicial complexes
- On the limitations of ROBDDs in deciding the evasiveness of Boolean functions
- Some notes and comparisons on topological complexities
- A survey of simplicial, relative, and chain complex homology theories for hypergraphs
- Monomial polarization and depolarization of abstract simplicial complexes
- Strang's Conjecture: Positive Result on Strong Collapsible Complexes and a Code to Check the Conjecture
- On the Lusternik-Schnirelmann category of a simplicial map
- Fundamental category and face category of stellar complexes
- Addendum and corrigendum to: ``Contiguity distance between simplicial maps: stability, product-wedge principles, and relative variants
- A symmetric counterexample to Strang's conjecture for bivariate C¹ cubic splines on triangulations
- A note on the homotopy type of the Alexander dual
- A combinatorial technique for simplicial complexes and some applications to finite groups
- Infinitesimal and \(B_{\infty}\)-algebras, finite spaces, and quasi-symmetric functions
This page was built for publication: Strong homotopy types, nerves and collapses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q664351)
