Showing 1–38 of 38 results for author: Dunfield, N M

Roots of Alexander polynomials of random positive 3-braids

Authors: Nathan M. Dunfield, Giulio Tiozzo

Abstract: Motivated by an observation of Dehornoy, we study the roots of Alexander polynomials of knots and links that are closures of positive 3-strand braids. We give experimental data on random such braids and find that the roots exhibit marked patterns, which we refine into precise conjectures. We then prove several results along those lines, for example that generically at least 69% of the roots are on… ▽ More Motivated by an observation of Dehornoy, we study the roots of Alexander polynomials of knots and links that are closures of positive 3-strand braids. We give experimental data on random such braids and find that the roots exhibit marked patterns, which we refine into precise conjectures. We then prove several results along those lines, for example that generically at least 69% of the roots are on the unit circle, which appears to be sharp. We also show there is a large root-free region near the origin. We further study the equidistribution properties of such roots by introducing a Lyapunov exponent of the Burau representation of random positive braids, and a corresponding bifurcation measure. In the spirit of Deroin and Dujardin, we conjecture that the bifurcation measure gives the limiting measure for such roots, and prove this on a region with positive limiting mass. We use tools including work of Gambaudo and Ghys on the signature function of links, for which we prove a central limit theorem. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: 49 pages, 13 figures

MSC Class: 57K14; 37H15 (Primary) 60G50 (Secondary)

Local equivalence and refinements of Rasmussen's s-invariant

Authors: Nathan M. Dunfield, Robert Lipshitz, Dirk Schuetz

Abstract: Inspired by the notions of local equivalence in monopole and Heegaard Floer homology, we introduce a version of local equivalence that combines odd Khovanov homology with equivariant even Khovanov homology into an algebraic package called a local even-odd (LEO) triple. We get a homomorphism from the smooth concordance group $C$ to the resulting local equivalence group $C_{LEO}$ of such triples. We… ▽ More Inspired by the notions of local equivalence in monopole and Heegaard Floer homology, we introduce a version of local equivalence that combines odd Khovanov homology with equivariant even Khovanov homology into an algebraic package called a local even-odd (LEO) triple. We get a homomorphism from the smooth concordance group $C$ to the resulting local equivalence group $C_{LEO}$ of such triples. We give several versions of the $s$-invariant that descend to $C_{LEO}$, including one that completely determines whether the image of a knot $K$ in $C_{LEO}$ is trivial. We discuss computer experiments illustrating the power of these invariants in obstructing sliceness, both statistically and for some interesting knots studied by Manolescu-Piccirillo. Along the way, we explore several variants of this local equivalence group, including one that is totally ordered. △ Less

Submitted 18 January, 2024; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: 43 pages; v2: Added mention of related work of Lewark and also Remark 5.8

MSC Class: 57K18 (Primary) 57K10; 57-08 (Secondary)

1-loop equals torsion for fibered 3-manifolds

Authors: Nathan M. Dunfield, Stavros Garoufalidis, Seokbeom Yoon

Abstract: In earlier work of two of the authors, two 1-loop polynomial invariants of cusped 3-manifolds were constructed using combinatorial data of ideal triangulations, and conjectured to be equal to the $\mathbb{C}^2$ and the $\mathbb{C}^3$-torsion polynomials. Here, we prove this conjecture for all fibered 3-manifolds with toroidal boundary, and we illustrate our theorems with exact computations of the… ▽ More In earlier work of two of the authors, two 1-loop polynomial invariants of cusped 3-manifolds were constructed using combinatorial data of ideal triangulations, and conjectured to be equal to the $\mathbb{C}^2$ and the $\mathbb{C}^3$-torsion polynomials. Here, we prove this conjecture for all fibered 3-manifolds with toroidal boundary, and we illustrate our theorems with exact computations of the 1-loop and the torsion polynomials. As further evidence for the conjecture, we confirm it for more than 6,600 nonfibered manifolds, and use this data to explore the extent to which the $\mathbb{C}^2$-torsion determines the Thurston norm. △ Less

Submitted 31 March, 2024; v1 submitted 2 April, 2023; originally announced April 2023.

Comments: 30 pages, 11 figures

MSC Class: 57K31; 57K32

On the rank of knot homology theories and concordance

Authors: Nathan M. Dunfield, Sherry Gong, Thomas Hockenhull, Marco Marengon, Michael Willis

Abstract: For a ribbon knot, it is a folk conjecture that the rank of its knot Floer homology must be 1 modulo 8, and another folk conjecture says the same about reduced Khovanov homology. We give the first counter-examples to both of these folk conjectures, but at the same time present compelling evidence for new conjectures that either of these homologies must have rank congruent to 1 modulo 4 for any rib… ▽ More For a ribbon knot, it is a folk conjecture that the rank of its knot Floer homology must be 1 modulo 8, and another folk conjecture says the same about reduced Khovanov homology. We give the first counter-examples to both of these folk conjectures, but at the same time present compelling evidence for new conjectures that either of these homologies must have rank congruent to 1 modulo 4 for any ribbon knot. We prove that each revised conjecture is equivalent to showing that taking the rank of the homology modulo 4 gives a homomorphism of the knot concordance group. We check the revised conjectures for 2.4 million ribbon knots, and also prove they hold for ribbon knots with fusion number 1. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: 27 pages, 10 figures

Report number: MPIM-Bonn-2023 MSC Class: 57K18; 57-11 (Primary) 57K14 (Secondary)

A unified Casson-Lin invariant for the real forms of SL(2)

Authors: Nathan M. Dunfield, Jacob Rasmussen

Abstract: We introduce a unified framework for counting representations of knot groups into $SU(2)$ and $SL(2, \mathbb{R})$. For a knot $K$ in the 3-sphere, Lin and others showed that a Casson-style count of $SU(2)$ representations with fixed meridional holonomy recovers the signature function of $K$. For knots whose complement contains no closed essential surface, we show there is an analogous count for… ▽ More We introduce a unified framework for counting representations of knot groups into $SU(2)$ and $SL(2, \mathbb{R})$. For a knot $K$ in the 3-sphere, Lin and others showed that a Casson-style count of $SU(2)$ representations with fixed meridional holonomy recovers the signature function of $K$. For knots whose complement contains no closed essential surface, we show there is an analogous count for $SL(2, \mathbb{R})$ representations. We then prove the $SL(2, \mathbb{R})$ count is determined by the $SU(2)$ count and a single integer $h(K)$, allowing us to show the existence of various $SL(2, \mathbb{R})$ representations using only elementary topological hypotheses. Combined with the translation extension locus of Culler-Dunfield, we use this to prove left-orderability of many 3-manifold groups obtained by cyclic branched covers and Dehn fillings on broad classes of knots. We give further applications to the existence of real parabolic representations, including a generalization of the Riley Conjecture (proved by Gordon) to alternating knots. These invariants exhibit some intriguing patterns that deserve explanation, and we include many open questions. The close connection between $SU(2)$ and $SL(2, \mathbb{R})$ comes from viewing their representations as the real points of the appropriate $SL(2, \mathbb{C})$ character variety. While such real loci are typically highly singular at the reducible characters that are common to both $SU(2)$ and $SL(2, \mathbb{R})$, in the relevant situations, we show how to resolve these real algebraic sets into smooth manifolds. We construct these resolutions using the geometric transition $S^2 \to \mathbb{E}^2 \to \mathbb{H}^2$, studied from the perspective of projective geometry, and they allow us to pass between Casson-Lin counts of $SU(2)$ and $SL(2, \mathbb{R})$ representations unimpeded. △ Less

Submitted 22 August, 2024; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: 148 pages, 24 figures; v2: incorporates referee's comments; to appear in "Geometry and Topology"

MSC Class: 57K10 (Primary) 57K31; 57K18; 57R58; 20F60; 53A20 (Secondary)

Computing a Link Diagram from its Exterior

Authors: Nathan M. Dunfield, Malik Obeidin, Cameron Gates Rudd

Abstract: A knot is a circle piecewise-linearly embedded into the 3-sphere. The topology of a knot is intimately related to that of its exterior, which is the complement of an open regular neighborhood of the knot. Knots are typically encoded by planar diagrams, whereas their exteriors, which are compact 3-manifolds with torus boundary, are encoded by triangulations. Here, we give the first practical algori… ▽ More A knot is a circle piecewise-linearly embedded into the 3-sphere. The topology of a knot is intimately related to that of its exterior, which is the complement of an open regular neighborhood of the knot. Knots are typically encoded by planar diagrams, whereas their exteriors, which are compact 3-manifolds with torus boundary, are encoded by triangulations. Here, we give the first practical algorithm for finding a diagram of a knot given a triangulation of its exterior. Our method applies to links as well as knots, allows us to recover links with hundreds of crossings. We use it to find the first diagrams known for 23 principal congruence arithmetic link exteriors; the largest has over 2,500 crossings. Other applications include finding pairs of knots with the same 0-surgery, which relates to questions about slice knots and the smooth 4D Poincaré conjecture. △ Less

Submitted 16 March, 2023; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: 34 pages, 29 figures; V2 as appeared in "Proceedings of the 38th International Symposium on Computational Geometry (SoCG 2022)"; V3 restructured journal version, to appear in "Discrete & Computational Geometry"

MSC Class: 57K10 (Primary) 57K30 (Secondary) ACM Class: G.4

Journal ref: Proceedings of the 38th International Symposium on Computational Geometry (SoCG 2022), pages 37:1--37:24

Enumeration and Identification of Unique 3D Spatial Topologies of Interconnected Engineering Systems Using Spatial Graphs

Authors: Satya R. T. Peddada, Nathan M. Dunfield, Lawrence E. Zeidner, Zane R. Givans, Kai A. James, James T. Allison

Abstract: Systematic enumeration and identification of unique 3D spatial topologies of complex engineering systems (such as automotive cooling systems, electric power trains, satellites, and aero-engines) are essential to navigation of these expansive design spaces with the goal of identifying new spatial configurations that can satisfy challenging system requirements. However, efficient navigation through… ▽ More Systematic enumeration and identification of unique 3D spatial topologies of complex engineering systems (such as automotive cooling systems, electric power trains, satellites, and aero-engines) are essential to navigation of these expansive design spaces with the goal of identifying new spatial configurations that can satisfy challenging system requirements. However, efficient navigation through discrete 3D spatial topology (ST) options is a very challenging problem due to its combinatorial nature and can quickly exceed human cognitive abilities at even moderate complexity levels. This article presents a new, efficient, and scalable design framework that leverages mathematical spatial graph theory to represent, enumerate, and identify distinctive 3D topological classes for a generic 3D engineering system, given its system architecture (SA) -- its components and their interconnections. First, spatial graph diagrams (SGDs) are generated for a given SA from zero to a specified maximum number of interconnect crossings. Then, corresponding Yamada polynomials for all the planar SGDs are generated. SGDs are categorized into topological classes, each of which shares a unique Yamada polynomial. Finally, within each topological class, 3D geometric models are generated using the spatial graph diagrams (SGDs) having different numbers of interconnect crossings. Selected case studies are presented to illustrate the different features of our proposed framework, including an industrial engineering design application: ST enumeration of a 3D automotive fuel cell cooling system (AFCS). Design guidelines are also provided for practicing engineers to aid the application of this framework to different types of real-world problems such as configuration design and spatial packaging optimization. △ Less

Submitted 20 July, 2023; v1 submitted 28 July, 2021; originally announced July 2021.

Comments: 34 pages, 17 figures. V1 appeared in Proceedings of the ASME 2021 International Design Engineering Technical Conferences; V2 is the journal version

MSC Class: 57K12 (Primary) 57K14 (Secondary) ACM Class: J.6; J.2

Journal ref: Journal of Mechanical Design, paper no. MD-22-1755, pages 1-34, 2023

Counting essential surfaces in 3-manifolds

Authors: Nathan M. Dunfield, Stavros Garoufalidis, J. Hyam Rubinstein

Abstract: We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected) essential surfaces in terms of their Euler characteristic always has a short generating function and hence has quasi-polynomial behavior. This gives remarkably… ▽ More We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected) essential surfaces in terms of their Euler characteristic always has a short generating function and hence has quasi-polynomial behavior. This gives remarkably concise formulae for the number of such surfaces, as well as detailed asymptotics. We give algorithms that allow us to compute these generating functions and the underlying surfaces, and apply these to almost 60,000 manifolds, providing a wealth of data about them. We use this data to explore the delicate question of counting only connected essential surfaces and propose some conjectures. Our methods involve normal and almost normal surfaces, especially the work of Tollefson and Oertel, combined with techniques pioneered by Ehrhart for counting lattice points in polyhedra with rational vertices. We also introduce a new way of testing if a normal surface in an ideal triangulation is essential that avoids cutting the manifold open along the surface; rather, we use almost normal surfaces in the original triangulation. △ Less

Submitted 25 January, 2022; v1 submitted 20 July, 2020; originally announced July 2020.

Comments: 61 pages, 7 figures, and 9 tables; V2 incorporates referee's comments; V3 numbering adjusted to match published version; to appear in Inventiones Mathematicae

MSC Class: 57K31 (Primary) 57K30; 57K32 (Secondary)

Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds

Authors: Nathan M. Dunfield

Abstract: This paper explores the conjecture that the following are equivalent for rational homology 3-spheres: having left-orderable fundamental group, having non-minimal Heegaard Floer homology, and admitting a co-orientable taut foliation. In particular, it adds further evidence in favor of this conjecture by studying these three properties for more than 300,000 hyperbolic rational homology 3-spheres. Ne… ▽ More This paper explores the conjecture that the following are equivalent for rational homology 3-spheres: having left-orderable fundamental group, having non-minimal Heegaard Floer homology, and admitting a co-orientable taut foliation. In particular, it adds further evidence in favor of this conjecture by studying these three properties for more than 300,000 hyperbolic rational homology 3-spheres. New or much improved methods for studying each of these properties form the bulk of the paper, including a new combinatorial criterion, called a foliar orientation, for showing that a 3-manifold has a taut foliation. △ Less

Submitted 30 November, 2019; v1 submitted 9 April, 2019; originally announced April 2019.

Comments: 49 pages, 13 figures and tables; V2: corrected typos, to appear in Geometry and Topology

Journal ref: Geom. Topol. 24 (2020) 2075-2125

A census of exceptional Dehn fillings

Authors: Nathan M. Dunfield

Abstract: This paper describes the complete list of all 205,822 exceptional Dehn fillings on the 1-cusped hyperbolic 3-manifolds that have ideal triangulations with at most 9 ideal tetrahedra. The data is consistent with the standard conjectures about Dehn filling and suggests some new ones. This paper describes the complete list of all 205,822 exceptional Dehn fillings on the 1-cusped hyperbolic 3-manifolds that have ideal triangulations with at most 9 ideal tetrahedra. The data is consistent with the standard conjectures about Dehn filling and suggests some new ones. △ Less

Submitted 1 December, 2019; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 16 pages, 3 figures, 4 tables; V2: minor improvements based on referee's comments

Orderability and Dehn filling

Authors: Marc Culler, Nathan M. Dunfield

Abstract: Motivated by conjectures relating group orderability, Floer homology, and taut foliations, we discuss a systematic and broadly applicable technique for constructing left-orders on the fundamental groups of rational homology 3-spheres. Specifically, for a compact 3-manifold $M$ with torus boundary, we give several criteria which imply that whole intervals of Dehn fillings of $M$ have left-orderable… ▽ More Motivated by conjectures relating group orderability, Floer homology, and taut foliations, we discuss a systematic and broadly applicable technique for constructing left-orders on the fundamental groups of rational homology 3-spheres. Specifically, for a compact 3-manifold $M$ with torus boundary, we give several criteria which imply that whole intervals of Dehn fillings of $M$ have left-orderable fundamental groups. Our technique uses certain representations from $π_1(M)$ into $\widetilde{\mathrm{PSL}_2 \mathbb{R}}$, which we organize into an infinite graph in $H^1(\partial M; \mathbb{R})$ called the translation extension locus. We include many plots of such loci which inform the proofs of our main results and suggest interesting avenues for future research. △ Less

Submitted 21 March, 2018; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: 52 pages, 14 figures. V2: New conclusion (c) in Theorem 1.5, based on the added Lemma 8.4. V3: Correct proof of Claim 7.2. V4: To appear in Geometry and Topology. V5: Figure numbering changed to match published version

MSC Class: 57M

Journal ref: Geom. Topol. 22 (2018) 1405-1457

Norms on the cohomology of hyperbolic 3-manifolds

Authors: Jeffrey F. Brock, Nathan M. Dunfield

Abstract: We study the relationship between two norms on the first cohomology of a hyperbolic 3-manifold: the purely topological Thurston norm and the more geometric harmonic norm. Refining recent results of Bergeron, Şengün, and Venkatesh as well as older work of Kronheimer and Mrowka, we show that these norms are roughly proportional with explicit constants depending only on the volume and injectivity rad… ▽ More We study the relationship between two norms on the first cohomology of a hyperbolic 3-manifold: the purely topological Thurston norm and the more geometric harmonic norm. Refining recent results of Bergeron, Şengün, and Venkatesh as well as older work of Kronheimer and Mrowka, we show that these norms are roughly proportional with explicit constants depending only on the volume and injectivity radius of the hyperbolic 3-manifold itself. Moreover, we give families of examples showing that some (but not all) qualitative aspects of our estimates are sharp. Finally, we exhibit closed hyperbolic 3-manifolds where the Thurston norm grows exponentially in terms of the volume and yet there is a uniform lower bound on the injectivity radius. △ Less

Submitted 22 May, 2017; v1 submitted 21 October, 2015; originally announced October 2015.

Comments: 29 pages, 2 figures. V2: Added Section 5.3 on related work of Kronheimer and Mrowka. V3: Minor improvements. V4: To appear in Inventiones Mathematicae V5: Theorem and equation numbering changed to match published version

MSC Class: 57M50; 30F40

Journal ref: Invent. Math. 210 (2017) 531-558

A knot without a nonorientable essential spanning surface

Authors: Nathan M. Dunfield

Abstract: This note gives the first example of a hyperbolic knot in the 3-sphere that lacks a nonorientable essential spanning surface; this disproves the Strong Neuwirth Conjecture formulated by Ozawa and Rubinstein. Moreover, this knot has no even strict boundary slopes, disproving the Even Boundary Slope Conjecture of the same authors. The proof is a rigorous calculation using Thurston's spun-normal surf… ▽ More This note gives the first example of a hyperbolic knot in the 3-sphere that lacks a nonorientable essential spanning surface; this disproves the Strong Neuwirth Conjecture formulated by Ozawa and Rubinstein. Moreover, this knot has no even strict boundary slopes, disproving the Even Boundary Slope Conjecture of the same authors. The proof is a rigorous calculation using Thurston's spun-normal surfaces in the spirit of Haken's original normal surface algorithms. △ Less

Submitted 9 October, 2016; v1 submitted 22 September, 2015; originally announced September 2015.

Comments: 6 pages, 1 figure. V2: Minor edits, to appear in Illinois J. Math

MSC Class: 57M

Journal ref: Illinois J. Math., 60 (2016), 179-184

Certifying the Thurston norm via SL(2, C)-twisted homology

Authors: Ian Agol, Nathan M. Dunfield

Abstract: We study when the Thurston norm is detected by twisted Alexander polynomials associated to representations of the 3-manifold group to SL(2, C). Specifically, we show that the hyperbolic torsion polynomial determines the genus for a large class of hyperbolic knots in the 3-sphere which includes all special arborescent knots and many knots whose ordinary Alexander polynomial is trivial. This theorem… ▽ More We study when the Thurston norm is detected by twisted Alexander polynomials associated to representations of the 3-manifold group to SL(2, C). Specifically, we show that the hyperbolic torsion polynomial determines the genus for a large class of hyperbolic knots in the 3-sphere which includes all special arborescent knots and many knots whose ordinary Alexander polynomial is trivial. This theorem follows from results showing that the tautness of certain sutured manifolds can be certified by checking that they are a product from the point of view of homology with coefficients twisted by an SL(2, C)-representation. △ Less

Submitted 5 March, 2015; v1 submitted 9 January, 2015; originally announced January 2015.

Comments: 23 pages, 4 figures; V2: added a reference; V3: incorporates referee's comments. To appear in the Thurston memorial conference proceedings

MSC Class: 57M25; 57M27; 57M50

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

Injectivity radii of hyperbolic integer homology 3-spheres

Authors: Jeffrey F. Brock, Nathan M. Dunfield

Abstract: We construct hyperbolic integer homology 3-spheres where the injectivity radius is arbitrarily large for nearly all points of the manifold. As a consequence, there exists a sequence of closed hyperbolic 3-manifolds which Benjamini-Schramm converge to H^3 whose normalized Ray-Singer analytic torsions do not converge to the L^2-analytic torsion of H^3. This contrasts with the work of Abert et. al. w… ▽ More We construct hyperbolic integer homology 3-spheres where the injectivity radius is arbitrarily large for nearly all points of the manifold. As a consequence, there exists a sequence of closed hyperbolic 3-manifolds which Benjamini-Schramm converge to H^3 whose normalized Ray-Singer analytic torsions do not converge to the L^2-analytic torsion of H^3. This contrasts with the work of Abert et. al. who showed that Benjamini-Schramm convergence forces convergence of normalized betti numbers. Our results shed light on a conjecture of Bergeron and Venkatesh on the growth of torsion in the homology of arithmetic hyperbolic 3-manifolds, and we give experimental results which support this and related conjectures. △ Less

Submitted 20 November, 2014; v1 submitted 1 April, 2013; originally announced April 2013.

Comments: 29 pages, 11 figures. v2: Incorporates referee's comments. To appear in Geometry and Topology

MSC Class: 57M50; 30F40

Journal ref: Geom. Topol. 19 (2015) 497-523

Twisted Alexander polynomials of hyperbolic knots

Authors: Nathan M. Dunfield, Stefan Friedl, Nicholas Jackson

Abstract: We study a twisted Alexander polynomial naturally associated to a hyperbolic knot in an integer homology 3-sphere via a lift of the holonomy representation to SL(2, C). It is an unambiguous symmetric Laurent polynomial whose coefficients lie in the trace field of the knot. It contains information about genus, fibering, and chirality, and moreover is powerful enough to sometimes detect mutation.… ▽ More We study a twisted Alexander polynomial naturally associated to a hyperbolic knot in an integer homology 3-sphere via a lift of the holonomy representation to SL(2, C). It is an unambiguous symmetric Laurent polynomial whose coefficients lie in the trace field of the knot. It contains information about genus, fibering, and chirality, and moreover is powerful enough to sometimes detect mutation. We calculated this invariant numerically for all 313,209 hyperbolic knots in S^3 with at most 15 crossings, and found that in all cases it gave a sharp bound on the genus of the knot and determined both fibering and chirality. We also study how such twisted Alexander polynomials vary as one moves around in an irreducible component X_0 of the SL(2, C)-character variety of the knot group. We show how to understand all of these polynomials at once in terms of a polynomial whose coefficients lie in the function field of X_0. We use this to help explain some of the patterns observed for knots in S^3, and explore a potential relationship between this universal polynomial and the Culler-Shalen theory of surfaces associated to ideal points. △ Less

Submitted 19 January, 2012; v1 submitted 15 August, 2011; originally announced August 2011.

Comments: 37 pages; V2: Added Section 6.6 with experimental results on related adjoint torsion polynomial. V3: Minor edits

MSC Class: 57M25; 57M27; 57M50

Journal ref: Experimental Math., 21 (2012), 329-352

Incompressibility criteria for spun-normal surfaces

Authors: Nathan M. Dunfield, Stavros Garoufalidis

Abstract: We give a simple sufficient condition for a spun-normal surface in an ideal triangulation to be incompressible, namely that it is a vertex surface with non-empty boundary which has a quadrilateral in each tetrahedron. While this condition is far from being necessary, it is powerful enough to give two new results: the existence of alternating knots with non-integer boundary slopes, and a proof of t… ▽ More We give a simple sufficient condition for a spun-normal surface in an ideal triangulation to be incompressible, namely that it is a vertex surface with non-empty boundary which has a quadrilateral in each tetrahedron. While this condition is far from being necessary, it is powerful enough to give two new results: the existence of alternating knots with non-integer boundary slopes, and a proof of the Slope Conjecture for a large class of 2-fusion knots. While the condition and conclusion are purely topological, the proof uses the Culler-Shalen theory of essential surfaces arising from ideal points of the character variety, as reinterpreted by Thurston and Yoshida. The criterion itself comes from the work of Kabaya, which we place into the language of normal surface theory. This allows the criterion to be easily applied, and gives the framework for proving that the surface is incompressible. We also explore which spun-normal surfaces arise from ideal points of the deformation variety. In particular, we give an example where no vertex or fundamental surface arises in this way. △ Less

Submitted 3 July, 2011; v1 submitted 22 February, 2011; originally announced February 2011.

Comments: 37 pages, 8 figures. V2: New remark in Section 9.1, additional references; V3 Minor edits, to appear in Trans. Amer. Math. Soc

MSC Class: 57N10; 57M25; 57M27

Journal ref: Trans. Amer. Math. Soc. 64 (2012) 6109-6137

The Least Spanning Area of a Knot and the Optimal Bounding Chain Problem

Authors: Nathan M. Dunfield, Anil N. Hirani

Abstract: Two fundamental objects in knot theory are the minimal genus surface and the least area surface bounded by a knot in a 3-dimensional manifold. When the knot is embedded in a general 3-manifold, the problems of finding these surfaces were shown to be NP-complete and NP-hard respectively. However, there is evidence that the special case when the ambient manifold is R^3, or more generally when the se… ▽ More Two fundamental objects in knot theory are the minimal genus surface and the least area surface bounded by a knot in a 3-dimensional manifold. When the knot is embedded in a general 3-manifold, the problems of finding these surfaces were shown to be NP-complete and NP-hard respectively. However, there is evidence that the special case when the ambient manifold is R^3, or more generally when the second homology is trivial, should be considerably more tractable. Indeed, we show here that a natural discrete version of the least area surface can be found in polynomial time. The precise setting is that the knot is a 1-dimensional subcomplex of a triangulation of the ambient 3-manifold. The main tool we use is a linear programming formulation of the Optimal Bounding Chain Problem (OBCP), where one is required to find the smallest norm chain with a given boundary. While the decision variant of OBCP is NP-complete in general, we give conditions under which it can be solved in polynomial time. We then show that the least area surface can be constructed from the optimal bounding chain using a standard desingularization argument from 3-dimensional topology. We also prove that the related Optimal Homologous Chain Problem is NP-complete for homology with integer coefficients, complementing the corresponding result of Chen and Freedman for mod 2 homology. △ Less

Submitted 23 March, 2011; v1 submitted 13 December, 2010; originally announced December 2010.

Comments: 9 pages, 5 figures. V2: Added Remark 5.7. V3: Many minor improvements. To appear in SoCG 2011

MSC Class: 57M35; 57M25; 49Q05; 68U05 ACM Class: F.2.2; G.1.6

Quantum invariants of random 3-manifolds

Authors: Nathan M. Dunfield, Helen Wong

Abstract: We consider the SO(3) Witten-Reshetikhin-Turaev quantum invariants of random 3-manifolds. When the level r is prime, we show that the asymptotic distribution of the absolute value of these invariants is given by the standard Rayleigh distribution and independent of the choice of level. Hence the probability that the quantum invariant certifies the Heegaard genus of a random 3-manifold of a fixed H… ▽ More We consider the SO(3) Witten-Reshetikhin-Turaev quantum invariants of random 3-manifolds. When the level r is prime, we show that the asymptotic distribution of the absolute value of these invariants is given by the standard Rayleigh distribution and independent of the choice of level. Hence the probability that the quantum invariant certifies the Heegaard genus of a random 3-manifold of a fixed Heegaard genus g is positive but very small, less than 10^-7 except when g < 4. We also examine random surface bundles over the circle and find the same distribution for quantum invariants there. △ Less

Submitted 3 July, 2011; v1 submitted 8 September, 2010; originally announced September 2010.

Comments: 12 pages; V2 minor changes, to appear in Alg. Geom. Top

MSC Class: 57M27 57N10

Journal ref: Algebr. Geom. Topol. 11 (2011) 2191-2205

Closed surface bundles of least volume

Authors: John William Aaber, Nathan M. Dunfield

Abstract: Since the set of volumes of hyperbolic 3-manifolds is well ordered, for each fixed g there is a genus-g surface bundle over the circle of minimal volume. Here, we introduce an explicit family of genus-g bundles which we conjecture are the unique such manifolds of minimal volume. Conditional on a very plausible assumption, we prove that this is indeed the case when g is large. The proof combines a… ▽ More Since the set of volumes of hyperbolic 3-manifolds is well ordered, for each fixed g there is a genus-g surface bundle over the circle of minimal volume. Here, we introduce an explicit family of genus-g bundles which we conjecture are the unique such manifolds of minimal volume. Conditional on a very plausible assumption, we prove that this is indeed the case when g is large. The proof combines a soft geometric limit argument with a detailed Neumann-Zagier asymptotic formula for the volumes of Dehn fillings. Our examples are all Dehn fillings on the sibling of the Whitehead manifold, and we also analyze the dilatations of all closed surface bundles obtained in this way, identifying those with minimal dilatation. This gives new families of pseudo-Anosovs with low dilatation, including a genus 7 example which minimizes dilatation among all those with orientable invariant foliations. △ Less

Submitted 21 November, 2010; v1 submitted 18 February, 2010; originally announced February 2010.

Comments: 22 pages, 4 figures. V2: Corrected Table 1.9; V3: Added Table 1.10; V4: Minor edits; V5: Corrected Figure 2.1. To appear in AG&T

MSC Class: 57M50; 37E30; 37E40

Journal ref: Algebr. Geom. Topol. 10 (2010) 2315-2342

Increasing the number of fibered faces of arithmetic hyperbolic 3-manifolds

Authors: Nathan M. Dunfield, Dinakar Ramakrishnan

Abstract: We exhibit a closed hyperbolic 3-manifold which satisfies a very strong form of Thurston's Virtual Fibration Conjecture. In particular, this manifold has finite covers which fiber over the circle in arbitrarily many ways. More precisely, it has a tower of finite covers where the number of fibered faces of the Thurston norm ball goes to infinity, in fact faster than any power of the logarithm of… ▽ More We exhibit a closed hyperbolic 3-manifold which satisfies a very strong form of Thurston's Virtual Fibration Conjecture. In particular, this manifold has finite covers which fiber over the circle in arbitrarily many ways. More precisely, it has a tower of finite covers where the number of fibered faces of the Thurston norm ball goes to infinity, in fact faster than any power of the logarithm of the degree of the cover, and we give a more precise quantitative lower bound. The example manifold M is arithmetic, and the proof uses detailed number-theoretic information, at the level of the Hecke eigenvalues, to drive a geometric argument based on Fried's dynamical characterization of the fibered faces. The origin of the basic fibration of M over the circle is the modular elliptic curve E=X_0(49), which admits multiplication by the ring of integers of Q[sqrt(-7)]. We first base change the holomorphic differential on E to a cusp form on GL(2) over K=Q[sqrt(-3)], and then transfer over to a quaternion algebra D/K ramified only at the primes above 7; the fundamental group of M is a quotient of the principal congruence subgroup of level 7 of the multiplicative group of a maximal order of D. To analyze the topological properties of M, we use a new practical method for computing the Thurston norm, which is of independent interest. We also give a non-compact finite-volume hyperbolic 3-manifold with the same properties by using a direct topological argument. △ Less

Submitted 16 December, 2008; v1 submitted 19 December, 2007; originally announced December 2007.

Comments: 42 pages, 7 figures; V2: minor improvements, to appear in Amer. J. Math

MSC Class: 57M; 11F80; 11F75

Journal ref: Amer. J. Math 132 (2010), 53-97

Behavior of knot invariants under genus 2 mutation

Authors: Nathan M. Dunfield, Stavros Garoufalidis, Alexander Shumakovitch, Morwen Thistlethwaite

Abstract: Genus 2 mutation is the process of cutting a 3-manifold along an embedded closed genus 2 surface, twisting by the hyper-elliptic involution, and gluing back. This paper compares genus 2 mutation with the better-known Conway mutation in the context of knots in the 3-sphere. Despite the fact that any Conway mutation can be achieved by a sequence of at most two genus 2 mutations, the invariants that… ▽ More Genus 2 mutation is the process of cutting a 3-manifold along an embedded closed genus 2 surface, twisting by the hyper-elliptic involution, and gluing back. This paper compares genus 2 mutation with the better-known Conway mutation in the context of knots in the 3-sphere. Despite the fact that any Conway mutation can be achieved by a sequence of at most two genus 2 mutations, the invariants that are preserved by genus 2 mutation are a proper subset of those preserved by Conway mutation. In particular, while the Alexander and Jones polynomials are preserved by genus 2 mutation, the HOMFLY-PT polynomial is not. In the case of the sl_2-Khovanov homology, which may or may not be invariant under Conway mutation, we give an example where genus 2 mutation changes this homology. Finally, using these techniques, we exhibit examples of knots with the same same colored Jones polynomials, HOMFLY-PT polynomial, Kauffman polynomial, signature and volume, but different Khovanov homology. △ Less

Submitted 19 February, 2012; v1 submitted 11 July, 2006; originally announced July 2006.

Comments: 24 pages, 7 figures. v2: Added references. v3: Final published version; v4: Includes erratum correcting proofs of results depending on Proposition 2.7, which is false

MSC Class: 57N10

Journal ref: New York J. Math., 16 (2010) 99-123

A random tunnel number one 3-manifold does not fiber over the circle

Authors: Nathan M Dunfield, Dylan P Thurston

Abstract: We address the question: how common is it for a 3-manifold to fiber over the circle? One motivation for considering this is to give insight into the fairly inscrutable Virtual Fibration Conjecture. For the special class of 3-manifolds with tunnel number one, we provide compelling theoretical and experimental evidence that fibering is a very rare property. Indeed, in various precise senses it hap… ▽ More We address the question: how common is it for a 3-manifold to fiber over the circle? One motivation for considering this is to give insight into the fairly inscrutable Virtual Fibration Conjecture. For the special class of 3-manifolds with tunnel number one, we provide compelling theoretical and experimental evidence that fibering is a very rare property. Indeed, in various precise senses it happens with probability 0. Our main theorem is that this is true for a measured lamination model of random tunnel number one 3-manifolds. The first ingredient is an algorithm of K Brown which can decide if a given tunnel number one 3-manifold fibers over the circle. Following the lead of Agol, Hass and W Thurston, we implement Brown's algorithm very efficiently by working in the context of train tracks/interval exchanges. To analyze the resulting algorithm, we generalize work of Kerckhoff to understand the dynamics of splitting sequences of complete genus 2 interval exchanges. Combining all of this with a "magic splitting sequence" and work of Mirzakhani proves the main theorem. The 3-manifold situation contrasts markedly with random 2-generator 1-relator groups; in particular, we show that such groups "fiber" with probability strictly between 0 and 1. △ Less

Submitted 3 March, 2009; v1 submitted 6 October, 2005; originally announced October 2005.

Comments: This is the version published by Geometry & Topology on 15 December 2006

MSC Class: 57R22; 20F05; 57N10

Journal ref: Geom. Topol. 10 (2006) 2431-2499

Automorphic forms and rational homology 3--spheres

Authors: Frank Calegari, Nathan M Dunfield

Abstract: We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These examples come from a tower of abelian covers of an explicit arithmetic 3-manifold. The conjectures we must assume are the Generalized Riemann Hypothesis and a m… ▽ More We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These examples come from a tower of abelian covers of an explicit arithmetic 3-manifold. The conjectures we must assume are the Generalized Riemann Hypothesis and a mild strengthening of results of Taylor et al on part of the Langlands Program for GL_2 of an imaginary quadratic field. The proof of this theorem involves ruling out the existence of an irreducible two dimensional Galois representation (rho) of Gal(Qbar/Q(sqrt(-2))) satisfying certain prescribed conditions. In contrast to similar questions of this form, (rho) is allowed to have arbitrary ramification at some prime of Z[sqrt(-2)]. Finally, we investigate the congruence covers of twist-knot orbifolds. Our experimental evidence suggests that these topologically similar orbifolds have rather different behavior depending on whether or not they are arithmetic. In particular, the congruence covers of the nonarithmetic orbifolds have a paucity of homology. △ Less

Submitted 26 February, 2009; v1 submitted 16 August, 2005; originally announced August 2005.

Comments: This is the version published by Geometry & Topology on 2 April 2006

MSC Class: 11F75; 11F80; 57M27

Journal ref: Geom. Topol. 10 (2006) 295-329

Lower bounds on volumes of hyperbolic Haken 3-manifolds

Authors: Ian Agol, Nathan M. Dunfield, Peter A. Storm, William P. Thurston

Abstract: We prove a volume inequality for 3-manifolds having C^0 metrics "bent" along a hypersurface, and satisfying certain curvature pinching conditions. The result makes use of Perelman's work on Ricci flow and geometrization of closed 3-manifolds. Corollaries include a new proof of a conjecture of Bonahon about volumes of convex cores of Kleinian groups, improved volume estimates for certain Haken hy… ▽ More We prove a volume inequality for 3-manifolds having C^0 metrics "bent" along a hypersurface, and satisfying certain curvature pinching conditions. The result makes use of Perelman's work on Ricci flow and geometrization of closed 3-manifolds. Corollaries include a new proof of a conjecture of Bonahon about volumes of convex cores of Kleinian groups, improved volume estimates for certain Haken hyperbolic 3-manifolds, and a lower bound on the minimal volume orientable hyperbolic 3-manifold. An appendix by Dunfield compares estimates of volumes of hyperbolic 3-manifolds drilled along a closed embedded geodesic with experimental data. △ Less

Submitted 17 June, 2005; v1 submitted 17 June, 2005; originally announced June 2005.

Comments: 25 pages, 9 figures; main text by Agol, Storm, Thurston, with an appendix by Dunfield

MSC Class: 53C21; 57M50

Journal ref: J. Amer. Math. Soc. 20 (2007), no. 4, 1053-1077

The Superpolynomial for Knot Homologies

Authors: Nathan M. Dunfield, Sergei Gukov, Jacob Rasmussen

Abstract: We propose a framework for unifying the sl(N) Khovanov-Rozansky homology (for all N) with the knot Floer homology. We argue that this unification should be accomplished by a triply graded homology theory which categorifies the HOMFLY polynomial. Moreover, this theory should have an additional formal structure of a family of differentials. Roughly speaking, the triply graded theory by itself capt… ▽ More We propose a framework for unifying the sl(N) Khovanov-Rozansky homology (for all N) with the knot Floer homology. We argue that this unification should be accomplished by a triply graded homology theory which categorifies the HOMFLY polynomial. Moreover, this theory should have an additional formal structure of a family of differentials. Roughly speaking, the triply graded theory by itself captures the large N behavior of the sl(N) homology, and differentials capture non-stable behavior for small N, including knot Floer homology. The differentials themselves should come from another variant of sl(N) homology, namely the deformations of it studied by Gornik, building on work of Lee. While we do not give a mathematical definition of the triply graded theory, the rich formal structure we propose is powerful enough to make many non-trivial predictions about the existing knot homologies that can then be checked directly. We include many examples where we can exhibit a likely candidate for the triply graded theory, and these demonstrate the internal consistency of our axioms. We conclude with a detailed study of torus knots, developing a picture which gives new predictions even for the original sl(2) Khovanov homology. △ Less

Submitted 7 December, 2005; v1 submitted 30 May, 2005; originally announced May 2005.

Comments: 46 pages, 30 figures. V2: Minor improvements. To appear in Exp. Math

MSC Class: 57

Journal ref: Experimental Math. 15 (2006), 129-159.

Finite covers of random 3-manifolds

Authors: Nathan M. Dunfield, William P. Thurston

Abstract: A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture posits that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. In this paper, we study random 3-manifolds and their finite covers in an attempt to shed light on this difficult question. In particular, we consider random Heegaard splittings by gluing tw… ▽ More A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture posits that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. In this paper, we study random 3-manifolds and their finite covers in an attempt to shed light on this difficult question. In particular, we consider random Heegaard splittings by gluing two handlebodies by the result of a random walk in the mapping class group of a surface. For this model of random 3-manifold, we are able to compute the probabilities that the resulting manifolds have finite covers of particular kinds. Our results contrast with the analogous probabilities for groups coming from random balanced presentations, giving quantitative theorems to the effect that 3-manifold groups have many more finite quotients than random groups. The next natural question is whether these covers have positive betti number. For abelian covers of a fixed type over 3-manifolds of Heegaard genus 2, we show that the probability of positive betti number is 0. In fact, many of these questions boil down to questions about the mapping class group. We are lead to consider the action of mapping class group of a surface S on the set of quotients pi_1(S) -> Q. If Q is a simple group, we show that if the genus of S is large, then this action is very mixing. In particular, the action factors through the alternating group of each orbit. This is analogous to Goldman's theorem that the action of the mapping class group on the SU(2) character variety is ergodic. △ Less

Submitted 6 November, 2007; v1 submitted 27 February, 2005; originally announced February 2005.

Comments: 60 pages; v2: minor changes. v3: minor changes; final version

MSC Class: 57M

Journal ref: Invent. Math. 166 (2006) 457-521

An ascending HNN extension of a free group inside SL(2,C)

Authors: Danny Calegari, Nathan M. Dunfield

Abstract: We give an example of a subgroup of SL(2,C) which is a strictly ascending HNN extension of a non-abelian finitely generated free group F. In particular, we exhibit a free group F in SL(2,C) of rank 6 which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir. The main ingredient in our construction is a specific finite volume (noncompact) hyperbolic… ▽ More We give an example of a subgroup of SL(2,C) which is a strictly ascending HNN extension of a non-abelian finitely generated free group F. In particular, we exhibit a free group F in SL(2,C) of rank 6 which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir. The main ingredient in our construction is a specific finite volume (noncompact) hyperbolic 3-manifold M which is a surface bundle over the circle. In particular, most of F comes from the fundamental group of a surface fiber. A key feature of M is that there is an element of its fundamental group with an eigenvalue which is the square root of a rational integer. We also use the Bass-Serre tree of a field with a discrete valuation to show that the group F we construct is actually free. △ Less

Submitted 6 June, 2005; v1 submitted 7 December, 2004; originally announced December 2004.

Comments: 7 pages. V2: minor improvements in exposition

MSC Class: 20E06; 57M

Journal ref: Proc. Amer. Math. Soc. 134 (2006), no. 11, 3131-3136

Non-triviality of the A-polynomial for knots in S^3

Authors: Nathan M. Dunfield, Stavros Garoufalidis

Abstract: The A-polynomial of a knot in S^3 defines a complex plane curve associated to the set of representations of the fundamental group of the knot exterior into SL(2,C). Here, we show that a non-trivial knot in S^3 has a non-trivial A-polynomial. We deduce this from the gauge-theoretic work of Kronheimer and Mrowka on SU_2-representations of Dehn surgeries on knots in S^3. As a corollary, we show tha… ▽ More The A-polynomial of a knot in S^3 defines a complex plane curve associated to the set of representations of the fundamental group of the knot exterior into SL(2,C). Here, we show that a non-trivial knot in S^3 has a non-trivial A-polynomial. We deduce this from the gauge-theoretic work of Kronheimer and Mrowka on SU_2-representations of Dehn surgeries on knots in S^3. As a corollary, we show that if a conjecture connecting the colored Jones polynomials to the A-polynomial holds, then the colored Jones polynomials distinguish the unknot △ Less

Submitted 3 December, 2004; v1 submitted 18 May, 2004; originally announced May 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-50.abs.html

MSC Class: 57M25; 57M27; 57M50

Journal ref: Algebr. Geom. Topol. 4 (2004) 1145-1153

Mahler's Measure and the Dilogarithm (II)

Authors: David W. Boyd, Fernando Rodriguez-Villegas, Nathan M. Dunfield

Abstract: We continue to investigate the relation between the Mahler measure of certain two variable polynomials, the values of the Bloch--Wigner dilogarithm $D(z)$ and the values $ζ_F(2)$ of zeta functions of number fields. Specifically, we define a class $\A$ of polynomials $A$ with the property that $πm(A)$ is a linear combination of values $D$ at algebraic arguments. For many polynomials in this class… ▽ More We continue to investigate the relation between the Mahler measure of certain two variable polynomials, the values of the Bloch--Wigner dilogarithm $D(z)$ and the values $ζ_F(2)$ of zeta functions of number fields. Specifically, we define a class $\A$ of polynomials $A$ with the property that $πm(A)$ is a linear combination of values $D$ at algebraic arguments. For many polynomials in this class the corresponding argument of $D$ is in the Bloch group, which leads to formulas expressing $πm(A)$ as a linear combination with unspecified rational coefficients of $V_F$ for certain number fields $F$ ($V_F := c_Fζ_F(2)$ with $c_F>0$ an explicit simple constant). The class $\A$ contains the $A$-polynomials of cusped hyperbolic manifolds. The connection with hyperbolic geometry often provides means to prove identities of the form $πm(A)= r V_F$ with an explicit value of $r\in \Q^*$. We give one such example in detail in the body of the paper and in the appendix. △ Less

Submitted 21 November, 2005; v1 submitted 5 August, 2003; originally announced August 2003.

Comments: 37 pages. Main text by Boyd and Rodriguez-Villegas; appendix by Dunfield. V2: Improved exposition

MSC Class: 11C08; 11G10; 11G55

The virtual Haken conjecture: Experiments and examples

Authors: Nathan M Dunfield, William P Thurston

Abstract: A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture says that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. Here, we discuss two interrelated topics concerning this conjecture. First, we describe computer experiments which give strong evidence that the Virtual Haken Conjecture is true for hyperbo… ▽ More A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture says that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. Here, we discuss two interrelated topics concerning this conjecture. First, we describe computer experiments which give strong evidence that the Virtual Haken Conjecture is true for hyperbolic 3-manifolds. We took the complete Hodgson-Weeks census of 10,986 small-volume closed hyperbolic 3-manifolds, and for each of them found finite covers which are Haken. There are interesting and unexplained patterns in the data which may lead to a better understanding of this problem. Second, we discuss a method for transferring the virtual Haken property under Dehn filling. In particular, we show that if a 3-manifold with torus boundary has a Seifert fibered Dehn filling with hyperbolic base orbifold, then most of the Dehn filled manifolds are virtually Haken. We use this to show that every non-trivial Dehn surgery on the figure-8 knot is virtually Haken. △ Less

Submitted 30 June, 2003; v1 submitted 17 September, 2002; originally announced September 2002.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol7/paper12.abs.html

MSC Class: 57M05; 57M10; 57M27; 20E26; 20F05

Journal ref: Geom. Topol. 7 (2003) 399-441

Laminations and groups of homeomorphisms of the circle

Authors: Danny Calegari, Nathan M. Dunfield

Abstract: If M is an atoroidal 3-manifold with a taut foliation, Thurston showed that pi_1(M) acts on a circle. Here, we show that some other classes of essential laminations also give rise to actions on circles. In particular, we show this for tight essential laminations with solid torus guts. We also show that pseudo-Anosov flows induce actions on circles. In all cases, these actions can be made into fa… ▽ More If M is an atoroidal 3-manifold with a taut foliation, Thurston showed that pi_1(M) acts on a circle. Here, we show that some other classes of essential laminations also give rise to actions on circles. In particular, we show this for tight essential laminations with solid torus guts. We also show that pseudo-Anosov flows induce actions on circles. In all cases, these actions can be made into faithful ones, so pi_1(M) is isomorphic to a subgroup of Homeo(S^1). In addition, we show that the fundamental group of the Weeks manifold has no faithful action on S^1. As a corollary, the Weeks manifold does not admit a tight essential lamination, a pseudo-Anosov flow, or a taut foliation. Finally, we give a proof of Thurston's universal circle theorem for taut foliations based on a new, purely topological, proof of the Leaf Pocket Theorem. △ Less

Submitted 21 July, 2002; v1 submitted 19 March, 2002; originally announced March 2002.

Comments: 50 pages, 12 figures. Ver 2: minor improvements

MSC Class: 57M

Journal ref: Invent. Math. 152 (2003) 149-207

Commensurability of 1-cusped hyperbolic 3-manifolds

Authors: Danny Calegari, Nathan M. Dunfield

Abstract: We give examples of non-fibered hyperbolic knot complements in homology spheres that are not commensurable to fibered knot complements in homology spheres. In fact, we give many examples of knot complements in homology spheres with the property that every commensurable knot complement in a homology sphere has non-monic Alexander polynomial. We give examples of non-fibered hyperbolic knot complements in homology spheres that are not commensurable to fibered knot complements in homology spheres. In fact, we give many examples of knot complements in homology spheres with the property that every commensurable knot complement in a homology sphere has non-monic Alexander polynomial. △ Less

Submitted 22 August, 2001; v1 submitted 3 February, 2001; originally announced February 2001.

Comments: 14 pages, to appear in TAMS, V2 changes: minor improvements

MSC Class: 57M

Journal ref: Trans. Amer. Math. Soc. 354 (2002), 2955-2969.

Alexander and Thurston norms of fibered 3-manifolds

Authors: Nathan M. Dunfield

Abstract: For a 3-manifold M, McMullen derived from the Alexander polynomial of M a norm on H^1(M, R) called the Alexander norm. He showed that the Thurston norm on H^1(M, R), which measures the complexity of a dual surface, is an upper bound for the Alexander norm. He asked if these two norms were equal on all of H^1(M,R) when M fibers over the circle. Here, I give examples which show that the answer to… ▽ More For a 3-manifold M, McMullen derived from the Alexander polynomial of M a norm on H^1(M, R) called the Alexander norm. He showed that the Thurston norm on H^1(M, R), which measures the complexity of a dual surface, is an upper bound for the Alexander norm. He asked if these two norms were equal on all of H^1(M,R) when M fibers over the circle. Here, I give examples which show that the answer to this question is emphatically no. This question is related to the faithfulness of the Gassner representations of the braid groups. The key tool used to understand this question is the Bieri-Neumann-Strebel invariant from combinatorial group theory. Theorem 1.7, which is of independant interest, connects the Alexander polynomial with a certain Bieri-Neumann-Strebel invariant. △ Less

Submitted 13 July, 2000; v1 submitted 11 August, 1999; originally announced August 1999.

Comments: 14 pages, 7 figures. To appear in PJM. v2: Minor corrections over v1

MSC Class: 57M

Journal ref: Pacfic J. Math, 200 (2001), 43-58

A table of boundary slopes of Montesinos knots

Authors: Nathan M. Dunfield

Abstract: This note corrects errors in Hatcher and Oertel's table of boundary slopes of Montesinos knots which have projections with 10 or fewer crossings. This note corrects errors in Hatcher and Oertel's table of boundary slopes of Montesinos knots which have projections with 10 or fewer crossings. △ Less

Submitted 18 June, 2010; v1 submitted 26 January, 1999; originally announced January 1999.

Comments: 3 pages. V3: Major change: further mistakes in Hatcher and Oertel's table have been corrected

MSC Class: 57

Journal ref: Topology, 40 (2001) 309-315

Cyclic surgery, degrees of maps of character curves, and volume rigidity for hyperbolic manifolds

Authors: Nathan M. Dunfield

Abstract: This paper proves a theorem about Dehn surgery using a new theorem about PSL(2, C) character varieties. Confirming a conjecture of Boyer and Zhang, this paper shows that a small hyperbolic knot in a homotopy sphere having a non-trivial cyclic slope r has an incompressible surface with non-integer boundary slope strictly between r-1 and r+1. A corollary is that any small knot which has only integ… ▽ More This paper proves a theorem about Dehn surgery using a new theorem about PSL(2, C) character varieties. Confirming a conjecture of Boyer and Zhang, this paper shows that a small hyperbolic knot in a homotopy sphere having a non-trivial cyclic slope r has an incompressible surface with non-integer boundary slope strictly between r-1 and r+1. A corollary is that any small knot which has only integer boundary slopes has Property P. The proof uses connections between the topology of the complement of the knot, M, and the PSL(2, C) character variety of M that were discovered by Culler and Shalen. The key lemma, which should be of independent interest, is that for certain components of the character variety of M, the map on character varieties induced by the inclusion of boundary M into M is a birational isomorphism onto its image. This in turn depends on a fancy version of Mostow rigidity due to Gromov, Thurston, and Goldman. △ Less

Submitted 25 October, 1998; v1 submitted 4 February, 1998; originally announced February 1998.

Comments: 32 pages, 9 figures, LaTeX2e. Changes: Added section defining volume of a representation

MSC Class: 57M (Primary) 53C35 (Secondary)

Journal ref: Invent. math. 136 (1999) 3, 623-657

Examples of non-trivial roots of unity at ideal points of hyperbolic 3-manifolds

Authors: Nathan M. Dunfield

Abstract: This paper gives examples of hyperbolic 3-manifolds whose SL(2,C) character varieties have ideal points whose associated roots of unity are not 1 or -1. This answers a question of Cooper, Culler, Gillet, Long, and Shalen as to whether roots of unity other than 1 and -1 occur. This paper gives examples of hyperbolic 3-manifolds whose SL(2,C) character varieties have ideal points whose associated roots of unity are not 1 or -1. This answers a question of Cooper, Culler, Gillet, Long, and Shalen as to whether roots of unity other than 1 and -1 occur. △ Less

Submitted 27 April, 1998; v1 submitted 13 January, 1998; originally announced January 1998.

Comments: 12 pages, 1 figure, LaTeX2e. Minor changes, additional remarks, new description of 2nd example. To appear in_Topology_

MSC Class: 57M

Journal ref: Topology, Vol 38, No. 2, pp 457-465, 1999