Related papers: On Nash's 4-sphere and Property 2R

In this note we prove that two seemingly different smooth 4-manifolds arising as quotients of $S^2\times S^2$ by free actions of $\mathbb{Z}/4$ are in fact diffeomorphic, answering a question of Hambleton and Hillman.

We determine the structure of the circular handle decompositions of the family of free genus one knots. Namely, if k is a free genus one knot, then the handle number h(k)= 0, 1 or 2, and, if k is not fibered (that is, if h(k)>0), then k is…

We show that there exist split, orientable, 2-component surface-links in $S^4$ with non-isotopic splitting spheres in their complements. In particular, for non-negative integers $m,n$ with $m\ge 4$, the unlink $L_{m,n}$ consisting of one…

In this note we prove that a four-dimensional compact oriented half-confor\-mally flat Riemannian manifold $M^4$ is topologically $\mathbb{S}^{4}$ or $\mathbb{C}\mathbb{P}^{2},$ provided that the sectional curvatures all lie in the interval…

Let F a closed connected orientable surface bounding a genus g handlebody H. In this paper we find a finite set of generators for the subgroup E(2,g) of the pure mapping class group of the twice punctured torus PMCG(2,g), consisting of the…

One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In…

We give a criterion on a group $\pi$ and a homomorphism $w \colon \pi \to C_2$ under which closed $4$-manifolds with fundamental group $\pi$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic…

We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a…

For any smooth manifold $M$ of dimension $d\geq4$ we construct explicit classes in homotopy groups of spaces of embeddings of either an arc or a circle into $M$, in every degree that is a multiple of $d-3$, and show that they are detected…

We prove that for any $n\geq 4$ there are infinitely many real homotopy types of $2n$-dimensional nilmanifolds admitting generalized complex structures of every type $k$, for $0 \leq k \leq n$. This is in deep contrast to the…

Harer-Kas-Kirby conjectured that every handle decomposition of the elliptic surface E(1)_{2,3} requires both 1- and 3-handles. We prove that the elliptic surface E(n)_{p,q} has a handle decomposition without 1-handles for $n\geq 1$ and…

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…

For a Nash submersion $\phi\colon X\to Y$, we study the complex $\mathcal{SDR}(\phi)$ of Schwartz sections of the relative de Rham complex of $\phi$. We define the notion of Schwartz sections of constructible sheaves on Nash manifolds and…

In this paper, we standardize a homotopy $4$-sphere constructed by Dunfield and Gong. As a corollary, we show that the $18$-crossing knot $18_{\text{nh}00000601}$, which is not known to be ribbon, is slice in the standard $4$-ball. Thus,…

In a 1983 paper with Frank Warner, we proved that the space of all great circle fibrations of the 3-sphere S^3 deformation retracts to the subspace of Hopf fibrations, and so has the homotopy type of a pair of disjoint two-spheres. Since…

We relate degree one grasper families of embedded circles to various constructions of diffeomorphisms found in the literature -- theta clasper classes of Watanabe, barbell diffeomorphisms of Budney and Gabai, and twin twists of Gay and…

It is known that for coprime integers $p>q\geq 1$, the lens space $L(p^2,pq-1)$ bounds a rational ball, $B_{p,q}$, arising as the 2-fold branched cover of a (smooth) slice disk in $B^4$ bounding the associated 2-bridge knot. Lekilli and…

We study which lens spaces can bound smooth 4-manifolds with second Betti number one under various topological conditions. Specifically, we show that there are infinite families of lens spaces that bound compact, simply-connected, smooth…

Two smooth manifolds M and N are called R-diffeomorphic if their product with the real line are diffeomorphic. We consider the following simplification problem: does R-diffeomorphism imply diffeomorphism or homeomorphism? For compact…

We prove a relative version over $\mathbb{Q}$ of Nash-Tognoli theorem, that is: Let $M$ be a compact smooth manifold with closed smooth submanifolds $M_1,\dots,M_\ell$ in general position, then there exists a nonsingular real algebraic set…