An obstruction to embedding a simplicial \(n\)-complex into a 2\(n\)-manifold
type: Item
instance of: scholarly article
title: An obstruction to embedding a simplicial \(n\)-complex into a 2\(n\)-manifold
zbMATH Open document ID: 0997.55022
DOI: 10.1016/S0166-8641(01)00193-6
author: Craig M. Johnson
published in: Topology and its Applications
publication date: 2002-08-22T00:00:00Z
review text: Let \(f:|K|\to M\) be a continuous map, where \(K\) is a connected \(n\)-dimensional finite simplicial complex and \(M\) is a smooth orientable \(2n\)-manifold without boundary. This paper provides a necessary and sufficient condition for \(f\) to be homotopic to an embedding. Standard techniques imply that \(f\) can be assumed to be a general map, which means, roughly, that \(f\) is a smooth embedding of each simplex, and that \(f\) is globally an embedding except for possible transverse intersection of the images of distinct \(n\)-simplices. Now consider the complex \(J^*K = \{ \sigma \times\tau\mid \sigma \cap \tau =\emptyset\}/(\sigma\times\tau\sim \tau\times\sigma)\). The function which assigns to each \((\sigma,\tau)\) the intersection number of \(f(\sigma)\) and \(f(\tau)\) is shown to be a cocyle. Its cohomology class \(\gamma(f) \in H^{2n}(J^*(K);\mathbb{Z})\) is called the obstruction to finding a homotopy of \(f\) to an embedding. The main result shows that, if \(n\geq 3\), then \(f\) is homotopic to an embedding if and only if \(\gamma(f)=0\).
Mathematics Subject Classification ID: 55S35
Mathematics Subject Classification ID: 57Q35
zbMATH DE Number: 1787586
zbMATH Keywords: obstruction
zbMATH Keywords: embedding
zbMATH Keywords: manifold
zbMATH Keywords: simplicial complex
reviewed by: Jeffrey Strom
MaRDI profile type: Publication
cites work: Q4098838
cites work: Immersions of Manifolds
cites work: Q5584509
cites work: On Regular Neighbourhoods
cites work: Embeddings of polyhedral manifolds
cites work: The first obstruction to embedding a 1-complex in a 2-manifold
cites work: Q4064159
cites work: Q3935151
cites work: Obstructions to the imbedding of a complex in a euclidean space. I: The first obstruction
cites work: L'elimination des points doubles dans le cas combination des points doubles dans le cas combinatoire
cites work: The self-intersections of a smooth \(n\)-manifold in \(2n\)-space
cites work: Differential Topology
cites work: Unknotting combinatorial balls
description: scientific article; zbMATH DE number 1787586