arXiv++ Combinatorics

We use a classical result of McCord and reduction methods of finite spaces to prove a generalization of Thomason's theorem on homotopy colimits over posets. In particular this allows us to characterize the homotopy colimits of diagrams of simplicial complexes in terms of the Grothendieck construction on the diagrams of their face posets. We also derive analogues of well known results on homotopy colimits in the combinatorial setting, including a cofinality theorem and a generalization of Quillen's Theorem A for posets.

We introduce a new class of poset edge labelings for locally finite lattices which we call $SB$-labelings. We prove for finite lattices which admit an $SB$-labeling that each open interval has the homotopy type of a ball or of a sphere of some dimension. Natural examples include the weak order, the Tamari lattice, and the finite distributive lattices.

We prove that every primary basic semialgebraic set is homotopy equivalent to the set of inscribed realizations (up to Möbius transformation) of a polytope. If the semialgebraic set is moreover open, then, in addition, we prove that (up to homotopy) it is a retract of the realization space of some inscribed neighborly (and simplicial) polytope. We also show that all algebraic extensions of $\mathbb{Q}$ are needed to coordinatize inscribed polytopes. These statements show that inscribed polytopes exhibit the Mnëv universality phenomenon. Via stereographic projections, these theorems have a direct translation to universality theorems for Delaunay subdivisions. In particular, our results imply that the realizability problem for Delaunay triangulations is polynomially equivalent to the existential theory of the reals.

Any finite simplicial complex K and a partition of the vertex set of K determines a canonical quotient space of the moment-angle complex of K. We prove that the cohomology groups of such a space can be computed via some Hochster's type formula, which generalizes the usual Hochster's formula for the cohomology groups of moment-angle complexes. In addition, we show that the stable decomposition of moment-angle complexes can also be extended to such spaces. This type of spaces include all the quasitoric manifolds that are pullback from the linear models. And we prove that the moment-angle complex associated to a finite simplicial poset is always homotopy equivalent to one of such spaces.

We introduce the notion of decomposition space as a general framework for incidence algebras and Möbius inversion: it is a simplicial infinity-groupoid satisfying an exactness condition weaker than the Segal condition, which expresses decomposition. We work on the objective level of homotopy linear algebra with coefficients in infinity-groupoids, developed along the way. To any (complete) decomposition space there is associated an incidence (co)algebra (with coefficients in infinity-groupoids), shown to satisfy a sign-free version of the Möbius inversion principle. Examples of decomposition spaces beyond Segal spaces are given by the Waldhausen S-construction and by Schmitt restriction species. Imposing certain homotopy finiteness conditions yields the notion of Möbius decomposition space, an extension of the notion of Möbius category of Leroux. We take a functorial viewpoint throughout, emphasising conservative ULF functors, and show that most reduction procedures in the classical theory are examples of this notion, and in particular that many are examples of decalage of decomposition spaces. Our main theorem concerns the Lawvere-Menni Hopf algebra of Möbius intervals, which contains the universal Möbius function (but does not come from a Möbius category): we establish that Möbius intervals form a decomposition space, which is in some sense universal. NOTE: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call it unital 2-Segal space. Our theory is quite orthogonal to theirs.

We prove a generalization of a result by Dong and Santos-Sturmfels about the homotopy type of the Alexander dual of balls and spheres. Our results involve NH-manifolds, which were recently introduced as the non-homogeneous (or non-pure) counterpart of classical polyhedral manifolds. We show that the Alexander dual of an NH-ball is contractible and the Alexander dual of an NH-sphere is homotopy equivalent to a sphere. We also prove that NH-balls and NH-spheres arise naturally as the double duals of standard balls and spheres.

Let $r$ be a positive integer. An $r$-set is a pair $X= (V(X),R(X))$ consisting of a set $V(X)$ with a subset $R(X)$ of the direct product $V(X)^r$. The object of this paper is to investigate the Hom complexes of $r$-sets, which were introduced for graphs in the context of the graph coloring problem. In the first part, we introduce simplicial sets which we call singular complexes, and show that singular complexes and Hom complexes are naturally homotopy equivalent. The second part is devoted to the generalization of $\times$-homotopy theory established by Dochtermann. We show the folding theorem for hypergraphs which was partly proved by Iriye and Kishimoto.

The purpose of this paper is to establish analogues of the classical Lefschetz Section Theorem for smooth tropical varieties. More precisely, we prove tropical analogues of the section theorems of Lefschetz, Andreotti-Frankel, Bott-Milnor-Thom, Hamm-Lê and Kodaira-Spencer, and the vanishing theorems of Andreotti-Frankel and Akizuki-Kodaira-Nakano. We start the paper by resolving a conjecture of Mikhalkin and Ziegler (2008) concerning the homotopy types of certain filtrations of geometric lattices, generalizing several known properties of full geometric lattices. This translates to a crucial index estimate for the stratified Morse data at critical points of the tropical variety; it can also by itself be interpreted as a Lefschetz-type theorem for matroids.

In the present article, we describe constructions of model structures on general bicomplete categories. We are motivated by the following question: given a category $\mathcal{C}$ with a subcategory $w\mathcal{C}$ closed under retracts, when is there a model structure on $\mathcal{C}$ with $w\mathcal{C}$ as the subcategory of weak equivalences? We begin exploring this question in the case where $w\mathcal{C} = F^{-1}(\mathrm{iso}\, \mathcal{D})$ for some functor $F:\mathcal{C}\rightarrow \mathcal{D}$. We also prove properness of our constructions under minor assumptions and examine an application to the category of infinite graphs.

Box complex is a $\mathbb{Z}_2$-space associated to a graph, and it is known that a certain $\mathbb{Z}_2$-homotopy invariant of it, called the $\mathbb{Z}_2$-index, gives an effective lower bound for the chromatic number. On the other hand, we show that any $\mathbb{Z}_2$-homotopy invariant of the box complex is not equivalent to the chromatic number. Namely, we construct a graph homomorphism $f:X \rightarrow Y$ such that it gives rise to a $\mathbb{Z}_2$-homotopy equivalence between their box complexes, but $X$ and $Y$ have different chromatic numbers. To see this, we show that some deformations of graphs do not change the $\mathbb{Z}_2$-simple homotopy types of box complexes.

For each composition $\vec{c}$ we show that the order complex of the poset of pointed set partitions $Π^{\bullet}_{\vec{c}}$ is a wedge of spheres of the same dimension with the multiplicity given by the number of permutations with descent composition $\vec{c}$. Furthermore, the action of the symmetric group on the top homology is isomorphic to the Specht module $S^{B}$ where $B$ is a border strip associated to the composition. We also study the filter of pointed set partitions generated by a knapsack integer partition and show the analogous results on homotopy type and action on the top homology.

Kierstead, Szemerédi, and Trotter showed that a graph with at most $\lfloor r/(2n)\rfloor^n$ vertices such that each ball of radius $r$ in it is $c$-colorable should have chromatic number at most $n(c-1)+1$. We show that this estimate is sharp in $r$. Namely, for every $n$, $r$, and $c$ we construct a graph $G$ containing $O((2rc)^{n-1}c)$ vertices such that $χ(G)\geq n(c-1)+1$, although each ball of radius $r$ in $G$ is $c$-colorable. The core idea is the construction of a graph whose neighborhood complex is homotopy equivalent to the join of neighborhood complexes of two given graphs.

Let X be a finite set. This paper describes some topological and combinatorial properties of the poset Ω_X of order relations on X. In particular, the homotopy type of all the intervals in Ω_X is precisely determined, and the Möbius function of Ω_X is computed.

The phylogenetic tree space, introduced by Billera, Holmes, and Vogtmann, is a cone over a simplicial complex. In this short article, we construct this complex from local gluings of classical polytopes, the associahedron and the permutohedron. Its homotopy is also reinterpreted and calculated based on polytope data.

It is often hypothesized that a crucial role for recurrent connections in the brain is to constrain the set of possible response patterns, thereby shaping the neural code. This implies the existence of neural codes that cannot arise solely from feedforward processing. We set out to find such codes in the context of one-layer feedforward networks, and identified a large class of combinatorial codes that indeed cannot be shaped by the feedforward architecture alone. However, these codes are difficult to distinguish from codes that share the same sets of maximal activity patterns in the presence of noise. When we coarsened the notion of combinatorial neural code to keep track only of maximal patterns, we found the surprising result that all such codes can in fact be realized by one-layer feedforward networks. This suggests that recurrent or many-layer feedforward architectures are not necessary for shaping the (coarse) combinatorial features of neural codes. In particular, it is not possible to infer a computational role for recurrent connections from the combinatorics of neural response patterns alone. Our proofs use mathematical tools from classical combinatorial topology, such as the nerve lemma and the existence of an inverse nerve. An unexpected corollary of our main result is that any prescribed (finite) homotopy type can be realized by removing a polyhedron from the positive orthant of some Euclidean space.

A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of self-homotopy equivalences on a quasi-schemoid is introduced. The main theorem enables us to deduce that the homotopy invariant for the quasi-schemoid induced by a finite group is isomorphic to the automorphism group of the given group.

A recent pair of papers of Armstrong, Loehr, and Warrington and Armstrong, Williams, and the author initiated the systematic study of {\em rational Catalan combinatorics} which is a generalization of Fuss-Catalan combinatorics (which is in turn a generalization of classical Catalan combinatorics). The latter paper gave two possible models for a rational analog of the associahedron which attach simplicial complexes to any pair of coprime positive integers a < b. These complexes coincide up to the Fuss-Catalan level of generality, but in general one may be a strict subcomplex of the other. Verifying a conjecture of Armstrong, Williams, and the author, we prove that these complexes agree up to homotopy and, in fact, that one complex collapses onto the other. This reconciles the two competing models for rational associahedra. As a corollary, we get that the involution (a < b) \longleftrightarrow (b-a < b) on pairs of coprime positive integers manifests itself topologically as Alexander duality of rational associahedra. This collapsing and Alexander duality are new features of rational Catalan combinatorics which are invisible at the Fuss-Catalan level of generality.

We introduce a class of combinatorial singularities of Lagrangian skeleta of symplectic manifolds. The link of each singularity is a finite regular cell complex homotopy equivalent to a bouquet of spheres. It is determined by its face poset which is naturally constructed starting from a tree (nonempty finite acyclic graph). The choice of a root vertex of the tree leads to a natural front projection of the singularity along with an orientation of the edges of the tree. Microlocal sheaves along the singularity, calculated via the front projection, are equivalent to modules over the quiver given by the directed tree.

In this paper, we define the notion of closed models defined by counting, and we compute their homotopy categories. We apply this construction to various categories of graphs. We show that there does not exist a closed model in the category of undirected graphs which characterizes the Ihara Zeta function in the sense that, a morphism $f:X\rightarrow Y$ is a weak equivalence for this model if and only if it induces a bijection between the sets of non degenerated cycles of $X$ and $Y$. Finally, we apply our construction to Galoisian complexes and dessins d'enfant.

We introduce to the context of multigraded modules the methods of modules over categories from algebraic topology and homotopy theory. We develop the basic theory quite generally, with a view toward future applications to a wide class of graded modules over graded rings. The main application in this paper is to study the Betti poset B=B(I,k) of a monomial ideal I in the polynomial ring R=k[x_1,...,x_m] over a field k, which consists of all degrees in Z^m of the homogeneous basis elements of the free modules in the minimal free Z^m-graded resolution of I over R. We show that the order simplicial complex of B supports a free resolution of I over R. We give a formula for the Betti numbers of I in terms of Betti numbers of open intervals of B, and we show that the isomorphism class of B completely determines the structure of the minimal free resolution of I, thus generalizing with new proofs results of Gasharov, Peeva, and Welker. We also characterize the finite posets that are Betti posets of a monomial ideal.