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

We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose…

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…

We show that a closed almost K\"ahler 4-manifold of globally constant holomorphic sectional curvature $k\geq 0$ with respect to the canonical Hermitian connection is automatically K\"ahler. The same result holds for $k<0$ if we require in…

We give some rigidity theorems for an n$(\geq4)$-dimensional compact Riemannian manifold with harmonic Weyl curvature, positive scalar curvature and positive constant $\sigma_2$. Moreover, when $n=4,$ we prove that a 4-dimensional compact…

Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h-cobordisms. This invariant is called the smooth structure class, and is closely related to the higher Franz--Reidemeister…

We extend the vanishing theorem for the Seiberg-Witten invariants of a manifold with positive scalar curvature to the case when the curvature is allowed to be negative on a set of small volume. (The precise curvature bounds are described in…

We show that every closed oriented smooth 4-manifold admits a complete singular Poisson structure in each homotopy class of maps to the 2-sphere. The rank of this structure is 2 outside a small singularity set, which consists of finitely…

Using Seiberg-Witten theory, it is shown that any Kaehler metric of constant negative scalar curvature on a compact 4-manifold M minimizes the L^2-norm of scalar curvature among Riemannian metrics compatible with a fixed decomposition…

In this paper we show that for a large class C of 4-manifolds each member of C has only finitely many simple homotopy type upto s-cobordism. This result generalizes a similar result of Hillman for certain complex surfaces. We also present a…

We prove the vanishing of many Welschinger invariants of real symplectic $4$-manifolds. In some particular instances, we also determine their sign and show that they are divisible by a large power of 2. Those results are a consequence of…

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain…

We show that two properly embedded compact surfaces in an orientable 4-manifold are cobordant if and only if they are $\mathbb{Z}/2$-homologous and either the 4-manifold has boundary or the surfaces have the same normal Euler number. If the…

We outline the proof that non-triangulable manifolds exist in any dimension greater than four. The arguments involve homology cobordism invariants coming from the Pin(2) symmetry of the Seiberg-Witten equations. We also explore a related…

This is a continuation of our paper math.AG/0111298. We prove an explicit formula for the geometric genus p_g of a quasihomogeneous isolated surface singularity in terms of the Seiberg-Witten invariant of the link and other topological data…

For every integer g greater than or equal to 2, there exist infinitely many pairwise nonhomeomorphic smooth 4-manifolds that admit genus-g Lefschetz fibrations over S^2 but do not carry any complex structure with either orientation. This…

We find the shape of the Donaldson invariants of a 4-manifold with b_1=0 and b^+>1, which may be not of simple type. The invariants appear as the q^0 coefficient of a expression given in terms of modular forms (as was predicted by Moore and…

Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups…

In this article we complete the proof---for a broad class of four-manifolds---of Witten's conjecture that the Donaldson and Seiberg-Witten series coincide, at least through terms of degree less than or equal to c-2, where c is a linear…

We give an alternative proof of the mod $p$ vanishing theorem by F.Fang of Seiberg-Witten invariants under a cyclic group action of prime order, and generalize it to the case when $b_1>0$. Although we also use the finite dimensional…

Using the $u$-plane integral as a tool, we derive a formula for the partition function of the simplest nontrivial (topologically twisted) Argyres-Douglas theory on compact, oriented, simply connected, four-manifolds without boundary and…