Related papers: Embedded surface invariants via the Broda-Petit co…

We use unimodular ribbon categories to construct quantum invariants of ribbon surfaces in $4$-dimensional $2$-handlebodies up to $1$-isotopy. In the process, we recover invariants due to Bobtcheva-Messia, Broda-Petit,…

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…

We introduce a diffeomorphism invariant of $4$-manifolds, the $\mathrm{Pin}^-(2)$-monopole invariant, defined by using the $\mathrm{Pin}^-(2)$-monopole equations. We compute the invariants of several $4$-manifolds, and prove gluing…

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…

For a commutative Frobenius algebra $A$, we construct a $(2,3,3+\varepsilon)$-dimensional TQFT $\mathsf{AFK}_A$ that assigns to a 3-manifold a skein module of embedded $A$-decorated surfaces. These surface skein modules have been first…

The polynomial invariants $q_d$ for a large class of smooth 4-manifolds are shown to satisfy universal relations. The relations reflect the possible genera of embedded surfaces in the 4-manifold and lead to a structure theorem for the…

In this paper, we introduce the concept of 3-alterfolds with embedded separating surfaces. When the separating surface is decorated by a spherical fusion category, we obtain quantum invariants of 3-alterfold, which is consistent with many…

We continue our program initiated in [arXiv:0912.4261] to consider supersymmetric surface operators in a topologically-twisted N=2 pure SU(2) gauge theory, and apply them to the study of four-manifolds and related invariants. Elegant…

We calculate the Seiberg-Witten invariants of branched covers of prime degree, where the branch locus consists of embedded spheres. Aside from the formula itself, our calculations give rise to some new constraints on configurations of…

Fintushel and Stern have proved that if S \subset X is a symplectic surface in a symplectic 4-manifold such that S has simply-connected complement and nonnegative self-intersection, then there are infinitely many topologically equivalent…

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…

For even dimensional smooth complete intersections, of dimension at least 4, of two quadric hypersurfaces in a projective space, we study the genus zero Gromov-Witten invariants by the monodromy group of its whole family. We compute the…

In this paper, we explicitly prove that statistical manifolds, related to exponential families and with flat structure connection have a Frobenius manifold structure. This latter object, at the interplay of beautiful interactions between…

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…

Using an obstruction based on Donaldson's theorem on the intersection forms of definite 4-manifolds, we determine which connected sums of lens spaces smoothly embed in S^4. We also find constraints on the Seifert invariants of Seifert…

Meier and Zupan showed that every surface in the four-sphere admits a bridge trisection and can therefore be represented by three simple tangles. This raises the possibility of applying methods from link homology to knotted surfaces. We use…

In this paper we study embeddings of oriented connected closed surfaces in $\mathbb S^3$. We define a complete invariant, the fundamental span, for such embeddings, generalizing the notion of the peripheral system of a knot group. From the…

For a given group $G$, we construct an invariant of flat $G$-connections on 4-manifolds from a finite type involutory quasitriangular Hopf $G$-algebra. Hopf $G$-algebras are generalizations of Hopf algebras, equipped with gradings by $G$.…

In a previous paper we have constructed an invariant of four-dimensional manifolds with boundary in the form of an element in the stable homotopy group of the Seiberg-Witten Floer spectrum of the boundary. Here we prove that when one glues…

We show that embedding calculus invariants $ev_n$ are surjective for long knots in an arbitrary $3$-manifold. This solves some remaining open cases of Goodwillie--Klein--Weiss connectivity estimates, and at the same time confirms one half…