Related papers: A four dimensional hyperbolic link complement in a…
We prove that any diffeomorphism of a compact manifold can be C^1-approximated by a diffeomorphism which exhibits a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by a diffeomorphism which is partially…
An explicit derivation of the elements of the representation ring of SU(2) needed to implement the four-dimensional Kirby calculus is sketched.
In 2009, Calegari constructed smooth homotopy 4-spheres from monodromies of fibered knots. We prove that all these are diffeomorphic to the standard 4-sphere. Our method uses 5-dimensional handlebody techniques and results on mapping class…
For every $k \geq 2$ we construct infinitely many $4k$-dimensional manifolds that are all stably diffeomorphic but pairwise not homotopy equivalent. Each of these manifolds has hyperbolic intersection form and is stably parallelisable. In…
General Relativity in 4 dimensions can be equivalently described as a dynamical theory of SO(3)-connections rather than metrics. We introduce the notion of asymptotically hyperbolic connections, and work out an analog of the…
The moduli space of smooth real plane quartic curves consists of six connected components. We prove that each of these components admits a real hyperbolic structure. These connected components correspond to the six real forms of a certain…
We consider knots and links in handlebodies that have hyperbolic complements and operations akin to composition. Cutting the complements of two such open along separating twice-punctured disks such that each of the four resulting…
In this paper, we show that any non-arithmetic hyperbolic $2$-bridge link complement admits no hidden symmetries. As a corollary, we conclude that a hyperbolic $2$-bridge link complement cannot irregularly cover a hyperbolic $3$-manifold.…
Menasco proved that nontrivial links in the 3-sphere with connected prime alternating non-2-braid projections are hyperbolic. This was further extended to augmented alternating links wherein non-isotopic trivial components bounding disks…
The complex hyperbolic triangle group $\Gamma=\Delta_{4,\infty,\infty;\infty}$ acting on the complex hyperbolic plane ${\bf H}^2_{\mathbb C}$ is generated by complex reflections $I_1$, $I_2$, $I_3$ such that the product $I_2I_3$ has order…
A theorem of Kirby gives a necessary and sufficient condition for two framed links in S^3 to yield orientation-preserving diffeomorphic results of surgery. Kirby's theorem is an important method for constructing invariants of 3-manifolds.…
A fundamental way to study 3-manifolds is through the geometric lens, one of the most prominent geometries being the hyperbolic one. We focus on the computation of a complete hyperbolic structure on a connected orientable hyperbolic…
We show that every plumbing of disc bundles over surfaces whose genera satisfy a simple inequality may be embedded as a convex submanifold in some closed hyperbolic four-manifold. In particular its interior has a geometrically finite…
We describe four hyperbolic knot complements in $\mathbb{S}^3$, each of which covers a prism orbifold: the quotient of $\mathbb{H}^3$ by the action of a discrete group generated by reflections in the faces of a polyhedron that has the…
We explain how to construct certain potential functions for the hyperbolic structures of a knot complement, which are closely related to the analytic functions on the deformation space of hyperbolic structures.
We show that the moduli space M of marked cubic surfaces is biholomorphic to the quotient by a discrete group generated by complex reflections of the complex four-ball minus the reflection hyperplanes of the group. Thus M carries a complex…
We construct stable minimal hypersurfaces with simple topology in certain compact $4$-manifolds $X$ with boundary, where $X$ embeds into a smooth manifold homeomorphic to $S^4$. For example, if $X$ is equipped with a Riemannian metric $g$…
By gluing some copies of a polytope of Kerckhoff and Storm's, we build the smallest known orientable hyperbolic 4-manifold that is not commensurable with the ideal 24-cell or the ideal rectified simplex. It is cusped and arithemtic, and has…
We introduce a simple algorithm which transforms every four-dimensional cubulation into a cusped finite-volume hyperbolic four-manifold. Combinatorially distinct cubulations give rise to topologically distinct manifolds. Using this…
Let F be R or C, d the dimension of F over R. Denote by P(F) either the affine plane A(F) or the hyperbolic plane H(F) over F. An arrangement L of k lines in P(F) (pairwise non-parallel in the hyperbolic case) has a link at infinity K(L)…