On Walkup's class K(d) and a minimal triangulation of (S^390\(}S^1)^{\#3}\)

From MaRDI portal
Publication:536224



Abstract: For dgeq2, Walkup's class calK(d) consists of the d-dimensional simplicial complexes all whose vertex-links are stacked (d−1)-spheres. Kalai showed that for dgeq4, all connected members of calK(d) are obtained from stacked d-spheres by finitely many elementary handle additions. According to a result of Walkup, the face vector of any triangulated 4-manifold X with Euler characteristic chi satisfies f1geq5f0−15/2chi, with equality only for XincalK(4). K"{u}hnel observed that this implies f0(f0−11)geq−15chi, with equality only for 2-neighborly members of calK(4). K"{u}hnel also asked if there is a triangulated 4-manifold with f0=15, chi=−4 (attaining equality in his lower bound). In this paper, guided by Kalai's theorem, we show that indeed there is such a triangulation. It triangulates the connected sum of three copies of the twisted sphere product S3imes−2.8mm−S1. Because of K"{u}hnel's inequality, the given triangulation of this manifold is a vertex-minimal triangulation. By a recent result of Effenberger, the triangulation constructed here is tight. Apart from the neighborly 2-manifolds and the infinite family of (2d+3)-vertex sphere products Sd−1imesS1 (twisted for d odd), only fourteen tight triangulated manifolds were known so far. The present construction yields a new member of this sporadic family. We also present a self-contained proof of Kalai's result.


The authors present an interesting example of a 15-vertex triangulation of a 4-manifold with \(\chi= -4\). This satisfies equality in Walkup's inequality \(n\,(n- 11)\geq -15\chi\). Another example is an 11-vertex triangulation of \(S^1\times S^3\). A stronger inequality in this context is \({n-6\choose 2}\geq {6\choose 2}\beta_1\), where \(\beta_1\) denotes the first Betti number. The example shows that there are more instances of equality, so these inequalities are sharp in principle. Moreover, this triangulation is a tight triangulation, as recently shown by \textit{F. Effenberger} in [J. Comb. Theory, Ser. A 118, No. 6, 1843--1862 (2011; Zbl 1282.52015)]. In fact, any 2-neighborly member of Walkup's class \({\mathcal K}(d)\) is tight for \(d\geq 4\). The construction of the example follows the definition of Walkup's class: Start with a certain triangulated 5-stacked ball with 30 vertices. Then identify three pairs of appropriate 4-dimensional simplices of the boundary.











This page was built for publication: On Walkup's class \(\mathcal K(d)\) and a minimal triangulation of \((S^3\rotatebox{90}{\(\ltimes\)}S^1)^{\#3}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q536224)