This paper studies graphical analogs of symmetric products and unordered configuration spaces in topology. We do so from the perspective of the discrete homotopy theory introduced by Barcelo et al. Our first result is a combinatorial version of a theorem of P. A. Smith, which says that the fundamental group of any nontrivial symmetric product of $X$ is isomorphic to $H_1(X)$. Our second result gives conditions under which the n-strand braid group of a graph is isomorphic to its discrete analog.
This paper studies a discrete homotopy theory for graphs introduced by Barcelo et al. We prove two main results. First we show that if $G$ is a graph containing no 3- or 4-cycles, then the $n$th discrete homotopy group $A_n(G)$ is trivial for all $n\geq 2$. Second we exhibit for each $n\geq 1$ a natural homomorphism $ψ:A_n(G)\to \mathcal{H}_n(G)$, where $\mathcal{H}_n(G)$ is the $n$th discrete cubical singular homology group, and an infinite family of graphs $G$ for which $\mathcal{H}_n(G)$ is nontrivial and $ψ$ is surjective. It follows that for each $n\geq 1$ there are graphs $G$ for which $…
In this paper, we determine the homotopy type of the Morse complex of certain collections of simplicial complexes by studying dominating vertices or strong collapses. We show that if $K$ contains two leaves that share a common vertex, then the Morse complex is strongly collapsible and hence has the homotopy type of a point. We also show that the pure Morse complex of a tree is strongly collapsible, thereby recovering as a corollary a result of Ayala et al. In addition, we prove that the Morse complex of a disjoint union $K\sqcup L$ is the Morse complex of the join $K*L$. This result is used to…
In classical homotopy theory, two spaces are homotopy equivalent if one space can be continuously deformed into the other. This theory, however, does not respect the discrete nature of graphs. For this reason, a discrete homotopy theory that recognizes the difference between the vertices and edges of a graph was invented, called A-homotopy theory [1-5]. In classical homotopy theory, covering spaces and lifting properties are often used to compute the fundamental group of the circle. In this paper, we develop the lifting properties for A-homotopy theory. Using a covering graph and these lifting…
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 aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $μ$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient flow has been proved to be useful in practical computations of homology groups, it is not sufficient to recover the homotopy type of $X$. Forman also proved the existence of a CW complex which is homotopy equivalent to $X$ and whose cells are in one-to-one correspondence with the critical cells of $μ$, but the construction is ad hoc and does not have a combin…
We define a partial ordering on the set Q = Q(M) of pairs of topes of an oriented matroid M, and show the geometric realization |Q| of the order complex of Q has the same homotopy type as the Salvetti complex of M. For any element e of the ground set, the complex |Qe| associated to the rank-one oriented matroid on {e} has the homotopy type of the circle. There is a natural free simplicial action of Z4 on |Q|, with orbit space isomorphic to the order complex of the poset Q(M,e) associated to the pointed (or affine) oriented matroid (M,e). If M is the oriented matroid of an arrangement A of line…
Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining the model structure are not well understood calculationally. To illustrate, we exhibit some examples of cofibrant and fibrant posets and an example of a non-cofibrant finite poset.
