arXiv++ Combinatorics

We prove that the posets of connected components of intersections of toric and elliptic arrangements defined by root systems are EL-shellable and we compute their homotopy type. Our method rests on Bibby's description of such posets by means of "labeled partitions": after giving an EL-labeling and counting homology chains for general posets of labeled partitions, we obtain the stated results by considering the appropriate subposets.

Assume G is a finite abstract simplicial complex with f-vector (v0,v1, ...), and generating function f(x) = sum(k=1 v(k-1) x^k = v0 x + v1 x^2+ v2 x^3 + ..., the Euler characteristic of G can be written as chi(G)=f(0)-f(-1). We study here the functional f1'(0)-f1'(-1), where f1' is the derivative of the generating function f1 of G1. The Barycentric refinement G1 of G is the Whitney complex of the finite simple graph for which the faces of G are the vertices and where two faces are connected if one is a subset of the other. Let L is the connection Laplacian of G, which is L=1+A, where A is the adjacency matrix of the connection graph G', which has the same vertex set than G1 but where two faces are connected they intersect. We have f1'(0)=tr(L) and for the Green function g L^(-1) also f1'(-1)=tr(g) so that eta1(G) = f1'(0)-f1'(-1) is equal to eta(G)=tr(L-L^(-1). The established formula tr(g)=f1'(-1) for the generating function of G1 complements the determinant expression det(L)=det(g)=zeta(-1) for the Bowen-Lanford zeta function zeta(z)=1/det(1-z A) of the connection graph G' of G. We also establish a Gauss-Bonnet formula eta1(G) = sum(x in V(G1) chi(S(x)), where S(x) is the unit sphere of x the graph generated by all vertices in G1 directly connected to x. Finally, we point out that the functional eta0(G) = sum(x in V(G) chi(S(x)) on graphs takes arbitrary small and arbitrary large values on every homotopy type of graphs.

In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres.

Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn on surfaces. Typical questions include representing surfaces and graphs embedded on them computationally, deciding whether a graph embeds on a surface, solving computational problems related to homotopy, optimizing curves and graphs on surfaces, and solving standard graph algorithm problems more efficiently in the case of surface-embedded graphs.

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 combinatorial description. By relaxing the definition of Forman's gradient flows, we introduce the notion of flow paths, which contains enough information to reconstruct the homotopy type of $X$, while retaining a combinatorial description. The critical difference from Forman's gradient flows is the existence of a partial order on the set of flow paths, from which a $2$-category $C(μ)$ is constructed. It is shown that the classifying space of $C(μ)$ is homotopy equivalent to $X$ by using homotopy theory of $2$-categories. This result can be also regarded as a discrete analogue of the unpublished work of Cohen, Jones, and Segal on Morse theory in early 90's.

For $p$ an odd prime and $F$ the cyclic group of order $p$, we show that the number of conjugacy classes of embeddings of $F$ in $SU(p)$ such that no element of $F$ has 1 as an eigenvalue is $(1+C_{p-1})/p$, where $C_{p-1}$ is a Catalan number. We prove that the only coset space $SU(p)/F$ that admits a $p$-local $H$-structure is the classical Lie group $PSU(p)$. We also show that $SU(4)/\mathbb Z_3$, where $\mathbb Z_3$ is embedded off the center of $SU(4)$, is a novel example of an $H$-space, even globally. We apply our results to the study of homotopy classes of maps from $BF$ to $BSU(n)$.

The $W_v$-Path Conjecture due to Klee and Wolfe states that any two vertices of a simple polytope can be joined by a path that does not revisit any facet. This is equivalent to the well-known Hirsch Conjecture. Klee proved that the $W_v$-Path Conjecture is true for all 3-polytopes (3-connected plane graphs), and conjectured even more, namely that the $W_v$-Path Conjecture is true for all general cell complexes. This general $W_v$-Path Conjecture was verified for polyhedral maps on the projective plane and the torus by Barnette, and on the Klein bottle by Pulapaka and Vince. Let $G$ be a graph polyhedrally embedded in a surface $Σ$, and $x, y$ be two vertices of $G$. In this paper, we show that if there are three internally disjoint $(x,y)$-paths which are homotopic to each other, then there exists a $W_v$-path joining $x$ and $y$. For every surface $Σ$, define a function $f(Σ)$ such that if for every graph polyhedrally embedded in $Σ$ and for a pair of vertices $x$ and $y$ in $V(G)$, the local connectivity $κ_G(x,y) \ge f(Σ)$, then there exists a $W_v$-path joining $x$ and $y$. We show that $f(Σ)=3$ if $Σ$ is the sphere, and for all other surfaces $3-τ(Σ)\le f(Σ)\le 9-4χ(Σ)$, where $χ(Σ)$ is the Euler characteristic of $Σ$, and $τ(Σ)=χ(Σ)$ if $χ(Σ)< -1$ and 0 otherwise. Further, if $x$ and $y$ are not cofacial, we prove that $G$ has at least $κ_G(x,y)+4χ(Σ)-8$ internally disjoint $W_v$-paths joining $x$ and $y$. This bound is sharp for the sphere. Our results indicate that the $W_v$-path problem is related to both the local connectivity $κ_G(x,y)$, and the number of different homotopy classes of internally disjoint $(x,y)$-paths as well as the number of internally disjoint $(x,y)$-paths in each homotopy class.

Denham, Suciu and Panov, Ray computed ranks of homotopy groups and Poincaré series of a moment-angle-complex $\mathcal Z(\mathcal K$) / Davis-Januzskiewicz space $DJ(\mathcal K)$ associated to a flag simplicial complex $\mathcal K$. In this note we revisit these results and interpret them as polynomial bounds on the face numbers of an arbitrary simplicial flag complex.

For any coloured operad R, we prove a Faà di Bruno formula for the `connected Green function' in the incidence bialgebra of R. This generalises on one hand the classical Faà di Bruno formula (dual to composition of power series), corresponding to the case where R is the terminal reduced operad, and on the other hand the Faa di Bruno formula for P-trees of Gálvez--Kock--Tonks (P a finitary polynomial endofunctor), which corresponds to the case where R is the free operad on P. Following Gálvez--Kock--Tonks, we work at the objective level of groupoid slices, hence all proofs are `bijective': the formula is established as the homotopy cardinality of an explicit equivalence of groupoids. In fact we establish the formula more generally in a relative situation, for algebras for one polynomial monad internal to another. This covers in particular nonsymmetric operads (for which the terminal reduced case yields the noncommutative Faà di Bruno formula of Brouder--Frabetti--Krattenthaler).

In this paper we define a family of topological spaces, which contains and vastly generalizes the higher-dimensional Dunce hats. Our definition is purely combinatorial, and is phrased in terms of identifications of boundary simplices of a~standard d-simplex. By virtue of the construction, the obtained spaces may be indexed by words, and they automatically carry the structure of a $Δ$-complex. As our main result, we completely determine the homotopy type of these spaces. In fact, somewhat surprisingly, we are able to prove that each of them is either contractible or homotopy equivalent to an odd-dimensional sphere. We develop the language to determine the homotopy type directly from the combinatorics of the indexing word. As added benefit of our investigation, we are able to emulate the Dunce hat phenomenon, and to obtain a large family of both $Δ$-complexes, as well as simplicial complexes, which are contractible, but not collapsible.

A consistent dimer model gives a non-commutative crepant resolution (= NCCR) of a $3$-dimensional Gorenstein toric singularity. In particular, it is known that a consistent dimer model gives a nice class of NCCRs called steady if and only if it is homotopy equivalent to a regular hexagonal dimer model. Inspired by this result, we introduce the notion of semi-steady NCCRs, and show a consistent dimer model gives a semi-steady NCCR if and only if it is homotopy equivalent to a regular dimer model.

It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem generalizing previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to Knot Theory; more precisely, we compute the real-extreme Khovanov homology of torus links $T(3,q)$ and obtain examples of $H$-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.

Alexander $r$-tuples are introduced as a common generalization of pairs of Alexander dual complexes (Alexander $2$-tuples) and $r$-unavoidable complexes of Blagojević, Frick and Ziegler. The associated "Bier complexes" include both the Bier spheres and "optimal multiple chessboard complexes" as interesting, special cases. Our main result is Theorem 4.3 saying that (1) the $r$-fold deleted join of Alexander $r$-tuple is a pure complex homotopy equivalent to a wedge of spheres, and (2) the $r$-fold deleted join of a collectively unavoidable $r$-tuple is $(n-r-1)$-connected. We also give a complete classification (Theorem 5.1 and Corollary 5.2) of Alexander $r$-tuples and Bier complexes.

Amit and Linial showed that a random lift of a graph with minimum degree $δ\ge3$ is asymptotically almost surely $δ$-connected, and mentioned the problem of estimating this probability as a function of the degree of the lift. We relate a randomly generated subgroup of the symmetric group on $n$ elements to random $n$-lifts of a graph and use it to provide such an estimate along with related results. We also improve their later result showing a lower bound on the edge expansion on random lifts. Our proofs rely on new ideas from group theory which make several improvements possible. We exactly calculate the probability that a random lift of a connected graph with first Betti number $l$ is connected by showing that it is equal to the probability that a subgroup of the symmetric group generated by $l$ random elements is transitive. We also calculate the probability that a subgroup of a wreath product of symmetric groups generated by $l$ random generators is transitive. We show the existence of homotopy invariants in random covering graphs which reduces some of their properties to those of random regular multigraphs, and in particular makes it possible to compute the exact probability with which random regular multigraphs are connected. All our results about random lifts easily extend to iterated random lifts.

The extension space conjecture of oriented matroid theory states that the space of all one-element, non-loop, non-coloop extensions of a realizable oriented matroid of rank $d$ has the homotopy type of a sphere of dimension $d-1$. We disprove this conjecture by showing the existence of a realizable uniform oriented matroid of high rank and corank 3 with disconnected extension space.

Given a filter $Δ$ in the poset of compositions of $n$, we form the filter $Π^{*}_Δ$ in the partition lattice. We determine all the reduced homology groups of the order complex of $Π^{*}_Δ$ as ${\mathfrak S}_{n-1}$-modules in terms of the reduced homology groups of the simplicial complex $Δ$ and in terms of Specht modules of border shapes. We also obtain the homotopy type of this order complex. These results generalize work of Calderbank--Hanlon--Robinson and Wachs on the $d$-divisible partition lattice. Our main theorem applies to a plethora of examples, including filters associated to integer knapsack partitions and filters generated by all partitions having block sizes $a$ or~$b$. We also obtain the reduced homology groups of the filter generated by all partitions having block sizes belonging to the arithmetic progression $a, a + d, \ldots, a + (a-1) \cdot d$, extending work of Browdy.

The inner Tutte group of a matroid is a finitely generated abelian group introduced as an algebraic counterpart of Tutte's homotopy theory of matroids. The aim of this work is to provide a new presentation for this group with a set of generators that is smaller than those previously known.

We introduce a model structure on the category of graphs, which is Quillen equivalent to the category of $\mathbb{Z}_2$-spaces. A weak equivalence is a graph homomorphism which induces a $\mathbb{Z}_2$-homotopy equivalence between their box complexes. The box complex is a $\mathbb{Z}_2$-space associated to a graph, considered in the context of the graph coloring problem. In the proof, we discuss the universality problem of the Hom complex.

We introduce the van der Waerden complex ${\rm vdW}(n,k)$ defined as the simplicial complex whose facets correspond to arithmetic progressions of length $k$ in the vertex set $\{1, 2, \ldots, n\}$. We show the van der Waerden complex ${\rm vdW}(n,k)$ is homotopy equivalent to a $CW$-complex whose cells asymptotically have dimension at most $\log k / \log \log k$. Furthermore, we give bounds on $n$ and $k$ which imply that the van der Waerden complex is contractible.

In this article, we give conditions on a graph under which the Lovász' original bound of the graph can be improved by increasing the topological connectivity of its neighbourhood complex. We also work out conditions under which computing the topological connectivity of hom complex of a pair of graphs can be simplified. In particular, hom complex as a covariant functor acting on a double mapping cylinder of graphs is a homotopy pushout of hom complex functor applied to its subgraphs. We give applications of this result where the computation of hom complexes is simplified. Finally, we explain why double mapping cylinder of graphs does not give a satisfactory definition of homotopy pushout in the category of graphs.