arXiv++ Combinatorics

The purpose of this article is to initiate a combinatorial study of the Bruhat-Chevalley ordering on certain sets of permutations obtained by omitting the parentheses from their standard cyclic notation. In particular, we show that these sets form a bounded, graded, unimodal, rank-symmetric and EL-shellable posets. Moreover, we determine the homotopy types of the associated order complexes.

The Brouwer fixed point theorem states that the disk $D^n$ has the fixed point property. More generally, by the Lefschetz fixed point theorem any compact ANR with trivial rational homology has the fixed point property. In this note we prove that for any connected compact CW-complex $K$ there exists a space $X$ weak homotopy equivalent to $K$ which has the fixed point property. The result is known to be false if we require $X$ to be a polyhedron. The space $X$ we construct is a non-Hausdorff space with finitely many points.

In the framework of digital topology, we study structural and topological properties of digital n-dimensional manifolds. We introduce the notion of simple connectedness of a digital space and prove that if M and N are homotopy equivalent digital spaces and M is simply connected, then so is N. We show that a simply connected digital 2-manifold is the digital 2-sphere and a simply connected digital 3-manifold is the digital 3-sphere. This property can be considered as a digital form of the Poincaré conjecture for continuous three-manifolds.

In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We prove that the resulting homology theory verifies a discrete analogue of the Eilenberg-Steenrod axioms, and prove a discrete analogue of the Mayer-Vietoris exact sequence. Moreover, this discrete homology theory is related to the discrete homotopy theory of a metric space through a discrete analogue of the Hurewicz theorem. We study the class of groups that can arise as discrete homology groups and, in this setting, we prove that the fundamental group of a smooth, connected, metrizable, compact manifold is isomorphic to the discrete fundamental group of a `fine enough' rectangulation of the manifold. Finally, we show that this discrete homology theory can be coarsened, leading to a new non-trivial coarse invariant of a metric space.

The set of all permutations, ordered by pattern containment, forms a poset. This paper presents the first explicit major results on the topology of intervals in this poset. We show that almost all (open) intervals in this poset have a disconnected subinterval and are thus not shellable. Nevertheless, there seem to be large classes of intervals that are shellable and thus have the homotopy type of a wedge of spheres. We prove this to be the case for all intervals of layered permutations that have no disconnected subintervals of rank 3 or more. We also characterize in a simple way those intervals of layered permutations that are disconnected. These results carry over to the poset of generalized subword order when the ordering on the underlying alphabet is a rooted forest. We conjecture that the same applies to intervals of separable permutations, that is, that such an interval is shellable if and only if it has no disconnected subinterval of rank 3 or more. We also present a simplified version of the recursive formula for the Möbius function of decomposable permutations given by Burstein et al.

We define a partial ordering on the set Q = Q(M) of pairs of topes of an oriented matroid M, and show the geometric realization |Q| of the order complex of Q has the same homotopy type as the Salvetti complex of M. For any element e of the ground set, the complex |Qe| associated to the rank-one oriented matroid on {e} has the homotopy type of the circle. There is a natural free simplicial action of Z4 on |Q|, with orbit space isomorphic to the order complex of the poset Q(M,e) associated to the pointed (or affine) oriented matroid (M,e). If M is the oriented matroid of an arrangement A of linear hyperplanes in real space, the Z_4 action corresponds to the diagonal action of C* on the complement M of the complexification of A: |Q| is equivariantly homotopy-equivalent to M under the identification of Z_4 with {+1, i, -1, -i}, and |Q(M, e)| is homotopy-equivalent to the complement of the decone of A relative to the hyperplane corresponding to e. All constructions and arguments are carried out at the level of the underlying posets. If a group G acts on the set of topes of M preserving adjacency, then G acts simplicially on |Q|. We also show that the class of fundamental groups of such complexes is strictly larger than the class of fundamental groups of complements of complex hyperplane arrangements. Specifically, the group of the non-Pappus arrange- ment is not isomorphic to any realizable arrangement group.

A classic problem in matroid theory is to find subspace arrangements, specifically hyperplane and pseudosphere arrangements, whose intersection posets are isomorphic to a prescribed geometric lattice. Engström recently showed how to construct an infinite family of such subspace arrangements, indexed by the set of finite regular CW complexes. In this note, we compute the face numbers of these representations (in terms of the face numbers of the indexing complexes) and give upper bounds on the total number of faces in these objects. In particular, we show that, for a fixed rank, the total number of faces in the Engström representation corresponding to a codimension one homotopy sphere arrangement is bounded above by a polynomial in the number of elements of the matroid with degree one less than its rank.

We study the effect of edge contractions on simplicial homology because these contractions have turned to be useful in various applications involving topology. It was observed previously that contracting edges that satisfy the so called link condition preserves homeomorphism in low dimensional complexes, and homotopy in general. But, checking the link condition involves computation in all dimensions, and hence can be costly, especially in high dimensional complexes. We define a weaker and more local condition called the p-link condition for each dimension p, and study its effect on edge contractions. We prove the following: (i) For homology groups, edges satisfying the p- and (p-1)-link conditions can be contracted without disturbing the p-dimensional homology group. (ii) For relative homology groups, the (p-1)-, and the (p-2)-link conditions suffice to guarantee that the contraction does not introduce any new class in any of the resulting relative homology groups, though some of the existing classes can be destroyed. Unfortunately, the surjection in relative homolgy groups does not guarantee that no new relative torsion is created. (iii) For torsions, edges satisfying the p-link condition alone can be contracted without creating any new relative torsion and the p-link condition cannot be avoided. The results on relative homology and relative torsion are motivated by recent results on computing optimal homologous chains, which state that such problems can be solved by linear programming if the complex has no relative torsion. Edge contractions that do not introduce new relative torsions, can safely be availed in these contexts.

We prove that a graph whose chromatic number is 2 is a homotopy test graph. We also prove that there is a graph $K$ with two involutions $γ_1$ and $γ_2$ such that $(K,γ_1)$ is a Stiefel-Whitney test graph, but $(K,γ_2)$ is not. These are answers to some of the problems suggested by Kozlov.

We examine the first non-vanishing higher homotopy group, $π_p$, of the complement of a hypersolvable, non--supersolvable, complex hyperplane arrangement, as a module over the group ring of the fundamental group, $\Zπ_1$. We give a presentation for the $I$--adic completion of $π_p$. We deduce that the second nilpotent $I$--adic quotient of $π_p$ is determined by the combinatorics of the arrangement, and we give a combinatorial formula for the second associated graded piece, $\gr^1_I π_p$. We relate the torsion of this graded piece to the dimensions of the minimal generating systems of the Orlik--Solomon ideal of the arrangement $\A$ in degree $p+2$, for various field coefficients. When $\A$ is associated to a finite simple graph, we show that $\gr^1_I π_p$ is torsion--free, with rank explicitly computable from the graph.

Let p be a prime number and G a finite group of order divisible by p. Quillen showed that the Brown poset of nonidentity p-subgroups of G is homotopy equivalent to its subposet of nonidentity elementary abelian subgroups. We show here that a similar statement holds for the fusion category of nonidentity p-subgroups of G. Other categories of p-subgroups of G are also considered.

For a finite simplicial complex K and a CW-pair (X,A), there is an associated CW-complex Z_K(X,A), known as a polyhedral product. We apply discrete Morse theory to a particular CW-structure on the n-sphere moment-angle complexes Z_K(D^{n}, S^{n-1}). For the class of simplicial complexes with vertex-decomposable duals, we show that the associated n-sphere moment-angle complexes have the homotopy type of wedges of spheres. As a corollary we show that a sufficiently high suspension of any restriction of a simplicial complex with vertex-decomposable dual is homotopy equivalent to a wedge of spheres.

We provide formulas and algorithms for computing the excess numbers of certain ideals. The solution for monomial ideals is given by the mixed volumes of certain polytopes. These results enable us to design specific homotopies for numerical algebraic geometry.

We prove that the complement of any affine 2-arrangement in R^d is minimal, that is, it is homotopy equivalent to a cell complex with as many i-cells as its i-th rational Betti number. For the proof, we provide a Lefschetz-type hyperplane theorem for complements of 2-arrangements, and introduce Alexander duality for combinatorial Morse functions. Our results greatly generalize previous work by Falk, Dimca--Papadima, Hattori, Randell, and Salvetti--Settepanella and others, and they demonstrate that in contrast to previous investigations, a purely combinatorial approach suffices to show minimality and the Lefschetz Hyperplane Theorem for complements of complex hyperplane arrangements.

Toric topology emerged in the end of the 1990s on the borders of equivariant topology, algebraic and symplectic geometry, combinatorics and commutative algebra. It has quickly grown up into a very active area with many interdisciplinary links and applications, and continues to attract experts from different fields. The key players in toric topology are moment-angle manifolds, a family of manifolds with torus actions defined in combinatorial terms. Their construction links to combinatorial geometry and algebraic geometry of toric varieties via the related notion of a quasitoric manifold. Discovery of remarkable geometric structures on moment-angle manifolds led to seminal connections with the classical and modern areas of symplectic, Lagrangian and non-Kaehler complex geometry. A related categorical construction of moment-angle complexes and their generalisations, polyhedral products, provides a universal framework for many fundamental constructions of homotopical topology. The study of polyhedral products is now evolving into a separate area of homotopy theory, with strong links to other areas of toric topology. A new perspective on torus action has also contributed to the development of classical areas of algebraic topology, such as complex cobordism. The book contains lots of open problems and is addressed to experts interested in new ideas linking all the subjects involved, as well as to graduate students and young researchers ready to enter into a beautiful new area.

Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect is often prominent and justifies the terminology. For example, Tambara's theorem states that the category of finite polynomial functors is the Lawvere theory for commutative semirings. In this talk I will explain how an upgrade of the theory from sets to groupoids is useful to deal with data types with symmetries, and provides a common generalisation of and a clean unifying framework for quotient containers (cf. Abbott et al.), species and analytic functors (Joyal 1985), as well as the stuff types of Baez-Dolan. The multi-variate setting also includes relations and spans, multispans, and stuff operators. An attractive feature of this theory is that with the correct homotopical approach - homotopy slices, homotopy pullbacks, homotopy colimits, etc. - the groupoid case looks exactly like the set case. After some standard examples, I will illustrate the notion of data-types-with-symmetries with examples from quantum field theory, where the symmetries of complicated tree structures of graphs play a crucial role, and can be handled elegantly using polynomial functors over groupoids. (These examples, although beyond species, are purely combinatorial and can be appreciated without background in quantum field theory.) Locally cartesian closed 2-categories provide semantics for 2-truncated intensional type theory. For a fullfledged type theory, locally cartesian closed \infty-categories seem to be needed. The theory of these is being developed by D.Gepner and the author as a setting for homotopical species, and several of the results exposed in this talk are just truncations of \infty-results obtained in joint work with Gepner. Details will appear elsewhere.

We present different ways of endowing a particular category of graphs with Quillen model structures. We show, among other things, that the core of a graph can be seen as its homotopy type in an appropriate Quillen model structure, and that an infinity of Quillen model structures exist for our particular category of graphs.

We classify flag complexes on at most 12 vertices with torsion in the first homology group. The result is moderately computer-aided. As a consequence we confirm a folklore conjecture that the smallest poset whose order complex is homotopy equivalent to the real projective plane (and also the smallest poset with torsion in the first homology group) has exactly 13 elements.

Clique complexes of Erdős-Rényi random graphs with edge probability between $n^{-{1\over 3}}$ and $n^{-{1\over 2}}$ are shown to be aas not simply connected. This entails showing that a connected two dimensional simplicial complex for which every subcomplex has fewer than three times as many edges as vertices must have the homotopy type of a wedge of circles, two spheres and real projective planes. Note that $n^{-{1\over 3}}$ is a threshold for simple connectivity and $n^{-{1\over 2}}$ is one for vanishing first $\F_2$ homology.

For every $k \ge 1$, the $k$th cohomology group $H^k(X, \Q)$ of the random flag complex $X \sim X(n,p)$ passes through two phase transitions: one where it appears, and one where it vanishes. We describe the vanishing threshold and show that it is sharp. Using the same spectral methods, we also find a sharp threshold for the fundamental group $π_1(X)$ to have Kazhdan's property (T). Combining with earlier results, we obtain as a corollary that for every $k \ge 3$ there is a regime in which the random flag complex is rationally homotopy equivalent to a bouquet of $k$-dimensional spheres.