Related papers: Recurrence relations and asymptotics for four-mani…

We prove a surface embedding theorem for 4-manifolds with good fundamental group in the presence of dual spheres, with no restriction on the normal bundles. The new obstruction is a Kervaire-Milnor invariant for surfaces and we give a…

A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of…

We recall Petit's construction of "dichromatic" invariants of 4-manifolds computed from Kirby diagrams using a nested pair of ribbon fusion categories $ B \subset C $ as initial data. Along the way we prove a lemma that fits the use of…

For a banded link $L$ in a surface times a circle, the Witten-Reshetikhin-Turaev invariants are topological invariants depending on a sequence of complex $2p$-th roots of unity $(A_p)_{p\in 2\mathbb{N}}$. We show that there exists a…

We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…

We relate the Donaldson invariants of two four-manifolds $X_i$ with embedded Riemann surfaces of genus 2 and self-intersection zero with the invariants of the manifold X which appears as a connected sum along the surfaces. When the original…

We study smooth, proper embeddings of noncompact surfaces in 4-manifolds, focusing on exotic planes and annuli, i.e., embeddings pairwise homeomorphic to the standard embeddings of R^2 and R^2-int D^2 in R^4. We encounter two uncountable…

It is proved that the Wedderburn Theorem on finite division rings implies that all knots and links in the smooth 4-dimensional manifolds are trivial.

In this paper, we demonstrate a relation among Seiberg-Witten invariants which arises from embedded surfaces in four-manifolds whose self-intersection number is negative. These relations, together with Taubes' basic theorems on the…

We calculate Perelman's invariant for compact complex surfaces and a few other smooth four-manifolds. We also prove some results concerning the dependence of Perelman's invariant on the smooth structure.

The adjunction inequality is a key tool for bounding the genus of smoothly embedded surfaces in 4-manifolds. Using gauge-theoretic invariants, many versions of this inequality have been established for both closed surfaces and surfaces with…

We present a few general results on foliations of 4-manifolds by surfaces: existence, tautness, relations to minimal genus of embedded surfaces; as well as some open problems. We hope to stimulate interest in this area.

We prove a surgery formula for the ordinary Seiberg-Witten invariants of smooth $4$-manifolds with $b_1 =1$. Our formula expresses the Seiberg-Witten invariants of the manifold after the surgery, in terms of the original Seiberg-Witten…

We prove that every suitable $4$-manifold with $b_1=0$ and with an embedded Riemann surface of genus $2$ is of simple type. We find a relationship between the basic classes of two of these $4$-manifolds and those of the connected sum along…

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 study of embeddings of smooth manifolds into Euclidean and projective spaces has been for a long time an important area in topology. In this paper we obtain improvements of classical results on embeddings of smooth manifolds, focusing…

We introduce a topological invariant, it a type of a graph-manifold, which takes natural values. For a 4-dimensional graph-manifold, whose type does not exceed two, it is proved that its universal cover is bi-Lipschitz equivalent to a…

This work concludes a series of four papers on the foundational theory of orbifolds and stacks. We apply the abstract theory, developed in its predecessors, to orbifolds derived from manifolds. Specifically, we show how the very concrete…

We solve a conjecture of Morgan and Szabo (Embedded genus 2 surfaces in four-manifolds, Preprint) about the relationship of the basic classes of two four-manifolds $X_i$ of simple type with $b_1=0$, $b^+>1$, such that there are embedded…

The fundamental quandle is an invariant for distinguishing surface knots, yet computable presentations have traditionally been limited to surfaces embedded in the $4$-sphere. Building on the framework of banded unlink diagrams introduced by…