Paper detail

Three-dimensional normal pseudomanifolds with relatively few edges

Let $Δ$ be a $d$-dimensional normal pseudomanifold, $d \ge 3.$ A relative lower bound for the number of edges in $Δ$ is that $g_2$ of $Δ$ is at least $g_2$ of the link of any vertex. When this inequality is sharp $Δ$ has relatively minimal $g_2$. For example, whenever the one-skeleton of $Δ$ equals the one-skeleton of the star of a vertex, then $Δ$ has relatively minimal $g_2.$ Subdividing a facet in such an example also gives a complex with relatively minimal $g_2.$ We prove that in dimension three these are the only examples. As an application we determine the combinatorial and topological type of $3$-dimensional $Δ$ with relatively minimal $g_2$ whenever $Δ$ has two or fewer singularities. The topological type of any such complex is a pseudocompression body, a pseudomanifold version of a compression body. Complete combinatorial descriptions of $Δ$ with $g_2(Δ) \le 2$ are due to Kalai [12] $(g_2=0)$, Nevo and Novinsky [13] $(g_2=1)$ and Zheng [21] $(g_2=2).$ In all three cases $Δ$ is the boundary of a simplicial polytope. Zheng observed that for all $d \ge 0$ there are triangulations of $S^d \ast \mathbb{RP}^2$ with $g_2=3.$ She asked if this is the only nonspherical topology possible for $g_2(Δ)=3.$ As another application of relatively minimal $g_2$ we give an affirmative answer when $Δ$ is $3$-dimensional.