By Nicholas A. Scoville and Matthew C. B. Zaremsky
Abstract
The Morse complex $\mathcal{M}(\Delta )$ of a finite simplicial complex $\Delta$ is the complex of all gradient vector fields on $\Delta$. In this paper we study higher connectivity properties of $\mathcal{M}(\Delta )$. For example, we prove that $\mathcal{M}(\Delta )$ gets arbitrarily highly connected as the maximum degree of a vertex of $\Delta$ goes to $\infty$, and for $\Delta$ a graph additionally as the number of edges goes to $\infty$. We also classify precisely when $\mathcal{M}(\Delta )$ is connected or simply connected. Our main tool is Bestvina–Brady Morse theory, applied to a “generalized Morse complex.”
Introduction
The Morse complex $\mathcal{M}(\Delta )$ of a finite simplicial complex $\Delta$ is the simplicial complex of all gradient vector fields on $\Delta$. See Section 1 for a more detailed definition. The Morse complex $\mathcal{M}(\Delta )$ has several important properties. For example, two connected simplicial complexes are isomorphic if and only if their Morse complexes are isomorphic Reference CM17. Additionally, outside a few sporadic cases, for connected $\Delta$ the group of automorphisms of $\mathcal{M}(\Delta )$ is isomorphic to that of $\Delta$Reference LS21. The Morse complex may be viewed as a discrete analog of the space of gradient vector fields on a manifold; see, e.g., Reference PdM82.
The homotopy type of $\mathcal{M}(\Delta )$ is only known for a handful of examples of $\Delta$, and in general it is difficult to compute. In this paper, we relax the question to just asking how highly connected $\mathcal{M}(\Delta )$ is (meaning up to what bound the homotopy groups vanish). Our first main result is the following:
For example this holds if $\dim (\Delta )\ge d$. It is harder to obtain good higher connectivity bounds when the dimension of $\Delta$ is small and vertices of $\Delta$ have small degrees, but for certain situations we can. First we focus on the case when $\dim (\Delta )=1$, i.e., $\Delta$ is a graph $\Gamma$. Here we are able to use Bestvina–Brady Morse theory, applied to the so called generalized Morse complex $\mathcal{GM}(\Gamma )$, to find higher connectivity bounds for $\mathcal{M}(\Gamma )$. Let $d(\Gamma )$ be the maximum degree of a vertex in the Hasse diagram. Our main result for graphs is:
Combining Theorem 4.3 with Theorem 2.7 quickly shows that, as the number of edges of $\Gamma$ goes to $\infty$,$\mathcal{M}(\Gamma )$ becomes arbitrarily highly connected (see Corollary 4.4 for a precise statement). We conjecture that a similar result holds regardless of $\dim (\Delta )$ (Conjecture 2.8).
Our last main result is a classification of precisely which $\Delta$ have connected and simply connected Morse complexes. Here we assume $\Delta$ has no isolated vertices just to make the statement cleaner (isolated vertices can be deleted without affecting $\mathcal{M}(\Delta )$).
This paper is organized as follows. In Section 1 we set up the Morse complex $\mathcal{M}(\Delta )$ and generalized Morse complex $\mathcal{GM}(\Delta )$. In Section 2 we prove Theorem 2.7. In Section 3 we discuss Bestvina–Brady discrete Morse theory and how to apply it to $\mathcal{GM}(\Delta )$. In Section 4 we focus on the situation for graphs and prove Theorem 4.3. Finally, in Section 5 we discuss the situation for $\dim (\Delta )>1$ and prove Theorem 5.4.
1. The Morse complex
Let $\Delta$ be a finite abstract simplicial complex. We will abuse notation and also write $\Delta$ for the geometric realization of $\Delta$. If $\sigma$ is a $p$-dimensional simplex in $\Delta$, we may write $\sigma ^{(p)}$ to indicate the dimension. A primitive discrete vector field on $\Delta$ is a pair $(\sigma ^{(p)},\tau ^{(p+1)})$ for $\sigma <\tau$. A discrete vector field$V$ on $\Delta$ is a collection of primitive discrete vector fields
such that each simplex of $\Delta$ is in at most one pair $(\sigma _i,\tau _i)$. If the two simplices in $(\sigma ,\tau )$ are distinct from the two simplices in $(\sigma ',\tau ')$, call the primitive discrete vector fields $(\sigma ,\tau )$ and $(\sigma ',\tau ')$compatible; in particular a discrete vector field is a set of pairwise compatible primitive discrete vector fields.
The Hasse diagram of $\Delta$ is the simple graph $\mathcal{H}(\Delta )$ with a vertex for each (non-empty) simplex of $\Delta$ and an edge between any pair of simplices such that one is a codimension-$1$ face of the other. In particular the primitive discrete vector fields on $\Delta$ are in one-to-one correspondence with the edges of $\mathcal{H}(\Delta )$. Also, the discrete vector fields on $\Delta$ are in one-to-one correspondence with the matchings, i.e., the collections of pairwise disjoint edges, on $\mathcal{H}(\Delta )$. We will sometimes equivocate between a discrete vector field on $\Delta$ and its corresponding matching on $\mathcal{H}(\Delta )$.
Note that $\mathcal{GM}(\Delta )$ is a flag complex, i.e., if a finite collection of vertices pairwise span edges then they span a simplex, which makes it comparatively easy to analyze. Viewed in terms of matchings on $\mathcal{H}(\Delta )$,$\mathcal{GM}(\Delta )$ is precisely the matching complex of $\mathcal{H}(\Delta )$, i.e., the simplicial complex of matchings with face relation given by inclusion. Matching complexes of graphs are well studied; see Reference BGM20 for an especially extensive list of references.
The Morse complex $\mathcal{M}(\Delta )$ of $\Delta$, introduced by Chari and Joswig in Reference CJ05, is the subcomplex of $\mathcal{GM}(\Delta )$ consisting of all discrete vector fields arising from a Forman discrete Morse function, or equivalently all acyclic discrete vector fields. To define all this, we need some setup, which we draw mostly from Reference Sco19, Section 2.2. Given a discrete vector field $V$ on $\Delta$, a $V$-path is a sequence of simplices
such that for each $0\le i\le m-1$,$(\sigma _i,\tau _i)\in V$ and $\tau _i>\sigma _{i+1}\ne \sigma _i$. Such a $V$-path is non-trivial if $m>0$, and closed if $\sigma _m=\sigma _0$. A closed non-trivial $V$-path is called a $V$-cycle. If there exist no $V$-cycles, call $V$acyclic. A $V$-cycle is simple if $\sigma _0$, …, $\sigma _{m-1}$ are pairwise distinct and $\tau _0$, …, $\tau _{m-1}$ are pairwise distinct. We will identify $V$-cycles up to cyclic permutation, e.g., we consider $\sigma _0$,$\tau _0$,$\sigma _1$, …, $\tau _{m-1}$,$\sigma _0$ to be the same cycle as $\sigma _1$,$\tau _1$,$\sigma _2$, …, $\tau _{m-1}$,$\sigma _0$,$\tau _0$,$\sigma _1$, and so forth.
Every acyclic discrete vector field on $\Delta$ is the gradient vector field of a Forman discrete Morse function on $\Delta$. A Forman discrete Morse function on $\Delta$ (developed by Forman in Reference For98) is a function $h\colon \Delta \to \mathbb{R}$ such that for every $\sigma ^{(p)}$, there is at most one $\tau ^{(p+1)}>\sigma ^{(p)}$ with $h(\tau )\le h(\sigma )$, and for every $\tau ^{(p+1)}$ there is at most one $\sigma ^{(p)}<\tau ^{(p+1)}$ with $h(\sigma )\ge h(\tau )$. The gradient vector field of $h$ is the discrete vector field whose primitive vector fields are all the $(\sigma ^{(p)},\tau ^{(p+1)})$ with $h(\sigma )\ge h(\tau )$. A discrete vector field is the gradient vector field of some Forman discrete Morse function if and only if it is acyclic Reference Sco19, Theorem 2.51.
Note that any subset of an acyclic discrete vector field is itself acyclic, so $\mathcal{M}(\Delta )$ really is a subcomplex. We should remark that the term “Morse complex” also means a certain algebraic chain complex obtained from an acyclic matching, e.g., see Reference Koz08, Definition 11.23, but in this paper “Morse complex” will always mean $\mathcal{M}(\Delta )$.
Observation 1.3 will be important later when relating $\mathcal{M}(\Delta )$ and $\mathcal{GM}(\Delta )$.
Let us discuss two examples that are instructive and will be specifically relevant later.
It will become necessary later to consider the following generalization of $\mathcal{GM}(\Delta )$ and $\mathcal{M}(\Delta )$, in which certain simplices are “illegal” and cannot be used. Specifically, this will be needed in the proof of Proposition 4.2 to get an inductive argument to work.
We can also phrase things using $\mathcal{H}(\Delta )$.
If we view $\mathcal{GM}(\Delta )$ as the matching complex of $\mathcal{H}(\Delta )$, then clearly $\mathcal{GM}(\Delta ,\Omega )$ is the matching complex of $\mathcal{H}(\Delta ,\Omega )$.
2. First results on higher connectivity
In this section we establish some higher connectivity bounds for the various complexes in question. In subsequent sections we will use Bestvina–Brady Morse theory to obtain more sophisticated higher connectivity bounds in certain cases. First we focus on the relative generalized Morse complex $\mathcal{GM}(\Delta ,\Omega )$. We will use the “Belk–Forrest groundedness trick,” introduced by Belk and Forrest in Reference BF19.
Note that in Reference BF19, Theorem 4.9 the complex is assumed to be finite and $k,r$ are assumed to be at least $1$, but this is not necessary: see, e.g., Reference SWZ19, Remark 4.12. Also note that in these references the bound is written $\left\lfloor \frac{k}{r}\right\rfloor -1$, but this equals $\left\lceil \frac{k+1}{r}\right\rceil -2$, and this form will be notationally convenient for us later.
In $\mathcal{GM}(\Delta ,\Omega )$ it is clear that every $k$-simplex is a $(k,2)$-ground. This is because any primitive discrete vector field only “uses” two simplices of $\Delta$, and so can fail to be compatible with at most two vertices of a given simplex. In particular this shows:
Note that this only works because $\mathcal{GM}(\Delta ,\Omega )$ is a flag complex, and in particular Theorem 2.2 does not apply to $\mathcal{M}(\Delta ,\Omega )$.
This next result will be useful later when using Bestvina–Brady Morse theory and inductive arguments. Let $h(\Delta ,\Omega )$ be the number of edges in $\mathcal{H}(\Delta ,\Omega )$, and let $d(\Delta ,\Omega )$ be the maximum degree of a vertex in $\mathcal{H}(\Delta ,\Omega )$.
Note that in Proposition 2.4 we obtain a higher connectivity bound that is better when the maximal degree $d(\Delta ,\Omega )$ is small. We can also find a better, higher connectivity bound when the maximal degree is large. We will only need this in the $\Omega =\emptyset$ case (since we will not need to use Morse theory or induction later), so for simplicity we will only phrase it in that case, but one could state an analog when $\Omega \ne \emptyset$.
Of course the actual goal of this paper is to find higher connectivity results for $\mathcal{M}(\Delta )$. Even though $\mathcal{M}(\Delta )$ is not flag, and so the groundedness trick does not apply, we can still prove the analog of Lemma 2.5 for $\mathcal{M}(\Delta )$ using a more complicated argument. First let us record an easy lemma that will be important in many arguments that follow.
Note that the analog of Lemma 2.6 is not true for $(\sigma ^{(p)},\tau ^{(p+1)})$ with $p>0$, since then $\tau$ can have more than two codimension-$1$ faces.
Recall that the star$\operatorname {st}_X(\sigma )$ of a simplex $\sigma$ in a simplicial complex $X$ is the subcomplex of all simplices containing $\sigma$ along with their faces. Let us say two simplices of $X$ are joinable (in $X$) if they lie in a common simplex in $X$, or equivalently if they lie in each other’s stars.
It seems much more difficult to prove the analog of Proposition 2.4 for $\mathcal{M}(\Delta )$, but we conjecture that it holds. Let us record this here (with $\Omega =\emptyset$ for simplicity):
In the following sections we will use Bestvina–Brady Morse theory to prove this conjecture in the case when $\dim (\Delta )=1$, i.e., for graphs, and for the special cases $m=1,2$ regardless of $\dim (\Delta )$.
3. Bestvina–Brady Morse theory
An important tool we will use now is Bestvina–Brady discrete Morse theory. This is related to Forman’s discrete Morse theory, and in fact can be viewed as a generalization of it, as explained in Reference Zar. For our purposes the definition of a Bestvina–Brady discrete Morse function is as follows. (This is a special case of the situation considered in Reference Zar.)
Note that if $X$ is finite, as it will be in our forthcoming applications, then this condition about infinite sequences holds vacuously, but for now we will continue working in full generality.
Definition 3.1 is a bit unwieldy, but we will only need the following special case:
Given a Bestvina–Brady discrete Morse function $(\phi ,\psi )\colon X\to \mathbb{R}$, we can deduce topological properties of the sublevel complexes $X^{\phi \le t}$ by analyzing topological properties of the descending links of vertices. Here the sublevel complex$X^{\phi \le t}$ for $t\in \mathbb{R}\cup \{\infty \}$ is the full subcomplex of $X$ spanned by vertices $x$ with $\phi (x)\le t$. The descending link$\operatorname {lk}^\downarrow \!x$ of a vertex $x$ is the space of directions out of $x$ in which $(\phi ,\psi )$ decreases in the lexicographic order. More rigorously, since $\phi$ and $\psi$ are affine on simplices and not simultaneously constant on edges, the lexicographic pair $(\phi ,\psi )$ achieves its maximum value on a given simplex at a unique vertex of the simplex, called its top. The descending star$\operatorname {st}^\downarrow \!x$ is the subcomplex of $X$ consisting of all simplices with top $x$, and their faces. Then $\operatorname {lk}^\downarrow \!x$ is the link of $x$ in $\operatorname {st}^\downarrow \!x$.
The claim that an understanding of descending links leads to an understanding of sublevel complexes is made rigorous by the following Morse Lemma. This is essentially Reference BB97, Corollary 2.6, and is more precisely spelled out in this form in, e.g., Reference Zar, Corollary 1.11.
Let us return to the special case from Example 3.2, so $X=Y'$ for $Y$ finite dimensional, and $\phi \colon X\to \mathbb{R}$ is closed and discrete on vertices. Given a vertex $\sigma$ in $X$ (i.e., a simplex in $Y$), there are two types of vertex in $\operatorname {lk}^\downarrow \!\sigma$: we can either have a face $\sigma ^\vee <\sigma$ with $\phi (\sigma ^\vee )<\phi (\sigma )$, or a coface $\sigma ^\wedge >\sigma$ with $\phi (\sigma ^\wedge )\le \phi (\sigma )$. This is because $-\dim$ goes up when passing to faces and down when passing to cofaces. Since every face of $\sigma$ is a face of every coface of $\sigma$, the descending link $\operatorname {lk}^\downarrow \!\sigma$ decomposes as join
where $\operatorname {lk}^\downarrow _\partial \sigma$, the descending face link, is spanned by all $\sigma ^\vee <\sigma$ with $\phi (\sigma ^\vee )<\phi (\sigma )$, and $\operatorname {lk}^\downarrow _\delta \sigma$, the descending coface link, is spanned by all $\sigma ^\wedge >\sigma$ with $\phi (\sigma ^\wedge )\le \phi (\sigma )$. For example if at least one of $\operatorname {lk}^\downarrow _\partial \sigma$ or $\operatorname {lk}^\downarrow _\delta \sigma$ is contractible, so is $\operatorname {lk}^\downarrow \!\sigma$. More generally, an understanding of the topology of $\operatorname {lk}^\downarrow _\partial \sigma$ and $\operatorname {lk}^\downarrow _\delta \sigma$ yields an understanding of the topology of $\operatorname {lk}^\downarrow \!\sigma$.
3.1. Applying Bestvina–Brady Morse theory to the relative generalized Morse complex
Now we will apply Bestvina–Brady Morse theory to $\mathcal{GM}(\Delta ,\Omega )$. The broad strokes of this strategy are inspired by the Morse theoretic approach in Reference BFM$^{+}$16, Proposition 3.6 to higher connectivity properties of the matching complex of a complete graph. Let $X=\mathcal{GM}(\Delta ,\Omega )'$, and let $\phi \colon X^{(0)}\to \mathbb{N}\cup \{0\}$ be the function sending $V$ to the number of simple $V$-cycles (since $\Delta$ is finite, any $V$ only has finitely many simple $V$-cycles). In particular $X^{\phi \le 0}=\mathcal{M}(\Delta ,\Omega )'$, so if we can understand $\operatorname {lk}^\downarrow \!V$ for all $V$ with $\phi (V)>0$, using the Bestvina–Brady discrete Morse function $(\phi ,-\dim )$ as in Example 3.2, then the Morse Lemma will tell us information about $\mathcal{M}(\Delta ,\Omega )'\cong \mathcal{M}(\Delta ,\Omega )$.
Let us inspect the descending face link.
At this point we know that the descending link of a $k$-simplex$V$ with $\phi (V)>0$ is either contractible or else is the join of $S^{k-1}$ with $\operatorname {lk}^\downarrow _\delta V$ (so the $k$-fold suspension of $\operatorname {lk}^\downarrow _\delta V$). It remains to analyze $\operatorname {lk}^\downarrow _\delta V$. In Section 4 we will discuss the case when $\dim (\Delta )=1$, where it turns out we can fully analyze $\operatorname {lk}^\downarrow _\delta V$. Then in Section 5 we will consider arbitrary $\Delta$, where at least we will be able to tell when $\operatorname {lk}^\downarrow _\delta V$ is non-empty.
4. Graphs
In the special case when $\dim (\Delta )=1$, i.e., $\Delta =\Gamma$ is a graph, the descending coface link of those $V$ satisfying the hypotheses of Lemma 3.5 can be related to a “smaller” Morse complex (see Proposition 4.1), which allows for inductive arguments. Throughout this section $\Gamma$ denotes a finite graph, and $\Omega$ is a subset of the set of simplices of $\Gamma$. To us “graph” will always mean a $1$-dimensional simplicial complex, often called a “simple graph”.
We reiterate that the analog of Lemma 2.6 is not true for simplicial complexes of dimension greater than $1$, so this proof does not work outside the graph case.
In the special case where $\Omega =\emptyset$, we can now draw conclusions about $\mathcal{M}(\Gamma )$. Let us write $h(\Gamma )=h(\Gamma ,\emptyset )$ and $d(\Gamma )=d(\Gamma ,\emptyset )$, so $h(\Gamma )=2|E(\Gamma )|$ and $d(\Delta )$ is the maximum degree of a vertex in the Hasse diagram (which is usually the same as the maximum degree of a vertex in $\Gamma$, unless every vertex of $\Gamma$ has degree $0$ or $1$).
This proves Conjecture 2.8 when $\dim (\Delta )=1$. Combining this with Theorem 2.7 we can obtain a higher connectivity bound that only depends on $|E(\Gamma )|$. Let $\eta (\Gamma )\coloneq \left\lceil \sqrt {|E(\Gamma )|}\right\rceil$.
4.1. Examples
Now we discuss a couple of examples. First let us discuss an example where the homotopy type of $\mathcal{M}(\Gamma )$ is already known, namely when $\Gamma$ is a complete graph. This example will show that, while our results are powerful in that they apply to any $\Gamma$, they do not necessarily yield optimal bounds.
As a remark, Kozlov also computed the homotopy type of $\mathcal{M}(C_n)$Reference Koz99, Proposition 5.2 for $C_n$ the $n$-cycle graph. Since $|E(C_n)|=n$ it is easy to compare our higher connectivity bounds to the actual higher connectivity, and again we see our bounds are not optimal.
Now we discuss an example where the homotopy type of $\mathcal{M}(\Gamma )$ is (to the best of our knowledge) not known, namely when $\Gamma$ is complete bipartite, and compute what our results reveal.
5. Higher dimensional $\Delta$
Now we consider arbitrary dimensional $\Delta$, and prove some results about higher connectivity properties of $\mathcal{M}(\Delta )$. First we observe that $\mathcal{M}(\Delta )$ gets arbitrarily highly connected as $\dim (\Delta )$ goes to $\infty$.
Our next goal is to completely classify when $\mathcal{M}(\Delta )$ is connected and simply connected. To do this we will first prove that $\mathcal{M}(\Delta )$ is (simply) connected if and only if $\mathcal{GM}(\Delta )$ is, for which we will use Bestvina–Brady Morse theory applied to $X=\mathcal{GM}(\Delta )'$, as in Section 4. The key is that, even without a full understanding of $\operatorname {lk}^\downarrow _\delta V$ in the $\dim (\Delta )>1$ case, we will only need to care that $\operatorname {lk}^\downarrow _\delta V$ is non-empty. Bestvina–Brady Morse theory is probably a more powerful tool than necessary to relate $\mathcal{M}(\Delta )$ to $\mathcal{GM}(\Delta )$ in this way, but it makes for an elegant argument.
Now we can completely classify when $\mathcal{M}(\Delta )$ is connected and simply connected.
A consequence of Theorem 5.4 is that we can now verify the connectivity and simple connectivity cases of Conjecture 2.8. Let us use the notation $h(\Delta )=h(\Delta ,\emptyset )$ and $d(\Delta )=d(\Delta ,\emptyset )$ as before, so $h(\Delta )$ is the number of edges in the Hasse diagram of $\Delta$ and $d(\Delta )$ is the maximum degree of a vertex in the Hasse diagram.
Acknowledgments
We are grateful to the organizers of the 2019 Union College Mathematics Conference, where the idea for this project originated. We are also very grateful to the anonymous referees, for many helpful comments and in particular for suggestions that led us to proving Theorem 2.7 and its ramifications, which greatly strengthened our results.
Proposition 4.1 (Modeling the descending coface link).
Proposition 4.2.
Theorem 4.3.
Corollary 4.4.
Lemma 5.2 (Descending link simply connected).
Corollary 5.3.
Theorem 5.4.
References
Reference [BB97]
Mladen Bestvina and Noel Brady, Morse theory and finiteness properties of groups, Invent. Math. 129 (1997), no. 3, 445–470, DOI 10.1007/s002220050168. MR1465330, Show rawAMSref\bib{bestvina97}{article}{
label={BB97},
author={Bestvina, Mladen},
author={Brady, Noel},
title={Morse theory and finiteness properties of groups},
journal={Invent. Math.},
volume={129},
date={1997},
number={3},
pages={445--470},
issn={0020-9910},
review={\MR {1465330}},
doi={10.1007/s002220050168},
}
Reference [BF19]
James Belk and Bradley Forrest, Rearrangement groups of fractals, Trans. Amer. Math. Soc. 372 (2019), no. 7, 4509–4552, DOI 10.1090/tran/7386. MR4009393, Show rawAMSref\bib{belk19}{article}{
label={BF19},
author={Belk, James},
author={Forrest, Bradley},
title={Rearrangement groups of fractals},
journal={Trans. Amer. Math. Soc.},
volume={372},
date={2019},
number={7},
pages={4509--4552},
issn={0002-9947},
review={\MR {4009393}},
doi={10.1090/tran/7386},
}
Reference [BFM$^{+}$16]
Kai-Uwe Bux, Martin G. Fluch, Marco Marschler, Stefan Witzel, and Matthew C. B. Zaremsky, The braided Thompson’s groups are of type $\mathrm{F}_\infty$, J. Reine Angew. Math. 718 (2016), 59–101, DOI 10.1515/crelle-2014-0030. With an appendix by Zaremsky. MR3545879, Show rawAMSref\bib{bux16}{article}{
label={BFM{\etalchar {+}}16},
author={Bux, Kai-Uwe},
author={Fluch, Martin G.},
author={Marschler, Marco},
author={Witzel, Stefan},
author={Zaremsky, Matthew C. B.},
title={The braided Thompson's groups are of type $\mathrm F_\infty $},
note={With an appendix by Zaremsky},
journal={J. Reine Angew. Math.},
volume={718},
date={2016},
pages={59--101},
issn={0075-4102},
review={\MR {3545879}},
doi={10.1515/crelle-2014-0030},
}
Reference [BGM20]
Margaret Bayer, Bennet Goeckner, and Marija Jelić Milutinović, Manifold matching complexes, Mathematika 66 (2020), no. 4, 973–1002, DOI 10.1112/mtk.12049. MR4143161, Show rawAMSref\bib{bayer20}{article}{
label={BGM20},
author={Bayer, Margaret},
author={Goeckner, Bennet},
author={Milutinovi\'{c}, Marija Jeli\'{c}},
title={Manifold matching complexes},
journal={Mathematika},
volume={66},
date={2020},
number={4},
pages={973--1002},
issn={0025-5793},
review={\MR {4143161}},
doi={10.1112/mtk.12049},
}
Reference [BLVŽ94]
A. Björner, L. Lovász, S. T. Vrećica, and R. T. Živaljević, Chessboard complexes and matching complexes, J. London Math. Soc. (2) 49 (1994), no. 1, 25–39, DOI 10.1112/jlms/49.1.25. MR1253009, Show rawAMSref\bib{bjoerner94}{article}{
label={BLV{\v {Z}}94},
author={Bj\"{o}rner, A.},
author={Lov\'{a}sz, L.},
author={Vre\'{c}ica, S. T.},
author={\v {Z}ivaljevi\'{c}, R. T.},
title={Chessboard complexes and matching complexes},
journal={J. London Math. Soc. (2)},
volume={49},
date={1994},
number={1},
pages={25--39},
issn={0024-6107},
review={\MR {1253009}},
doi={10.1112/jlms/49.1.25},
}
Reference [CJ05]
Manoj K. Chari and Michael Joswig, Complexes of discrete Morse functions, Discrete Math. 302 (2005), no. 1-3, 39–51, DOI 10.1016/j.disc.2004.07.027. MR2179635, Show rawAMSref\bib{chari05}{article}{
label={CJ05},
author={Chari, Manoj K.},
author={Joswig, Michael},
title={Complexes of discrete Morse functions},
journal={Discrete Math.},
volume={302},
date={2005},
number={1-3},
pages={39--51},
issn={0012-365X},
review={\MR {2179635}},
doi={10.1016/j.disc.2004.07.027},
}
Reference [CM17]
Nicolas Ariel Capitelli and Elias Gabriel Minian, A simplicial complex is uniquely determined by its set of discrete Morse functions, Discrete Comput. Geom. 58 (2017), no. 1, 144–157, DOI 10.1007/s00454-017-9865-z. MR3658332, Show rawAMSref\bib{capitelli17}{article}{
label={CM17},
author={Capitelli, Nicolas Ariel},
author={Minian, Elias Gabriel},
title={A simplicial complex is uniquely determined by its set of discrete Morse functions},
journal={Discrete Comput. Geom.},
volume={58},
date={2017},
number={1},
pages={144--157},
issn={0179-5376},
review={\MR {3658332}},
doi={10.1007/s00454-017-9865-z},
}
Reference [For98]
Robin Forman, Morse theory for cell complexes, Adv. Math. 134 (1998), no. 1, 90–145, DOI 10.1006/aima.1997.1650. MR1612391, Show rawAMSref\bib{forman98}{article}{
label={For98},
author={Forman, Robin},
title={Morse theory for cell complexes},
journal={Adv. Math.},
volume={134},
date={1998},
number={1},
pages={90--145},
issn={0001-8708},
review={\MR {1612391}},
doi={10.1006/aima.1997.1650},
}
Reference [Koz99]
Dmitry N. Kozlov, Complexes of directed trees, J. Combin. Theory Ser. A 88 (1999), no. 1, 112–122, DOI 10.1006/jcta.1999.2984. MR1713484, Show rawAMSref\bib{kozlov99}{article}{
label={Koz99},
author={Kozlov, Dmitry N.},
title={Complexes of directed trees},
journal={J. Combin. Theory Ser. A},
volume={88},
date={1999},
number={1},
pages={112--122},
issn={0097-3165},
review={\MR {1713484}},
doi={10.1006/jcta.1999.2984},
}
Reference [Koz08]
Dmitry Kozlov, Combinatorial algebraic topology, Algorithms and Computation in Mathematics, vol. 21, Springer, Berlin, 2008, DOI 10.1007/978-3-540-71962-5. MR2361455, Show rawAMSref\bib{kozlov08}{book}{
label={Koz08},
author={Kozlov, Dmitry},
title={Combinatorial algebraic topology},
series={Algorithms and Computation in Mathematics},
volume={21},
publisher={Springer, Berlin},
date={2008},
pages={xx+389},
isbn={978-3-540-71961-8},
review={\MR {2361455}},
doi={10.1007/978-3-540-71962-5},
}
Reference [LS21]
Maxwell Lin and Nicholas A. Scoville, On the automorphism group of the Morse complex, Adv. in Appl. Math. 131 (2021), Paper No. 102250, 17, DOI 10.1016/j.aam.2021.102250. MR4290144, Show rawAMSref\bib{lin21}{article}{
label={LS21},
author={Lin, Maxwell},
author={Scoville, Nicholas A.},
title={On the automorphism group of the Morse complex},
journal={Adv. in Appl. Math.},
volume={131},
date={2021},
pages={Paper No. 102250, 17},
issn={0196-8858},
review={\MR {4290144}},
doi={10.1016/j.aam.2021.102250},
}
Reference [PdM82]
Jacob Palis Jr. and Welington de Melo, Geometric theory of dynamical systems, Springer-Verlag, New York-Berlin, 1982. An introduction; Translated from the Portuguese by A. K. Manning. MR669541, Show rawAMSref\bib{Palis82}{book}{
label={PdM82},
author={Palis, Jacob, Jr.},
author={de Melo, Welington},
title={Geometric theory of dynamical systems},
note={An introduction; Translated from the Portuguese by A. K. Manning},
publisher={Springer-Verlag, New York-Berlin},
date={1982},
pages={xii+198},
isbn={0-387-90668-1},
review={\MR {669541}},
}
Reference [Qui78]
Daniel Quillen, Homotopy properties of the poset of nontrivial $p$-subgroups of a group, Adv. in Math. 28 (1978), no. 2, 101–128, DOI 10.1016/0001-8708(78)90058-0. MR493916, Show rawAMSref\bib{quillen78}{article}{
label={Qui78},
author={Quillen, Daniel},
title={Homotopy properties of the poset of nontrivial $p$-subgroups of a group},
journal={Adv. in Math.},
volume={28},
date={1978},
number={2},
pages={101--128},
issn={0001-8708},
review={\MR {493916}},
doi={10.1016/0001-8708(78)90058-0},
}
Reference [Sco19]
Nicholas A. Scoville, Discrete Morse theory, Student Mathematical Library, vol. 90, American Mathematical Society, Providence, RI, 2019, DOI 10.1090/stml/090. MR3970274, Show rawAMSref\bib{scoville19}{book}{
label={Sco19},
author={Scoville, Nicholas A.},
title={Discrete Morse theory},
series={Student Mathematical Library},
volume={90},
publisher={American Mathematical Society, Providence, RI},
date={2019},
pages={xiv+273},
isbn={978-1-4704-5298-8},
review={\MR {3970274}},
doi={10.1090/stml/090},
}
Reference [SWZ19]
Rachel Skipper, Stefan Witzel, and Matthew C. B. Zaremsky, Simple groups separated by finiteness properties, Invent. Math. 215 (2019), no. 2, 713–740, DOI 10.1007/s00222-018-0835-8. MR3910073, Show rawAMSref\bib{skipper19}{article}{
label={SWZ19},
author={Skipper, Rachel},
author={Witzel, Stefan},
author={Zaremsky, Matthew C. B.},
title={Simple groups separated by finiteness properties},
journal={Invent. Math.},
volume={215},
date={2019},
number={2},
pages={713--740},
issn={0020-9910},
review={\MR {3910073}},
doi={10.1007/s00222-018-0835-8},
}
Reference [Zar]
Matthew C. B. Zaremsky, Bestvina–Brady discrete Morse theory and Vietoris–Rips complexes, Amer. J. Math., To appear, arXiv:1812.10976.
Show rawAMSref\bib{4407041}{article}{
author={Scoville, Nicholas},
author={Zaremsky, Matthew},
title={Higher connectivity of the Morse complex},
journal={Proc. Amer. Math. Soc. Ser. B},
volume={9},
number={14},
date={2022},
pages={135-149},
issn={2330-1511},
review={4407041},
doi={10.1090/bproc/115},
}
Settings
Change font size
Resize article panel
Enable equation enrichment
(Not available in this browser)
Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.