Related papers: On intersection forms of definite 4-manifolds boun…

We produce a rational homology 3-sphere that does not smoothly bound either a positive or negative definite 4-manifold. Such a 3-manifold necessarily cannot be rational homology cobordant to a Seifert fibered space or any 3-manifold…

We give a complete classification of the spherical 3-manifolds that bound smooth rational homology 4-balls. Furthermore, we determine the order of spherical 3-manifolds in the rational homology cobordism group of rational homology…

For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any…

We prove a generalisation of Elkies' theorem to nonunimodular definite forms (and lattices). Combined with inequalities of Froyshov and of Ozsvath and Szabo, this gives a simple test of whether a rational homology 3-sphere may bound a…

We show that the set of even positive definite lattices that arise from smooth, simply-connected 4-manifolds bounded by a fixed homology 3-sphere can depend on more than the ranks of the lattices. We provide two homology 3-spheres with…

Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot,…

Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each…

We give several criteria on a closed, oriented 3-manifold that will imply that it is the boundary of a (simply connected) 4-manifold that admits infinitely many distinct smooth structures. We also show that any weakly fillable contact…

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…

We conjecture two generalisations of Elkies' theorem on unimodular quadratic forms to non-unimodular forms. We give some evidence for these conjectures including a result for determinant 3. These conjectures, when combined with results of…

A proof via the Seiberg-Witten moduli space of Donaldson's theorem on smooth 4-manifolds with definite intersection forms.

We prove a compactness theorem for holomorphic curves in 4-dimensional symplectizations that have embedded projections to the underlying 3-manifold. It strengthens the cylindrical case of the SFT compactness theorem by using intersection…

A smooth four manifold is of finite type $r$ if its Donaldson invariant satisfies D((x^2-4)^r)=0. We prove that every simply connected manifold is of finite type by using the structure of Donaldson invariants in the presence of immersed…

We give simple homological conditions for a rational homology 3-sphere Y to have infinite order in the rational homology cobordism group, and for a collection of rational homology spheres to be linearly independent. These translate…

Let $S$ be a rational homology complex projective plane with quotient singularities. The algebraic Montgomery-Yang problem conjectures that the number of singular points of $S$ is at most three if its smooth locus is simply-connected. In…

We classify all the lattices realized as the intersection form of a positive definite four manifold with boundary $S_n^3(K)$ for a knot $K$ in the three sphere and a positive integer $n$ greater than $4g_4(K)+3$. We then use this result to…

In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds.

We classify the possible elementary amenable fundamental groups of compact aspherical 4-manifolds with boundary and conclude that they are either polycyclic or solvable Baumslag- Solitar. Since these groups are good and satisfy the…

We apply mapping class group techniques and trisections to study intersection forms of smooth 4-manifolds. Johnson defined a well-known homomorphism from the Torelli group of a compact surface. Morita later showed that every homology…

We extend Donaldson's diagonalization theorem to intersection forms with certain local coefficients, under some constraints. This provides new examples of non-smoothable topological 4-manifolds.