arXiv++ Combinatorics

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.

We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably complex structure is induced by an omniorientation. Studying connected sums of products of the $B_{i,j}$ allows us to deduce that every complex cobordism class of dimension >2 contains a toric manifold, necessarily connected, and so provides a positive answer to the toric analogue of Hirzebruch's famous question for algebraic varieties. In previous work, we dealt only with disjoint unions, and ignored the relationship between the stably complex structure and the action of the torus. In passing, we introduce a notion of connected sum $#$ for simple $n$-dimensional polytopes; when $P^n$ is a product of simplices, we describe $P^n# Q^n$ by applying an appropriate sequence of {\it pruning operators}, or hyperplane cuts, to $Q^n$.