arXiv++ Combinatorics

Given a graph $G$, we define a filtration of simplicial complexes associated to $G$, $\mathcal{F}_0(G)\subseteq\mathcal{F}_1(G)\subseteq\cdots\subseteq\mathcal{F}_\infty(G)$ where the first complex is the independence complex and the last the complex is formed by the acyclic sets of vertices. We prove some properties of this filtration and we calculate the homotopy type for various families of graphs. We give an upper bound for the decycling number and generalizations of this parameter using the dimensions of the rational cohomology groups of these complexes. We also derive an upper bound for the Fibonacci numbers of ternary graphs.

It was conjectured by Goyal, Shukla and Singh that the independence complex of the categorical product $K_2\times K_3\times K_n$ has the homotopy type of a wedge of $(n-1)(3n-2)$ spheres of dimension $3$. Here we prove this conjecture by calculating the homotopy type of the independence complex of the graphs $C_{3r}\times K_n$ and $K_2\times K_m\times K_n$. For $C_m \times K_n$ when $m$ is not a multiple of $3$, we calculate the homotopy type for $m = 4, 5$ and show that for other values it has to have the homotopy type of a wedge of spheres of at most $2$ consecutive dimensions and maybe some Moore spaces.

Let $(Σ,\mathbb{M},\mathbb{P})$ be a surface with marked points $\mathbb{M}\subseteq \partialΣ\neq\varnothing$ and punctures $\mathbb{P}\subseteqΣ\setminus\partialΣ$. In this paper we show that for every curve $γ$ on $Σ\setminus\mathbb{P}$, the curve obtained by resolving the kinks of $γ$ in any order is uniquely determined, up to homotopy in $Σ\setminus\mathbb{P}$, by the $2$-orbifold homotopy class of $γ$, in which the punctures are interpreted to be orbifold points of order $2$. Our proof resorts to an application of the Diamond Lemma.

We show that the quasicategory defined as the localization of the category of (simple) graphs at the class of A-homotopy equivalences does not admit colimits. In particular, we settle in the negative the question of whether the A-homotopy equivalences in the category of graphs are part of a model structure.

Our main result has topological, combinatorial and computational flavor. It is motivated by a fundamental conjecture stating that computing Khovanov homology of a closed braid of fixed number of strands has polynomial time complexity. We show that the independence simplicial complex $I(w)$ associated to the 4-braid diagram $w$ (and therefore its Khovanov spectrum at extreme quantum degree) is contractible or homotopy equivalent to either a sphere, or a wedge of 2 spheres (possibly of different dimensions), or a wedge of 3 spheres (at least two of them of the same dimension), or a wedge of 4 spheres (at least three of them of the same dimension). On the algorithmic side we prove that finding the homotopy type of $I(w)$ can be done in polynomial time with respect to the number of crossings in $w$. In particular, we prove the wedge of spheres conjecture for circle graphs obtained from 4-braid diagrams. We also introduce the concept of Khovanov adequate diagram and discuss criteria for a link to have a Khovanov adequate braid diagram with at most 4 strands.

Robin Forman's highly influential 2002 paper A User's Guide to Discrete Morse Theory presents an overview of the subject in a very readable manner. As a proof of concept, the author determines the topology (homotopy type) of the abstract simplicial complex of disconnected graphs of order $n$ (which was previously done by Victor Vassiliev using classical topological methods) using discrete Morse theoretic techniques, which are purely combinatorial in nature. The techniques involve the construction (and verification) of a discrete gradient vector field on the complex. However, the verification part relies on a claim that doesn't seem to hold. In this note, we provide a couple of counterexamples against this specific claim. We also provide an alternative proof of the bigger claim that the constructed discrete vector field is indeed a gradient vector field. Our proof technique relies on a key observation which is not specific to the problem at hand, and thus is applicable while verifying a constructed discrete vector field is a gradient one in general.

We describe the homotopy types of Vietoris-Rips complexes of hypercube graphs at scale $3$. We represent the vertices in the hypercube graph $Q_m$ as the collection of all subsets of $[m]=\{1, 2, \ldots, m\}$ and equip $Q_m$ with the metric using symmetric difference distance. It is proved in \cite{AA22} that the Vietoris-Rips complexes of hypercube graphs $Q_m$ at scale $2$, $\mathcal{VR}(Q_m; 2)$, is homotopy equivalent to $c_m$-many spheres with dimension $3$ where $c_m=\sum_{0\leq j< i<m} (j+1)(2^{m-2}-2^{i-1})$. Questions are raised in \cite{AA22} for determining the homotopy types of $\mathcal{VR}(Q_m, r)$ with large scales $r=3, 4, \ldots, m-2$. We prove that for $m\geq 5$, $$\mathcal{VR}(Q_m; 3)\simeq (\bigvee_{2^{m-4}\cdot{m\choose 4}} S^7) \vee (\bigvee_{\sum_{i=4}^{m-1}2^{i-4}\cdot{i\choose 4}} S^4).$$

Given a locally finite cover of a simplicial complex by subcomplexes, Björner's version of the Nerve Theorem provides conditions under which the homotopy groups of the nerve agree with those of the original complex through a range of dimensions. We extend this result to covers of CW complexes by subcomplexes and to open covers of arbitrary topological spaces, without local finiteness restrictions. Moreover, we show that under somewhat weaker hypotheses, the same conclusion holds when one utilizes the multinerve introduced by Colin de Verdière, Ginot, and Goaoc. Our main tool is the Čech complex associated to a cover, as analyzed in work of Dugger and Isaksen. As applications, we prove a generalized crosscut theorem for posets and some variations on Quillen's Poset Fiber Theorem.

For a symplectic space $V$ of dimension $2n$ over $\mathbb{F}_{q}$, we compute the eigenvalues of its orthogonality graph. This is the simple graph with vertices the $2$-dimensional non-degenerate subspaces of $V$ and edges between orthogonal vertices. As a consequence of Garland's method, we obtain vanishing results on the homology groups of the frame complex of $V$, which is the clique complex of this graph. We conclude that if $n < q+3$ then the poset of frames of size $\neq 0,n-1$, which is homotopy equivalent to the frame complex, is Cohen-Macaulay over a field of characteristic $0$. However, we also show that this poset is not Cohen-Macaulay if the dimension is big enough.

We define the $k$-cut complex of a graph $G$ with vertex set $V(G)$ to be the simplicial complex whose facets are the complements of sets of size $k$ in $V(G)$ inducing disconnected subgraphs of $G$. This generalizes the Alexander dual of a graph complex studied by Fröberg (1990), and Eagon and Reiner (1998). We describe the effect of various graph operations on the cut complex, and study its shellability, homotopy type and homology for various families of graphs, including trees, cycles, complete multipartite graphs, and the prism $K_n \times K_2$, using techniques from algebraic topology, discrete Morse theory and equivariant poset topology.

We consider a certain class of simplicial complexes which includes the independence complexes of forests. We show that if a simplicial complex $K$ belongs to this class, then the polyhedral join $\mathcal{Z}^*_{K}(\underline{X}, \emptyset)$ is homotopy equivalent to a wedge sum of CW complexes of the form $Σ^r X_{i_1} * X_{i_2} * \cdots * X_{i_k}$, where $\underline{X}$ is a family $\{X_i\}_{i \in V(K)}$ of CW complexes and $Σ$ denotes the unreduced suspension. This result is applied to study the homotopy type of the independence complex of the lexicographic product $G[H]$ of a graph $H$ over a forest $G$. We denote by $L_m$ a tree on $m$ vertices with no branches. We show that the geometric realization of the independence complex of $L_m [H]$ is homotopy equivalent to a wedge sum of spheres if $m \neq 2,3$ and the geometric realization of the independence complex of $H$ is homotopy equivalent to a wedge sum of same dimensional spheres.

We denote the matching complex of the complete graph with $n$ vertices by $M_n$. Bouc first studied the topological properties of $M_n$ in connection with the Quillen complex. Later Björner, Lovász, Vrećica, and Živaljević showed that $M_n$ is homotopically $(ν_n-1)$-connected, where $ν_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, but in general the topology of $M_n$ is not very well-understood even for smaller natural numbers. Forman developed discrete Morse theory, which has various applications in diverse fields of studies. In this article, we develop a discrete Morse theoretic technique to capture deeper structural topological properties of $M_n$. We show that $M_n$ is \emph{geometrically} $(ν_n-1)$-connected, where the notion of geometrical $k$-connectedness as defined in this article, is stronger than that of homotopical $k$-connectedness. Previously, Björner et al. showed that $M_8$ is simply connected, but not 2-connected. The technique developed here helped us determine that $M_8$ is in fact homotopy equivalent to a wedge of 132 spheres of dimension 2.

In this article, we initiate the study of hereditary extriangulated categories. Many important categories arising in representation theory in connection with various theories of mutation are hereditary extriangulated. Special cases include homotopy categories of 2-term complexes with projective components, which are related to silting mutation, and cluster categories (with relevant relative extriangulated structures) where cluster tilting mutation take place. We prove that there is a theory of irreducible mutation for maximal rigid objects and subcategories in hereditary extriangulated categories of dominant dimension 1. Applied to the examples above, this recovers 2-term silting mutation in triangulated categories and cluster tilting mutation. By constructing suitable extriangulated categories, we also recover tau-tilting mutation for gentle algebras and flips for their non-kissing facets. Combined with results by Adachi-Tsukamoto and Pauksztello-Zvonareva, our mutation also provides mutation for intermediate co-t-structures. In spirit of our earlier work, we study negative extensions in hereditary extriangulated categories. We give sufficient conditions for the existence of universal balanced negative extensions. We explicitly compute certain, a priori non-universal, versions of negative extensions in hereditary categories constructed from triangulated categories with rigid subcategories. We discuss examples where these two constructions give the same delta-functors and where they disagree.

We develop a robust foundation for studying the fundamental group(oid) in discrete homotopy theory, including: equivalent definitions and basic properties, the theory of covering graphs, and the discrete version of the Seifert-van Kampen theorem.

We determine the homotopy type of the Vietoris-Rips complexes of the (vertex sets of the) platonic solids. The most interesting case is that the Vietoris-Rips complex of the dodecahedron is a wedge of nine 3-spheres when the parameter is between combinatorial distance 3 and 4.

We examine the homotopy types of Vietoris-Rips complexes on certain finite metric spaces at scale $2$. We consider the collections of subsets of $[m]=\{1, 2, \ldots, m\}$ equipped with symmetric difference metric $d$, specifically, $\mathcal{F}^m_n$, $\mathcal{F}_n^m\cup \mathcal{F}^m_{n+1}$, $\mathcal{F}_n^m\cup \mathcal{F}^m_{n+2}$, and $\mathcal{F}_{\preceq A}^m$. Here $\mathcal{F}^m_n$ is the collection of size $n$ subsets of $[m]$ and $\mathcal{F}_{\preceq A}^m$ is the collection of subsets $\preceq A$ where $\preceq$ is a total order on the collections of subsets of $[m]$ and $A\subseteq [m]$ (see the definition of $\preceq$ in Section~\ref{Intro}). We prove that the Vietoris-Rips complexes $\mathcal{VR}(\mathcal{F}^m_n, 2)$ and $\mathcal{VR}(\mathcal{F}_n^m\cup \mathcal{F}^m_{n+1}, 2)$ are either contractible or homotopy equivalent to a wedge sum of $S^2$'s; also, the complexes $\mathcal{VR}(\mathcal{F}_n^m\cup \mathcal{F}^m_{n+2}, 2)$ and $\mathcal{VR}(\mathcal{F}_{\preceq A}^m, 2)$ are either contractible or homotopy equivalent to a wedge sum of $S^3$'s. We provide inductive formula for these homotopy types extending the result of Barmak in \cite{Bar13} about the independence complexes of Kneser graphs \text{KG}$_{2, k}$ and the result of Adamaszek and Adams in \cite{AA22} about Vietoris-Rips complexes of hypercube graphs with scale $2$.

In this paper, we construct a pointed CW complex called the magnitude homotopy type for a given metric space $X$ and a real parameter $\ell \geq 0$. This space is roughly consisting of all paths of length $\ell$ and has the reduced homology group that is isomorphic to the magnitude homology group of $X$. To construct the magnitude homotopy type, we consider the poset structure on the spacetime $X\times\mathbb{R}$ defined by causal (time- or light-like) relations. The magnitude homotopy type is defined as the quotient of the order complex of an intervals on $X\times\mathbb{R}$ by a certain subcomplex. The magnitude homotopy type gives a covariant functor from the category of metric spaces with $1$-Lipschitz maps to the category of pointed topological spaces. The magnitude homotopy type also has a ``path integral'' like expression for certain metric spaces. By applying discrete Morse theory to the magnitude homotopy type, we obtain a new proof of the Mayer-Vietoris type theorem and several new results including the invariance of the magnitude under sycamore twist of finite metric spaces.

We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's Theorems A and B, which are of independent interest.

We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac Lane's coherence theorem for symmetric monoidal categories, as suggested by Kapranov in 1993. Our analysis is based on a notion of combinatorial homotopy, which we further study in the special case of polyhedral complexes, leading to a second geometrical proof of coherence which is very close to Mac Lane's original argument. We use Morse theory to show that this second method is (strictly) less general than the first. We provide a detailed analysis of how both methods allow us to deduce these two categorical coherence results and discuss possible generalizations to higher categories.

We determine topological complexity of a series of finite spaces which is weakly homotopy equivalent to a circle $S^1$, and give a finite space $X$ satisfying the inequality tc$(X) <$ cat$(X {\times} X)$. This answers two conjectures on topological complexity for finite spaces raised by K. Tanaka in 2018.