-knots via the mapping class group of the twice punctured torus.
We describe unicorn paths in the arc graph and show that they form 1-slim triangles and are invariant under taking subpaths. We deduce that all arc graphs are 7-hyperbolic. Considering the same paths in the arc and curve graph, this also shows that all curve graphs are 17-hyperbolic, including closed surfaces.
We describe a combinatorial algorithm for constructing all orientable 3-manifolds with a given standard bidimensional spine by making use of the idea of bijoin (Bandieri and Gagliardi (1982), Graselli (1985)) over a suitable pseudosimplicial triangulation of the spine.
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.