Triangulation of the 4-dimensional torus (Q1381326)

The author describes a symmetric triangulation of the 4-dimensional torus with 31 vertices. It is different from that obtained by \textit{W. Kühnel} and \textit{G. Lassmann} [Discrete Comput. Geom. 3, 169-176 (1988; Zbl 0634.52008)], which is denoted by (K-L). The construction is based on so-called invariant triangulations of \(\mathbb{R}^d\), which means that the vertices belong to the lattice \(\mathbb{Z}^d\) and the triangulation is invariant with respect to the translations of \(\mathbb{Z}^d\). While it is shown that there exists only one invariant triangulation of \(\mathbb{R}^d\) for each \(d\leq 3\) (up to affine transformations), the author constructs three different invariant triangulations of \(\mathbb{R}^4\). One of them corresponds to (K-L), the second leads to the new triangulation of the 4-torus, while the third cannot be carried over to the torus. The construction is based on the Hurwitz lattice \(\Lambda_4\), which may be defined by \(2\Lambda_4=\{(x,y,z,t)\in\mathbb{Z}^4:x\equiv y\equiv z\equiv t\bmod 2\}\). It is shown that the symmetry group of the new triangulation of the 4-torus is of order \(6\times 31\), while that of (K-L) is of order \(10\times 31\). The order of the symmetry group of the 4-simplices of the new triangulation is \(12\), compared with \(10\) for (K-L).