arXiv++ Combinatorics

In this paper we study the homotopy type of $\Hom(C_m,C_n)$, where $C_k$ is the cyclic graph with $k$ vertices. We enumerate connected components of $\Hom(C_m,C_n)$ and show that each such component is either homeomorphic to a point or homotopy equivalent to $S^1$. Moreover, we prove that $\Hom(C_m,L_n)$ is either empty or is homotopy equivalent to the union of two points, where $L_n$ is an $n$-string, i.e., a tree with $n$ vertices and no branching points.

In [MZ04] Matousek and Ziegler compared various topological lower bounds for the chromatic number. They proved that Lovasz's original bound [L78] can be restated as $\chr G \geq \ind (\B(G)) +2$. Sarkaria's bound [S90] can be formulated as $\chr G \geq \ind (\B_0(G)) +1$. It is known that these lower bounds are close to each other, namely the difference between them is at most 1. In this paper we study these lower bounds, and the homotopy types of box complexes. Some of the results was announced in [MZ04].

We introduce WI-posets as intermediate objects in the study of Z_2-homotopy types of graph complexes. It turns out that (almost) all graph complexes associated to a graph can be viewed as avatars of the same object, as long as their Z_2-homotopy types are concerned. Among the applications are a proof that each finite, free Z_2-complex is a graph complex and an evaluation of Z_2-homotopy types of complexes Ind(C_n) of independence sets in a cycle C_n. The main tools used in the paper are Quillen fiber theorem and Bredon criterion for Z_2-equivalence of Z_2-complexes.

The recently introduced A-homotopy groups for graphs are investigated. The main concern of the present article is the construction of an infinite cell complex, the homotopy groups of which are isomorphic to the A-homotopy groups of the given graph. We present a natural candidate for such a cell complex, together with a homomorphism between the corresponding groups that indeed yields an isomorphism, if a cubical analog of the simplicial approximation theorem holds, which - so far - we were unable to prove.

For an arbitrary finite Coxeter group W we define the family of Cambrian lattices for W as quotients of the weak order on W with respect to certain lattice congruences. We associate to each Cambrian lattice a complete fan, which we conjecture is the normal fan of a polytope combinatorially isomorphic to the generalized associahedron for W. In types A and B we obtain, by means of a fiber-polytope construction, combinatorial realizations of the Cambrian lattices in terms of triangulations and in terms of permutations. Using this combinatorial information, we prove in types A and B that the Cambrian fans are combinatorially isomorphic to the normal fans of the generalized associahedra and that one of the Cambrian fans is linearly isomorphic to Fomin and Zelevinsky's construction of the normal fan as a "cluster fan." Our construction does not require a crystallographic Coxeter group and therefore suggests a definition, at least on the level of cellular spheres, of a generalized associahedron for any finite Coxeter group. The Tamari lattice is one of the Cambrian lattices of type A, and two "Tamari" lattices in type B are identified and characterized in terms of signed pattern avoidance. We also show that open intervals in Cambrian lattices are either contractible or homotopy equivalent to spheres.

The purpose of this paper is twofold. 1. We give combinatorial bounds on the ranks of the groups $\Tor^{R}_\bullet(k,k)_\bullet$ in the case where $R = k[Λ]$ is an affine semi-group ring, and in the process provide combinatorial proofs for bounds by Eisenbud, Reeves and Totaro on which Tor groups vanish. In addition, we show that if the bounds hold for a field $k$ then they hold for $\field[Λ]$ and any field $\field$. Moreover, we provide a combinatorial construction for a free resolution of $\field$ over $\field[Λ]$ which achieves these bounds. 2. We extend the lexicographic discrete Morse function construction of Babson and Hersh for the determination of the homotopy type and homology of order complexes of posets to a larger class of facet orderings that includes orders induced by monomial term orders. Since it is known that the order complexes of finite intervals in the poset of monomials in $k[Λ]$ ordered by divisibility in $k[Λ]$ govern the $\Tor$-groups, the newly developed tools are applicable and serve as the main ingredients for the proof of the bounds and the construction of the resolution.

Nested set complexes appear as the combinatorial core of De Concini-Procesi arrangement models. We show that nested set complexes are homotopy equivalent to the order complexes of the underlying meet-semilattices without their minimal elements. For atomic semilattices, we consider the realization of nested set complexes by simplicial fans as proposed in math.AG/0305142 by the first author and S. Yuzvinsky. We show that in this case the nested set complexes in fact are homeomorphic to the mentioned order complexes.

Forman introduced discrete Morse theory as a tool for studying CW complexes by essentially collapsing them onto smaller, simpler-to-understand complexes of critical cells in [Fo]. Chari reformulated discrete Morse theory for regular cell complexes in terms of acyclic matchings on face posets in [Ch]. This paper addresses two questions: (1) under what conditions may several gradient paths in a discrete Morse function simultaneously be reversed to cancel several pairs of critical cells, to further collapse the complex, and (2) how to use lexicographically first reduced expressions for permutations (in the sense of [Ed]) to make (1) practical for poset order complexes. Applications include Cohen-Macaulayness of a new partial order, recently introduced by Remmel, on the symmetric group (by refinement on the underlying partitions into cycles) as well as a simple new proof of the homotopy type for intervals in the weak order for the symmetric group. Additional applications appear in [HW].

$Hom(G,H)$ is a polyhedral complex defined for any two undirected graphs $G$ and $H$. This construction was introduced by Lovász to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological properties of this class of complexes. We prove that $Hom(K_m,K_n)$ is homotopy equivalent to a wedge of $(n-m)$-dimensional spheres, and provide an enumeration formula for the number of the spheres. As a corollary we prove that if for some graph $G$, and integers $m\geq 2$ and $k\geq -1$, we have $\varpi_1^k(\thom(K_m,G))\neq 0$, then $χ(G)\geq k+m$; here $Z_2$-action is induced by the swapping of two vertices in $K_m$, and $\varpi_1$ is the first Stiefel-Whitney class corresponding to this action. Furthermore, we prove that a fold in the first argument of $Hom(G,H)$ induces a homotopy equivalence. It then follows that $Hom(F,K_n)$ is homotopy equivalent to a direct product of $(n-2)$-dimensional spheres, while $Hom(\bar{F},K_n)$ is homotopy equivalent to a wedge of spheres, where $F$ is an arbitrary forest and $\bar{F}$ is its complement.

We express the signature ${\rm Sign}(SP^m_G(M))$ of the symmetric product $SP^n(M)$ of an (open) surface $M$ in terms of the cycle index $Z(G;\bar x)$ of $G$, a polynomial which originally appeared in P{\' o}lya enumeration theory of graphs, trees, chemical structures etc. The computations are used to show that there exist punctured Riemann surfaces $M_{g,k}, M_{g',k'}$ such that the manifolds $SP^{m}(M_{g,k})$ and $SP^{m}(M_{g',k'})$ are often not homeomorphic, although they always have the same homotopy type provided $2g+k = 2g'+k'$ and $k,k'\geq 1$.

Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an application we include a computation of the homology of the homotopy end space of the open manifold $SP^n(M_{g,k})$, where $M_{g,k}$ is a Riemann surface of genus $g$ punctured at $k$ points, a problem which was originally motivated by the study of commutative $(m+k,m)$-groups.

Given a real arrangement $A$, the complement $M(A)$ of the complexification of $A$ admits an action of $\mathbb{Z}_2$ by complex conjugation. We define the equivariant Orlik-Solomon algebra of $A$ to be the $\mathbb{Z}_2$-equivariant cohomology ring of $M(A)$ with coefficients in $\mathbb{Z}_2$. We give a combinatorial presentation of this ring, and interpret it as a deformation of the ordinary Orlik-Solomon algebra into the Varchenko-Gel'fand ring of locally constant $\mattbb{Z}_2$-valued functions on the complement $C(A)$ of $A$ in $\mathbb{R}^n$. We also show that the $\mathbb{Z}_2$-equivariant homotopy type of $M(A)$ is determined by the oriented matroid of $A$. As an application, we give two examples of pairs of arrangements $A$ and $A'$ such that $M(A)$ and $M(A')$ have the same nonequivariant homotopy type, but are distinguished by the equivariant Orlik-Solomon algebra.

We describe an explicit geometric Littlewood-Richardson rule, interpreted as deforming the intersection of two Schubert varieties so that they break into Schubert varieties. There are no restrictions on the base field, and all multiplicities arising are 1; this is important for applications. This rule should be seen as a generalization of Pieri's rule to arbitrary Schubert classes, by way of explicit homotopies. It has a straightforward bijection to other Littlewood-Richardson rules, such as tableaux, and Knutson and Tao's puzzles. This gives the first geometric proof and interpretation of the Littlewood-Richardson rule. It has a host of geometric consequences, described in the companion paper "Schubert induction". The rule also has an interpretation in K-theory, suggested by Buch, which gives an extension of puzzles to K-theory. The rule suggests a natural approach to the open question of finding a Littlewood-Richardson rule for the flag variety, leading to a conjecture, shown to be true up to dimension 5. Finally, the rule suggests approaches to similar open problems, such as Littlewood-Richardson rules for the symplectic Grassmannian and two-flag varieties.

This paper starts with an observation that two infinite series of simplicial complexes, which a priori do not seem to have anything to do with each other, have the same homotopy type. One series consists of the complexes of directed forests on a double directed string, while the other one consists of Shapiro-Welker models for the spaces of hyperbolic polynomials with a triple root. We explain this coincidence in the more general context by finding an explicit homotopy equivalence between complexes of directed forests on a double directed tree, and doubly disconnecting complexes of a tree.

There is a one-to-one correspondence between geometric lattices and the intersection lattices of arrangements of homotopy spheres. When the arrangements are essential and fully partitioned, Zaslavsky's enumeration of the cells of the arrangement still holds. An application of the theory shows that all minimal cellular resolutions of matroid Steiner ideals are bounded subcomplexes of homotopy sphere arrangements of the given matroid. As a result the Betti numbers of the ideal are computed and seen to be equivalent to Stanley's formula in the special case of face ideals of independence complexes of matroids.

We study diagrams associated with a finite simplicial complex K, in various algebraic and topological categories. We relate their colimits to familiar structures in algebra, combinatorics, geometry and topology. These include: right-angled Artin and Coxeter groups (and their complex analogues, which we call circulation groups); Stanley-Reisner algebras and coalgebras; Davis and Januszkiewicz's spaces DJ(K) associated with toric manifolds and their generalisations; and coordinate subspace arrangements. When K is a flag complex, we extend well-known results on Artin and Coxeter groups by confirming that the relevant circulation group is homotopy equivalent to the space of loops $ΩDJ(K)$. We define homotopy colimits for diagrams of topological monoids and topological groups, and show they commute with the formation of classifying spaces in a suitably generalised sense. We deduce that the homotopy colimit of the appropriate diagram of topological groups is a model for $ΩDJ(K)$ for an arbitrary complex K, and that the natural projection onto the original colimit is a homotopy equivalence when K is flag. In this case, the two models are compatible.

In this paper we represent the Vassiliev model for the homotopy type of the one-point compactification of subspace arrangements as a homotopy colimit of an appropriate diagram over the nerve complex of the intersection semilattice of the arrangement. Furthermore, using a generalization of simplicial collapses to diagrams of topological spaces over simplicial complexes, we construct an explicit deformation retraction from the Vassiliev model to the Ziegler-Zivaljevic model.

A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can be misleading. An intrinsic homotopy theory, not based on such realisation but agreeing with it, is introduced. The applications developed here are aimed at image analysis in metric spaces and have connections with digital topology and mathematical morphology. A metric space X has a structure of simplicial complex at each (positive) resolution e; the resulting n-homotopy group detects those singularities which can be captured by an n-dimensional grid, with edges bound by e; this works equally well for continuous or discrete regions of euclidean spaces. Its computation is based on direct, intrinsic methods.

The Orlik-Solomon algebra ${\cal A}(G)$ of a matroid $G$ is the free exterior algebra on the points, modulo the ideal generated by the circuit boundaries. On one hand, this algebra is a homotopy invariant of the complement of any complex hyperplane arrangement realizing $G$. On the other hand, some features of the matroid $G$ are reflected in the algebraic structure of ${\cal A}(G)$. In this mostly expository article, we describe recent developments in the construction of algebraic invariants of ${\cal A}(G)$. We develop a categorical framework for the statement and proof of recently discovered isomorphism theorems which suggests a possible setting for classification theorems. Several specific open problems are formulated.

Given a hyperplane arrangement in a complex vector space of dimension n, there is a natural associated arrangement of codimension k subspaces in a complex vector space of dimension k*n. Topological invariants of the complement of this subspace arrangement are related to those of the complement of the original hyperplane arrangement. In particular, if the hyperplane arrangement is fiber-type, then, apart from grading, the Lie algebra obtained from the descending central series for the fundamental group of the complement of the hyperplane arrangement is isomorphic to the Lie algebra of primitive elements in the homology of the loop space for the complement of the associated subspace arrangement. Furthermore, this last Lie algebra is given by the homotopy groups modulo torsion of the loop space of the complement of the subspace arrangement. Looping further yields an associated Poisson algebra, and generalizations of the "universal infinitesimal Poisson braid relations."