Related papers: Knotted surfaces, Homological Norm and Extendable …

We show that the problem of deciding whether a knot in a fixed closed orientable 3-dimensional manifold bounds a surface of genus at most $g$ is in co-NP. This answers a question of Agol, Hass, and Thurston in 2002. Previously, this was…

For every integer $g\ge 2$ we construct 3-dimensional genus-$g$ 1-handlebodies smoothly embedded in $S^4$ with the same boundary, and which are defined by the same cut systems of their boundary, yet which are not isotopic rel. boundary via…

Given a nonorientable, locally flatly embedded surface in the $4$-sphere of nonorientable genus $h$, Massey showed that the normal Euler number lies in $\lbrace -2h,-2h+4,\ldots,2h-4,2h \rbrace$. We prove that every such surface with knot…

Let F a closed connected orientable surface bounding a genus g handlebody H. In this paper we find a finite set of generators for the subgroup E(2,g) of the pure mapping class group of the twice punctured torus PMCG(2,g), consisting of the…

A projective algebraic surface which is homeomorphic to a ruled surface over a curve of genus $g\ge 1$ is itself a ruled surface over a curve of genus $g$. In this note, we prove the analogous result for projective algebraic manifolds of…

By a lattice theoretic approach, Brandhorst--Hashimoto has made the list of K3 surfaces with finite groups of automorphisms which properly contain a maximal symplectic automorphism group. We give $3$ different explicit descriptions to the…

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

Let K be the kernel of an epimorphism G -> Z, where G is a finitely presented group. If K has infinitely many subgroups of index 2, 3, or 4, then it has uncountably many. Moreover, if K is the commutator subgroup of a classical knot group…

In their previous works arXiv:2105.11026, arXiv:2206.10749, Cristofaro-Gardiner, Humili\`ere, Mak, Seyfaddini and Smith defined links spectral invariants on connected compact surfaces and used them to show various results on the algebraic…

In this paper, we study surfaces embedded in $4$-manifolds. We give a complete set of moves relating banded unlink diagrams of isotopic surfaces in an arbitrary $4$-manifold. This extends work of Swenton and Kearton-Kurlin in $S^4$. As an…

A Seifert surface F for a knot K is free if the complement of F is a handlebody (i.e., has free fundamental group). The free genus of K is the minimum genus among all free Seifert surfaces for K. In this paper we show that there exist…

Let $X\subset \P^5$ be a smooth cubic fourfold. A well known conjecture asserts that $X$ is rational if and only if there an Hodge theoretically associated K3 surface $S$. The surface $S$ can be associated to $X$ in two other different…

We consider orientation-preserving actions of finite groups $G$ on pairs $(S^3, \Sigma)$, where $\Sigma$ denotes a compact connected surface embedded in $S^3$. In a previous paper, we considered the case of closed, necessarily orientable…

Internal stabilization adds a trivial handle to an embedded surface in a coordinate chart. It is known that any pair of smoothly knotted surfaces in a simply-connected $4$-manifold become smoothly isotopic after sufficiently many internal…

The knot group is the fundamental group of a knot or link complement. A necessary and sufficient conditions for a group to be realized as the knot group of some link was provided. This result was shown using the closed braid method.…

Link homology theories (such as knot Floer homology and Khovanov homology) have become indispensable tools for studying knots and links, including powerful 4-dimensional obstructions. These notes, based on lectures given at the 2024 Georgia…

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…

Let $S$ be a regular minimal surface of general type over the field of complex numbers, and $\mathrm{Aut}_\mathbb{Q}(S)$ the subgroup of automorphisms acting trivially on $H^*(S,\mathbb{Q})$. It has been known since twenty years that…

We show that for any finitely presented group $G$, there is a simply connected closed 4-manifold containing an infinite family of topologically isotopic but smoothly inequivalent 2-links whose 2-link group is $G$. We also show that, if $G$…

Let $S_{g,1,p}$ be an orientable surface of genus $g$ with one boundary component and $p$ punctures. Let $\mathcal{M}_{g,1,p}$ be the mapping-class group of $S_{g,1,p}$ relative to the boundary. We construct homomorphisms…