Related papers: The 4-dimensional disc embedding theorem and dual …

A 2018 paper by A. Levine and T. Lidman outlines a proof of the following interesting result in topology of manifolds: there is a compact smooth 4-manifold $W$ with boundary such that $W$ is homotopy equivalent to $S^2$ but there does not…

We show that under certain conditions, a nontrivial Riemannian submersion from positively curved four manifolds does not exist. This gives a partial answer to a conjecture due to Fred Wilhelm. We also prove a rigidity theorem for Riemannian…

In this note we describe a family of arguments that link the homotopy-type of a) the diffeomorphism group of the disc $D^n$, b) the space of co-dimension one embedded spheres in a sphere and c) the homotopy-type of the space of co-dimension…

Using spinning we analyze in a geometric way Haefliger's smoothly knotted (4k-1)-spheres in the 6k-sphere. Consider the 2-torus standardly embedded in the 3-sphere, which is further standardly embedded in the 6-sphere. At each point of the…

This paper presents a new reformulated theorem for fields embedded on a sphere or a disk. We focus in particular on the associated sphere of a disk when closing its only one boundary. We call this the disk-sphere duality theorem for the…

We calculate the Seiberg-Witten invariants of branched covers of prime degree, where the branch locus consists of embedded spheres. Aside from the formula itself, our calculations give rise to some new constraints on configurations of…

We prove some rigidity theorems for configurations of closed disks. First, fix two collections $\mathcal{C}$ and $\tilde{\mathcal{C}}$ of closed disks in the Riemann sphere $\hat{\mathbb{C}}$, sharing a contact graph which…

Given a $d$-dimensional manifold $M$ and a knotted sphere $s\colon\mathbb{S}^{k-1}\hookrightarrow\partial M$ with $1\leq k\leq d$, for which there exists a framed dual sphere $G\colon\mathbb{S}^{d-k}\hookrightarrow\partial M$, we show that…

This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing…

We describe rules for building 2d theories labeled by 4-manifolds. Using the proposed dictionary between building blocks of 4-manifolds and 2d N=(0,2) theories, we obtain a number of results, which include new 3d N=2 theories T[M_3]…

We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…

It is an important question whether it is possible to put a geometry on a given manifold or not. It is well known that any simply connected closed manifold admitting a real projective structure must be a sphere. Therefore, any simply…

We show that there exist smooth, simply connected, four-dimensional spin manifolds which do not admit Einstein metrics, but nonetheless satisfy the strict Hitchin-Thorpe inequality. Our construction makes use of the Bauer/Furuta cohomotopy…

We prove that given two compact oriented $3$-manifolds $N$ and $M,$ with $M$ satisfying only a mild hypothesis, there is a hyperbolic $3$-manifold $N'$ arbitrarily ``closely related'' to $N,$ and such that $N'$ does not embed in $M.$ For…

A manifold $M$ is said to be a double disk bundle if it can be decomposed as a union of two disk bundles glued together by a diffeomorphism of their boundaries. We show that if $M^n$ is a closed simply connected $n$-manifold with $n$ even…

The polynomial invariants $q_d$ for a large class of smooth 4-manifolds are shown to satisfy universal relations. The relations reflect the possible genera of embedded surfaces in the 4-manifold and lead to a structure theorem for the…

Let n>3, and let L be a Lagrangian embedding of an n-disk into the cotangent bundle of n-dimensional Euclidean space that agrees with the cotangent fiber over a non-zero point x outside a compact set. Assume that L is disjoint from the…

We study smooth proper embeddings of compact orientable surfaces in compact orientable $4$-manifolds and elements in the mapping class group of that surface which are induced by diffeomorphisms of the ambient $4$-manifolds. We call such…

The aim of this article is to introduce invariants of oriented, smooth, closed four-manifolds, built using the Floer homology theories defined in two earlier papers (math.SG/0101206 and math.SG/0105202). This four-dimensional theory also…