Searcharxiv⌕ Search

arXiv subjects

Jason DeBlois

Publications and source records attributed to Jason DeBlois.

At least 19 recordsLinked to original sources
arXiv2026

Knot complements decomposing into prisms

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 combinatorial type of a triangular prism. The prism orbifolds are rigid-cusped and contain compact, totally geodesic hyperbolic triangle sub-orbifolds; as a result, the knot complements covering them have hidden symmetries and contain closed, embedded, totally geodesic surfaces.

math.GT↗
arXiv2025

Volume and topology of bounded and closed hyperbolic 3-manifolds, II

Let $N$ be a compact, orientable hyperbolic 3-manifold whose boundary is a connected totally geodesic surface of genus $2$. If $N$ has Heegaard genus at least $5$, then its volume is greater than $2V_{\rm oct}$, where $V_{\rm oct}=3.66\ldots$ denotes the volume of a regular ideal hyperbolic octahedron in $\mathbb{H}^3$. This improves the lower bound given in our earlier paper ``Volume and topology of bounded and closed hyperbolic $3$-manifolds.'' One ingredient in the improved bound is that in a crucial case, instead of using a single ``muffin'' in $N$ in the sense of Kojima and Miyamoto, we use two disjoint muffins. By combining the result about manifolds with geodesic boundary with the $\log(2k-1)$ theorem and results due to Agol-Culler-Shalen and Shalen-Wagreich, we show that if $M$ is a closed, orientable hyperbolic $3$-manifold with $\mathop{\rm vol} M\le V_{\rm oct}/2$, then $\dim H_1(M;\mathbb{F}_2)\le4$. We also provide new lower bounds for the volumes of closed hyperbolic $3$-manifolds whose cohomology ring over $\mathbb{F}_2$ satisfies certain restrictions; these improve results that were proved in ``Volume and topology$\ldots$.''

math.GT↗
arXiv2025

Trigonometry of partially truncated triangles and tetrahedra

The first main results of this note establish forms of the hyperbolic laws of cosines and sines for certain classes of quadrilaterals and pentagons in the hyperbolic plane, having at least one ideal vertex and right angles at non-ideal vertices, in which the length of a horocyclic cross-section at an ideal vertex plays the role filled by the dihedral angle in the usual versions of these laws. The second set of main results concern transversal length, meaning the distance from a designated internal edge to its opposite, of partially truncated tetrahedra in three-dimensional hyperbolic space whose non-truncated vertices are ideal. Transversal lengths of such tetrahedra are proved to depend only on the entire collection of internal edge lengths (interpreted at ideal vertices in terms of horospherical cross-sections), and bounds on these lengths are established. The case of ideal tetrahedra (no truncated vertices) is also considered. All main results are established using the unifying perspective of the hyperboloid model and Lorentzian geometry. A thorough introduction to this perspective is provided, with references as appropriate.

math.GT↗
arXiv2024

Mixed-platonic 3-manifolds

We introduce a class of cusped hyperbolic $3$-manifolds that we call mixed-platonic, composed of regular ideal hyperbolic polyhedra of more than one type, which includes certain previously-known examples. We establish basic facts about mixed-platonic manifolds which allow us to conclude, among other things, that there is no mixed-platonic hyperbolic knot complement with hidden symmetries.

math.GT↗
arXiv2024

Walks with jumps: a neurobiologically motivated class of paths in the hyperbolic plane

We introduce the notion of a "walk with jumps", which we conceive as an evolving process in which a point moves in a space (for us, typically $\mathbb{H}^2$) over time, in a consistent direction and at a consistent speed except that it is interrupted by a finite set of "jumps" in a fixed direction and distance from the walk direction. Our motivation is biological; specifically, to use walks with jumps to encode the activity of a neuron over time (a ``spike train``). Because (in $\mathbb{H}^2$) the walk is built out of a sequence of transformations that do not commute, the walk's endpoint encodes aspects of the sequence of jump times beyond their total number, but does so incompletely. The main results of the paper use the tools of hyperbolic geometry to give positive and negative answers to the following question: to what extent does the endpoint of a walk with jumps faithfully encode the walk's sequence of jump times?

math.GT↗
arXiv2020

Dehn surgery and hyperbolic knot complements without hidden symmetries

Neumann and Reid conjecture that there are exactly three knot complements which admit hidden symmetries. This paper establishes several results that provide evidence for the conjecture. Our main technical tools provide obstructions to having infinitely many fillings of a cusped manifold produce knot complements admitting hidden symmetries. Applying these tools, we show for any two-bridge link complement, at most finitely many fillings of one cusp can be covered by knot complements admitting hidden symmetries. We also show that the figure-eight knot complement is the unique knot complement with volume less than $6v_0 \approx 6.0896496$ that admits hidden symmetries. We then conclude with two independent proofs that among hyperbolic knot complements only the figure-eight knot complement can admit hidden symmetries and cover a filling of the two-bridge link complement $\mathbb{S}^3\setminus 6^2_2$. Each of these proofs shows that the technical tools established earlier can be made effective.

math.GT↗
arXiv2020

The maximal injectivity radius of hyperbolic surfaces with geodesic boundary

We give sharp upper bounds on the injectivity radii of complete hyperbolic surfaces of finite area with some geodesic boundary components. The given bounds are over all such surfaces with any fixed topology; in particular, boundary lengths are not fixed. This extends the first author's result to the with-boundary setting. In the second part of the paper we comment on another direction for extending this result, via the systole of loops function.

math.GT↗
arXiv2020

Effective virtual and residual properties of some arithmetic hyperbolic 3-manifolds

We give an effective upper bound, for certain arithmetic hyperbolic 3-manifold groups obtained from a quadratic form construction, on the minimal index of a subgroup that embeds in a fixed 6-dimensional right-angled reflection group, stabilizing a totally geodesic subspace. In particular, for manifold groups in any fixed commensurability class we show that the index of such a subgroup is asymptotically smaller than any fractional power of the volume of the manifold. We also give effective bounds on the geodesic residual finiteness growths of closed hyperbolic manifolds that totally geodesically immerse in non-compact right-angled reflection orbifolds, extending work of the third author from the compact case. The first result gives examples to which the second applies, and for these we give explicit bounds on geodesic residual finiteness growth.

math.GT↗
arXiv2019

Generic hyperbolic knot complements without hidden symmetries

We establish a pair of criteria for proving that most knot complements obtained as Dehn fillings of a given two-component hyperbolic link complement lack hidden symmetries. To do this, we use certain rational functions on varieties associated to the link. We apply our criteria to show that among certain infinite families of knot complements, all but finitely many members lack hidden symmetries.

math.GT↗
arXiv2018

Bounds for several-disk packings of hyperbolic surfaces

For any given natural number $k$, this paper gives upper bounds on the radius of a packing of a complete hyperbolic surface of finite area by $k$ equal-radius disks in terms of the surface's topology. We show that the bounds given here are sharp in some cases and not sharp in others.

math.GT↗
arXiv2017

Incompressible solvable representations of surface groups

The fundamental group of every surface that is not the projective plane or Klein bottle has a representation to a torsion-free group of upper-triangular matrices in SL(2,R) with no simple loop (i.e. a nontrivial element representing a simple closed curve) in the kernel.

math.GT↗
arXiv2017

Bounding the area of a centered dual two-cell below, given lower bounds on its side lengths

Suppose $C$ is a compact, $n$-edged two-cell of the centered dual decomposition of a locally finite set in the hyperbolic plane, a coarsening of the Delaunay tessellation which was introduced in the author's prior work. We describe an effectively computable lower bound on the area of $C$, given an $n$-tuple of positive real numbers bounding the lengths of the edges of $C$ below. The ancillary materials contain Python code implementing (for $n<10$) an algorithm to compute this bound. For geometrically reasonable edge length bounds, we expect the given area bound to be sharp or near-sharp.

math.MG↗
arXiv2016

Hidden symmetries via hidden extensions

This paper introduces a new approach to finding knots and links with hidden symmetries using "hidden extensions", a class of hidden symmetries defined here. We exhibit a family of tangle complements in the ball whose boundaries have symmetries with hidden extensions, then we further extend these to hidden symmetries of some hyperbolic link complements.

math.GT↗
arXiv2016

The Delaunay tessellation in hyperbolic space

The Delaunay tessellation of a locally finite subset of hyperbolic space is constructed using convex hulls in Euclidean space of one higher dimension. For finite and lattice-invariant sets it is proven to be a polyhedral decomposition, and versions (necessarily modified from the Euclidean setting) of the empty circumspheres condition and geometric duality with the Voronoi tessellation are proved. Some pathological examples of infinite, non lattice-invariant sets are exhibited.

math.GT↗
arXiv2015

Explicit rank bounds for cyclic covers

Let $M$ be a closed, orientable hyperbolic 3-manifold and $ϕ$ a homomorphism of its fundamental group onto $\mathbb{Z}$ that is not induced by a fibration over the circle. For each natural number $n$ we give an explicit lower bound, linear in $n$, on rank of the fundamental group of the cover of $M$ corresponding to $ϕ^{-1}(n\mathbb{Z})$. The key new ingredient is the following result: for such a manifold $M$ and a connected, two-sided incompressible surface of genus $g$ in $M$ that is not a fiber or semi-fiber, a reduced homotopy in $(M,S)$ has length at most $14g-12$.

math.GT↗
arXiv2015

The geometry of cyclic hyperbolic polygons

A hyperbolic polygon is defined to be cyclic, horocyclic, or equidistant if its vertices lie on a metric circle, horocycle, or a component of the equidistant locus to a hyperbolic geodesic, respectively. Convex such $n$-gons are parametrized by the subspaces of $(0,\infty)^n$ that contain their side length collections, and area and circumcircle or "collar" radius determine symmetric, smooth functions on these spaces. We give formulas for and bounds on the derivatives of these functions, and make some observations on their behavior. Notably, the monotonicity properties of area and circumcircle radius exhibit qualitative differences on the collection of centered vs non-centered cyclic polygons, where a cyclic polygon is "centered" if it contains the center of its circumcircle in its interior.

math.GT↗
arXiv2013

Rank gradients of infinite cyclic covers of 3-manifolds

Given a 3-manifold M with no spherical boundary components, and a primitive class ϕin H^1(M;Z), we show that the following are equivalent: (1) ϕis a fibered class, (2) the rank gradient of (M,ϕ) is zero, (3) the Heegaard gradient of (M,ϕ) is zero.

math.GT↗