arXiv++ Combinatorics

For a metric space $X$ and $r \geq 0$, the Vietoris-Rips complex $\mathcal{VR}(X;r)$ is a simplicial complex whose simplices are finite subsets of $X$ with diameter at most $r$. Vietoris-Rips complexes have applications in various places, including data analysis, geometric group theory, sensor networks, etc. Consider the integer lattice $\mathbb{Z}^n$ as a metric space equipped with the $d_1$-metric (the Manhattan metric or standard word metric in the Cayley graph). Ziga Virk proved that if either $r \geq n^2(2n-1)$, or $1\leq n \leq 3$ and $r \geq n$, then the complex $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible, and posed a question if $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. Recently, Matthew Zaremsky improved Ziga's result and proved that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $r \geq n^2+ n-1$. Further, he conjectured that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. We prove Zaremsky's conjecture for $n \leq 5$, i.e., we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $n \leq 5$ and $r \geq n$. Further, we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for $r \geq 10$. We determine the homotopy type of $\mathcal{VR}(\mathbb{Z}^n;2)$, and show that these complexes are homotopy equivalent to a wedge of countably infinite copies of $\mathbb{S}^3$. We also show that $\mathcal{VR}(\mathbb{Z}^n;r)$ is simply connected for $r \geq 2$.

The study of face-number-related invariants in simplicial complexes is a central topic in combinatorial topology. Among these, the invariant $g_2$ plays a significant role. For a normal $d$-pseudomanifold $K$ ($d \geq 3$), it is known that $g_2(K) \geq g_2(lk(v, K))$ for every vertex $v$. If $K$ has at most two singularities and satisfies $g_2(K) = g_2(lk(t, K))$ for a singular vertex $t$, then $g_3(K) \geq g_3(lk(t,K))$ holds. A normal $d$-pseudomanifold $K$ is called $g_2$- and $g_3$-optimal if $g_2(K) = g_2(lk (t,K))$ and $g_3(K) = g_3(lk (t,K))$ for a singular vertex $t$. In this article, we establish structural results for normal $4$-pseudomanifolds under $g_2$- and $g_3$-optimality conditions. We show that if $K$ is a normal $4$-pseudomanifold with exactly one singular vertex $t$ and is $g_2$- and $g_3$-optimal at $t$, then $K$ can be obtained from boundary complexes of $5$-simplices through a sequence of operations of types vertex foldings and connected sums. When $K$ has exactly two singularities and is $g_2$- and $g_3$-optimal at one singular vertex, it is derived from the boundary complexes of $4$-simplices through a sequence of operations of types one-vertex suspensions, vertex foldings, and connected sums. Alternatively, we prove that if $K$ has two singular vertices and is $g_2$- and $g_3$-optimal at one of them, then it arises from boundary complexes of $5$-simplices through a sequence of operations of types vertex foldings, edge foldings, and connected sums.

This article focuses on a class of properly edge-colored graphs, which arise from topological combinatorics, and investigates their embeddings onto surfaces. Specifically, these graphs are known as the dual graphs of balanced normal pseudomanifolds. We introduce the concept of the balanced genus, which represents the smallest genus of a surface onto which the dual graph of a normal pseudomanifold can embed regularly. As a key result, we establish that for any 3-manifold $ M $ that is not a sphere, the balanced genus satisfies the lower bound $ \mathcal{G}_M \geq m+3 $, where $ m $ is the rank of its fundamental group of $M$. Furthermore, we prove that a 3-manifold $ M $ is homeomorphic to the 3-sphere if and only if its balanced genus $ \mathcal{G}_M $ is at most 3. Similarly, for 4-manifolds, we establish that if $ M $ is not homeomorphic to a sphere, then its balanced genus is bounded below by $ \mathcal{G}_M \geq 2χ(M) + 5m + 11 $. Moreover, a 4-manifold $ M $ is PL homeomorphic to the 4-sphere if and only if its balanced genus satisfies $ \mathcal{G}_M \leq 2χ(M) + 10 $. We believe that the balanced genus offers a new perspective in graph theory and combinatorics and will inspire further developments in the field in connection with algebraic combinatorics. To this end, we outline several directions for future research.

The degree of a map between orientable manifolds is a fundamental concept in topology that aids in understanding the structure and properties of the manifolds and the maps between them. Numerous studies have been conducted on the degree of maps between orientable topological spaces. For each $d \in \mathbb{Z}$, we construct a degree $ d$ simplicial map from a $(2(n+1) \max\{|d|,1\})$-facet colored triangulation of $\mathbb{S}^{n-1} \times \mathbb{S}^1$ to the standard $ 2(n+1) $-facet colored triangulation of $ \mathbb{S}^{n-1} \times \mathbb{S}^1 $. We demonstrate that these are the minimal possible colored triangulations for a degree $d $ simplicial self-map of $\mathbb{S}^{n-1} \times \mathbb{S}^1 $, where $n \geq 2 $. Additionally, we construct a minimal degree $d $ simplicial map from a closed orientable $ n$-manifold to $ \mathbb{S}^n $, where $n \geq 1 $.

The matching complex $\mathsf{M}(G)$ of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. These complexes appears in various places and found applications in many areas of mathematics including; discrete geometry, representation theory, combinatorics, etc. In this article, we consider the matching complexes of categorical product $P_n \times P_m$ of path graphs $P_n$ and $P_m$. For $m = 1$, $P_n \times P_m$ is a discrete graph and therefore its matching complex is the void complex. For $m = 2$, $\mathsf{M}(P_n \times P_m)$ has been proved to be homotopy equivalent to a wedge of spheres by Kozlov. We show that for $n \geq 2$ and $3 \leq m \leq 5$, the matching complex of $P_n \times P_m$ is homotopy equivalent to a wedge of spheres. For $m =3$, we give a closed form formula for the number and dimension of spheres appearing in the wedge. Further, for $m \in \{4, 5\}$, we give minimum and maximum dimension of spheres appearing in the wedge in the homotopy type of $\mathsf{M}(P_n \times P_m)$.

Numerous structural findings of homology manifolds have been derived in various ways in relation to $g_2$-values. The homology $4$-manifolds with $g_2\leq 5$ are characterized combinatorially in this article. It is well-known that all homology $4$-manifolds for $g_2\leq 2$ are polytopal spheres. We demonstrate that homology $4$-manifolds with $g_2\leq 5$ are triangulated spheres and are derived from triangulated 4-spheres with $g_2\leq 2$ by a series of connected sum, bistellar 1- and 2-moves, edge contraction, edge expansion, and edge flipping operations. We establish that the above inequality is optimally attainable, i.e., it cannot be extended to $g_2 = 6$.

The $g$-vector of a simplicial complex contains a lot of information about the combinatorial and topological structure of that complex. Several classification results regarding the structure of normal pseudomanifolds and homology manifolds have been established concerning the value of $g_2$. It is known that when $g_2=0$, all normal pseudomanifolds of dimensions at least three are stacked spheres. In the cases of $g_2=1$ and $2$, all homology manifolds are polytopal spheres and can be obtained through retriangulation or join operations from the previous ones. In this article, we provide a combinatorial characterization of the homology $d$-manifolds, where $d\geq 3$ and $g_2=3$. These are spheres and can be obtained through operations such as joins, some retriangulations, and connected sums from spheres with $g_2\leq 2$. Furthermore, we have presented a structural result on prime normal $d$-pseudomanifolds with $g_2=3$.

Let $Δ$ be a $g_2$-minimal normal 3-pseudomanifold. A vertex in $Δ$ whose link is not a sphere is called a singular vertex. When $Δ$ contains at most two singular vertices, its combinatorial characterization is known [9]. In this article, we present a combinatorial characterization of such a $Δ$ when it has three singular vertices, including one $\mathbb{RP}^2$-singularity, or four singular vertices, including two $\mathbb{RP}^2$-singularities. In both cases, we prove that $Δ$ is obtained from a one-vertex suspension of a surface, and some boundary complexes of $4$-simplices by applying the combinatorial operations of types connected sums, vertex foldings, and edge foldings.

Characterizing face-number-related invariants of a given class of simplicial complexes has been a central topic in combinatorial topology. In this regard, one of the well-known invariants is $g_2$. Let $K$ be a normal $3$-pseudomanifold such that $g_2(K) \leq g_2(lk (v)) + 9$ for some vertex $v$ in $K$. Suppose either $K$ has only one singularity or $K$ has two singularities (at least) one of which is an $\mathbb{RP}^2$-singularity. We prove that $K$ is obtained from some boundary complexes of $4$-simplices by a sequence of operations of types connected sums, bistellar $1$-moves, edge contractions, edge expansions, vertex foldings, and edge foldings. In case $K$ has one singularity, $|K|$ is a handlebody with its boundary coned off. Further, we prove that the above upper bound is sharp for such normal $3$-pseudomanifolds.