arXiv++ Combinatorics

We show that the independence complexes of generalised Mycielskian of complete graphs are homotopy equivalent to a wedge sum of spheres, and determine the number of copies and the dimensions of these spheres. We also prove that the independence complexes of categorical product of complete graphs are wedge sum of circles, upto homotopy. Further, we show that if we perturb a graph $G$ in a certain way, then the independence complex of this new graph is homotopy equivalent to the suspension of the independence complex of $G$.

Let the compact torus $T^{n-1}$ act on a smooth compact manifold $X^{2n}$ effectively with nonempty finite set of fixed points. We pose the question: what can be said about the orbit space $X^{2n}/T^{n-1}$ if the action is cohomologically equivariantly formal (which essentially means that $H^{odd}(X^{2n};\mathbb{Z})=0$). It happens that homology of the orbit space can be arbitrary in degrees $3$ and higher. For any finite simplicial complex $L$ we construct an equivariantly formal manifold $X^{2n}$ such that $X^{2n}/T^{n-1}$ is homotopy equivalent to $Σ^3L$. The constructed manifold $X^{2n}$ is the total space of the projective line bundle over the permutohedral variety hence the action on $X^{2n}$ is Hamiltonian and cohomologically equivariantly formal. We introduce the notion of the action in $j$-general position and prove that, for any simplicial complex $M$, there exists an equivariantly formal action of complexity one in $j$-general position such that its orbit space is homotopy equivalent to $Σ^{j+2}M$.

We provide a new combinatorial approach to studying the collection of N-infinity-operads in G-equivariant homotopy theory for G a finite cyclic group. In particular, we show that for G the cyclic group of order p^n the natural order on the collection of N-infinity-operads stands in bijection with the poset structure of the (n+1)-associahedron. We further provide a lower bound for the number of possible N-infinity-operads for any finite cyclic group G.

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 properties, we compute the fundamental group of the 5-cycle, giving an alternate approach to [4].

In 2002, A. Björner and M. de Longueville showed the neighborhood complex of the $2$-stable Kneser graph ${KG(n, k)}_{2-\textit{stab}}$ has the same homotopy type as the $(n-2k)$-sphere. A short time ago, an analogous result about the homotopy type of the neighborhood complex of almost $s$-stable Kneser graph has been announced by J. Osztényi. Combining this result with the famous Lovász's topological lower bound on the chromatic number of graphs has been yielded a new way for determining the chromatic number of these graphs which was determined a bit earlier by P. Chen. In this paper we present a common generalization of the mentioned results. We will define the $\vec{s}$-stable Kneser graph ${KG(n, k)}_{\vec{s}-\textit{stab}}$ as the induced subgraph of the Kneser graph $KG(n, k)$ on $\vec{s}$-stable vertices. And we prove, for given an integer vector $\vec{s}=(s_1,\ldots, s_k)$ and $n\geq\sum_{i=1}^{k-1}s_i+2$ where $s_i\geq2$ for $i\neq k$ and $s_k\in\{1,2\}$, the neighborhood complex of ${KG(n, k)}_{\vec{s}-\textit{stab}}$ is homotopy equivalent to the $\left(n-\sum_{i=1}^{k-1}s_i-2\right)$-sphere. In particular, this implies that $χ\left({KG(n, k)}_{\vec{s}-\textit{stab}}\right)= n-\sum_{i=1}^{k-1}s_i$ for the mentioned parameters. Moreover, as a simple corollary of the previous result, we will determine the chromatic number of 3-stable kneser graphs with at most one error.

Ehrenborg noted that all tilings of a bipartite planar graph are encoded by its cubical matching complex and claimed that this complex is collapsible. We point out to an oversight in his proof and explain why these complexes can be the union of collapsible complexes. Also, we prove that all links in these complexes are suspensions up to homotopy. Furthermore, we extend the definition of a cubical matching complex to planar graphs that are not necessarily bipartite, and show that these complexes are either contractible or a disjoint union of contractible complexes. For a simple connected region that can be tiled with dominoes ($2\times 1$ and $1\times 2$) and $2\times 2$ squares, let $f_i$ denote the number of tilings with exactly $i$ squares. We prove that $f_0-f_1+f_2-f_3+\cdots=1$ (established by Ehrenborg) is the only linear relation for the numbers $f_i$.

A polyhedral product is a natural subspace of a Cartesian product that is specified by a simplicial complex. The modern formalism arose as a generalization of the spaces known as moment-angle complexes which were developed within the nascent subject of toric topology. This field, which began as a topological approach to toric geometry and aspects of symplectic geometry, has expanded rapidly in recent years. The investigation of polyhedral products and their homotopy theoretic properties has developed to the point where they are studied in various fields of mathematics far removed from their origin. In this survey, we provide a brief historical overview of the development of this subject, summarize many of the main results and describe applications.

We introduce a new type of homotopy relation for digitally continuous functions which we call ``strong homotopy.'' Both digital homotopy and strong homotopy are natural digitizations of classical topological homotopy: the difference between them is analogous to the difference between digital 4-adjacency and 8-adjacency in the plane. We explore basic properties of strong homotopy, and give some equivalent characterizations. In particular we show that strong homotopy is related to ``punctuated homotopy,'' in which the function changes by only one point in each homotopy time step. We also show that strongly homotopic maps always have the same induced homomorphisms in the digital homology theory. This is not generally true for digitally homotopic maps, though we do show that it is true for any homotopic selfmaps on the digital cycle $C_n$ with $n\ge 4$. We also define and consider strong homotopy equivalence of digital images. Using some computer assistance, we produce a catalog of all small digital images up to strong homotopy equivalence. We also briefly consider pointed strong homotopy equivalence, and give an example of a pointed contractible image which is not pointed strongly contractible.

In this article, we study model structures on the category of finite graphs with $\times$-homotopy equivalences as the weak equivalences. We show that there does not exist an analogue of Strøm-Hurewicz model structure on this category of graphs. More interestingly, we show that this category of graphs with $\times$-homotopy equivalences does not have a model structure whenever the class of cofibrations is a subclass of graph inclusions.

In this paper we raise the realisability problem in arrow categories. Namely, for a fixed category $\mathcal{C}$ and for arbitrary groups $H\le G_1\times G_2$, is there an object $φ\colon A_1 \rightarrow A_2$ in $\operatorname{Arr}(\mathcal{C})$ such that $\operatorname{Aut}_{\operatorname{Arr}(\mathcal{C})}(φ) = H$, $\operatorname{Aut}_{\mathcal{C}}(A_1) = G_1$ and $\operatorname{Aut}_{\mathcal{C}}(A_2) = G_2$? We are interested in solving this problem when $\mathcal C =\mathcal{H}oTop_*$, the homotopy category of pointed topological spaces. To that purpose, we first settle that question in the positive when $\mathcal C = \mathcal{G}raphs$. Then, we construct an almost fully faithful functor from $\mathcal{G}raphs$ to $\operatorname{CDGA}$, the category of commutative differential graded algebras, that provides among other things, a positive answer to our question when $\mathcal C = \operatorname{CDGA}$ and, as long as we work with finite groups, when $\mathcal C =\mathcal{H}oTop_*$. Some results on representability of concrete categories are also obtained.

We show that the category of graphs has the structure of a 2-category with homotopy as the 2-cells. We then develop an explicit description of homotopies for finite graphs, in terms of what we call `spider moves'. We then create a category by modding out by the 2-cells of our 2-category, and use the spider moves to show that for finite graphs, this category is a homotopy category in the sense that it satisfies the universal property for localizing homotopy equivalences. We then show that finite stiff graphs form a skeleton of this homotopy category.

A graph $G$ is said to be chordal if it has no induced cycles of length four or more. In a recent preprint Culbertson, Guralnik, and Stiller give a new characterization of chordal graphs in terms of sequences of what they call `edge-erasures'. We show that these moves are in fact equivalent to a linear quotient ordering on $I_{\overline{G}}$, the edge ideal of the complement graph. Known results imply that $I_{\overline G}$ has linear quotients if and only if $G$ is chordal, and hence this recovers an algebraic proof of their characterization. We investigate higher-dimensional analogues of this result, and show that in fact linear quotients for more general circuit ideals of $d$-clutters can be characterized in terms of removing exposed circuits in the complement clutter. Restricting to properly exposed circuits can be characterized by a homological condition. This leads to a notion of higher dimensional chordal clutters which borrows from commutative algebra and simple homotopy theory. The interpretation of linear quotients in terms of shellability of simplicial complexes also has applications to a conjecture of Simon regarding the extendable shellability of $k$-skeleta of simplices. Other connections to combinatorial commutative algebra, chordal complexes, and hierarchical clustering algorithms are explored.

A generalization of Dowling lattices was recently introduced by Bibby and Gadish, in a work on orbit configuration spaces. The authors left open the question as to whether these posets are shellable. In this paper we prove EL-shellability and use it to determine the homotopy type. Our result generalizes shellability of Dowling lattices and of posets of layers of abelian arrangements defined by root systems. We also show that subposets corresponding to invariant subarrangements are not shellable in general.

The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated in terms of Massey products. One of such problems is to establish formality of smooth manifolds in rational homotopy theory. There have already been constructed a few classes of spaces with nontrivial triple Massey products in cohomology. Until now, very few examples of manifolds $M$ with nontrivial higher Massey products in $H^*(M)$ were known. In this work we introduce a sequence of smooth closed manifolds $\{M_{k}\}^{\infty}_{k=1}$ such that $M_{k}\hookrightarrow M_{k+1}$ is a submanifold and a retract of $M_{k+1}$ for any $k\geq 1$ and there exists a nontrivial Massey product $\langleα_{1},\ldots,α_{n}\rangle$ in $H^*(M_{k})$ for each $2\leq n\leq k$. The sequence $\{M_k\}^{\infty}_{k=1}$ is determined by a new family of flag nestohedra $\mathcal P_{Mas}$. We give P.D.E. for the two-parametric generating series of $\mathcal P_{Mas}$.

We study the geometry and topology of exotic Springer fibers for orbits corresponding to one-row bipartitions from an explicit, combinatorial point of view. This includes a detailed analysis of the structure of the irreducible components and their intersections as well as the construction of an explicit affine paving. Moreover, we compute the ring structure of cohomology by constructing a CW-complex homotopy equivalent to the exotic Springer fiber. This homotopy equivalent space admits an action of the type C Weyl group inducing Kato's original exotic Springer representation on cohomology. Our results are described in terms of the diagrammatics of the one-boundary Temperley-Lieb algebra (also known as the blob algebra). This provides a first step in generalizing the geometric versions of Khovanov's arc algebra to the exotic setting.

The neighborhood complex $\N(G)$ of a graph $G$ were introduced by L. Lov{á}sz in his proof of Kneser conjecture. He proved that for any graph $G$, \begin{align} \label{abstract} χ(G) \geq conn(\N(G))+3. \end{align} In this article we show that for a class of exponential graphs the bound given in (\ref{abstract}) is sharp. Further, we show that the neighborhood complexes of these exponential graphs are spheres up to homotopy. We were also able to find a class of exponential graphs, which are homotopy test graphs. Hedetniemi's conjecture states that the chromatic number of the categorical product of two graphs is the minimum of the chromatic number of the factors. Let $M(G)$ denotes the Mycielskian of a graph $G$. We show that, for any graph $G$ containing $M(M(K_n))$ as a subgraph and for any graph $H$, if $χ(G \times H) = n+1$, then $\min\{χ(G), χ(H)\} = n+1$. Therefore, we enrich the family of graphs satisfying the Hedetniemi's conjecture.

Let $M$ be a connected orientable compact surface, $f:M\to\mathbb{R}$ be a Morse function, and $\mathcal{D}_{\mathrm{id}}(M)$ be the group of difeomorphisms of $M$ isotopic to the identity. Denote by $\mathcal{S}'(f)=\{f\circ h = f\mid h\in\mathcal{D}_{\mathrm{id}}(M)\}$ the subgroup of $\mathcal{D}_{\mathrm{id}}(M)$ consisting of difeomorphisms "preserving" $f$, i.e. the stabilizer of $f$ with respect to the right action of $\mathcal{D}_{\mathrm{id}}(M)$ on the space $\mathcal{C}^{\infty}(M,\mathbb{R})$ of smooth functions on $M$. Let also $\mathbf{G}(f)$ be the group of automorphisms of the Kronrod-Reeb graph of $f$ induced by diffeomorphisms belonging to $\mathcal{S}'(f)$. This group is an important ingredient in determining the homotopy type of the orbit of $f$ with respect to the above action of $\mathcal{D}_{\mathrm{id}}(M)$ and it is trivial if $f$ is "generic", i.e. has at most one critical point at each level set $f^{-1}(c)$, $c\in\mathbb{R}$. For the case when $M$ is distinct from $2$-sphere and $2$-torus we present a precise description of the family $\mathbf{G}(M,\mathbb{R})$ of isomorphism classes of groups $\mathbf{G}(f)$, where $f$ runs over all Morse functions on $M$, and of its subfamily $\mathbf{G}^{smp}(M,\mathbb{R}) \subset \mathbf{G}(M,\mathbb{R})$ consisting of groups corresponding to simple Morse functions, i.e. functions having at most one critical point at each connected component of each level set. In fact, $\mathbf{G}(M,\mathbb{R})$, (resp. $\mathbf{G}^{smp}(M,\mathbb{R})$), coincides with the minimal family of isomorphism classes of groups containing the trivial group and closed with respect to direct products and also with respect to wreath products "from the top" with arbitrary finite cyclic groups, (resp. with group $\mathbb{Z}_2$ only).

In this article, we prove that the neighborhood complex of the Kneser graph $KG_{3,k}$ is of the same homotopy type as that of a wedge of $\frac{(k+1)(k+3)(k+4)(k+6)}{4}+1$ spheres of dimension $k$. We construct a maximal subgraph $S_{3,k}$ of $KG_{3,k}$, whose neighborhood complex deformation retracts onto the neighborhood complex of $SG_{3,k}$.

Given a finite simplicial complex $X$ and a connected graph $T$ of diameter $1$, in \cite{anton} Dochtermann had conjectured that $\text{Hom}(T,G_{1,X})$ is homotopy equivalent to $X$. Here, $G_{1, X}$ is the reflexive graph obtained by taking the $1$-skeleton of the first barycentric subdivision of $X$ and adding a loop at each vertex. This was proved by Dochtermann and Schultz in \cite{ds12}. In this article, we give an alternate proof of this result by understanding the structure of the cells of Hom$(K_n,G_{1,X})$, where $K_n$ is the complete graph on $n$ vertices. We prove that the neighborhood complex of $G_{1,X}$ is homotopy equivalent to $X$ and Hom$(K_n,G_{1,X})\simeq $ Hom$(K_{n-1},G_{1,X})$, for each $n\geq 3$.

In toric topology, to a simplicial complex $K$ with $m$ vertices, one associates two spaces, the moment-angle complex $\mathcal{Z}_K$ and the Davis-Januszkiewicz space $DJ_K$. These spaces are connected by a homotopy fibration $\mathcal{Z}_K\to DJ_K\to(\mathbb{C}P^\infty)^m$. In this paper, we show that the map $\mathcal{Z}_K\to DJ_K$ is identified with a wedge of iterated (higher) Whitehead products for a certain class of simplicial complexes $K$ including dual shellable complexes. We will prove the result in a more general setting of polyhedral products.