Strong Discrete Morse Theory and Simplicial L–S Category: A Discrete Version of the Lusternik–Schnirelmann Theorem
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 generali...
| Autores: | , , , |
|---|---|
| Tipo de documento: | artigo |
| Estado: | Versión aceptada para publicación |
| Data de publicação: | 2019 |
| País: | España |
| Recursos: | Universidad de Sevilla (US) |
| Repositório: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/167704 |
| Acesso em linha: | https://hdl.handle.net/11441/167704 https://doi.org/10.1007/s00454-019-00116-8 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Simplicial Lusternik–Schnirelmann category Strong collapsibility Discrete Morse theory Strong homotopy type |
| Resumo: | 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. |
|---|