Abstract. In this paper we establish a natural definition of Lusternik-Schnirelmann category for simplicial complexes via the well known notion of contiguity. This category has the property of being homotopy invariant under strong equivalences, and it only depends on the simplicial structure rather than its geometric realization.In a similar way to the classical case, we also develop a notion of geometric category for simplicial complexes. We prove that the maximum value over the homotopy class of a given complex is attained in the core of the complex.Finally, by means of well known relations between simplicial complexes and posets, specific new results for the topological notion of LScategory are obtained in the setting of finite topological spaces.

The simplicial LS-category of a finite abstract simplicial complex is a new invariant of the strong homotopy type, defined in purely combinatorial terms. It generalizes to arbitrary simplicial complexes the well known notion of arboricity of a graph, and allows to develop all the machinery of algebraic topology which is costumary in the classical theory of Lusternik-Schnirelmann category.2010 Mathematics Subject Classification. 55U10, 55M30, 05C70.

We introduce a notion of discrete topological complexity in the setting of simplicial complexes, using only the combinatorial structure of the complex by means of the concept of contiguous simplicial maps. We study the links of this new invariant with those of simplicial and topological LS-category.

A bst r ac t This paper is focused on the study of perfect discrete Morse functions on a 2-simplicial complex. These are those discrete Morse functions such that the number of critical i-simplices coincides with the i-th Betti number of the complex. In particular, we establish conditions under which a 2-complex admits a perfect discrete Morse function and conversely, we get topological properties of a 2-complex admitting such kind of functions. This approach is more general than the known results in the literature [7], since our study is not restricted to surfaces. These results can be considered as a first step in the study of perfect discrete Morse functions on 3-manifolds.K e y wor ds perfect discrete Morse function, Betti number, simplicial complex. I nt roductionSince it was introduced, Morse theory has been a powerful tool in the study of smooth manifolds by means of differential geometry techniques. Basically, it allows us to describe the topology of a manifold in terms of the cellular decomposition generated by the critical points of a scalar smooth map defined on it.At the end of the last century, R. Forman [4] developed a discrete version of Morse theory that turned out to be a fruitful and efficient method for the study of the topology of discrete objects, such as simplicial and cellular complexes, which play a central role in many different fields of pure and applied mathematics.Essentially, a discrete Morse function on a simplicial complex is a way to assign a real number to each simplex of a complex, without any continuity, in such a way that for each simplex the natural order given by the dimension simplices is respected, except at most in one (co)face of the given simplex. As in the smooth setting, changes in the topology of the level subcomplexes are deeply related to the presence of critical simplices of the function, and the analysis of the evolution of the homology of these complexes can be a very useful tool in computer vision to deal with shape recognition problems by means of topological shape descriptors. In our opinion, there are many advantages of using Forman's theory. First, it can be applied to discrete objects more general than manifolds. Second, it is more suitable in the digital context on topics like pattern recognition, shape classification and recognition, thinning 2D-objects where usually discretized functions are used.Optimal discrete Morse functions has been widely studied in the literature [6,7]. However, this question is not usually considered as an optimization problem in terms of obtaining discrete Morse functions with as less critical simplices as possible. On the contrary, this problem is mainly settled as a problem of perfect discrete Morse functions, that is, those functions satisfyingwhere m i ( f ) is indicating the number of i-critical simplices of f on K and b i ( K ; F ) is the i-th Betti number of M . In this setting is interesting to point out that there are complexes which do not admit perfect discrete Morse functions. It can be explained by two main reasons:...

No abstract