arXiv++ Combinatorics

We extend the notion of discrete homotopy groups of graphs to arbitrary cubical sets, and show that the discrete homotopy groups of quasisymmetric cubical sets are naturally isomorphic to the homotopy groups of their geometric realizations. Here, quasisymmetric cubical sets are cubical sets equipped with coordinate permutation symmetries that are compatible with faces and degeneracies, but not necessarily with connections. We give a purely combinatorial construction of the left adjoint of the forgetful functor from the category of quasisymmetric cubical sets to the category of cubical sets, and prove that the unit of this adjunction is an objectwise weak equivalence. As a consequence, we obtain a purely combinatorial description of the homotopy groups of the geometric realizations of arbitrary cubical sets. As an application, we establish the Hurewicz theorem for the discrete homotopy groups of quasisymmetric cubical sets.

The fundamental group of a directed graph admits a natural sequence of quotient groups called $r$-fundamental groups, and the $r$-fundamental groups can capture properties of a directed graph that the fundamental group cannot capture. The fundamental group of a directed graph is related to path homology through the Hurewicz theorem. The magnitude-path spectral sequence connects magnitude homology and path homology of a directed graph, and it may be thought of as a sequence of homology of a directed graph, including path homology. In this paper, we study relations of the $r$-fundamental groups and the magnitude-path spectral sequence through the Hurewicz theorem and the Seifert-van Kampen theorem.

We show a criterion for a skeleton of a manifold triangulation being embeddable into Euclidean space in terms of the complement of a submanifold. As an application, we obtain embeddability of a $(q-1)$-skeleton of a triangulation of an $S^p$-bundle over $S^q$ into $\mathbb{R}^{p+q}$.

The van Kampen-Flores theorem states that the $d$-skeleton of a $(2d+2)$-simplex does not embed into $\mathbb{R}^{2d}$. We prove the van Kampen-Flores theorem for triangulations of manifolds satisfying a certain condition on their Stiefel-Whitney classes. In particular, we show that the $d$-skeleton of a triangulation of a $(2d+1)$-manifold with non-trivial total Stiefel-Whitney class does not embed into $\mathbb{R}^{2d}$.

The Golodness of a simplicial complex is defined algebraically in terms of the Stanley-Reisner ring, and it has been a long-standing problem to find its combinatorial characterization. The tightness of a simplicial complex is a combinatorial analogue of a tight embedding of a manifold into the Euclidean space, and has been studied in connection to minimal manifold triangulations. In this paper, we prove that tight complexes are Golod, and as a corollary, we obtain that for triangulations of closed connected orientable manifolds, the Golodness and the tightness are equivalent.

We show that a relation among minimal non-faces of a fillable complex $K$ yields an identity of iterated (higher) Whitehead products in a polyhedral product over $K$. In particular, for the $(n-1)$-skeleton of a simplicial $n$-sphere, we always have such an identity, and for the $(n-1)$-skeleton of a $(n+1)$-simplex, the identity is the Jacobi identity of Whitehead products ($n=1$) and Hardie's identity of higher Whitehead products ($n\ge 2$).

The notions Golodness and tightness for simplicial complexes come from algebra and geometry, respectively. We prove these two notions are equivalent for 3-manifold triangulations, through a topological characterization of a polyhedral product for a tight-neighborly manifold triangulation of dimension $\ge 3$.

The topological Tverberg theorem states that any continuous map of a $(d+1)(r-1)$-simplex into the Euclidean $d$-space maps some points from $r$ pairwise disjoint faces of the simplex to the same point whenever $r$ is a prime power. We substantially generalize this theorem to continuous maps of certain CW complexes, including simplicial $((d+1)(r-1)-1)$-spheres, into the Euclidean $d$-space. We also discuss the atomicity of the Tverberg property.

We characterize two-dimensional Golod complexes combinatorially by vertex-breakability and topologically by the fat-wedge filtration of a polyhedral product. Applying the characterization, we consider a difference between Golodness over fields and rings, which enables us to give a two-dimensional simple Golod complex over any field such that the corresponding moment-angle complex is not a suspension.

In toric topology, to a simplicial complex $K$ with $m$ vertices, one associates two spaces, the moment-angle complex $\mathcal{Z}_K$ and the Davis-Januszkiewicz space $DJ_K$. These spaces are connected by a homotopy fibration $\mathcal{Z}_K\to DJ_K\to(\mathbb{C}P^\infty)^m$. In this paper, we show that the map $\mathcal{Z}_K\to DJ_K$ is identified with a wedge of iterated (higher) Whitehead products for a certain class of simplicial complexes $K$ including dual shellable complexes. We will prove the result in a more general setting of polyhedral products.

Golodness of 2-dimensional simplicial complexes is studied through polyhedral products, and combinatorial and topoogical characterization of Golodness of surface triangulations is given. An answer to the question of Berglund is also given so that there is a 2-dimensional simplicial complex which is rationally Golod but is not Golod over $\mathbb{Z}/p$.

We prove that for a simplicial complex $K$ whose Taylor resolution for the Stanley-Reisner ring is minimal, the following four conditions are equivalent: (1) $K$ satisfies the strong gcd-condition; (2) $K$ is Golod; (3) the moment-angle complex $\mathcal{Z}_K$ is homotopy equivalent to a wedge of spheres; (4) the decomposition of the suspension of the polyhedral product $\mathcal{Z}_K(C\underline{X},\underline{X})$ due to Bahri, Bendersky, Cohen, and Gitler desuspends.

The polyhedral product constructed from a collection of pairs of cones and their bases and a simplicial complex $K$ is studied by investigating its filtration called the fat wedge filtration. We give a sufficient condition for decomposing the polyhedral product in terms of the fat wedge filtration of the real moment-angle complex for $K$, which is a desuspension of the decomposition of the suspension of the polyhedral product due to Bahri, Bendersky, Cohen, and Gitler. We show that the condition also implies a strong connection with the Golodness of $K$, and is satisfied when $K$ is dual sequentially Cohen-Macaulay over $\mathbb{Z}$ or $\lceil\frac{\dim K}{2}\rceil$-neighborly so that the polyhedral product decomposes. Specializing to moment-angle complexes, we also give a necessary and sufficient condition for their decomposition and co-H-structures in terms of their fat wedge filtration.

The polyhedral product is a space constructed from a simplicial complex and a collection of pairs of spaces, which is connected with the Stanley Reisner ring of the simplicial complex via cohomology. Generalizing the previous work Grbic and Theriault, Grujic and Welker, and the authors, we show a decomposition of polyhedral products for a large class of simplicial complexes including the ones whose Alexander duals are shellable or sequentially Cohen-Macaulay. This implies the property, called Golod, of the corresponding Stanley-Reisner rings proved by Herzog, Reiner and Welker.

We prove that certain polyhedral products, including the moment-angle complexes, for the Alexander duals of shellable and sequentially Cohen-Macaulay complexes decompose into wedges of explicitly given suspension spaces, which implies the properties of the Stanley-Reisner rings, known as Golod, of theses complexes.