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

Ian Agol and Francesco Lin proved the existence of hyperbolic four-manifolds with vanishing Seiberg-Witten invariants. We prove that the number of such manifolds of volume at most $v$ is asymptotically bounded by $v^{cv}$ considered up to…

In this note, we describe a connection between the enumerative geometry of curves in K3 surfaces and the chiral ring of an auxiliary superconformal field theory. We consider the invariants calculated by Yau--Zaslow (capturing the Euler…

One approach to produce a pair of homeomorphic-but-not-diffeomophic closed 4-manifolds is to find a knot which is smoothly slice in one but not the other. This approach has never been run successfully. We give the first examples of a pair…

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…

We show that there exist smooth, simply connected, four-dimensional spin manifolds which do not admit Einstein metrics, but nonetheless satisfy the strict Hitchin-Thorpe inequality. Our construction makes use of the Bauer/Furuta cohomotopy…

We construct examples of asymptotically cylindrical Riemannian 8-manifolds with holonomy group Spin(7). To our knowledge, these are the first such examples. The construction uses an extension to asymptotically cylindrical setting of Joyce's…

We present a classification theorem for closed smooth spin 2-connected 7-manifolds M. This builds on the almost-smooth classification from the first author's thesis. The main additional ingredient is an extension of the Eells-Kuiper…

We propose a way to define and compute invariants of general smooth 4-manifolds based on topological twists of non-Lagrangian 4d N=2 and N=3 theories in which the problem is reduced to a fairly standard computation in topological A-model,…

We study the integral expression of a knot invariant obtained as the second coefficient in the perturbative expansion of Witten's Chern-Simons path integral associated with a knot. One of the integrals involved turns out to be a…

This study defines finite-type invariants for curves on surfaces and reveals the construction of these finite-type invariants for stable homeomorphism classes of curves on compact oriented surfaces without boundaries. These invariants are a…

We study a secondary invariant, called the Meyer function, on the fundamental group of the complement of the dual variety of a smooth projective variety. This invariant have played an important role when studying the local signatures of…

In studying the "11/8-Conjecture" on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin(2)-equivariant stable maps between certain representation spheres. In this paper, we present a complete…

This survey covers some of the results contained in the papers by Costantino, Geer and Patureau (https://arxiv.org/abs/1202.3553) and by Blanchet, Costantino, Geer and Patureau (https://arxiv.org/abs/1404.7289). In the first one the authors…

We find new supersymmetric four-dimensional Minkowski flux vacua of type II string theory on nilmanifolds and solvmanifolds. We extend the results of M. Grana, R. Minasian, M. Petrini, and A. Tomasiello to the case of intermediate SU(2)…

In relation to the 4-dimensional smooth Poincar\'e conjecture we construct a tentative invariant of homotopy 4-spheres using embedded contact homology (ECH) and Seiberg-Witten theory (SWF). But for good reason it is a constant value…

In this note we present a new definition of the 4-manifold admitting inequivalent symplectic structures constructed by McMullen-Taubes which leads to the identification of a new symplectic structure. We prove moreover that it is…

By extending the notion of simple type for the Seiberg--Witten invariant of a 4-manifold, we introduce notions of BF blowup simple type and BF homogeneous type for the Bauer--Furuta invariant and study their applications. Specifically, we…

We show that Haefliger's differentiable (6,3)-knot bounds, in 6-space, a 4-manifold (a Seifert surface) of arbitrarily prescribed signature. This implies, according to our previous paper, that the Seifert surface has been prolonged in a…

We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families…

We continue to develop an obstruction theory for embedding 2-spheres into 4-manifolds in terms of Whitney towers. The proposed intersection invariants take values in certain graded abelian groups generated by labelled trivalent trees, and…