Some minimal nonembeddable complexes
type: Item
instance of: scholarly article
title: Some minimal nonembeddable complexes
zbMATH Open document ID: 0817.57022
DOI: 10.1016/0166-8641(93)90135-Z
author: Göran Schild
published in: Topology and its Applications
publication date: 1995-07-31T00:00:00Z
review text: The author presents a method for constructing finite simplicial complexes which cannot be embedded into \(\mathbb{R}^ n\) and are minimal with respect to this property (in the sense that any proper subcomplex can be embedded into \(\mathbb{R}^ n\)). The method also covers many of the previously known examples of such complexes, notably those of \textit{E. R. van Kampen} [Abh. Math. Semin. Univ. Hamb. 9, 72-78, 152-153 (1932; Zbl 0005.02604)], \textit{Flores} [Erg. Math. Kolloq. 5, 17-24 (1933; Zbl 0007.36803)], \textit{B. Grünbaum} [Comment. Math. Helv. 44, 502-513 (1969; Zbl 0188.286)], \textit{J. Zaks} [Proc. Am. Math. Soc. 20, 439-444 (1969; Zbl 0176.532)] and \textit{K. S. Sarkaria} [Topology 30, 67-76 (1991; Zbl 0721.57012)]. We briefly describe the method. The author calls a finite simplicial complex \({\mathcal K}\) nice if it is a simplex (more precisely, the complex of all faces of a simplex \(\sigma\), including \(\sigma\)) or if it is a subcomplex of a simplex such that for every subset \(S\) of the vertex set \(\text{vert }{\mathcal K}\), exactly one of the subsets \(S\) or \(\text{vert } {\mathcal K}\setminus S\) spans a simplex of \({\mathcal K}\). It is then shown that if \({\mathcal K}\) is the join of nice complexes \({\mathcal K}_ i\) \((i=1, \dots, r)\) having \(n_ i+2\) vertices if \({\mathcal K}_ i\) is a simplex and \(n_ i+3\) vertices else, then \({\mathcal K}\) cannot be embedded into \(\mathbb{R}^ n\) where \(n= 2r-2+ \sum_{i=1}^ r n_ i\). Moreover, \({\mathcal K}\) is minimal except if all \({\mathcal K}_ i\) are simplexes, of it \(r=1\) and \({\mathcal K}_ 1\) consists of the proper faces of a simplex and an isolated vertex. (It is asserted without proof that if non-embeddability into the sphere \(\mathbb{S}^ n\) instead of \(\mathbb{R}^ n\) is considered, then all these complexes are minimal.) The proof of non-embeddability uses a result of Borsuk-Ulam type by \textit{C.-T. Yang} [Ann. Math., II. Ser. 60, 262-282 (1954; Zbl 0057.391)]. In…
Mathematics Subject Classification ID: 57Q35
zbMATH DE Number: 500707
zbMATH Keywords: finite simplicial complex
zbMATH Keywords: non-embeddability
reviewed by: Hermann Hähl
MaRDI profile type: Publication
cites work: Q5547252
cites work: Imbeddings of simplicial complexes
cites work: Charakterisierung der Komplexe der Ebene und der 2-Sphäre
cites work: Kuratowski complexes
cites work: Q3209869
cites work: Obstructions to the imbedding of a complex in a euclidean space. I: The first obstruction
cites work: Imbedding Classes and n-Minimal Complexes
cites work: Komplexe in euklidischen Räumen
cites work: Q5567004
cites work: On theorems of Borsuk-Ulam, Kakutani-Yamabe-Yujobô and Dyson. I
cites work: On a Minimality Property of Complexes
cites work: On minimal complexes
description: scientific article; zbMATH DE number 500707