Showing 1–14 of 14 results for author: Hoffman, N R

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

Small $\text{PSL}(2, \mathbb{F})$ representations of Seifert fiber space groups

Authors: Neil R Hoffman, Kathleen L Petersen

Abstract: Let $M$ be a Seifert fiber space with non-abelian fundamental group and admitting a triangulation with $t$ tetrahedra. We show that there is a non-abelian $\text{PSL}(2, \mathbb{F})$ quotient where $|\mathbb F| < c(2^{20t}3^{120t})$ for an absolute constant $c>0$ and use this to show that the lens space recognition problem lies in coNP for Seifert fiber space input. We end with a discussion of our… ▽ More Let $M$ be a Seifert fiber space with non-abelian fundamental group and admitting a triangulation with $t$ tetrahedra. We show that there is a non-abelian $\text{PSL}(2, \mathbb{F})$ quotient where $|\mathbb F| < c(2^{20t}3^{120t})$ for an absolute constant $c>0$ and use this to show that the lens space recognition problem lies in coNP for Seifert fiber space input. We end with a discussion of our results in the context of distinguishing lens spaces from other $3$--manifolds more generally. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Comments: 15 pages, 1 figure

MSC Class: 57M50; 68Q25

Infinitely many virtual geometric triangulations

Authors: David Futer, Emily Hamilton, Neil R. Hoffman

Abstract: We prove that every cusped hyperbolic 3-manifold has a finite cover admitting infinitely many geometric ideal triangulations. Furthermore, every long Dehn filling of one cusp in this cover admits infinitely many geometric ideal triangulations. This cover is constructed in several stages, using results about separability of peripheral subgroups and their double cosets, in addition to a new conjugac… ▽ More We prove that every cusped hyperbolic 3-manifold has a finite cover admitting infinitely many geometric ideal triangulations. Furthermore, every long Dehn filling of one cusp in this cover admits infinitely many geometric ideal triangulations. This cover is constructed in several stages, using results about separability of peripheral subgroups and their double cosets, in addition to a new conjugacy separability theorem that may be of independent interest. The infinite sequence of geometric triangulations is supported in a geometric submanifold associated to one cusp, and can be organized into an infinite trivalent tree of Pachner moves. △ Less

Submitted 20 September, 2022; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: 31 pages 4 figures, version 2 removes some typos and has minor changes in exposition. This paper has been accepted for publication by the Journal of Topology

MSC Class: 57K32; 20F65; 20E26; 57M10; 57R05

Journal ref: J. of Topol. 15 (2022), Issue 4, 2352-2388

Exceptional surgeries in 3-manifolds

Authors: Kenneth L. Baker, Neil R. Hoffman

Abstract: Myers shows that every compact, connected, orientable $3$--manifold with no $2$--sphere boundary components contains a hyperbolic knot. We use work of Ikeda with an observation of Adams-Reid to show that every $3$--manifold subject to the above conditions contains a hyperbolic knot which admits a non-trivial non-hyperbolic surgery, a toroidal surgery in particular. We conclude with a question and… ▽ More Myers shows that every compact, connected, orientable $3$--manifold with no $2$--sphere boundary components contains a hyperbolic knot. We use work of Ikeda with an observation of Adams-Reid to show that every $3$--manifold subject to the above conditions contains a hyperbolic knot which admits a non-trivial non-hyperbolic surgery, a toroidal surgery in particular. We conclude with a question and a conjecture about reducible surgeries. △ Less

Submitted 31 August, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 5 pages, 3 figures, version 2 is supported by ancillary files which include certificates of computations done in sage. There are minor changes to the exposition to reference these files

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

Cusp types of quotients of hyperbolic knot complements

Authors: Neil R Hoffman

Abstract: This paper completes a classification of the types of orientable and non-orientable cusps that can arise in the quotients of hyperbolic knot complements. In particular, $S^2(2,4,4)$ cannot be the cusp cross-section of any orbifold quotient of a hyperbolic knot complement. Furthermore, if a knot complement covers an orbifold with a $S^2(2,3,6)$ cusp, it also covers an orbifold with a $S^2(3,3,3)$ c… ▽ More This paper completes a classification of the types of orientable and non-orientable cusps that can arise in the quotients of hyperbolic knot complements. In particular, $S^2(2,4,4)$ cannot be the cusp cross-section of any orbifold quotient of a hyperbolic knot complement. Furthermore, if a knot complement covers an orbifold with a $S^2(2,3,6)$ cusp, it also covers an orbifold with a $S^2(3,3,3)$ cusp. We end with a discussion that shows all cusp types arise in the quotients of link complements. △ Less

Submitted 20 September, 2022; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: 13 pages, 6 figures, updates include a complete classification of the cusp types that can show up in the quotients of link complements

MSC Class: 57M25; 57M10; 57M12

Journal ref: Proc. Amer. Math. Soc. Ser. B 9 (2022), 336-350

Symmetries and hidden symmetries of $(ε, d_L)$-twisted knot complements

Authors: Neil R. Hoffman, Christian Millichap, William Worden

Abstract: In this paper we analyze symmetries, hidden symmetries, and commensurability classes of $(ε, d_L)$-twisted knot complements, which are the complements of knots that have a sufficiently large number of twists in each of their twist regions. These knot complements can be constructed via long Dehn fillings on fully augmented links complements. We show that such knot complements have no hidden symmetr… ▽ More In this paper we analyze symmetries, hidden symmetries, and commensurability classes of $(ε, d_L)$-twisted knot complements, which are the complements of knots that have a sufficiently large number of twists in each of their twist regions. These knot complements can be constructed via long Dehn fillings on fully augmented links complements. We show that such knot complements have no hidden symmetries, which implies that there are at most two other knot complements in their respective commensurability classes. Under mild additional hypotheses, we show that these knots have at most four (orientation-preserving) symmetries and are the only knot complements in their respective commensurability classes. Finally, we provide an infinite family of explicit examples of $(ε, d_L)$-twisted knot complements that are the unique knot complements in their respective commensurability classes obtained by filling a fully augmented link with four crossing circles. △ Less

Submitted 1 March, 2021; v1 submitted 23 September, 2019; originally announced September 2019.

Comments: Removed some highlighting of text that was overlooked in the previous version. This is the final version, to appear in Algebraic & Geometric Topology. 38 pages, 15 figures, 1 table

MSC Class: 57M25; 57M50; 57M27

Journal ref: Algebr. Geom. Topol. 22 (2022) 601-656

On the complexity of cusped non-hyperbolicity

Authors: Robert Haraway III, Neil R Hoffman

Abstract: We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming $S^3$-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we unconditionally recover SATELLITE KNOT RECOGNITION lying in NP. This was previously known only assuming the Generalized Riemann Hypothesis. Our key contribution is to certify closed… ▽ More We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming $S^3$-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we unconditionally recover SATELLITE KNOT RECOGNITION lying in NP. This was previously known only assuming the Generalized Riemann Hypothesis. Our key contribution is to certify closed essential normal surfaces as essential in polynomial time in compact orientable irreducible $\partial$-irreducible triangulations. Our work is made possible by recent work of Lackenby showing several basic decision problems in 3-manifold topology are in NP or coNP. △ Less

Submitted 11 September, 2022; v1 submitted 2 July, 2019; originally announced July 2019.

Comments: 30 pages; version 3 fills gap in certifying homeomorphism to 0-efficient triangulation, and corrects proofs of surface bundle recognition and essential annulus certification

MSC Class: 57M50; 68Q25

Jointly primitive knots and surgeries between lens spaces

Authors: Kenneth L. Baker, Neil R. Hoffman, Joan E. Licata

Abstract: This paper describes a Dehn surgery approach to generating asymmetric hyperbolic manifolds with two distinct lens space fillings. Such manifolds were first identified in work of Dunfield-Hoffman-Licata as the result of a computer search of the SnapPy census, but the current work establishes a topological framework for constructing vastly many more such examples. We introduce the notion of a ``jo… ▽ More This paper describes a Dehn surgery approach to generating asymmetric hyperbolic manifolds with two distinct lens space fillings. Such manifolds were first identified in work of Dunfield-Hoffman-Licata as the result of a computer search of the SnapPy census, but the current work establishes a topological framework for constructing vastly many more such examples. We introduce the notion of a ``jointly primitive'' presentation of a knot and show that a refined version of this condition ``longitudinally jointly primitive'' is equivalent to being surgery dual to a $(1,2)$--knot in a lens space. This generalizes Berge's equivalence between having a doubly primitive presentation and being surgery dual to a $(1,1)$--knot in a lens space. Through surgery descriptions on a seven-component link in $S^3$, we provide several explicit multi-parameter infinite families of knots in lens spaces with longitudinal jointly primitive presentations and observe among them all the examples previously seen in Dunfield-Hoffman-Licata. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Comments: 33 pages, 16 figures, and ancillary files

MSC Class: 57M25; 57M50

The Poincare homology sphere, lens space surgeries, and some knots with tunnel number two

Authors: Kenneth L. Baker, Neil R. Hoffman

Abstract: We exhibit an infinite family of knots in the Poincare homology sphere with tunnel number 2 that have a lens space surgery. Notably, these knots are not doubly primitive and provide counterexamples to a few conjectures. In the appendix, it is shown that hyperbolic knots in the Poincare homology sphere with a lens space surgery has either no symmetries or just a single strong involution. We exhibit an infinite family of knots in the Poincare homology sphere with tunnel number 2 that have a lens space surgery. Notably, these knots are not doubly primitive and provide counterexamples to a few conjectures. In the appendix, it is shown that hyperbolic knots in the Poincare homology sphere with a lens space surgery has either no symmetries or just a single strong involution. △ Less

Submitted 3 October, 2019; v1 submitted 25 April, 2015; originally announced April 2015.

Comments: 15 pages, 7 figures. Comments welcome. Aside from minor edits, Version 3, rewrite of appendix and minor revisions in the body suggested by the referee, to appear in Pacific J. Math., Version 2 includes an appendix by Neil R. Hoffman which answers Question 10(2) of Version 1

MSC Class: 57M27

Journal ref: Pacific J. Math. 305 (2020) 1-27

Geometry of planar surfaces and exceptional fillings

Authors: Neil R. Hoffman, Jessica S. Purcell

Abstract: If a hyperbolic 3-manifold admits an exceptional Dehn filling, then the length of the slope of that Dehn filling is known to be at most six. However, the bound of six appears to be sharp only in the toroidal case. In this paper, we investigate slope lengths of other exceptional fillings. We construct hyperbolic 3-manifolds that have the longest known slopes for reducible fillings. As an intermedia… ▽ More If a hyperbolic 3-manifold admits an exceptional Dehn filling, then the length of the slope of that Dehn filling is known to be at most six. However, the bound of six appears to be sharp only in the toroidal case. In this paper, we investigate slope lengths of other exceptional fillings. We construct hyperbolic 3-manifolds that have the longest known slopes for reducible fillings. As an intermediate step, we show that the problem of finding the longest such slope is equivalent to a problem on the maximal density horoball packings of planar surfaces, which should be of independent interest. We also discuss lengths of slopes of other exceptional Dehn fillings, and prove that six is not realized by a slope corresponding to a small Seifert fibered space filling. △ Less

Submitted 31 May, 2016; v1 submitted 7 April, 2015; originally announced April 2015.

Comments: 18 page, 5 figures, 1 table. V3: Changes to section 2: Theorem 2.1 and its proof have been modified to correct an issue with the previous version. Additional minor changes to exposition. V4: Changes to section 2 to avoid coverings. Proof of Theorem 2.6 is now more direct. Additional wording changes

MSC Class: 57M50; 57M27

Asymmetric hyperbolic L-spaces, Heegaard genus, and Dehn filling

Authors: Nathan M. Dunfield, Neil R. Hoffman, Joan E. Licata

Abstract: An L-space is a rational homology 3-sphere with minimal Heegaard Floer homology. We give the first examples of hyperbolic L-spaces with no symmetries. In particular, unlike all previously known L-spaces, these manifolds are not double branched covers of links in S^3. We prove the existence of infinitely many such examples (in several distinct families) using a mix of hyperbolic geometry, Floer the… ▽ More An L-space is a rational homology 3-sphere with minimal Heegaard Floer homology. We give the first examples of hyperbolic L-spaces with no symmetries. In particular, unlike all previously known L-spaces, these manifolds are not double branched covers of links in S^3. We prove the existence of infinitely many such examples (in several distinct families) using a mix of hyperbolic geometry, Floer theory, and verified computer calculations. Of independent interest is our technique for using interval arithmetic to certify symmetry groups and non-existence of isometries of cusped hyperbolic 3-manifolds. In the process, we give examples of 1-cusped hyperbolic 3-manifolds of Heegaard genus 3 with two distinct lens space fillings. These are the first examples where multiple Dehn fillings drop the Heegaard genus by more than one, which answers a question of Gordon. △ Less

Submitted 18 June, 2015; v1 submitted 29 July, 2014; originally announced July 2014.

Comments: 19 pages, 2 figures. v2: minor changes to intro. v3: accepted version, to appear in Math. Res. Letters

MSC Class: 57R58; 57M50

Journal ref: Math. Res. Letters, 22 (2015), 1679-1698

The big Dehn surgery graph and the link of S^3

Authors: Neil R. Hoffman, Genevieve S. Walsh

Abstract: In a talk at the Cornell Topology Festival in 2005, W. Thurston discussed a graph which we call "The Big Dehn Surgery Graph", B. Here we explore this graph, particularly the link of S^3, and prove facts about the geometry and topology of B. We also investigate some interesting subgraphs and pose what we believe are important questions about B. In a talk at the Cornell Topology Festival in 2005, W. Thurston discussed a graph which we call "The Big Dehn Surgery Graph", B. Here we explore this graph, particularly the link of S^3, and prove facts about the geometry and topology of B. We also investigate some interesting subgraphs and pose what we believe are important questions about B. △ Less

Submitted 22 March, 2015; v1 submitted 15 November, 2013; originally announced November 2013.

Comments: 15 pages, 4 figures, 4 ancillary files. Reorganized and shortened from previous versions, while correcting one error in the proof of Theorem 5.4. Also, ancillary files detailing our computations with the computer program ORB have been provided

MSC Class: 57M25

Journal ref: Proceedings of the American Mathematical Society, Series B . Vol. 2 (2015) 17--34

Commensurability classes containing three knot complements

Authors: Neil R. Hoffman

Abstract: This paper exhibits an infinite family of hyperbolic knot complements that have three knot complements in their respective commensurability classes. This paper exhibits an infinite family of hyperbolic knot complements that have three knot complements in their respective commensurability classes. △ Less

Submitted 11 May, 2009; originally announced May 2009.

Comments: 14 pages, 4 figures

MSC Class: 57M25; 57M10

Journal ref: Algebr. Geom. Topol. 10 (2010) 663-677