4-Manifolds which embed in IR6 but not in IR5, and Seifert manifolds for fibered knots.
In his 1930 paper, Kuratowski proves that a finite graph Γ is planar if and only if it does not contain a subgraph that is homeomorphic to K₅, the complete graph on five vertices, or , the complete bipartite graph on six vertices. This result is also attributed to Pontryagin. In this paper we present an ℓ²-homological method for detecting non-planar graphs. More specifically, we view a graph Γ as the nerve of a related Coxeter system and construct the associated Davis complex, . We then use a...
For a knot with a strong inversion induced by an unknotting tunnel, we have a double covering projection branched over a trivial knot , where is the axis of . Then a set is called a -curve. We construct -curves and the cyclic branched coverings over -curves, having two non-isotopic Heegaard decompositions which are one stable equivalent.