Related papers: On the mu-bar invariant of rational surface singul…
We study rational cuspidal curves in Hirzebruch surfaces. We provide two obstructions for the existence of rational cuspidal curves in Hirzebruch surfaces with prescribed types of singular points. The first result comes from Heegaard--Floer…
We derive a formula for the $\bar\mu$-invariant of a Seifert fibered homology sphere in terms of the eta-invariant of its Dirac operator. As a consequence, we obtain a vanishing result for the index of certain Dirac operators on plumbed…
We determine the local equivalence class of the Seiberg-Witten Floer stable homotopy type of a spin rational homology 3-sphere $Y$ embedded into a spin rational homology $S^{1} \times S^{3}$ with a positive scalar curvature metric so that…
Building on the algebraic framework developed by Hendricks, Manolescu, and Zemke, we introduce and study a set of Floer-theoretic invariants aimed at detecting corks. Our invariants obstruct the extension of a given involution over any…
We study rational cuspidal curves in projective surfaces. We specify two criteria obstructing possible configurations of singular points that may occur on such curves. One criterion generalizes the result of Fernandez de Bobadilla, Luengo,…
Inspired by the Ozsv\'ath-Szab\'o mixed invariant in ordinary Heegaard Floer theory, we define a mixed invariant $\Phi_{X, \mathfrak{s}}^{I}$ for closed, spin four-manifolds $(X, \mathfrak{s})$ using the cobordism maps on involutive…
Using the conjugation symmetry on Heegaard Floer complexes, we define a three-manifold invariant called involutive Heegaard Floer homology, which is meant to correspond to $\mathbb{Z}_4$-equivariant Seiberg-Witten Floer homology. Further,…
The Heegaard Floer d-invariant for a rational homology sphere Y and spin$^c$-structure $\mathfrak{s}$ is defined as the minimal absolute grading of a generator of $HF^+(Y; \mathfrak{s})$. In 2005, N\'emethi used lattice homology to compute…
Recently Auckly-Kim-Melvin-Ruberman showed that for any finite subgroup G of SO(4) there exists a contractible 4-manifold with an effective G-action on its boundary so that the twists associated to the non-trivial elements of G do not…
Lipshitz, Ozsv\'ath and Thurston defined a bordered Heegaard Floer invariant CFDA for 3-manifolds with two boundary components, including mapping cylinders for surface diffeomorphisms. We define a related invariant for certain 4-dimensional…
For a rational homology 3-sphere $Y$ with a $\spinc$ structure $\s$, we show that simple algebraic manipulations of our construction of equivariant Seiberg-Witten Floer homology lead to a collection of variants which are topological…
We study the Seiberg-Witten invariant $\lambda_{\rm{SW}} (X)$ of smooth spin $4$-manifolds $X$ with integral homology of $S^1\times S^3$ defined by Mrowka, Ruberman, and Saveliev as a signed count of irreducible monopoles amended by an…
We prove a surface embedding theorem for 4-manifolds with good fundamental group in the presence of dual spheres, with no restriction on the normal bundles. The new obstruction is a Kervaire-Milnor invariant for surfaces and we give a…
For 3-manifolds with torus boundary, the bordered Heegaard Floer invariants of Lipshitz--Ozsv\'ath--Thurston have a geometric interpretation as immersed multi-curves with local systems in the punctured torus according to the work of…
This paper presents the construction of the Seiberg-Witten-Floer homology of three-manifolds with non-trivial rational homology, and some properties of the invariant of three-manifolds obtained by computing the Euler characteristic. This…
We provide new examples of integrable rational maps in four dimensions with two rational invariants, which have unexpected geometric properties, as for example orbits confined to non algebraic varieties, and fall outside classes studied by…
We give a short proof for the fact that rationality of complex surfaces is a property depending only on the differential structure. Our proof uses the new Seiberg-Witten invariants.
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…
From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our…
When does the double cover of the three-sphere branched along an alternating link bound a rational homology ball? Heegaard Floer homology generates a necessary condition for it to bound: the link's chessboard lattice must be cubiquitous,…