Related papers: Noncomplex smooth 4-manifolds with Lefschetz fibra…
We characterize normal $3$-pseudomanifolds with $g_2\leq4$. We know that if a $3$-pseudomanifold with $g_2\leq4$ does not have any singular vertices then it is a $3$-sphere. We first prove that a normal $3$-pseudomanifold with $g_2\leq4$…
Kodaira's classification of singular fibers in elliptic fibrations and its translation into the language of monodromies and Lefschetz fibrations has been a boon to the study of 4-manifolds. In this article, we begin the work of translating…
We mostly determine which closed smooth oriented 4-manifolds fibering over lower dimensional manifolds are virtually symplectic, i.e. finitely covered by symplectic 4-manifolds.
Concerns decompositions of smooth 4-manifolds as the union of two handlebodies, each with handles of index <=2 (``Heegard'' decompositions).Sample result: Two 2-complexes are (up to 2-deformation) dual spines of a Heegard decomposition of…
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 construct infinitely many smooth oriented 4-manifolds containing pairs of homotopic, smoothly embedded 2-spheres that are not topologically isotopic, but that are equivalent by an ambient diffeomorphism inducing the identity on homology.…
We classify four-dimensional compact solvmanifolds up to diffeomorphism, while determining which of them have complex analytic structures. In particular, we shall see that a four-dimensional compact solvmanifold S can be written, up to…
We provide a complete set of moves relating any two Lefschetz fibrations over the disk having as their total space the same 4-dimensional 2-handlebody up to 2-equivalence. As a consequence, we also obtain moves relating diffeomorphic…
We show that every positive definite closed 4-manifold with $b_2^+>1$ and without 1-handles has a vanishing stable cohomotopy Seiberg-Witten invariant, and thus admits no symplectic structure. We also show that every closed oriented…
Given a genus $g$ smooth Lefschetz fibration $\pi : M \to S^2$ with singular locus $\Delta \subseteq S^2$, we describe the subgroup $\operatorname{Br}(\pi)$ of the spherical braid group $\operatorname{Mod}(S^2,\Delta)$ consisting of braids…
We introduce an idea of constructing Lefschetz fibrations of Weinstein manifolds from Weinstein handle decompositions on them. We prove theorems that formulate the idea for the cases of cotangent bundles and some plumbings. As a corollary,…
In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of…
We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$…
In this note, we verify that the complex Kodaira dimension $\kappa^h$ equals the symplectic Kodaira dimension $\kappa^s$ for smooth 4-manifolds with complex and symplectic structures. We also calculate the Kodaira dimension for many…
In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth…
This paper shows that there are symplectic four-manifolds M with the following property: a single isotopy class of smooth embedded two-spheres in M contains infinitely many Lagrangian submanifolds, no two of which are isotopic as Lagrangian…
We define a diffeomorphism invariant of smooth 4-manifolds which we can estimate for many smoothings of R^4 and other smooth 4-manifolds. Using this invariant we can show that uncountably many smoothings of R^4 support no Stein structure.…
We show that minimal symplectic 4--manifolds with $b_2^+ >1$ and with residually finite fundamental groups are irreducible. We also give examples of irreducible orientable four--manifolds with indefinite intersection forms which are not…
We study the cohomology rings of snc log symplectic pairs $(X,Y)$ which have log symplectic forms of pure weight. We show that under a certain natural condition, the cohomology ring of $X \setminus Y$ exhibits the curious hard Lefschetz…
We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of…