Related papers: Non-orientable slice surfaces and inscribed rectan…

We show that if $M$ is a compact smooth manifold diffeomorphic to the total space of an orientable $S^2$ bundle over the torus $T^2$, then its diffeomorphism group does not have the Jordan property, i.e., Diff$(M)$ contains a finite…

We show that certain smooth tori with group $\mathbb{Z}$ in $S^4$ have exteriors with standard equivariant intersection forms, and so are topologically unknotted. These include the turned 1-twist-spun tori in the 4-sphere constructed by…

In this article, we completely classify torus bundles over the circle that bound 4-manifolds with the rational homology of the circle. Along the way, we classify certain integral surgeries along chain links that bound rational homology…

We investigate certain $4$-dimensional analogues of the classical $3$-dimensional Dehn's lemma, giving examples where such analogues do or do not hold, in the smooth and topological categories. In particular, we show that an essential…

A triangulation of a punctured or pinched surface is irreducible if no edge can be shrunk without producing multiple edges or changing the topological type of the surface. The finiteness of the set of (non-isomorphic) irreducible…

Among the knots that are the connected sum of two torus knots with cobordism distance 1, we characterize those that have 4-dimensional clasp number at least 2, and we show that their n-fold connected self-sum has 4-dimensional clasp number…

We study the geometry of hyperbolic knots that admit alternating projections on embedded surfaces in closed 3-manifolds. We show that, under mild hypothesis, their cusp area admits two sided bounds in terms of the twist number of the…

We consider a surface link in the 4-space which can be presented by a simple branched covering over the standard torus, which we call a torus-covering link. Torus-covering links include spun $T^2$-knots and turned spun $T^2$-knots. In this…

In this paper we exhibit infinite families of embedded tori in 4-manifolds that are topologically isotopic but smoothly distinct. The interesting thing about these tori is that they are topologically trivial in the sense that each bounds a…

We consider closed acylindrical surfaces in 3-manifolds and in knot and link complements, and show that the genus of these surfaces is bounded linearly by the number of tetrahedra in the triangulation of the manifold and by the number of…

We study smooth proper embeddings of compact orientable surfaces in compact orientable $4$-manifolds and elements in the mapping class group of that surface which are induced by diffeomorphisms of the ambient $4$-manifolds. We call such…

We introduce a 4-dimensional analogue of the rational Seifert genus of a knot $K\subset Y$, which we call the rational slice genus, that measures the complexity of a homology class in $H_2(Y\times [0,1],K;\mathbb{Q})$. Our main theorem is a…

We show that Haefliger's differentiable (6,3)-knot bounds, in 6-space, a 4-manifold (a Seifert surface) of arbitrarily prescribed signature. This implies, according to our previous paper, that the Seifert surface has been prolonged in a…

With its boundary tracing out a link or knot in 3D, the Seifert surface is a 2D surface of core importance to topological classification. We propose the first-ever experimentally realistic setup where Seifert surfaces emerge as the boundary…

Our objective is to illuminate the global structure of non-orientable manifolds with signature-changing metrics, with particular emphasis on global topological obstructions. Using explicit geometric constructions based on the topology of…

For each connected alternating tangle, we provide an infinite family of non-left-orderable L-spaces. This gives further support for Conjecture [3] of Boyer, Gordon, and Watson that is a rational homology 3-sphere is an L-space if and only…

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…

This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincar\'e duality…

We study trisections of smooth, compact non-orientable 4-manifolds, and introduce trisections of non-orientable 4-manifolds with boundary. In particular, we prove a non-orientable analogue of a classical theorem of Laudenbach-Po\'enaru. As…

There exists a dictionary between hereditary orders and smooth stacky curves, resp. tame orders of global dimension 2 and Azumaya algebras on smooth stacky surfaces. We extend this dictionary by explaining how the restriction of a tame…