Showing 1–28 of 28 results for author: DeBlois, J

Mixed-platonic 3-manifolds

Authors: Eric Chesebro, Michelle Chu, Jason DeBlois, Neil R. Hoffman, Priyadip Mondal, Genevieve S. Walsh

Abstract: 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. 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. △ Less

Submitted 12 July, 2024; v1 submitted 1 July, 2024; originally announced July 2024.

Comments: 36 pages, 17 figures. Main update to v2: ancillary file is more easily accessible

MSC Class: 57K32; 57K10

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

Authors: Jason DeBlois, Eduard Einstein, Jonathan D. Victor

Abstract: 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 j… ▽ More 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? △ Less

Submitted 24 June, 2024; originally announced June 2024.

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

Authors: Jason DeBlois, Peter B. Shalen

Abstract: 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… ▽ More 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$.'' △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: 48 pages

MSC Class: 57K32

Trigonometry of partially truncated triangles and tetrahedra

Authors: Jason DeBlois

Abstract: 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… ▽ More 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 final main result bounds the transversal length of a truncated tetrahedron in three-dimensional hyperbolic space, meaning the distance from a designated internal edge to its opposite, in terms of the tetrahedron's entire collection of internal edge lengths. 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. △ Less

Submitted 7 March, 2024; originally announced March 2024.

MSC Class: 57M50; 51M09

Dehn surgery and hyperbolic knot complements without hidden symmetries

Authors: Eric Chesebro, Jason DeBlois, Neil R Hoffman, Christian Millichap, Priyadip Mondal, William Worden

Abstract: 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 comp… ▽ More 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. △ Less

Submitted 1 October, 2020; v1 submitted 30 September, 2020; originally announced September 2020.

Comments: 41 pages, 12 figures, ancillary files contain sage code to verify some computations referenced in the preprint. This version corrects mistake in the previous abstract and includes a minor tweaks to the last paragraph of section 3 included an omitted reference. The ancillary file now more prominently displayed

Generic hyperbolic knot complements without hidden symmetries

Authors: Eric Chesebro, Jason DeBlois, Priyadip Mondal

Abstract: 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. 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. △ Less

Submitted 10 October, 2019; originally announced October 2019.

The maximal injectivity radius of hyperbolic surfaces with geodesic boundary

Authors: Jason DeBlois, Kim Romanelli

Abstract: 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 extendin… ▽ More 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. △ Less

Submitted 13 May, 2020; v1 submitted 16 August, 2018; originally announced August 2018.

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

Authors: Jason DeBlois, Nicholas Miller, Priyam Patel

Abstract: 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 asymptoti… ▽ More 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. △ Less

Submitted 3 May, 2020; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: 30 pages

Incompressible solvable representations of surface groups

Authors: Jason DeBlois, Daniel Gomez

Abstract: 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. 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. △ Less

Submitted 24 July, 2017; v1 submitted 4 April, 2017; originally announced April 2017.

Comments: Minor revisions and corrections suggested by a referee. Accepted version

Bounds for several-disk packings of hyperbolic surfaces

Authors: Jason DeBlois

Abstract: 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. 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. △ Less

Submitted 8 June, 2018; v1 submitted 26 January, 2017; originally announced January 2017.

Comments: Revised following referee's comments. Minor corrections and changes to exposition

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

Authors: Jason DeBlois

Abstract: 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 mate… ▽ More 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. △ Less

Submitted 1 March, 2017; v1 submitted 31 August, 2015; originally announced August 2015.

Comments: Numerous minor corrections (notably, of typos in the statement of Proposition 2.8) and revisions, following a referee's suggestions

The local maxima of maximal injectivity radius among hyperbolic surfaces

Authors: Jason DeBlois

Abstract: The function on the Teichmueller space of complete, orientable, finite-area hyperbolic surfaces of a fixed topological type that assigns to a hyperbolic surface its maximal injectivity radius has no local maxima that are not global maxima. The function on the Teichmueller space of complete, orientable, finite-area hyperbolic surfaces of a fixed topological type that assigns to a hyperbolic surface its maximal injectivity radius has no local maxima that are not global maxima. △ Less

Submitted 7 February, 2017; v1 submitted 26 June, 2015; originally announced June 2015.

Comments: Dramatically shortened (now 12 pp.), and introductory material simplified, following a referee's suggestions

Hidden symmetries via hidden extensions

Authors: Eric Chesebro, Jason DeBlois

Abstract: 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. 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. △ Less

Submitted 19 September, 2016; v1 submitted 4 January, 2015; originally announced January 2015.

Comments: 16 pages, 4 figures. Many changes suggested by a referee, including overhauled exposition in Section 1

MSC Class: 57M50; 57M10

Explicit rank bounds for cyclic covers

Authors: Jason DeBlois

Abstract: 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… ▽ More 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$. △ Less

Submitted 19 October, 2015; v1 submitted 29 October, 2013; originally announced October 2013.

Comments: 21 pages; changes suggested by a referee. Most are minor, but the previous Lemma 3.5 has been removed and all dependence on it has been written out

Journal ref: Algebr. Geom. Topol. 16 (2016) 1343-1371

The centered dual and the maximal injectivity radius of hyperbolic surfaces

Authors: Jason DeBlois

Abstract: We give sharp upper bounds on the maximal injectivity radius of finite-area hyperbolic surfaces and use them, for each g at least 2, to identify a constant r_{g-1,2} with the property that the set of closed genus-g hyperbolic surfaces with maximal injectivity radius at least r is compact if and only if r > r_{g-1,2}. The main tool is a version of the "centered dual complex" that we introduced earl… ▽ More We give sharp upper bounds on the maximal injectivity radius of finite-area hyperbolic surfaces and use them, for each g at least 2, to identify a constant r_{g-1,2} with the property that the set of closed genus-g hyperbolic surfaces with maximal injectivity radius at least r is compact if and only if r > r_{g-1,2}. The main tool is a version of the "centered dual complex" that we introduced earlier, a coarsening of the Delaunay complex of a locally finite set. In particular, we bound the area of a compact centered dual two-cell below given lower bounds on its side lengths. △ Less

Submitted 5 September, 2013; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: Minor changes to exposition, updated references and added one to a result of Bavard

Journal ref: Geom. Topol. 19 (2015) 953-1014

The Delaunay tessellation in hyperbolic space

Authors: Jason DeBlois

Abstract: 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.… ▽ More 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. △ Less

Submitted 5 August, 2016; v1 submitted 22 August, 2013; originally announced August 2013.

Comments: Some changes suggested by a referee, most significantly in Section 4, where in particular a figure is added

Rank gradients of infinite cyclic covers of 3-manifolds

Authors: Jason DeBlois, Stefan Friedl, Stefano Vidussi

Abstract: 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. 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. △ Less

Submitted 6 November, 2013; v1 submitted 17 December, 2012; originally announced December 2012.

Comments: 17 pages, minor updates and modifications, to be published by the Mich Math J

Journal ref: Michigan Math. J. 63 (2014), no. 1, 65-81

Algebraic invariants, mutation, and commensurability of link complements

Authors: Eric Chesebro, Jason DeBlois

Abstract: We construct a family of hyperbolic link complements by gluing tangles along totally geodesic four-punctured spheres, then investigate the commensurability relation among its members. Those with different volume are incommensurable, distinguished by their scissors congruence classes. Mutation produces arbitrarily large finite subfamilies of nonisometric manifolds with the same volume and scissors… ▽ More We construct a family of hyperbolic link complements by gluing tangles along totally geodesic four-punctured spheres, then investigate the commensurability relation among its members. Those with different volume are incommensurable, distinguished by their scissors congruence classes. Mutation produces arbitrarily large finite subfamilies of nonisometric manifolds with the same volume and scissors congruence class. Depending on the choice of mutation, these manifolds may be commensurable or incommensurable, distinguished in the latter case by cusp parameters. All have trace field Q(i,\sqrt{2}), but some have integral traces while others do not. △ Less

Submitted 3 September, 2013; v1 submitted 3 February, 2012; originally announced February 2012.

Comments: Minor changes following referee's suggestions

MSC Class: 57M50

Journal ref: Pacific J. Math. 267 (2014) 341-398

Tessellations of hyperbolic surfaces

Authors: Jason DeBlois

Abstract: A finite subset S of a closed hyperbolic surface F canonically determines a "centered dual decomposition" of F: a cell structure with vertex set S, geodesic edges, and 2-cells that are unions of the corresponding Delaunay polygons. Unlike a Delaunay polygon, a centered dual 2-cell Q is not determined by its collection of edge lengths; but together with its combinatorics, these determine an "admiss… ▽ More A finite subset S of a closed hyperbolic surface F canonically determines a "centered dual decomposition" of F: a cell structure with vertex set S, geodesic edges, and 2-cells that are unions of the corresponding Delaunay polygons. Unlike a Delaunay polygon, a centered dual 2-cell Q is not determined by its collection of edge lengths; but together with its combinatorics, these determine an "admissible space" parametrizing geometric possibilities for the Delaunay cells comprising Q. We illustrate its application by using the centered dual decomposition to extract combinatorial information about the Delaunay tessellation among certain genus-2 surfaces, and with this relate injectivity radius to covering radius here. △ Less

Submitted 23 March, 2011; originally announced March 2011.

Comments: 56 pages, 8 figures

The geometry of cyclic hyperbolic polygons

Authors: Jason DeBlois

Abstract: 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 functi… ▽ More 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. △ Less

Submitted 30 June, 2015; v1 submitted 25 January, 2011; originally announced January 2011.

Comments: Minor changes suggested by referee, updated references

Cross curvature flow on a negatively curved solid torus

Authors: Jason DeBlois, Dan Knopf, Andrea Young

Abstract: The classic 2pi-Theorem of Gromov and Thurston constructs a negatively curved metric on certain 3-manifolds obtained by Dehn filling. By Geometrization, any such manifold admits a hyperbolic metric. We outline a program using cross curvature flow to construct a smooth one-parameter family of metrics between the "2pi-metric" and the hyperbolic metric. We make partial progress in the program, prov… ▽ More The classic 2pi-Theorem of Gromov and Thurston constructs a negatively curved metric on certain 3-manifolds obtained by Dehn filling. By Geometrization, any such manifold admits a hyperbolic metric. We outline a program using cross curvature flow to construct a smooth one-parameter family of metrics between the "2pi-metric" and the hyperbolic metric. We make partial progress in the program, proving long-time existence, preservation of negative sectional curvature, curvature bounds, and integral convergence to hyperbolic for the metrics under consideration. △ Less

Submitted 24 June, 2009; originally announced June 2009.

Comments: 21 pages

MSC Class: 53C44; 57M50; 58J35

Journal ref: Algebr. Geom. Topol. 10 (2010) 343-372

Some virtually special hyperbolic 3-manifold groups

Authors: Eric Chesebro, Jason DeBlois, Henry Wilton

Abstract: Let M be a complete hyperbolic 3-manifold of finite volume that admits a decomposition into right-angled ideal polyhedra. We show that M has a deformation retraction that is a virtually special square complex, in the sense of Haglund and Wise and deduce that such manifolds are virtually fibered. We generalise a theorem of Haglund and Wise to the relatively hyperbolic setting and deduce that the fu… ▽ More Let M be a complete hyperbolic 3-manifold of finite volume that admits a decomposition into right-angled ideal polyhedra. We show that M has a deformation retraction that is a virtually special square complex, in the sense of Haglund and Wise and deduce that such manifolds are virtually fibered. We generalise a theorem of Haglund and Wise to the relatively hyperbolic setting and deduce that the fundamental group of M is LERF and that the geometrically finite subgroups of the fundamental group are virtual retracts. Examples of 3-manifolds admitting such a decomposition include augmented link complements. We classify the low-complexity augmented links and describe an infinite family with complements not commensurable to any 3-dimensional reflection orbifold. △ Less

Submitted 1 June, 2010; v1 submitted 30 March, 2009; originally announced March 2009.

Comments: 51 pages, 13 figures. Referee's comments incorporated. To appear in Commentarii Mathematici Helvetici

MSC Class: 20E26; 57M10

Volume and topology of bounded and closed hyperbolic 3-manifolds

Authors: Jason DeBlois, Peter B. Shalen

Abstract: Let N be a compact, orientable hyperbolic 3-manifold with connected, totally geodesic boundary of genus 2. If N has Heegaard genus at least 5, then its volume is greater than 6.89. The proof of this result uses the following dichotomy: either N has a long return path (defined by Kojima-Miyamoto), or N has an embedded, codimension-0 submanifold X with incompressible boundary… ▽ More Let N be a compact, orientable hyperbolic 3-manifold with connected, totally geodesic boundary of genus 2. If N has Heegaard genus at least 5, then its volume is greater than 6.89. The proof of this result uses the following dichotomy: either N has a long return path (defined by Kojima-Miyamoto), or N has an embedded, codimension-0 submanifold X with incompressible boundary $T \sqcup \partial N$, where T is the frontier of X in N, which is not a book of I-bundles. As an application of this result, we show that if M is a closed, orientable hyperbolic 3-manifold such that H_1(M;Z_2) has dimension at least 5, and if the image in H^2(M;Z_2) of the cup product map has image of dimension at most 1, then M has volume greater than 3.44. △ Less

Submitted 3 February, 2009; originally announced February 2009.

Comments: 38 pages, 1 figure

MSC Class: 57M50

Incompressible surfaces, hyperbolic volume, Heegaard genus and homology

Authors: Marc Culler, Jason DeBlois, Peter B. Shalen

Abstract: We show that if M is a complete, finite-volume, hyperbolic 3-manifold having exactly one cusp, and if H_1(M;Z_2) has dimension at least 6, then M has volume greater than 5.06. We also show that if M is a closed, orientable hyperbolic 3-manifold such that H_1(M;Z_2) has dimension at least 4, and if the image of the cup product map in H^2(M;Z_2) has dimension at most 1, then M has volume greater t… ▽ More We show that if M is a complete, finite-volume, hyperbolic 3-manifold having exactly one cusp, and if H_1(M;Z_2) has dimension at least 6, then M has volume greater than 5.06. We also show that if M is a closed, orientable hyperbolic 3-manifold such that H_1(M;Z_2) has dimension at least 4, and if the image of the cup product map in H^2(M;Z_2) has dimension at most 1, then M has volume greater than 3.08. The proofs of these geometric results involve new topological results relating the Heegaard genus of a closed Haken manifold M to the Euler characteristic of the kishkes (i.e guts) of the complement of an incompressible surface in M. △ Less

Submitted 7 January, 2009; v1 submitted 29 July, 2008; originally announced July 2008.

Comments: 24 pages, some typographical errors have been corrected and a few passages were reworded to improve clarity

MSC Class: 57M50

On the doubled tetrus

Authors: Jason DeBlois

Abstract: The tetrus is a sort of big brother to the tripus, W.P. Thurston's example of a compact hyperbolic 3-manifold with totally geodesic boundary. We describe a sixfold cover of the double of the tetrus, itself a double, which fibers over the circle with fiber a closed surface of genus 19. We also record arithmeticity of the doubles and certain twisted doubles of the tripus and tetrus, and point out… ▽ More The tetrus is a sort of big brother to the tripus, W.P. Thurston's example of a compact hyperbolic 3-manifold with totally geodesic boundary. We describe a sixfold cover of the double of the tetrus, itself a double, which fibers over the circle with fiber a closed surface of genus 19. We also record arithmeticity of the doubles and certain twisted doubles of the tripus and tetrus, and point out some consequences regarding families of covers. △ Less

Submitted 13 February, 2009; v1 submitted 24 April, 2008; originally announced April 2008.

Comments: 17 pages, 6 figures. Extensively rewritten with clarity in mind

Trace fields and commensurability of link complements

Authors: Eric Chesebro, Jason DeBlois

Abstract: This paper investigates the strength of the trace field as a commensurability invariant of hyperbolic 3-manifolds. We construct an infinite family of two-component hyperbolic link complements which are pairwise incommensurable and have the same trace field, and infinitely many 1-cusped finite volume hyperbolic 3-manifolds with the same property. We also show that the two-component link complemen… ▽ More This paper investigates the strength of the trace field as a commensurability invariant of hyperbolic 3-manifolds. We construct an infinite family of two-component hyperbolic link complements which are pairwise incommensurable and have the same trace field, and infinitely many 1-cusped finite volume hyperbolic 3-manifolds with the same property. We also show that the two-component link complements above have integral traces, but each has a mutant with a nonintegral trace. △ Less

Submitted 15 August, 2007; v1 submitted 8 August, 2007; originally announced August 2007.

Comments: 29 pages, 9 figures; added emails and affiliations for authors

MSC Class: 57M50

Totally geodesic surfaces and homology

Authors: Jason DeBlois

Abstract: We construct examples of hyperbolic rational homology spheres and hyperbolic knot complements in rational homology spheres containing closed embedded totally geodesic surfaces. We construct examples of hyperbolic rational homology spheres and hyperbolic knot complements in rational homology spheres containing closed embedded totally geodesic surfaces. △ Less

Submitted 23 April, 2009; v1 submitted 23 January, 2006; originally announced January 2006.

Comments: This is the version published by Algebraic & Geometric Topology on 25 September 2006

MSC Class: 57M50; 57M12; 57M27

Journal ref: Algebr. Geom. Topol. 6 (2006) 1413-1428

Surface groups are frequently faithful

Authors: Jason DeBlois, Richard P. Kent IV

Abstract: We show the set of faithful representations of a closed orientable hyperbolic surface group is dense in both irreducible components of the PSL(2,K) representation variety, where K is the field of real or complex numbers, answering a question of W. Goldman. We also prove the existence of faithful representations into PU(2,1) with certain nonintegral Toledo invariants. We show the set of faithful representations of a closed orientable hyperbolic surface group is dense in both irreducible components of the PSL(2,K) representation variety, where K is the field of real or complex numbers, answering a question of W. Goldman. We also prove the existence of faithful representations into PU(2,1) with certain nonintegral Toledo invariants. △ Less

Submitted 11 November, 2004; originally announced November 2004.

Comments: 10 pages, 1 figure