Related papers: Infinitely many pairs of spatial surfaces
A spatial surface is a compact surface embedded in the 3-sphere. In this paper, we provide several typical examples of spatial surfaces and construct a coloring invariant to distinguish them. The coloring is defined by using a multiple…
A multiple group rack is a rack which is a disjoint union of groups equipped with a binary operation satisfying some conditions. It is used to define invariants of spatial surfaces, i.e., oriented compact surfaces with boundaries embedded…
A spatial surface is a compact surface embedded in the $3$-sphere. We assume that a spatial surface is oriented and that each connected component of a spatial surface is neither a disk nor without a boundary. A diagram of a spatial surface…
We answer a question of Livingston from 1982 by producing Seifert surfaces of the same genus for a knot in $S^3$ that do not become isotopic when their interiors are pushed into $B^4$. In particular, we identify examples where the surfaces…
A mock Seifert matrix is an integral square matrix representing the Gordon-Litherland form of a pair $(K,F)$, where $K$ is a knot in a thickened surface and $F$ is an unoriented spanning surface for $K$. Using these matrices, we introduce a…
We show that any two same-genus, oriented, boundary parallel surfaces bounded by a non-split, alternating link into the 4-ball are smoothly isotopic fixing boundary. In other words, any same-genus Seifert surfaces for a non-split,…
We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms…
We give families of knots and links with pairs of Seifert surfaces that are topologically non-isotopic in $D^4$. This generalizes the main example of Hayden-Kim-Miller-Park-Sundberg and the proof is similarly based on the double branched…
We introduce (co)homology theory for multiple group racks and construct cocycle invariants of compact oriented surfaces in the 3-sphere using their 2-cocycles, where a multiple group rack is a rack consisting of a disjoint union of groups.…
The purpose of this note is to prove that the symplectic mapping class groups of many K3 surfaces are infinitely generated. Our proof makes no use of any Floer-theoretic machinery but instead follows the approach of Kronheimer and uses…
We give a necessary condition for two diagrams of $3$-regular spatial graphs with the same underlying abstract graph $G$ to represent isotopic spatial graphs. The test works by reading off the writhes of the knot diagrams coming from a…
Let f, g be two homotopic smooth embeddings of a closed surface in a closed oriented 5-dimensional manifold. We show that if f admits a common algebraic dual 3-sphere, or if the fundamental group of the ambient space is trivial, then f and…
Let $L$ be a non-split prime alternating link with $n>0$ crossings. We show that for each fixed $g$, the number of genus-$g$ Seifert surfaces for $L$ is bounded by an explicitly given polynomial in $n$. The result also holds for all…
We study locally flat, compact, oriented surfaces in $4$-manifolds whose exteriors have infinite cyclic fundamental group. We give algebraic topological criteria for two such surfaces, with the same genus $g$, to be related by an ambient…
The topology and symmetry group of a free boundary minimal surface in the three-dimensional Euclidean unit ball do not determine the surface uniquely. We provide pairs of non-isometric free boundary minimal surfaces having any sufficiently…
We study invariant Seifert surfaces for strongly invertible knots, and prove that the gap between the equivariant genus (the minimum of the genera of invariant Seifert surfaces) of a strongly invertible knot and the (usual) genus of the…
We give infinite series of groups Gamma and of compact complex surfaces of general type S with fundamental group Gamma such that 1) Any surface S' with the same Euler number as S, and fundamental group Gamma, is diffeomorphic to S. 2) The…
We explicitly construct new subgroups of the mapping class groups of an uncountable collection of infinite-type surfaces, including, but not limited to, free groups, Baumslag-Solitar groups, mapping class groups of other surfaces, and a…
We present a series of examples of pairs of singular semialgebraic surfaces (real semialgebraic sets of dimension two) in ${\mathbb R}^3$ and ${\mathbb R}^4$ which are bi-Lipschitz equivalent with respect to the outer metric, ambient…
Various curve complexes with vertices representing multicurves on a surface $S$ have been defined, for example [3], [4] and [8]. The homology curve complex $\mathcal{HC}(S,\alpha)$ defined in [7] is one such complex, with vertices…