Related papers: The simple type conjecture for mod 2 Seiberg-Witte…

In this paper, we derive new adjunction inequalities for embedded surfaces with non-negative self-intersection number in four-manifolds. These formulas are proved by using relations between Seiberg-Witten invariants which are induced from…

In this article we show that some of the recent results of Marino, Moore, and Peradze (math.DG/9812042, hep-th/9812055) -- in particular their conjecture that all closed, smooth four-manifolds with b_2^+ > 1 (and Seiberg-Witten simple type)…

This paper is dedicated to the study of deformations of coassociative 4-folds in a G_2 manifold which have conical singularities. We stratify the types of deformations allowed into three problems. The main result for each problem states…

In this paper I define the notion of a non-degenerate finitely semi-simple semi-strict spherical 2-category of non-zero dimension. Given such a 2-category I define a state-sum for any triangulated compact closed oriented 4-manifold and show…

We show that in every codimension greater than one there exists a mod 2 homology class in some closed manifold (of sufficiently high dimension) which cannot be realized by an immersion of closed manifolds. The proof gives explicit…

We show that, under a certain condition, contact 5-manifolds can `coarsely' distinguish smooth structures on compact Stein 4-manifolds via contact open books. We also give a simple sufficient condition for an infinite family of Stein…

Given a $4$-manifold $\hat{M}$ and two homeomorphic surfaces $\Sigma_1, \Sigma_2$ smoothly embedded in $\hat{M}$ with genus more than 1, we remove the neighborhoods of the surfaces and obtain a new $4$-manifold $M$ from gluing two…

We prove that 1) There exist infinitely many non-trivial codimension one "thick" knots in $\mathbb{R}^5$; 2) For each closed four-dimensional smooth manifold $M$ and for each sufficiently small positive $\epsilon$ the set of isometry…

We study moduli spaces of Seiberg-Witten monopoles over spin^c Riemannian 4-manifolds with long necks and/or tubular ends. This first part discusses compactness, exponential decay, and transversality. As applications we prove two vanishing…

We prove that a 2-stein submanifold in a space form whose normal connection is flat or whose codimension is at most 2, has constant curvature.

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 show that the first twisted cohomology group associated to closed 1-forms on compact manifolds is related to certain 2-dimensional representations of the fundamental group. In particular, we construct examples of nowhere-vanishing…

We prove a diagonalisation theorem for the tautological, or generalised Miller-Morita-Mumford classes of compact, smooth, simply-connected definite $4$-manifolds. Our result can be thought of as a families version of Donaldson's…

The symplectic cone of a closed oriented 4-manifold is the set of cohomology classes represented by symplectic forms. A well-known conjecture describes this cone for every minimal Kaehler surface. We consider the case of the elliptic…

We establish constraints on the topology of smooth Lefschetz fibrations with $4$-dimensional fibers, by studying the family Bauer-Furuta invariant. To compute this invariant, we analyze the framed bordism class of 1-dimensional…

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…

We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, once localized at the quantum parameter, has a non trivial involution mapping Schubert classes to multiples of Schubert classes. This can be stated…

Under a simple assumption on Seifert surfaces, we characterise knots whose stable topological 4-genus coincides with the genus.

Using instanton homology with coefficients in $Z/2$ we construct a homomorphism $q_2$ from the homology cobordism group in dimension 3 to the integers which is not a rational linear combination of the instanton $h$--invariant and the…

A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is…