Related papers: Finite quotients, arithmetic invariants, and hyper…
We show that the quasiconvex subgroups in doubles of certain negatively curved groups are closed in the profinite topology. This allows us to construct the first known large family of hyperbolic 3-manifolds such that any finitely generated…
We show that each connected component of the moduli space of smooth real binary quintics is isomorphic to an open subset of an arithmetic quotient of the real hyperbolic plane. Moreover, our main result says that the induced metric on this…
A periodic lattice in Euclidean 3-space is the infinite set of all integer linear combinations of basis vectors. Any lattice can be generated by infinitely many different bases. This ambiguity was only partially resolved, but standard…
We prove that any compact, orientable 3-manifold with empty or toral boundary is profinitely almost rigid among all compact, orientable 3-manifolds. In other words, the profinite completion of its fundamental group determines its…
We prove that various arithmetic quotients of the unit ball in $\mathbb{C}^n$ are Mordellic, in the sense that they have only finitely many rational points over any finitely generated field extension of $\mathbb{Q}$. In the previously known…
We construct a new family of exact quantum field theories modeled on hyperbolic geometry, called {\it quantum hyperbolic field theories} (QHFTs). The QHFTs are defined for a $(2+1)$-bordism category based on the set of compact oriented…
This paper proves that every finite volume hyperbolic 3-manifold M contains a ubiquitous collection of closed, immersed, quasi-Fuchsian surfaces. These surfaces are ubiquitous in the sense that their preimages in the universal cover…
We prove matching direct and inverse theorems for uniform polynomial approximation with $A^*$ weights (a subclass of doubling weights suitable for approximation in the $L_\infty$ norm) having finitely many zeros and not too "rapidly…
We show that for a closed hyperbolic 3-manifold the size of the first eigenvalue of the Hodge Laplacian acting on coexact 1-forms is comparable to an isoperimetric ratio relating geodesic length and stable commutator length with comparison…
A classic theorem of Kazhdan and Margulis states that for any semisimple Lie group without compact factors, there is a positive lower bound on the covolume of lattices. H. C. Wang's subsequent quantitative analysis showed that the…
We discuss the geometry of some arithmetic orbifolds locally isometric to a product of real hyperbolic spaces of dimension two and three, and prove that certain sequences of non-uniform orbifolds are convergent to this space in a geometric…
Margulis spacetimes are complete affine 3-manifolds that were introduced to show that the cocompactness condition of Auslander's conjecture is necessary. There are Lorentzian manifolds that are obtained as a quotient of the three…
A hyperbolic conjugacy class in the modular group PSL(2,Z) corresponds to a closed geodesic in the modular orbifold. Some of these geodesics virtually bound immersed surfaces, and some do not; the distinction is related to the polyhedral…
This note is an elaboration of the ideas and intuitions of Grothendieck and Weil concerning the "arithmetic topology". Given 3-dimensional manifold M fibering over the circle we introduce an real quadratic number field K with discriminant…
Let C be a complex smooth projective algebraic curve endowed with an action of a finite group G such that the quotient curve has genus at least 3. We prove that if the G-curve C is very general for these properties, then the natural map…
This paper examines the representations of hyperbolic integral homology spheres into the binary icosahedral group $2I$. We specifically give a geometric meaning to $2I$ representations by relating them to Larsen's notion of quotient…
The abelian and monoidal structure of the category of smooth weight modules over a non-integrable affine vertex algebra of rank greater than one is an interesting, difficult and essentially wide open problem. Even conjectures are lacking.…
We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…
We construct two infinite families of ball quotient compactifications birational to bielliptic surfaces. For each family, the volume spectrum of the associated noncompact finite volume ball quotient surfaces is the set of all positive…
By a "Boolean inverse semigroup" we mean an inverse semigroup whose semilattice of idempotents is a Boolean algebra. We study representations of a given inverse semigroup S in a Boolean inverse semigroup which are "tight" in a certain well…