Related papers: The 4-Dimensional Light Bulb Theorem (after David …
We give a 4-dimensional light bulb theorem for properly embedded disks, generalizing recent work of Gabai and Kosanovic-Teichner in certain contexts, and extending the 4-dimensional light bulb theorem for 2-spheres due to Gabai and…
We present new smoothing techniques for topologically embedded surfaces in smooth 4-manifolds, which give topological isotopy to a smooth surface. As applications, we prove "topological = smooth" results in dimension 4 for certain disks and…
We prove a concordance analogue of Gabai's $4$-dimensional light bulb theorem. That is, we show that when $R$ and $R'$ are homotopically (smoothly) embedded $2$-spheres in a $4$-manifold $X^4$ where $\pi_1(X^4)$ has no $2$-torsion and one…
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.…
For a 4-manifold $M$ and a knot $k\colon\mathbb{S}^1\hookrightarrow\partial M$ with dual sphere $G\colon\mathbb{S}^2\hookrightarrow\partial M$, we compute the set $\mathbb{D}(M;k)$ of smooth isotopy classes of neat embeddings…
A proof via the Seiberg-Witten moduli space of Donaldson's theorem on smooth 4-manifolds with definite intersection forms.
If $\Sigma$ and $\Sigma'$ are homotopic embedded surfaces in a $4$-manifold then they may be related by a regular homotopy (at the expense of introducing double points) or by a sequence of stabilisations and destabilisations (at the expense…
This is an expository account of the author's collaboration with Rob Kirby leading up to the theory of trisections of smooth 4-manifolds. This article was written for inclusion in an upcoming issue of Celebratio Mathematica dedicated to Rob…
We give a self-contained introduction to the theory of Turaev's shadows as a tool to study 3 and 4-manifolds. The goal of the present paper twofold: on one side it is intended to be a shortcut to a basic use of the theory of shadows, on the…
In this note, we combine the recent 4-dimensional light bulb theorem of David Gabai and a recent construction of concordances for knots in $S^2\times S^1$ due to Eylem Zeliha Yildiz to construct a concordance between the standard surface of…
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…
The global magnificent four theory is the homological version of a maximally supersymmetric $(8+1)$-dimensional gauge theory on a Calabi-Yau fourfold fibered over a circle. In the case of a toric fourfold we conjecture the formula for its…
A classification theorem for 4-dimensional conformally flat QK3-manifolds is proved.
The light-cone superspace version of the d=3, N=8 superconformal theory of Bagger, Lambert and Gustavsson (BLG) is obtained as a solution to constraints imposed by OSp(2,2|8) superalgebra. The Hamiltonian of the theory is shown to be a…
Maximally supersymmetric mass deformation of the Bagger-Lambert-Gustavsson (BLG) theory corresponds to a {non-central} extension of the d=3 N=8 Poincare superalgebra (allowed in three dimensions). We obtain its light-cone superspace…
We prove the "Sullivan Conjecture" on the classification of 4-dimensional complete intersections up to diffeomorphism. Here an $n$-dimensional complete intersection is a smooth complex variety formed by the transverse intersection of $k$…
We prove discrete analogs of four-vertex type theorems of spherical curves, which imply corresponding results for space polygons. The smooth theory goes back to the work of Beniamino Segre and, more recently, by Mohammad Ghomi, and consists…
At an elementary level, we present some non-perturbative aspects of non-abelian gauge theories in four dimensional space-time. Some rigorous results have been obtained in the framework of supersymmetric theories, and a very rich physics…
In this short note, for each non-zero integer n, we construct a 4-manifold containing a smoothly concordant pair of spheres with a common dual of square n but no automorphism carrying one sphere to the other. Our examples, besides showing…
Techniques of gauge theory are used to define and compute an invariant of certain diffeomorphisms of 4-manifolds. The invariant vanishes for any diffeomorphism which is smoothly isotopic to the identity. As an application, we give the first…