Stable Pontryagin-Thom construction for proper maps (Q2003785): Difference between revisions

A map \(f:X\to Y\) is said to be proper if \(f^{-1}(C)\) is compact for any compact subspace \(C\subset Y.\) Two proper maps \(f,g:X\to Y\) are called proper homotopic if there is a proper map \(H:X\times [0,1]\to Y\) such that \(H\vert X\times \{0\}=f\) and that \(H\vert X\times \{1\}=g\). We denote by \([X,Y]_{prop}\) the set of proper homotopy classes of proper maps \(X\to Y\). If \(f:X\to Y\) is a proper map, one can define the suspension of \(f\) \(Sf:X\times \mathbb{R}\to Y\times \mathbb{R}\) given by \((x,t)\mapsto (f(x),t)\) and this also induces the suspension map \(S:[X,Y]_{prop}\to [X\times \mathbb{R},Y\times \mathbb{R}]_{prop}\). Let \(W\) be a smooth manifold of dimension \(m+k\) and let \(M\subset W\) be an \(m\)-dimensional closed smooth embedded submanifold with a trivial normal bundle. Then we say that a framing of \(M\) is a map of the form \textbf{\textit{u}}\(=(u_1,\dots ,u_k):M\to NM\), where \(NM\) denotes the normal bundle of \(M\) in \(W\) and the \(u_i\)'s are point-wise linearly independent smooth normal vector fields, and the pair \((M,\)\textbf{\textit{u}}\()\) is called a framed submanifold. Two framed submanifolds \((M_0,\)\textbf{\textit{u}}\()\) and \((M_1,\)\textbf{\textit{v}}\()\) are called to be framed cobordant if there is a framed compact submanifold with boundary \((C,\)\textbf{\textit{w}}\()\) of \(W\times [0,1]\) such that \(\partial C\subset W\times \{0,1\}\), \(\partial C\cap W\times \{i\}=M_i\) \((i=0,1)\) and that the framings \textbf{\textit{u}} and \textbf{\textit{v}} coincide with the restriction of \textbf{\textit{w}}. We denote by Emb\(^{fr}_m(W)\) the set of framed cobordism classes of \(m\)-dimensional closed manifolds embedded in \(W\) with a framing. \par In this paper the author proves that for any \(m,k\in \mathbb{N}\) there is an positive integer \(n_0\in \mathbb{N}\) such that, for any smooth manifold \(W\) of dimension \(m+k\) and for any \(n>n_0\), there is a bijection Emb\(^{fr}_m(W\times \mathbb{R}^n)\cong [W\times \mathbb{R}^n,\mathbb{R}^{k+n}]_{prop}\) given by the Pontryagin-Thom construction. As an application, he gives proofs to two conjectures given by \textit{T. O. Rot} [Arch. Math. 114, No. 1, 107--117 (2020; Zbl 1432.55023)].