Related papers: The 4-Dimensional Light Bulb Theorem

In order to include nontrivial spatial topologies in the problem of quantum creation of a universe, it seems to be necessary to generalize the sum over compact, smooth 4-manifolds to a sum over finite-volume, compact 4-orbifolds. We…

We know from previous work with Italiano and Migliorini that there exists some hyperbolic 5-manifold that fibers over the circle. Here we build one example where the monodromy is a "pseudo-Anosov homeomorphism" of the 4-dimensional fiber,…

We say that a topological $n$-manifold $N$ is a cubical $n$-manifold if it is contained in the $n$-skeleton of the canonical cubulation $\mathcal{C}$ of ${\mathbb{R}}^{n+k}$ ($k\geq1$). In this paper, we prove that any closed, oriented…

We give a brief survey of some facts about homotopy $4$-spheres \cite{a1}, then give a proof that the curious homotopy sphere constructed in \cite{a2} is in fact diffeomorphic to the standard $S^4$, and discuss its relation to infinite…

We introduce the secondary Stiefel-Whitney class $\tilde w_2$ of homotopically trivial diffeomorphisms and show that a homotopically trivial symplectomorphism of a ruled 4-manifold is isotopic to identity if and only if the class $\tilde…

We extend our previous result on the behavior of the quadratic part of a complex points of a small $\mathcal{C}^{2}$-perturbation of a real $4$-manifold embedded in a complex $3$-manifold. We describe the change of the structure of a normal…

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…

Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to enumerate the homotopy classes of maps from X to the 2-sphere. The former completes a project initiated by…

The Generalized Smale Conjecture asserts that if M is a closed 3-manifold with constant positive curvature, then the inclusion of the group of isometries into the group of diffeomorphisms is a homotopy equivalence. For the 3-sphere, this…

Michael Shub proved in 1969 that the topological conjugacy class of an expanding endomorphism on a compact manifold is determined by its homotopy type. In this article we generalize this result in two directions. In one direction we…

We give an infinite family of embeddings of $\mathbb{R} P^2$ to $S^4$ such that they are mutually topologically isotopic however are not smoothly isotopic to each other. Moreover, they are topologically isotopic to the standard $P^2$-knot.…

The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere…

The homotopy fiber of the inclusion from the long embedding space to the long immersion space is known to be an iterated based loop space (if the codimension is greater than two). In this paper we deloop the homotopy fiber to obtain the…

E. Calabi and J. Cao showed that a closed geodesic of least length in a two-sphere with nonnegative curvature is always simple. Using min-max theory, we prove that for some higher dimensions, this result holds without assumptions on the…

The Descartes circle theorem states that if four circles are mutually tangent with disjoint intersion, then their curvatures (or "bends) b_j = 1/r_j satisfy the relation (b_1 + b_2 + b_3 + b_4)^2 = 2(b_1^2 + b_2^2 + b_3^2 + b_4^2). We show…

We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$…

Let $M$ be a compact $4$-manifold and let $S$ and $T$ be embedded $2$-spheres in $M$, both with trivial normal bundle. We write $M_S$ and $M_T$ for the $4$-manifolds obtained by the Gluck twist operation on $M$ along $S$ and $T$…

We show that if a compact, oriented 4-manifold admits a coassociative-free immersion into the Euclidean 7-space then its Euler characteristic and signature vanish. Moreover, in the spin case the Gauss map is contractible, so that the…

We construct a family of smooth charged bubbling solitons in $\mathbb{M}^4 \times$T$^2$, four-dimensional Minkowski with a two-torus. The solitons are characterized by a degeneration pattern of the torus along a line in $\mathbb{M}^4$…

The symplectomorphism group of a 2-dimensional surface is homotopy equivalent to the orbit of a filling system of curves. We give a generalization of this statement to dimension 4. The filling system of curves is replaced by a decomposition…