Strong discrete Morse theory and simplicial L-S category: a discrete version of the Lusternik-Schnirelmann theorem

DOI10.1007/S00454-019-00116-8MaRDI QIDQ1985296zbMATH OpenOpenAlexFDO

Authors D. Fernández-Ternero, Enrique Macias-Virgós, Nicholas A. Scoville, J. A. Vilches

Publication date 7 April 2020

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.08840

zbMATH Keywords

discrete Morse theorystrong homotopy typestrong collapsibilitysimplicial Lusternik-Schnirelmann category

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Lyusternik-Shnirel'man category of a space, topological complexity à la Farber, topological robotics (topological aspects) (55M30) Discrete Morse theory and related ideas in manifold topology (57Q70)

Abstract: We prove a discrete version of the Lusternik-Schnirelmann theorem for discrete Morse functions and the recently introduced simplicial Lusternik-Schnirelmann category of a simplicial complex. To accomplish this, a new notion of critical object of a discrete Morse function is presented, which generalizes the usual concept of critical simplex (in the sense of R. Forman). We show that the non-existence of such critical objects guarantees the strong homotopy equivalence (in the Barmak and Minian's sense) between the corresponding sublevel complexes. Finally, we establish that the number of critical objects of a discrete Morse function defined on $K$ is an upper bound for the non-normalized simplicial Lusternik-Schnirelmann category of $K$.

Recommendations

• Lusternik-Schnirelmann category for simplicial complexes
• Lusternik-Schnirelmann category of simplicial complexes and finite spaces
• Lusternik-Schnirelmann category for cell complexes and posets
• Estimating the discrete geometric Lusternik-Schnirelmann category
• On the Lusternik-Schnirelmann category of a simplicial map

Cites work

• scientific article; zbMATH DE number 4102053 (Why is no real title available?)
• scientific article; zbMATH DE number 1973373 (Why is no real title available?)
• scientific article; zbMATH DE number 3016239 (Why is no real title available?)
• scientific article; zbMATH DE number 3411897 (Why is no real title available?)
• Algebraic topology of finite topological spaces and applications
• Discrete Morse theory for computing cellular sheaf cohomology
• Irreducible triangulations of the M\"obius band
• Lusternik-Schnirelman theory on Banach manifolds
• Lusternik-Schnirelmann category for cell complexes and posets
• Lusternik-Schnirelmann category for simplicial complexes
• Lusternik-Schnirelmann category of simplicial complexes and finite spaces
• Membrane parallelism for discrete Morse theory applied to digital images
• Morse Theory. (AM-51)
• Morse theory for cell complexes
• On the Lusternik-Schnirelmann category of a simplicial map
• Simplicial Lusternik-Schnirelmann category
• Strong homotopy types, nerves and collapses

Cited in

(7)

• Discrete-to-continuous extensions: Lovász extension and Morse theory
• Morse theory on finite spaces
• Morse-Bott theory on posets and a homological Lusternik-Schnirelmann theorem
• Lusternik-Schnirelmann category for simplicial complexes
• On the Lusternik-Schnirelmann category of a simplicial map
• Estimating the discrete geometric Lusternik-Schnirelmann category
• Simplicial Lusternik-Schnirelmann category

This page was built for publication: Strong discrete Morse theory and simplicial L-S category: a discrete version of the Lusternik-Schnirelmann theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1985296)