Related papers: Verified computations for hyperbolic 3-manifolds
The simulation of large nonlinear dynamical systems, including systems generated by discretization of hyperbolic partial differential equations, can be computationally demanding. Such systems are important in both fluid and kinetic…
The density conjecture of Bers, Sullivan and Thurston predicts that each complete hyperbolic 3-manifold M with finitely generated fundamental group is an algebraic limit of geometrically finite hyperbolic 3-manifolds. We prove that the…
This short note is a mostly expository article examining negatively curved three-manifolds. We look at some rigidity properties related to isometric embeddings into Minkowski space. We also review the Cross Curvature Flow (XCF) as a tool to…
We give a criterion in terms of the boundary for the existence of a proper cocompact action of a word-hyperbolic group on a CAT(0) cube complex. We describe applications towards lattices and hyperbolic 3-manifold groups. In particular, by…
Deep representation learning is a ubiquitous part of modern computer vision. While Euclidean space has been the de facto standard manifold for learning visual representations, hyperbolic space has recently gained rapid traction for learning…
We present an algorithm for the following problem. Given a triangulated 3-manifold M and a (possibly non-simple) closed curve on the boundary of M, decide whether this curve is contractible in M. Our algorithm runs in space polynomial in…
The effectiveness of the hyperbolic relaxation method for solving the Einstein constraint equations numerically is studied here on a variety of compact orientable three-manifolds. Convergent numerical solutions are found using this method…
In a recent paper Garoufalidis and Reid constructed pairs of 1-cusped hyperbolic 3-manifolds which are isospectral but not isometric. In this paper we extend this work to the multi-cusped setting by constructing isospectral but not…
These are mostly expository notes based on the course of lectures on arithmetic invariants of hyperbolic manifolds given at the workshop associated with the final "Volume Conference," held at Columbia University, June 2009. Some new results…
This paper studies Riemannian manifolds of the form $M \setminus S$, where $M^4$ is a complete four dimensional Riemannian manifold with finite volume whose metric is modeled on the complex hyperbolic plane $\mathbb{C} \mathbb{H}^2$, and…
We prove that a complete hyperbolic 3-manifold of finite volume does not admit a properly embedded noncompact surface of finite topology with constant mean curvature greater than or equal to 1.
In this paper, we will use Kahn-Markovic's almost totally geodesic surfaces to construct certain $\pi_1$-injective 2-complexes in closed hyperbolic 3-manifolds. Such 2-complexes are locally almost totally geodesic except along a…
We prove that if two cusped hyperbolic $3$-manifolds admit a regular isomorphism between the profinite completions of their fundamental groups, then they share the same $A$-polynomial and their strongly detected boundary slopes match up.
This paper provides a methodology of verified computing for solutions to 1-dimensional advection equations with variable coefficients. The advection equation is typical partial differential equations (PDEs) of hyperbolic type. There are few…
On a family of arithmetic hyperbolic 3-manifolds of squarefree level, we prove an upper bound for the sup-norm of Hecke-Maass cusp forms, with a power saving over the local geometric bound simultaneously in the Laplacian eigenvalue and the…
We describe a natural strategy to enumerate compact hyperbolic 3-manifolds with geodesic boundary in increasing order of complexity. We show that the same strategy can be employed to analyze simultaneously compact manifolds and…
This thesis investigates cusp cross-sections of arithmetic real, complex, and quaternionic hyperbolic $n$--orbifolds. We give a smooth classification of these submanifolds and analyze their induced geometry. One of the primary tools is a…
We prove that every open Riemann surface $M$ is the complex structure of a complete surface of constant mean curvature 1 (CMC-1) in the 3-dimensional hyperbolic space $\mathbb{H}^3$. We go further and establish a jet interpolation theorem…
The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…
The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The…