Related papers: Exotic rational elliptic surfaces without 1-handle…
This note presents the handlebody argument for modifying achiral Lefschetz singularities into broken Lefschetz fibrations, yielding a handlebody proof of the existence of broken Lefschetz fibrations on arbitrary closed smooth oriented…
Let $\omega$ be a Kahler form on $M$, which is a torus $T^4$, a $K3$ surface or an Enriques surface, let $M\#n\overline{\mathbb{CP}^2}$ be $n-$point Kahler blowup of $M$. Suppose that $\kappa=[\omega]$ satisfies certain irrationality…
For a generic anti-canonical hypersurface in each smooth toric Fano 4-fold with rank 2 Picard group, we prove there exist three isolated rational curves in it. Moreover, for all these 4-folds except one, the contractions of generic…
In studying rational points on elliptic K3 surfaces of the form $f(t)y^2=g(x)$, where $f,g$ are cubic or quartic polynomials (without repeated roots), we introduce a condition on the quadratic twists of two elliptic curves having…
We initiate the study of exotic Dehn twists along 3-manifolds $\neq S^3$ inside $4$-manifolds, which produces the first known examples of exotic diffeomorphisms of contractible 4-manifolds, more generally of definite 4-manifolds, and exotic…
In this short note, we give an explicit construction of inequivalent Lefschetz pencils and fibrations of same genera on blow-ups of all rational and ruled surfaces. This complements our earlier results, concluding that every symplectic…
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…
We describe the possible Mordell-Weil groups for degree 1 elliptic threefold with rational base and constant $j$-invariant. Moreover, we classify all such elliptic threefolds if the $j$-invariant is nonzero. We can use this classification…
The purpose of this paper is: 1) to explain the Seiberg-Witten invariants, 2) to show that - on a K\"ahler surface - the solutions of the monopole equations can be interpreted as algebraic objects, namely effective divisors, 3) to give - as…
Attaching a Casson handle to a slice disk complement yields a smooth 4-manifold that is homeomorphic to $\mathbb{R}^4$. We show that if two slice knots have sufficiently different knot Floer homology, then the resulting exotic…
We present the various constructions of new symplectic $4$-manifolds with non-negative signatures using the complex surfaces on the BMY line $c_1^2 = 9\chi_h$, the Cartwright-Steger surfaces, the quotients of Hirzebruch's certain…
We study the possibility of realizing exotic smooth structures on punctured simply connected $4$-manifolds as leaves of a codimension one foliation on a compact manifold. In particular, we show the existence of uncountably many smooth open…
The main result is that an s-cobordism (topological or smooth) of 4-manifolds has a product structure outside a ``core'' sub s-cobordism. These cores are arranged to have quite a bit of structure, for example they are smooth and abstractly…
We construct examples of four dimensional manifolds with Spin$^c$-structures, whose moduli spaces of solutions to the Seiberg-Witten equations, represent a non-trivial bordism class of positive dimension, i.e. the Spin$^c$-structures are…
We collect in this note some observations about original Welschinger invariants of real symplectic fourfolds. None of their proofs is difficult, nevertheless these remarks do not seem to have been made before. Our main result is that when…
We introduce a new generalization of Gompf nuclei and give applications. We construct infinitely many exotic smooth structures for a large class of compact 4-manifolds with boundary, regarding topological invariants. We prove that a large…
We develop an equivariant version of Seiberg-Witten-Floer cohomology for finite group actions on rational homology $3$-spheres. Our construction is based on an equivariant version of the Seiberg-Witten-Floer stable homotopy type, as…
We prove that any symplectic 4-manifold which is not a rational or ruled surface, after sufficiently many blow-ups, admits an arbitrary number of nonisomorphic Lefschetz fibrations of the same genus which cannot be obtained from one another…
We address the problem of classification of hyper-K\"ahler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-K\"ahler $4$-folds numerically equivalent to the Hilbert scheme of two…
It is well known that for any exotic pair of simply connected closed oriented 4-manifolds, one is obtained from the other by twisting a compact contractible submanifold via an involution on the boundary. By contrast, here we show that for…