Cobordism of singular maps (Q1006113)

The author classifies maps of positive codimension with restricted singularities up to cobordism. A right-left equivalence class of germs \((\mathbb{R}^c,0)\to (\mathbb{R}^{c+k},0)\) of fixed codimension \(k> 0\) and suspension determines a codimension \(k> 0\) singularity, \(\eta\). Let \(f: M^n\to P^{n+k}\) be a smooth map from an \(n\)-dimensional smooth manifold to an \((n+k)\)-dimensional smooth manifold with fixed codimension \(k> 0\) and \(\tau\) a set of codimension \(k> 0\) stable singularity classes. We say that \(f\) is a \(\tau\)-map if at any point in \(M^n\) the germ of \(f\) belongs to one of the classes in \(\tau\). For an arbitrary oriented smooth \((n+k)\)-dimensional manifold \(P^{n+k}\), \(\text{Cob}_\tau(P^{n+k})\) denotes the set of oriented \(\tau\)-cobordism classes of \(\tau\)-maps of \(n\)-dimensional manifolds in \(P^{n+k}\). Kazarian introduced a classifying space \({\mathcal K}_\tau\). This space shows which cohomology classes are represented by singularity strata. The author and \textit{R. Rimányi} [Topology 37, No. 6, 1177--1191 (1998; Zbl 0924.57035)] and the author [Mat. Sb., N. Ser. 108(150), 433--456 (1979; Zbl 0412.57023) and Topology, Proc. Symp., Siegen 1979, Lect. Notes Math. 788, 223--244 (1980; Zbl 0442.57017)] introduced a classifying space \(X_\tau\) which gives a homotopy representation of cobordisms of \(\tau\)-maps. In this paper, the author proves the Kazarian conjecture which connects the Kazarian space and Szűcs-Rimányi space. To prove this, the author proves that the \(\tau\)-cobordism group \(\text{Cob}_\tau(P^{n+k})\) equals the cobordism group of \(\tau\)-embeddings and he uses the Pontryagin-Thom construction for these \(\tau\)-embeddings. The author also computes the rational cobordims groups of Morin maps explicitly and gives a complete solution to a question of eliminating singularities by \(\tau\)-cobordism.