Related papers: A space level light bulb theorem in all dimensions
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…
This paper shows that there are symplectic four-manifolds M with the following property: a single isotopy class of smooth embedded two-spheres in M contains infinitely many Lagrangian submanifolds, no two of which are isotopic as Lagrangian…
If $M$ is a symplectic manifold then the space of smooth loops $\mathrm C^{\infty}(\mathrm S^1,M)$ inherits of a quasi-symplectic form. We will focus in this article on an algebraic analogue of that result. In 2004, Kapranov and Vasserot…
We show that any number of disjointly embedded 2-spheres in 4-space can be pulled apart by a link homotopy, ie, by a motion in which the 2-spheres stay disjoint but are allowed to self-intersect.
This paper is the fifth and final in a series on embedded minimal surfaces. Following our earlier papers on disks, we prove here two main structure theorems for non-simply connected embedded minimal surfaces of any given fixed genus. The…
We study embedding a subset $K$ of the unit sphere to the Hamming cube $\{-1,+1\}^m$. We characterize the tradeoff between distortion and sample complexity $m$ in terms of the Gaussian width $\omega(K)$ of the set. For subspaces and several…
We sketch a particularly simple and compelling version of D-brane cosmology. Inspired by the semi-phenomenological Randall--Sundrum models, and their cosmological generalizations, we develop a variant that contains a single…
An L-space is a rational homology 3-sphere with minimal Heegaard Floer homology. We give the first examples of hyperbolic L-spaces with no symmetries. In particular, unlike all previously known L-spaces, these manifolds are not double…
We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…
We show that any compact smooth real $n$-dimensional manifold $M$ with $n\leq 11$ can be smoothly embedded into $\mathbb{C}^{n+1}$ as a polynomially convex set. In general, there is no such embedding into $\mathbb{C}^n$. This solves a…
The main theorem of this article provides sufficient conditions for a degree $d$ finite cover $M'$ of a hyperbolic 3-manifold $M$ to be a surface-bundle. Let $F$ be an embedded, closed and orientable surface of genus $g$, close to a minimal…
Given $n$ distinct points $\mathbf{x}_1, \ldots, \mathbf{x}_n$ in $\mathbb{R}^d$, let $K$ denote their convex hull, which we assume to be $d$-dimensional, and $B = \partial K $ its $(d-1)$-dimensional boundary. We construct an explicit…
We consider pairs (X,Y) where X is a compact, locally CAT(-1) space, and Y is a totally geodesic subspace. The inclusion induces an embedding of the boundaries at infinity of the universal covers; we focus on the case where these are…
A classical result of A.D. Alexandrov states that a connected compact smooth $n-$dimensional manifold without boundary, embedded in $\Bbb R^{n+1}$, and such that its mean curvature is constant, is a sphere. Here we study the problem of…
Let M be a topological manifold modelled on topological vector spaces, which is the union of an ascending sequence of such manifolds M_n. We formulate a mild condition ensuring that the k-th homotopy group of M is the direct limit of the…
A divide is the image of a proper and generic immersion of a compact $1$-manifold into the $2$-disk. Due to A'Campo's theory, each divide is associated with a link in the 3-sphere. In this paper, we reveal a hidden hyperbolic structure in…
We produce combinatorial formulas for invariants of smooth embeddings of $(2\ell-1)$-spheres into $\mathbb{R}^{3\ell}$ for $\ell\geq 2$. Furthermore, we obtain such a formula for the Haefliger invariant, which classifies smooth knots…
We show that for any Carnot group $G$ there exists a natural number $D_G$ such that for any $0<\varepsilon<1/2$ the metric space $(G,d_G^{1-\varepsilon})$ admits a bi-Lipschitz embedding into $\mathbb{R}^{D_G}$ with distortion…
We study the moduli space of handlebodies diffeomorphic to $(D^{n+1}\times S^{n})^{\natural g}$, i.e. the classifying space $BDiff((D^{n+1}\times S^n)^{\natural g}, D^{2n})$ of the group of diffeomorphisms that restrict to the identity near…
Let $M$ be a smooth, connected, compact submanifold of $\mathbb{R}^n$ without boundary and of dimension $k\geq 2$. Let $\mathbb{S}^k \subset \mathbb{R}^{k+1}\subset \mathbb{R}^n$ denote the $k$-dimesnional unit sphere. We show if $M$ has…