arXiv++ Combinatorics

For a real oriented hyperplane arrangement, we show that the corresponding Salvetti complex is homotopy equivalent to the complement of the complexified arrangement. This result was originally proved by M. Salvetti. Our proof follows the framework of a proof given by L. Paris and relies heavily on the notation of oriented matroids. We also show that homotopy equivalence is preserved when we quotient by the action of the corresponding reflection group. In particular, the Salvetti complex of the braid arrangement in $\ell$ dimensions modulo the action of the symmetric group is a cell complex which is homotopy equivalent to the space of unlabelled configurations of $\ell$ distinct points. Lastly, we describe a construction of the orbit complex from the dual complex for all finite reflection arrangements in dimension 2. This description yields an easy derivation of the so-called "braid relations" in the case of braid arrangement.

In 2005 V. Turaev introduced the theory of topology of words and phrases. Turaev defined an equivalence relation on generalized words and phrases which is called homotopy. This is suggested by the Reidemeister moves in the knot theory. Then Turaev gave the homotopy classification of generalized words with less than or equal to five letters. In this paper we give the classification of generalized phrases up to homotopy with less than or equal to three letters. To do this we construct a new homotopy invariant for nanophrases over any $α$.

In this paper we give the stable classification of ordered, pointed, oriented multi-component curves on surfaces with minimal crossing number less than or equal to 2 such that any equivalent curve has no simply closed curves in its components. To do this, we use the theory of words and phrases which was introduced by V. Turaev. Indeed we give the homotopy classification of nanophrases with less than or equal to 4 letters. It is an extension of the classification of nanophrases of length 2 with less than or equal to 4 letters which was given by the author in a previous paper. This is a corrected version of Hokkaido University Preprint Series in Mathematics #921. I corrected the subsection 5.3 and added proofs of propositions.

For any rank $r$ oriented matroid $M$, a construction is given of a "topological representation" of $M$ by an arrangement of homotopy spheres in a simplicial complex which is homotopy equivalent to $S^{r-1}$. The construction is completely explicit and depends only on a choice of maximal flag in $M$. If $M$ is orientable, then all Folkman-Lawrence representations of all orientations of $M$ embed in this representation in a homotopically nice way.

This paper is concerned with nanowords, a generalization of links, introduced by Turaev. It is shown that the system of bigraded homology groups is an invariant of nanowords by introducing a new notion. This paper gives two examples which show the independence of this invariant from some of Turaev's homotopy invariants.

We generalise some results of R. E. Stong concerning finite spaces to wider subclasses of Alexandroff spaces. These include theorems on function spaces, cores and homotopy type. In particular, we characterize pairs of spaces X,Y such that the compact-open topology on C(X,Y) is Alexandroff, introduce the classes of finite-paths and bounded-paths spaces and show that every bounded-paths space and every countable finite-paths space has a core as its strong deformation retract. Moreover, two bounded-paths or countable finite-paths spaces are homotopy equivalent if and only if their cores are homeomorphic. Some results are proved concerning cores and homotopy type of locally finite spaces and spaces of height 1. We also discuss a mistake found in an article of F.G. Arenas on Alexandroff spaces. It is noted that some theorems of G. Minian and J. Barmak concerning the weak homotopy type of finite spaces and the results of R. E. Stong on finite H-spaces and maps from compact polyhedrons to finite spaces do hold for wider classes of Alexandroff spaces. Since the category of T_0 Alexandroff spaces is equivalent to the category of posets, our results may lead to a deeper understanding of the notion of a core of an infinite poset.

We survey interactions between the topology and the combinatorics of complex hyperplane arrangements. Without claiming to be exhaustive, we examine in this setting combinatorial aspects of fundamental groups, associated graded Lie algebras, higher homotopy groups, cohomology rings, twisted homology with rank 1 complex coefficients, and Milnor fibers.

Equivalence relations can be defined on Gauss phrases using combinatorial moves. In this paper we consider two closely related equivalence relations on Gauss phrases, homotopy and open homotopy. In particular, in each case, we define a new invariant and determine the values that it can attain.

A flag complex can be defined as a simplicial complex whose simplices correspond to complete subgraphs of its 1-skeleton taken as a graph. In this article, by introducing the notion of s-dismantlability, we shall define the s-homotopy type of a graph and show in particular that two finite graphs have the same s-homotopy type if, and only if, the two flag complexes determined by these graphs have the same simplicial simple-homotopy type (Theorem 2.10, part 1). This result is closely related to similar results established by Barmak and Minian (Adv. in Math., 218 (2008), 87-104) in the framework of posets and we give the relation between the two approaches (theorems 3.5 and 3.7). We conclude with a question about the relation between the s-homotopy and the graph homotopy defined by Chen, Yau and Yeh (Discrete Math., 241(2001), 153-170).

In this paper we provide an explicit formula for calculating the boolean number of a Ferrers graph. By previous work of the last two authors, this determines the homotopy type of the boolean complex of the graph. Specializing to staircase shapes, we show that the boolean numbers of the associated Ferrers graphs are the Genocchi numbers of the second kind, and obtain a relation between the Legendre-Stirling numbers and the Genocchi numbers of the second kind. In another application, we compute the boolean number of a complete bipartite graph, corresponding to a rectangular Ferrers shape, which is expressed in terms of the Stirling numbers of the second kind. Finally, we analyze the complexity of calculating the boolean number of a Ferrers graph using these results and show that it is a significant improvement over calculating by edge recursion.

With a view toward studying the homotopy type of spaces of Boolean formulae, we introduce a simplicial complex, called the theta complex, associated to any hypergraph, which is the Alexander dual of the more well-known independence complex. In particular, the set of satisfiable formulae in k-conjunctive normal form with less than or equal to n variables has the homotopy type of Theta(Cube(n,n-k)), where Cube(n,n-k) is a hypergraph associated to the (n-k)-skeleton of an n-cube. We make partial progress in calculating the homotopy type of theta for these cubical hypergraphs, and we also give calculations and examples for other hypergraphs as well. Indeed studying the theta complex of hypergraphs is an interesting problem in its own right.

In any Coxeter group, the set of elements whose principal order ideals are boolean forms a simplicial poset under the Bruhat order. This simplicial poset defines a cell complex, called the boolean complex. In this paper it is shown that, for any Coxeter system of rank n, the boolean complex is homotopy equivalent to a wedge of (n-1)-dimensional spheres. The number of such spheres can be computed recursively from the unlabeled Coxeter graph, and defines a new graph invariant called the boolean number. Specific calculations of the boolean number are given for all finite and affine irreducible Coxeter systems, as well as for systems with graphs that are disconnected, complete, or stars. One implication of these results is that the boolean complex is contractible if and only if a generator of the Coxeter system is in the center of the group. of these results is that the boolean complex is contractible if and only if a generator of the Coxeter system is in the center of the group.

We investigate one-point reduction methods of finite topological spaces. These methods allow one to study homotopy theory of cell complexes by means of elementary moves of their finite models. We also introduce the notion of h-regular CW-complex, generalizing the concept of regular CW-complex, and prove that the h-regular CW-complexes, which are a sort of combinatorial-up-to-homotopy objects, are modeled (up to homotopy) by their associated finite spaces. This is accomplished by generalizing a classical result of McCord on simplicial complexes.

We prove that the complex of proper non-trivial non-degenerate subspaces of a finite-dimensional vector space endowed with a non-degenerate sesquilinear form is homotopy equivalent to a wedge of spheres. Additionally, we show that the same is true for a slight generalization, the so-called generalized Phan geometries of type A_n. These generalized Phan geometries occur as relative links of certain filtrations. Their sphericity implies finiteness properties of suitable arithmetic groups and allows for a revision of Phan's group-theoretical local recognition of suitable finite groups of Lie type with simply laced diagram.

We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimetric inequalities to show that when p = O(n^{-1/2 -ε}) the fundamental group is word hyperbolic. Along the way we classify the homotopy types of sparse 2-dimensional simplicial complexes and establish isoperimetric inequalities for such complexes. These intermediate results do not involve randomness and may be of independent interest.

A few years ago Kramer and Laubenbacher introduced a discrete notion of homotopy for simplicial complexes. In this paper, we compute the discrete fundamental group of the order complex of the Boolean lattice. As it turns out, it is equivalent to computing the discrete homotopy group of the 1-skeleton of the permutahedron. To compute this group we introduce combinatorial techniques that we believe will be helpful in computing discrete fundamental groups of other polytopes. More precisely, we use the language of words, over the alphabet of simple transpositions, to obtain conditions that are necessary and sufficient to characterize the equivalence classes of cycles. The proof requires only simple combinatorial arguments. As a corollary, we also obtain a combinatorial proof of the fact that the first Betti number of the complement of the 3-equal arrangement is equal to $2^{n-3}(n^2-5n+8)-1.$ This formula was originally obtained by Björner and Welker in 1995.

We point out a flaw in papers by Daniel Biss devoted to homotopy type of matroid Grassmannians.

With a compact PL manifold X we associate a category T(X). The objects of T(X) are all combinatorial manifolds of type X, and morphisms are combinatorial assemblies. We prove that the homotopy equivalence BT (X) \approx BPL(X) holds, where PL(X) is the simplicial group of PL-homeomorphisms. Thus the space BT(X) is a canonical countable (as a CW-complex) model of BPL(X). As a result, we obtain functorial pure combinatorial models for PL fiber bundles with fiber X and a PL polyhedron B as the base. Such a model looks like a T(X)-coloring of some triangulation K of B. The vertices of K are colored by objects of T(X) and the arcs are colored by morphisms in such a way that the diagram arising from the 2-skeleton of K is commutative. Comparing with the classical results of geometric topology, we obtain combinatorial models of the real Grassmannian in small dimensions: BT(S^{n-1}) \approx BO(n) for n=1,2,3,4. The result is proved in a sequence of results on similar models of B\PL(X). Special attention is paid to the main noncompact case X=R^n and to the tangent bundle and Gauss functor of a combinatorial manifold. The trick that makes the proof possible is a collection of lemmas on "fragmentation of a fiberwise homeomorphism", a generalization of the folklore lemma on fragmentation of an isotopy.

We present a simple algorithm for determining the extremal points in Euclidean space whose convex hull is the nth polytope in the sequence known as the multiplihedra. This answers the open question of whether the multiplihedra could be realized as convex polytopes. We use this realization to unite the approach to A_n-maps of Iwase and Mimura to that of Boardman and Vogt. We include a review of the appearance of the nth multiplihedron for various n in the studies of higher homotopy commutativity, (weak) n-categories, A_infinity-categories, deformation theory, and moduli spaces. We also include suggestions for the use of our realizations in some of these areas as well as in related studies, including enriched category theory and the graph associahedra.

The absolute order is a natural partial order on a Coxeter group W. It can be viewed as an analogue of the weak order on W in which the role of the generating set of simple reflections in W is played by the set of all reflections in W. By use of a notion of constructibility for partially ordered sets, it is proved that the absolute order on the symmetric group is homotopy Cohen-Macaulay. This answers in part a question raised by V. Reiner and the first author. The Euler characteristic of the order complex of the proper part of the absolute order on the symmetric group is also computed.