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

DOI10.1007/S00454-019-00116-8zbMATH Open1444.55011arXiv1612.08840OpenAlexW2964961059MaRDI QIDQ1985296FDOQ1985296

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

Publication date: 7 April 2020

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

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$.

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

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

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)

Cites Work

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

Cited In (3)

• Discrete-to-continuous extensions: Lovász extension and Morse theory
• Morse-Bott theory on posets and a homological Lusternik-Schnirelmann theorem
• On the Lusternik-Schnirelmann category of a simplicial map

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)