Related papers: Basic classes for four-manifolds not of simple typ…

This survey aims to provide a guide to the literature on topological 4-manifolds. Foundational theorems on 4-manifolds are stated, especially in the topological category. Precise references are given, with indications of the strategies…

We prove that Witten's Conjecture [arXiv:hep-th/9411102] on the relationship between the Donaldson and Seiberg-Witten series for a four-manifold of Seiberg-Witten simple type with $b_1=0$ and odd $b_2^+\geq 3$ follows from our…

We construct a functor from the smooth 4-dimensional manifolds to the hyper-algebraic number fields, i.e. fields with non-commutative multiplication. It is proved that that the simply connected 4-manifolds correspond to the abelian…

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…

We measure, in two distinct ways, the extent to which the boundary region of moduli space contributes to the ``simple type'' condition of Donaldson theory. Using a geometric representative of \mu(pt), the boundary region of moduli space…

We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy…

A general invariant manifold theorem is needed to study the topological classes of smooth dynamical systems. These classes are often invariant under renormalization. The classical invariant manifold theorem cannot be applied, because the…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

For every N > 0 there exists a group of deficiency less than -N that arises as the fundamental group of a smooth homology 4-sphere and also as the fundamental group of the complement of a compact contractible submanifold of the 4-sphere. A…

We propose an explicit formula connecting Donaldson invariants and Seiberg-Witten invariants of a 4-manifold of simple type via Nekrasov's deformed partition function for the N=2 SUSY gauge theory with a single fundamental matter. This…

We introduce the foliated anti-self dual equation for higher dimensional smooth manifolds with codimension-4 Riemannian foliations. Several fundamental results are established, towards the defining of a Donaldson type invariant for such…

We construct a variant of Floer homology groups and prove a gluing formula for a variant of Donaldson invariants. As a corollary, the variant of Donaldson invariants is non-trivial for connected sums of 4-manifolds which satisfy a condition…

Here we show that every compact smooth 4-manifold X has a structure of a Broken Lefschetz Fibration (BLF in short). Furthermore, if b_{2}^{+}(X)> 0 then it also has a Broken Lefschetz Pencil structure (BLP) with nonempty base locus. This…

We construct invariants of four-dimensional piecewise-linear manifolds, represented as simplicial complexes, with respect to rebuildings that transform a cluster of three 4-simplices having a common two-dimensional face in a different…

We obtain constraints on the topology of families of smooth $4$-manifolds arising from a finite dimensional approximation of the families Seiberg-Witten monopole map. Amongst other results these constraints include a families generalisation…

Define the Donaldson series of a simply connected 4-manifold by q(X) = \sum_d q_d(X)/d! Recently Kronheimer and Mroka have announced the result that the Donaldson series of so called simple 4-manifolds can be written as q(X) =…

(d+1)-colored graphs, i.e. edge-colored graphs that are (d+1)-regular, have already been proved to be a useful representation tool for compact PL d-manifolds, thus extending the theory (known as crystallization theory) originally developed…

Symplectic 4-manifolds $(X,\omega)$ with $b_+{=}1$ are roughly classified by the canonical class $K$ and the symplectic form $\omega$ depending upon the sign of $K^2$ and $K\cdot \omega$. Examples are known for each category except for the…

This article surveys invariants of four-manifolds and their relation to Donaldson-Witten theory, and other topologically twisted Yang-Mills theories. The article is written for the second edition of the Encyclopedia of Mathematical Physics,…

One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In…