The dihedral genus of a knot

From MaRDI portal
(Redirected from Publication:784254)



Abstract: Let KsubsetS3 be a Fox p-colored knot and assume K bounds a locally flat surface SsubsetB4 over which the given p-coloring extends. This coloring of S induces a dihedral branched cover XoS4. Its branching set is a closed surface embedded in S4 locally flatly away from one singularity whose link is K. When S is homotopy ribbon and X a definite four-manifold, a condition relating the signature of X and the Murasugi signature of K guarantees that S in fact realizes the four-genus of K. We exhibit an infinite family of knots Km with this property, each with a {Fox 3-}colored surface of minimal genus m. As a consequence, we classify the signatures of manifolds X which arise as dihedral covers of S4 in the above sense.


There are several highly influential open questions regarding the surfaces that a knot in the 3-sphere can bound in the 4-ball. For a given type of surface (smooth, topological, locally flat, homotopy ribbon, etc.) one can ask for the minimal genus of such a surface bounded by a fixed knot \(K\). There are several relations between the different genera that one obtains in this way for a knot \(K\), but in general it is challenging to prove that a given surface really is of minimal genus (among surfaces of the relevant type). This article studies the \(p\)-dihedral genus of a knot \(K\), defined as the minimal genus of any locally flat, orientable surface \(S\) in the 4-ball, bounded by \(K\) in \(S^3\) such that some \(p\)-coloring of \(K\) extends over \(S\). The coloring of \(S\) allows a construction of a dihedral branched cover \(X\to S^4\). The authors obtain a lower bound for the \(p\)-dihedral genus, which becomes an equality if \(S\) is homotopy ribbon, \(X\) is a definite manifold and the signature of \(X\) satisfies a condition in relation to the Murasugi signature of \(K\). The formula implies that if these conditions are satisfied, then \(S\) realizes the 4-genus of \(K\). Furthermore, the authors prove for any given non-negative integer \(m\) the existence of an infinite family of knots \(K_m\), for which the 3-dihedral genus and the topological 4-genus are both equal to \(m\).











This page was built for publication: The dihedral genus of a knot

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784254)