Canonical embeddings of \(S^1\times\Delta^{n-1}\) into orientable \(n\)-dimensional closed \(PL\) manifolds for \(n>4\) (Q386135): Difference between revisions

The paper treats, in the \(PL\) category, an embedding extension problem. Simply described, can we extend an embedding of a surface to an embedding of its regular neighborhood? The last said implies that a surface is already in some ambient space. Let \(M\) be an \(n\)-dimensional, orientable closed \(PL\) manifold, \(L\) its triangulation and \(K\) the first barycentric subdivision of \(L\). For each embedded oriented circle \(c\) in general position with respect to \(K\), a canonical embedding \(CE(c)\) of \(S^1\times \Delta^{n-1}\) into a regular neighborhood of of \(c\) in \(M\) is defined. For a surface \(F\) with boundary one selects a standard surface \(SF\) in \(\mathbb R^n\) and a regular neighborhood \(W(SF)\) of \(SF\) in such a way that its restriction to boundary circle \(c\) of \(SF\) is a regular neighborhood \(W(c)\) of \(c\) in \(\mathbb R^n\). Let \(w:SF\to M\) be an embedding in good general position with respect to \(K\), i.e. \(w\) is locally flat, in transversal position with respect to \(K\) and for each boundary circle of \(SF\), the circle \(w(c)\) is in good general position with respect to \(K\). Using the canonical embeddings, an embedding \(\varphi(w(c))\) from \(W(c)\) into a regular neighborhood of \(w(c)\) in \(M\) is defined. The symbol \(n(w)\) denotes the number of the intersection points of \(w(SF)\) with the \((n-2)\) skeleton \(K^{n-2}\) of \(K\) and \(k(w)\) the number of boundary circles of the surface \(SF\). Then for \(n>4\), \(w\) together with \(\varphi(w(c))\) for the boundary circles \(c\), extends to an orientation preserving embedding of \(W(SF)\) to a regular neighborhood of \(w(SF)\) in \(M\) iff \(k(w) + n(w)\) is even.