arXiv++ Combinatorics

After surveying classical notions of PL topology of the Seventies, we clarify the relation between Morse theory and its discretization by Forman. We show that PL handles theory and discrete Morse theory are equivalent, in the sense that every discrete Morse vector on some PL triangulation is also a PL handle vector, and conversely, every PL handle vector is also a discrete Morse vector on some PL triangulation. It follows that in dimension up to 7, every discrete Morse vector on some PL triangulation is also a smooth Morse vector; the vice versa is true in all dimensions. This revises and improves a result by Gallais. Some further consequences of our work are: (1) For $d \ne 4$, every simply connected smooth d-manifold admits locally constructible triangulations. In contrast, the Mazur 4-manifold has no locally constructible triangulation. (This solves a question by Zivaljevic and completes work by the author and Ziegler.) (2) The Heegaard genus of 3-manifolds can be characterized as the smallest integer g for which some triangulation of the manifold has discrete Morse vector (1,g,g,1). (This allows for heuristics to bound the Heegaard genus of any 3-manifold.) (3) Some non-PL 5-spheres admit discrete Morse functions with only 2 critical faces. (This result, joint with Adiprasito, completes the Sphere Theorem by Forman.)

Motivated by decompositions of spaces that arise in continuous and discrete Morse theory, we describe a so called fibrous decomposition Z = X_0(Y_1)X_1 ... X_{n-1}(Y_n)X_n of a space Z. Among the applications is a succinct formula for the Euler-Poincare characteristic of Z, e(Z) = e(X_0) - e(Y_1) + e(X_1) - ... + e(X_{n-1}) - e(Y_n) + e(X_n) which exhibits the familiar sign pattern. A substantial part of the paper are examples demonstrating how the fibrous decomposition and consequently the Euler-Poincare characteristic can be easily calculated without the use of any auxiliary combinatorial structure on spaces.

Two of the most useful tools in topological combinatorics are the nerve lemma and discrete Morse theory. In this note we introduce a theorem that interpolates between them and allows decompositions of complexes into non-contractible pieces as long as discrete Morse theory ensures that they behave well enough. The proof is based on diagrams of spaces, but that theory is not needed for the formulation or applications of the theorem.

Consider Kashiwara's crystal associated to a highest weight representation of a symmetric Kac-Moody algebra. There is a geometric realization of this object using Nakajima's quiver varieties, but in many particular cases it can also be realized by elementary combinatorial methods. Here we propose a framework for extracting combinatorial realizations from the geometric picture: We construct certain torus actions on the quiver varieties and use Morse theory to index the irreducible components by connected components of the subvariety of torus fixed points. We then discuss the case of affine sl(n). There the fixed point components are just points, and are naturally indexed by multi-partitions. There is some choice in our construction, leading to a family of combinatorial models for each highest weight crystal. Applying this construction to the crystal of the fundamental representation recovers a family of combinatorial realizations recently constructed by Fayers. This gives a more conceptual proof of Fayers' result as well as a generalization to higher level. We also discuss a relationship with Nakajima's monomial crystal.

We develop a recursive formula for counting the number of rectangulations of a square, i.e the number of combinatorially distinct tilings of a square by rectangles. Our formula specializes to give a formula counting generic rectangulations, as analyzed by Reading in [5]. Our computations agree with [5] as far as was calculated and extend to the non-generic case. An interesting feature of the number of rectangulations is that it appears to have an 8-fold periodicity modulo 2. We verify this periodicity for small values of n, but the general result remains elusive, perhaps hinting at some unseen structure on the space of rectangulations, analogous to Reading's discovery that generic rectangulations are in 1-1 correspondence with a certain class of permutations. Finally, we use discrete Morse theory to show that the space of tilings by less than or equal to n rectangles is homotopy-equivalent to a wedge of some number of (n-1)-dimensional spheres. Combined with formulae for the number of tilings, the exact homotopy type is computed for $n\leq 28$.

In their paper "1-skeleta, Betti numbers, and equivariant cohomology" Guillemin and Zara described some beautiful constructions enabling them to use Morse theory on a certain class 1-skeleta including 1-skeleta of simple polytopes. In this paper we extend some of the notions and constructions from that paper to a larger class of 1-skeleta that includes 1-skeleta of projected simple polytopes. As an application of these ideas we prove a lifting result for 1-skeleta, which yields a characterization of 1-skeleta coming from projected simple polytopes.

We prove that the complement of a toric arrangement has the homotopy type of a minimal CW complex. As a corollary we obtain that the integer cohomology of these spaces is torsion free. We use Discrete Morse Theory, providing a sequence of cellular collapses that leads to a minimal complex.

We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this matching along with discrete Morse theory and some topological techniques to classify every subcomplex whose reduced homology groups are concentrated in a single degree. These reduced homology groups support a natural action of the symmetric group and a description of the characters that this action produces is given.

We use discrete Morse theory to determine the Möbius function of generalized factor order. Ordinary factor order on the Kleene closure A* of a set A is the partial order defined by letting u\leq w if w contains u as a subsequence of consecutive letters. The Möbius function of ordinary factor order was determined by Björner. Using Babson and Hersh's application of Robin Forman's discrete Morse theory to lexicographically ordered chains, we are able to gain new understanding of Björner's result and its proof. We generalize the notion of factor order to take into account a partial order on the alphabet A and, relying heavily on discrete Morse theory, give a recursive formula in the case where each letter of the alphabet covers a unique letter.

We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This involves constructing explicit complete acyclic Morse matchings on the face lattice of the half cube; this procedure may be of independent interest for other highly symmetric polytopes.

We use discrete Morse theory to provide another proof of Bernini, Ferrari, and Steingrimson's formula for the Mobius function of the consecutive pattern poset. In addition, we are able to determine the homotopy type of this poset. Earlier, Bjorner determined the Mobius function and homotopy type of factor order and the results are remarkably similar to those in the pattern case. In his thesis, Willenbring used discrete Morse theory to give an illuminating proof of Bjorner's result. Since our proof parallels Willenbring's, we also consider the relationship between the two posets.

The notion of cellular stratified spaces was introduced in a joint work of the author with Basabe, González, and Rudyak [1009.1851] with the aim of constructing a cellular model of the configuration space of a sphere. In particular, it was shown that the classifying space (order complex) of the face poset of a totally normal regular cellular stratified space $X$ can be embedded in $X$ as a strong deformation retract. Here we elaborate on this idea and develop the theory of cellular stratified spaces. We introduce the notion of cylindrically normal cellular stratified spaces and associate a topological category $C(X)$, called the face category, to such a stratified space $X$. We show that the classifying space $BC(X)$ of $C(X)$ can be naturally embedded into $X$. When $X$ is a cell complex, the embedding is a homeomorphism and we obtain an extension of the barycentric subdivision of regular cell complexes. Furthermore, when the cellular stratification on $X$ is locally polyhedral, we show that $BC(X)$ is a deformation retract of $X$. We discuss possible applications at the end of the paper. In particular, the results in this paper can be regarded as a common framework for the Salvetti complex for the complement of a complexified hyperplane arrangement and a version of Morse theory due to Cohen, Jones, and Segal.

Let L be a lattice admitting a left-modular chain of length r, not necessarily maximal. We show that if either L is graded or the chain is modular, then the (r-2)-skeleton of L is vertex-decomposable (hence shellable). This proves a conjecture of Hersh. Under certain circumstances, we can find shellings of higher skeleta. For instance, if the left-modular chain consists of every other element of some maximum length chain, then L itself is shellable. We apply these results to give a new characterization of finite solvable groups in terms of the topology of subgroup lattices. Our main tool relaxes the conditions for an EL-labeling, allowing multiple ascending chains as long as they are lexicographically before non-ascending chains. We extend results from the theory of EL-shellable posets to such labelings. The shellability of certain skeleta is one such result. Another is that a poset with such a labeling is homotopy equivalent (by discrete Morse theory) to a cell complex with cells in correspondence to weakly descending chains.

In this paper, we study $k$-parabolic arrangements, a generalization of the $k$-equal arrangement for any finite real reflection group. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. We construct a cell complex $Perm_k(W)$ that is homotopy equivalent to the complement. We then apply discrete Morse theory to obtain a minimal cell complex for the complement. As a result, we give combinatorial interpretations for the Betti numbers, and show that the homology groups are torsion free. We also study a generalization of the Independence Complex of a graph, and show that this generalization is shellable when the graph is a forest. This result is used in studying $Perm_k(W)$ using discrete Morse theory.

In bounding the homology of a manifold, Forman's Discrete Morse theory recovers the full precision of classical Morse theory: Given a PL triangulation of a manifold that admits a Morse function with c_i critical points of index i, we show that some subdivision of the triangulation admits a boundary-critical discrete Morse function with c_i interior critical faces of dimension d-i. This dualizes and extends a recent result by Gallais. Further consequences of our work are: (1) Every simply connected smooth d-manifolds (except possibly when d=4) admits a locally constructible triangulation. (This solves a problem by Zivaljevic.) (2) Up to refining the subdivision, the classical notion of geometric connectivity can be translated combinatorially via the notion of collapse depth.

We study the dependence of graded Betti numbers of monomial ideals on the characteristic of the base field. The examples we describe include bipartite ideals, Stanley--Reisner ideals of vertex-decomposable complexes and ideals with componentwise linear resolutions. We give a description of bipartite graphs and, using discrete Morse theory, provide a way of looking at the homology of arbitrary simplicial complexes through bipartite ideals. We also prove that the Betti table of a monomial ideal over the field of rational numbers can be obtained from the Betti table over any field by a sequence of consecutive cancellations.

We introduce a version of discrete Morse theory specific for manifolds with boundary. The idea is to consider Morse functions for which all boundary cells are critical. We obtain "Relative Morse Inequalities" relating the homology of the manifold to the number of interior critical cells. We also derive a Ball Theorem, in analogy to Forman's Sphere Theorem. The main corollaries of our work are: -- For each d \ge 3 and for each k \ge 0, there is a PL d-sphere on which any discrete Morse function has more than k critical (d-1)-cells. (This solves a problem by Chari.) -- For fixed d and k, there are exponentially many combinatorial types of simplicial d-manifolds (counted with respect to the number of facets) that admit discrete Morse functions with at most k critical interior (d-1)-cells. (This connects discrete Morse theory to enumerative combinatorics/discrete quantum gravity.) -- The barycentric subdivision of any constructible d-ball is collapsible. (This "almost" solves a problem by Hachimori.) -- Every constructible ball collapses onto its boundary minus a facet. (This improves a result by the author and Ziegler.) -- Any 3-ball with a knotted spanning edge cannot collapse onto its boundary minus a facet. (This strengthens a classical result by Bing and a recent result by the author and Ziegler.)

We introduce a version of discrete Morse theory for posets. This theory studies the topology of the order complexes K(X) of h-regular posets X from the critical points of admissible matchings on X. Our approach is related to R. Forman's discrete Morse theory for CW-complexes and generalizes Forman and Chari's results on the face posets of regular CW-complexes. We also introduce a homological variant of the theory that can be used to study the topology of triangulable homology manifolds by means of their order triangulations.

We show that the singular loci of graph hypersurfaces correspond set-theoretically to their rank loci. The proof holds for all configuration hypersurfaces and depends only on linear algebra. To make the conclusion for the second graph hypersurface, we prove that the second graph polynomial is a configuration polynomial. The result indicates that there may be a fruitful interplay between the current research in graph hypersurfaces and Stratified Morse Theory.

We solve the problem of minimizing the number of critical points among all functions on a surface within a prescribed distance δ from a given input function. The result is achieved by establishing a connection between discrete Morse theory and persistent homology. Our method completely removes homological noise with persistence less than 2δ, constructively proving the tightness of a lower bound on the number of critical points given by the stability theorem of persistent homology in dimension two for any input function. We also show that an optimal solution can be computed in linear time after persistence pairs have been computed.