Lusternik-Schnirelmann category for simplicial complexes. (English) Zbl 1302.55004

The authors define Lusternik-Schnirelmann category in simple homotopy type and use it obtain a lower bound for the number of discrete Morse functions. For recall, if \(K\) is a simplicial complex, an elementary collapse is an injection \(K\backslash \{\sigma, \tau\}\to K\) where \(\sigma, \tau\) are faces such that \(\sigma\) is a face of \(\tau\) and \(\sigma\) has no other coface. Then two complexes \(K_1\) and \(K_2\) have the same simple homotopy type if there is a sequence of collapses connecting \(K_1\) to \(K_2\). If \(K_2= \{v\}\) a single vertex, then \(K_1\) is called collapsible. A complex \(K\) has discrete geometric pre-category \(\leq m\) if \(K\) can be covered by \(m+1\) closed collapsible subcomplexes. The discrete geometric category of \(K\), \(\mathrm{dgcat}(K)\), is the minimum of the discrete geometric pre-categories of all the complexes in the same simple homotopy type as \(K\). The authors prove that if \(K\) has \(n\) vertices, then dgcat\((K)\leq n-1\). On the other hand if \(G\) is a planar graph, then dgcat\((G)\leq 2\). The main result says that the number of critical values of a discrete Morse function \(f:K\to \mathbb R\) is \(\geq \mathrm{ dgcat}(K)+1\).


55M30 Lyusternik-Shnirel’man category of a space, topological complexity à la Farber, topological robotics (topological aspects)
55U05 Abstract complexes in algebraic topology
57M15 Relations of low-dimensional topology with graph theory
Full Text: Euclid


[1] \beginbchapter \bauthor\binitsR. H. \bsnmBing, \bctitleSome aspects of the topology of \(3\)-manifolds related to the Poincaré conjecture, \bbtitleLectures on Modern Mathematics, vol. \bseriesnoII, \bpublisherWiley, \blocationNew York, \byear1964, pp. page 93-\blpage128. \endbchapter \endbibitem
[2] \beginbbook \bauthor\binitsM. M. \bsnmCohen, \bbtitleA course in simple-homotopy theory, \bsertitleGraduate Texts in Mathematics, vol. \bseriesno10, \bpublisherSpringer, \blocationNew York, \byear1973. \endbbook \endbibitem
[3] \beginbbook \bauthor\binitsO. \bsnmCornea, \bauthor\binitsG. \bsnmLupton, \bauthor\binitsJ. \bsnmOprea and \bauthor\binitsD. , \bbtitleLusternik-Schnirelmann category, \bsertitleMathematical Surveys and Monographs, vol. \bseriesno103, \bpublisherAmer. Math. Soc., \blocationProvidence, RI, \byear2003. \endbbook \endbibitem
[4] \beginbbook \bauthor\binitsD. L. \bsnmFerrario and \bauthor\binitsR. A. \bsnmPiccinini, \bbtitleSimplicial structures in topology, \bsertitleCMS Books in Mathematics/Ouvrages de Mathématiques de la SMC, \bpublisherSpringer, \blocationNew York, \byear2011. \bcommentTranslated from the 2009 Italian original by Maria Nair Piccinini. \endbbook \endbibitem · Zbl 1211.55001
[5] \beginbarticle \bauthor\binitsR. \bsnmForman, \batitleMorse theory for cell complexes, \bjtitleAdv. Math. \bvolume134 (\byear1998), no. \bissue1, page 90-\blpage145. \endbarticle \endbibitem · Zbl 0896.57023
[6] \beginbarticle \bauthor\binitsR. \bsnmForman, \batitleMorse theory and evasiveness, \bjtitleCombinatorica \bvolume20 (\byear2000), no. \bissue4, page 489-\blpage504. \endbarticle \endbibitem · Zbl 1028.05110
[7] \beginbarticle \bauthor\binitsR. \bsnmForman, \batitleA user’s guide to discrete Morse theory, . Lothar. Combin. \bvolume48 (\byear2002), \bnumberArt. B48c, page 1-\blpage35. \endbarticle \endbibitem
[8] \beginbchapter \bauthor\binitsR. \bsnmForman, \bctitleSome applications of combinatorial differential topology, \bbtitleGraphs and patterns in mathematics and theoretical physics, \bsertitleProc. Sympos. Pure Math., vol. \bseriesno73, \bpublisherAmer. Math. Soc., \blocationProvidence, RI, \byear2005, pp. page 281-\blpage313. \endbchapter \endbibitem
[9] \beginbarticle \bauthor\binitsR. H. \bsnmFox, \batitleOn the Lusternik-Schnirelmann category, \bjtitleAnn. of Math. (2) \bvolume42 (\byear1941), page 333-\blpage370. \endbarticle \endbibitem · Zbl 0027.43104
[10] \beginbbook \bauthor\binitsR. \bsnmFritsch and \bauthor\binitsR. A. \bsnmPiccinini, \bbtitleCellular structures in topology, \bsertitleCambridge Studies in Advanced Mathematics, vol. \bseriesno19, \bpublisherCambridge Univ. Press, \blocationCambridge, \byear1990. \endbbook \endbibitem
[11] \beginbbook \bauthor\binitsF. \bsnmHarary, \bbtitleGraph theory, \bpublisherAddison-Wesley Publishing Co., \blocationReading, MA-Menlo Park, CA-London, \byear1969. \endbbook \endbibitem
[12] \beginbbook \bauthor\binitsD. \bsnmKozlov, \bbtitleCombinatorial algebraic topology, \bsertitleAlgorithms and Computation in Mathematics, vol. \bseriesno21, \bpublisherSpringer, \blocationBerlin, \byear2008. \endbbook \endbibitem
[13] \beginbarticle \bauthor\binitsI. , \batitleApplications to discrete Morse theory: The collapsibility of CAT(0) cubical complexes of dimension 2 and 3, \bjtitleCarpathian J. Math. \bvolume27 (\byear2011), no. \bissue2, page 225-\blpage237. \endbarticle \endbibitem
[14] \beginbbook \bauthor\binitsL. \bsnmLusternik and \bauthor\binitsL. \bsnmSchnirelmann, topologiques dans les problémes variationnels, \bpublisherHermann, \blocationParis, \byear1934. \endbbook \endbibitem
[15] \beginbbook \bauthor\binitsW. S. \bsnmMassey, \bbtitleA basic course in algebraic topology, \bsertitleGraduate Texts in Mathematics, vol. \bseriesno127, \bpublisherSpringer, \blocationNew York, \byear1991. \endbbook \endbibitem
[16] \beginbarticle \bauthor\binitsF. \bsnmMori and \bauthor\binitsM. \bsnmSalvetti, \batitle(Discrete) Morse theory on configuration spaces, \bjtitleMath. Res. Lett. \bvolume18 (\byear2011), no. \bissue1, page 39-\blpage57. \endbarticle \endbibitem · Zbl 1246.32029
[17] \beginbarticle \bauthor\binitsC. S. J. A. \bsnmNash-Williams, \batitleEdge-disjoint spanning trees of finite graphs, \bjtitleJ. Lond. Math. Soc. (2) \bvolume36 (\byear1961), page 445-\blpage450. \endbarticle \endbibitem · Zbl 0102.38805
[18] \beginbbook \bauthor\binitsJ. J. \bsnmRotman, \bbtitleAn introduction to algebraic topology, \bsertitleGraduate Texts in Mathematics, vol. \bseriesno119, \bpublisherSpringer, \blocationNew York, \byear1988. \endbbook \endbibitem
[19] \beginbarticle \bauthor\binitsJ. H. C. \bsnmWhitehead, \batitleSimplicial spaces, nuclei and m-groups, \bjtitleProc. London Math. Soc. (2) \bvolume45 (\byear1939), no. \bissue1, page 243-\blpage327. \endbarticle \endbibitem · Zbl 0022.40702
[20] \beginbarticle \bauthor\binitsJ. H. C. \bsnmWhitehead, \batitleSimple homotopy types, \bjtitleAmer. J. Math. \bvolume72 (\byear1950), page 1-\blpage57. \endbarticle \endbibitem · Zbl 0040.38901
[21] \beginbarticle \bauthor\binitsE. C. \bsnmZeeman, \batitleOn the dunce hat, \bjtitleTopology \bvolume2 (\byear1964), page 341-\blpage358. \endbarticle \endbibitem · Zbl 0116.40801
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.