On transverse triangulations (Q2869228)

A triangulation of a smooth manifold \(X\) is a pair \((K,\eta)\), where \(K\) is a simplicial complex, \(| K|\) is a geometric realization of \(K\) and \(\eta: | K|\to X\) is a homeomorphism satisfying certain conditions. The author proves that if \(X\) and \(Y\) are smooth manifolds and if \(h: Y\to X\) is a smooth map, then \(X\) has a smooth triangulation \((K,\eta)\) such that \(h\) is transverse to the restriction of \(\eta\) to the interior of every simplex of \(K\). The result was originally stated without a proof in the author's paper [Trans. Am. Math. Soc. 360, No. 5, 2741--2765 (2008; Zbl 1213.57031)]. It was proved in [\textit{M. Scharlemann}, Pac. J. Math. 80, 245--251 (1979; Zbl 0419.57003)] under the assumption that \(h\) is a smooth proper map.