arXiv++ Combinatorics

From the topological viewpoint, Morse shellings of finite simplicial complexes are {\it pinched} handle decompositions and extend the classical shellings. We prove that every discrete Morse function on a finite simplicial complex induces Morse shellings on its second barycentric subdivision whose critical tiles-or pinched handles-are in oneto-one correspondence with the critical faces of the function, preserving the index. The same holds true, given any smooth Morse function on a closed manifold, for any piecewise-linear triangulation on it after sufficiently many barycentric subdivisions.

An h-tiling on a finite simplicial complex is a partition of its geometric realization by maximal simplices deprived of several codimension one faces together with possibly their remaining face of highest codimension. In this last case, the tiles are said to be critical. An h-tiling thus induces a partitioning of its face poset by closed or semi-open intervals. We prove the existence of h-tilings on every finite simplicial complex after finitely many stellar subdivisions at maximal simplices. These tilings are moreover shellable. We also prove that the number of tiles of each type used by a tiling, encoded by its h-vector, is determined by the number of critical tiles of each index it uses, encoded by its critical vector. In the case of closed triangulated manifolds, these vectors satisfy some palindromic property. We finally study the behavior of tilings under any stellar subdivision.

We recently introduced a notion of tilings of geometric realizations of finite relative simplicial complexes and related those tilings to the discrete Morse theory of R. Forman, especially when they have the property of being shellable, a property shared by the classical shellable complexes. We now observe that every such tiling supports a quiver which is acyclic precisely when the tiling is shellable and then, that every shelling induces two spectral sequences which converge to the relative (co)homology of the complex. Their first pages are free modules over the critical tiles of the tiling.

We recently defined a property of Morse shellability (and tileability) of finite simplicial complexes which extends the classical one and its relations with discrete Morse theory. We now prove that the product of two Morse tileable or shellable simplicial complexes carries Morse tileable or shellable triangulations under some tameness condition, and that any tiling or shelling becomes tame after one barycentric subdivision. We deduce that any finite product of closed manifolds of dimensions less than four carries Morse shellable triangulations whose critical and h-vectors are palindromic. We also prove that the h-vector of a Morse tiling is always palindromic in dimension less than four or in the case of an h-tiling, provided its critical vector is palindromic.

We introduce a notion of Morse shellings (and tilings) on finite simplicial complexes which extends the classical one and its relation to discrete Morse theory.Skeletons and barycentric subdivisions of Morse shellable (or tileable) simplicial complexes are Morse shellable (or tileable). Moreover, every triangulated closed surface is Morse shellable while every closed three-manifold carries Morse shellable triangulations. Finally, any shelling encodes a class of discrete Morse functions whose critical points are in one-to-one correspondence, preserving the index, with the critical tiles of the shelling.

Let $K$ be a finite simplicial complex. We prove that the normalized expected Betti numbers of a random subcomplex in its $d$-th barycentric subdivision $\text{Sd}^d (K)$ converge to universal limits as $d$ grows to $+ \infty$. In codimension one, we use canonical filtrations of $\text{Sd}^d (K)$ to upper estimate these limits and get a monotony theorem which makes it possible to improve these estimates given any packing of disjoint simplices in $\text{Sd}^d (K)$. We then introduce a notion of tiling of simplicial complexes having the property that skeletons and barycentric subdivisions of tileable simplicial complexes are tileable. This enables us to tackle the problem: How many disjoint simplices can be packed in $\text{Sd}^d (K)$, $d \gg 0$?

We consider a finite simplicial complex $K$ together with its successive barycentric subdivisions $Sd^d(K), d\geq0,$ and study the expected topology of a random subcomplex in $Sd^d(K), d\gg0$. We get asymptotic upper and lower bounds for the expected Betti numbers of those subcomplexes, together with the average Morse inequalities and expected Euler characteristic.

We introduce canonical measures on a locally finite simplicial complex $K$ and study their asymptotic behavior under infinitely many barycentric subdivisions. We also compute the face polynomial of the asymptotic link and dual block of a simplex in the $d^{th}$ barycentric subdivision $Sd^d(K)$ of $K$, $d\gg0$. It is almost everywhere constant. When $K$ is finite, we study the limit face polynomial of $Sd^d(K)$ after F.Brenti-V.Welker and E.Delucchi-A.Pixton-L.Sabalka.