Related papers: Immersed projective planes, Arf invariants and eve…

We demonstrate the existence of numerous non-spin 4-manifolds for which the smooth Nielsen realization problem fails; namely, there exist finite subgroups of their mapping class groups that cannot be realized by any group of…

We show how to measure the failure of the Whitney trick in dimension 4 by constructing higher- order intersection invariants of Whitney towers built from iterated Whitney disks on immersed surfaces in 4-manifolds. For Whitney towers on…

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…

A new topological invariant of closed connected orientable four-dimensional manifolds is proposed. The invariant, constructed via surgery on a special link, is a four-dimensional counterpart of the celebrated SU(2) three-manifold invariant…

The spinor representation is developed for conformal immersions of Riemann surfaces into space. We adapt the approach of Dennis Sullivan, which treats a spin structure on a Riemann surface M as a complex line bundle S whose square is the…

We construct smooth manifolds with order two $\pi_1$ and even intersection forms which are irreducible, meaning they do not decompose into non-trivial connected sums. Their intersection forms being even implies that their universal covers…

The notion of the geometrical $\Z/2 \oplus \Z/2$--control of self-intersection of a skew-framed immersion and the notion of the $\Z/2 \oplus \Z/4$-structure (the cyclic structure) on the self-intersection manifold of a $\D_4$-framed…

This is the beginning of an obstruction theory for deciding whether a map f:S^2 --> X^4 is homotopic to a topologically flat embedding, in the presence of fundamental group and in the absence of dual spheres. The first obstruction is Wall's…

We discuss the construction of Sp(2)Sp(1)-structures whose fundamental form is closed. In particular, we find 10 new examples of 8-dimensional nilmanifolds that admit an invariant closed 4-form with stabiliser Sp(2)Sp(1). Our constructions…

We construct a state-sum type invariant of smooth closed oriented $4$-manifolds out of a $G$-crossed braided spherical fusion category ($G$-BSFC) for $G$ a finite group. The construction can be extended to obtain a $(3+1)$-dimensional…

We define an simple invariant of an embedded nullhomologous Lagrangian torus and use this invariant to show that many symplectic 4-manifolds have infinitely many pairwise symplectically inequivalent nullhomologous Lagrangian tori. We…

The first part of this paper exposits a simple geometric description of the Kirby-Siebenmann invariant of a 4--manifold in terms of a quadratic refinement of its intersection form. This is the first in a sequence of higher-order…

This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing…

We further sharpen higher type adjunction inequalities of P. Ozsv\'ath and Z. Szab\'o on a 4-manifold $M$ with a nonzero Seiberg-Witten invariant for a Spin$^c$ structure $\frak{s}$, when an embedded surface $\Sigma\subset M$ satisfies…

Let $S_0$ and $S_1$ be two homotopic, oriented 2-spheres embedded in an orientable 4-manifold $X$. After discussing several operations for modifying an immersion of a 3-manifold into a 5-manifold, we discuss the Freedman--Quinn (fq) and…

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…

Splitting invariants describe how a plane curve "splits" by the pull-back under a Galois cover over the projective plane whose branch locus contains no component of the plane curve. They enable us to distinguish the embedded topology 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…

A formula is given for the Seiberg-Witten invariants of a 4-manifold that is cut along certain kinds of 3-dimensional tori. The formula involves a Seiberg-Witten invariant for each of the resulting pieces.

While topologists have had possession of possible counterexamples to the smooth 4-dimensional Poincar\'{e} conjecture (SPC4) for over 30 years, until recently no invariant has existed which could potentially distinguish these examples from…