Showing 1–41 of 41 results for author: Agol, I

Simply transitive geodesics and omnipotence of lattices in PSL$(2,\mathbb{C})$

Authors: Ian Agol, Tam Cheetham-West, Yair Minsky

Abstract: We show that the isometry group of a finite-volume hyperbolic 3-manifold acts simply transitively on many of its closed geodesics. Combining this observation with the Virtual Special Theorems of the first author and Wise, we show that every non-arithmetic lattice in PSL$(2,\mathbb{C})$ is the full group of orientation-preserving isometries for some other lattice and that the orientation-preserving… ▽ More We show that the isometry group of a finite-volume hyperbolic 3-manifold acts simply transitively on many of its closed geodesics. Combining this observation with the Virtual Special Theorems of the first author and Wise, we show that every non-arithmetic lattice in PSL$(2,\mathbb{C})$ is the full group of orientation-preserving isometries for some other lattice and that the orientation-preserving isometry group of a finite-volume hyperbolic 3-manifold acts non-trivially on the homology of some finite-sheeted cover. △ Less

Submitted 12 September, 2024; originally announced September 2024.

Comments: 11 pages

MSC Class: 57K32

Chainmail links and L-spaces

Authors: Ian Agol

Abstract: In this note we prove that alternating chainmail links are L-space links. The proof is inspired by corresponding proofs for double branched covers of alternating links. We also more generally show that flat augmented chainmail links are generalized L-space links. Some other properties of these links are also considered. In this note we prove that alternating chainmail links are L-space links. The proof is inspired by corresponding proofs for double branched covers of alternating links. We also more generally show that flat augmented chainmail links are generalized L-space links. Some other properties of these links are also considered. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Comments: 17 pages, 16 figures

MSC Class: 57M

Guts in Sutured Decompositions and the Thurston Norm

Authors: Ian Agol, Yue Zhang

Abstract: We construct an invariant called guts for second homology classes in irreducible 3-manifolds with toral boundary and non-degenerate Thurston norm. We prove that the guts of second homology classes in each Thurston cone are invariant under a natural condition. We show that the guts of different homology classes are related by sutured decompositions. As an application, an invariant of knot complemen… ▽ More We construct an invariant called guts for second homology classes in irreducible 3-manifolds with toral boundary and non-degenerate Thurston norm. We prove that the guts of second homology classes in each Thurston cone are invariant under a natural condition. We show that the guts of different homology classes are related by sutured decompositions. As an application, an invariant of knot complements is given and is computed in a few interesting cases. Besides, we show that the dimension of a maximal simplex in a Kakimizu Complex is an invariant. △ Less

Submitted 22 March, 2022; originally announced March 2022.

Comments: 40 pages, 15 figures

Peripheral birationality for 3-dimensional convex co-compact $PSL_2\mathbb{C}$ varieties

Authors: Ian Agol, Franco Vargas Pallete

Abstract: Let $M$ be a hyperbolizable $3$-manifold with boundary, and let $χ_0(M)$ be a component of the $PSL_2\mathbb{C}$-character variety of $M$ that contains the convex co-compact characters. We show that the peripheral map $i_*:χ_0(M)\rightarrowχ(\partial M)$ to the character variety of $\partial M$ is a birational isomorphism with its image, and in particular is generically a one-to-one map. This gene… ▽ More Let $M$ be a hyperbolizable $3$-manifold with boundary, and let $χ_0(M)$ be a component of the $PSL_2\mathbb{C}$-character variety of $M$ that contains the convex co-compact characters. We show that the peripheral map $i_*:χ_0(M)\rightarrowχ(\partial M)$ to the character variety of $\partial M$ is a birational isomorphism with its image, and in particular is generically a one-to-one map. This generalizes work of Dunfield (one cusped hyperbolic $3$-manifolds) and Klaff-Tillmann (finite volume hyperbolic $3$-manifolds). We use the Bonahon-Schläfli formula and volume rigidity of discrete co-compact representations. △ Less

Submitted 17 February, 2022; v1 submitted 14 February, 2022; originally announced February 2022.

Comments: 16 pages, 9 figures. Some typos fixed for v.2. Comments are welcome!

Ribbon concordance of knots is a partial order

Authors: Ian Agol

Abstract: In this note we show that ribbon concordance forms a partial ordering on the set of knots, answering a question of Gordon. The proof makes use of representation varieties of the knot groups to $SO(N)$ and relations between them induced by a ribbon concordance. In this note we show that ribbon concordance forms a partial ordering on the set of knots, answering a question of Gordon. The proof makes use of representation varieties of the knot groups to $SO(N)$ and relations between them induced by a ribbon concordance. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Comments: 6 pages, 2 figures

MSC Class: 57M

Dynamics of veering triangulations: infinitesimal components of their flow graphs and applications

Authors: Ian Agol, Chi Cheuk Tsang

Abstract: We study the strongly connected components of the flow graph associated to a veering triangulation, and show that the infinitesimal components must be of a certain form, which have to do with subsets of the triangulation which we call `walls'. We show two applications of this knowledge: (1) a fix of a proof in the original paper by the first author which introduced veering triangulations; and (2)… ▽ More We study the strongly connected components of the flow graph associated to a veering triangulation, and show that the infinitesimal components must be of a certain form, which have to do with subsets of the triangulation which we call `walls'. We show two applications of this knowledge: (1) a fix of a proof in the original paper by the first author which introduced veering triangulations; and (2) an alternate proof that veering triangulations induce pseudo-Anosov flows without perfect fits, which was initially proved by Schleimer and Segerman. △ Less

Submitted 3 January, 2024; v1 submitted 7 January, 2022; originally announced January 2022.

Comments: v2 - 54 pages, 24 figures; minor changes, to appear in Algebraic and Geometric Topology

Journal ref: Algebr. Geom. Topol. 24 (2024) 3401-3453

Congruence RFRS towers

Authors: Ian Agol, Matthew Stover

Abstract: We describe a criterion for a real or complex hyperbolic lattice to admit a RFRS tower that consists entirely of congruence subgroups. We use this to show that certain Bianchi groups $\mathrm{PSL}(\mathcal{O}_d)$ are virtually fibered on congruence subgroups, and also exhibit the first examples of RFRS Kähler groups that are not a subgroup of a product of surface groups and abelian groups. We describe a criterion for a real or complex hyperbolic lattice to admit a RFRS tower that consists entirely of congruence subgroups. We use this to show that certain Bianchi groups $\mathrm{PSL}(\mathcal{O}_d)$ are virtually fibered on congruence subgroups, and also exhibit the first examples of RFRS Kähler groups that are not a subgroup of a product of surface groups and abelian groups. △ Less

Submitted 21 December, 2019; originally announced December 2019.

Comments: With an appendix by Mehmet Haluk Şengün

Rigidity in hyperbolic Dehn filling

Authors: Ian Agol, BoGwang Jeon

Abstract: This paper concerns with a rigidity of core geodesics in hyperbolic Dehn fillings. For instance, for an $n$-cusped hyperbolic $3$-manifold $M$ having non-symmetric cusp shapes, we show any Dehn filling of $M$ with sufficiently large coefficient is uniquely determined by the product of the holonomies of its core geodesics. We also explore various implications of the main results. An appendix by I.… ▽ More This paper concerns with a rigidity of core geodesics in hyperbolic Dehn fillings. For instance, for an $n$-cusped hyperbolic $3$-manifold $M$ having non-symmetric cusp shapes, we show any Dehn filling of $M$ with sufficiently large coefficient is uniquely determined by the product of the holonomies of its core geodesics. We also explore various implications of the main results. An appendix by I. Agol provides an alternative geometric proof of one of the corollaries of our main arguments. △ Less

Submitted 23 October, 2019; originally announced October 2019.

Comments: 31 pages; main text by Jeon, with an appendix by Agol. arXiv admin note: text overlap with arXiv:1801.07819

Embedding Heegaard Decompositions

Authors: Ian Agol, Michael H. Freedman

Abstract: A smooth embedding of a closed $3$-manifold $M$ in $\mathbb{R}^4$ may generically be composed with projection to the fourth coordinate to determine a Morse function on $M$ and hence a Heegaard splitting $M=X\cup_ΣY$. However, starting with a Heegaard splitting, we find an obstruction coming from the geometry of the curve complex $C(Σ)$ to realizing a corresponding embedding… ▽ More A smooth embedding of a closed $3$-manifold $M$ in $\mathbb{R}^4$ may generically be composed with projection to the fourth coordinate to determine a Morse function on $M$ and hence a Heegaard splitting $M=X\cup_ΣY$. However, starting with a Heegaard splitting, we find an obstruction coming from the geometry of the curve complex $C(Σ)$ to realizing a corresponding embedding $M\hookrightarrow \mathbb{R}^4$. △ Less

Submitted 7 June, 2019; originally announced June 2019.

Comments: 6 pages

MSC Class: 57M

Hyperbolic four-manifolds with vanishing Seiberg-Witten invariants

Authors: Ian Agol, Francesco Lin

Abstract: We show the existence of hyperbolic 4-manifolds with vanishing Seiberg-Witten invariants, addressing a conjecture of Claude LeBrun. This is achieved by showing, using results in geometric and arithmetic group theory, that certain hyperbolic 4-manifolds contain L-spaces as hypersurfaces. We show the existence of hyperbolic 4-manifolds with vanishing Seiberg-Witten invariants, addressing a conjecture of Claude LeBrun. This is achieved by showing, using results in geometric and arithmetic group theory, that certain hyperbolic 4-manifolds contain L-spaces as hypersurfaces. △ Less

Submitted 16 December, 2018; originally announced December 2018.

Comments: 8 pages, 2 figures

Structure of the flow and Yamada polynomials of cubic graphs

Authors: Ian Agol, Vyacheslav Krushkal

Abstract: We establish a quadratic identity for the Yamada polynomial of ribbon cubic graphs in 3-space, extending the Tutte golden identity for planar cubic graphs. An application is given to the structure of the flow polynomial of cubic graphs at zero. The golden identity for the flow polynomial is conjectured to characterize planarity of cubic graphs, and we prove this conjecture for a certain infinite f… ▽ More We establish a quadratic identity for the Yamada polynomial of ribbon cubic graphs in 3-space, extending the Tutte golden identity for planar cubic graphs. An application is given to the structure of the flow polynomial of cubic graphs at zero. The golden identity for the flow polynomial is conjectured to characterize planarity of cubic graphs, and we prove this conjecture for a certain infinite family of non-planar graphs. Further, we establish exponential growth of the number of chromatic polynomials of planar triangulations, answering a question of D. Treumann and E. Zaslow. The structure underlying these results is the chromatic algebra, and more generally the SO(3) topological quantum field theory. △ Less

Submitted 1 January, 2018; originally announced January 2018.

Comments: 22 pages

Tutte relations, TQFT, and planarity of cubic graphs

Authors: Ian Agol, Vyacheslav Krushkal

Abstract: It has been known since the work of Tutte that the value of the chromatic polynomial of planar triangulations at $(3+\sqrt{5})/2$ has a number of remarkable properties. We investigate to what extent Tutte's relations characterize planar graphs. A version of the Tutte linear relation for the flow polynomial at $(3-\sqrt{5})/2$ is shown to give a planarity criterion for $3$-connected cubic graphs. A… ▽ More It has been known since the work of Tutte that the value of the chromatic polynomial of planar triangulations at $(3+\sqrt{5})/2$ has a number of remarkable properties. We investigate to what extent Tutte's relations characterize planar graphs. A version of the Tutte linear relation for the flow polynomial at $(3-\sqrt{5})/2$ is shown to give a planarity criterion for $3$-connected cubic graphs. A conjecture is formulated that the golden identity for the flow polynomial characterizes planarity of cubic graphs as well. In addition, Tutte's upper bound on the chromatic polynomial of planar triangulations at $(3+\sqrt{5})/2$ is generalized to other Beraha numbers, and an exponential lower bound is given for the value at $(3-\sqrt{5})/2$. The proofs of these results rely on the structure of the Temperley-Lieb algebra and more generally on methods of topological quantum field theory. △ Less

Submitted 22 December, 2015; originally announced December 2015.

Comments: 14 pages, 14 figures

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

Pseudo-Anosov stretch factors and homology of mapping tori

Authors: Ian Agol, Christopher J. Leininger, Dan Margalit

Abstract: We consider the pseudo-Anosov elements of the mapping class group of a surface of genus g that fix a rank k subgroup of the first homology of the surface. We show that the smallest entropy among these is comparable to (k+1)/g. This interpolates between results of Penner and of Farb and the second and third authors, who treated the cases of k=0 and k=2g, respectively, and answers a question of Elle… ▽ More We consider the pseudo-Anosov elements of the mapping class group of a surface of genus g that fix a rank k subgroup of the first homology of the surface. We show that the smallest entropy among these is comparable to (k+1)/g. This interpolates between results of Penner and of Farb and the second and third authors, who treated the cases of k=0 and k=2g, respectively, and answers a question of Ellenberg. We also show that the number of conjugacy classes of pseudo-Anosov mapping classes as above grows (as a function of g) like a polynomial of degree k. △ Less

Submitted 4 March, 2015; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: 23 pages, 11 figures

An alternate proof of Wise's Malnormal Special Quotient Theorem

Authors: Ian Agol, Daniel Groves, Jason Fox Manning

Abstract: We give an alternate proof of Wise's Malnormal Special Quotient Theorem (MSQT), avoiding cubical small cancellation theory. We also show how to deduce Wise's Quasiconvex Hierarchy Theorem from the MSQT and theorems of Hsu--Wise and Haglund--Wise. We give an alternate proof of Wise's Malnormal Special Quotient Theorem (MSQT), avoiding cubical small cancellation theory. We also show how to deduce Wise's Quasiconvex Hierarchy Theorem from the MSQT and theorems of Hsu--Wise and Haglund--Wise. △ Less

Submitted 18 November, 2015; v1 submitted 4 May, 2014; originally announced May 2014.

Comments: 42 pages, 10 figures. Version 2 contains minor changes, addressing referee comments. To appear in Forum of Mathematics, Pi

Simplifying 3-manifolds in R^4

Authors: Ian Agol, Michael H. Freedman

Abstract: We show that a smooth embedding of a closed 3-manifold in S^3 x R can be isotoped so that every generic level divides S^3 x t into two handlebodies (i.e., is Heegaard) provided the original embedding has a unique local maximum with respect to the R coordinate. This allows uniqueness of embeddings to be studied via the mapping class group of surfaces and the Schoenflies conjecture is considered in… ▽ More We show that a smooth embedding of a closed 3-manifold in S^3 x R can be isotoped so that every generic level divides S^3 x t into two handlebodies (i.e., is Heegaard) provided the original embedding has a unique local maximum with respect to the R coordinate. This allows uniqueness of embeddings to be studied via the mapping class group of surfaces and the Schoenflies conjecture is considered in this light. We also give a necessary and sufficient condition that a 3-manifold connected summed with arbitrarily many copies of S^1 x S^2 embeds in R^4. △ Less

Submitted 22 April, 2014; v1 submitted 10 June, 2013; originally announced June 2013.

Comments: 21 pages, 4 figures

MSC Class: 57M

Min-max theory and the energy of links

Authors: Ian Agol, Fernando C. Marques, André Neves

Abstract: Freedman, He, and Wang, conjectured in 1994 that the Mobius energy should be minimized, among the class of all nontrivial links in Euclidean space, by the stereographic projection of the standard Hopf link. We prove this conjecture using the min-max theory of minimal surfaces. Freedman, He, and Wang, conjectured in 1994 that the Mobius energy should be minimized, among the class of all nontrivial links in Euclidean space, by the stereographic projection of the standard Hopf link. We prove this conjecture using the min-max theory of minimal surfaces. △ Less

Submitted 27 April, 2015; v1 submitted 3 May, 2012; originally announced May 2012.

Comments: 19 pages. Revised version. To appear in J. Amer. Math. Soc

MSC Class: 57M25; 53A10

The virtual Haken conjecture

Authors: Ian Agol, Daniel Groves, Jason Manning

Abstract: We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which resolves the virtual Haken question of Waldhausen and Thurston's virtual fibering question. An appendix to… ▽ More We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which resolves the virtual Haken question of Waldhausen and Thurston's virtual fibering question. An appendix to this paper by Agol, Groves, and Manning proves a generalization of the main result of "Residual finiteness, QCERF and fillings of hyperbolic groups". △ Less

Submitted 12 April, 2012; originally announced April 2012.

Comments: 32 pages, 2 figures; Primary article by Ian Agol with an appendix by Ian Agol, Daniel Groves, and Jason Manning; relies on work of Dani Wise and collaborators available here: http://comet.lehman.cuny.edu/behrstock/cbms/program.html

MSC Class: 57M

Ideal Triangulations of Pseudo-Anosov Mapping Tori

Authors: Ian Agol

Abstract: We show how to construct an ideal triangulation of a mapping torus of a pseudo-Anosov map punctured along the singular fibers. This gives rise to a new conjugacy invariant of mapping classes, and a new proof of a theorem of Farb-Leininger-Margalit. The approach in this paper is based on ideas of Hamenstadt. We show how to construct an ideal triangulation of a mapping torus of a pseudo-Anosov map punctured along the singular fibers. This gives rise to a new conjugacy invariant of mapping classes, and a new proof of a theorem of Farb-Leininger-Margalit. The approach in this paper is based on ideas of Hamenstadt. △ Less

Submitted 21 August, 2010; v1 submitted 9 August, 2010; originally announced August 2010.

Comments: 16 pages, 17 figures, submitted to the Jacofest proceedings, added citations and fixed some mistakes

MSC Class: 57M

Presentation length and Simon's conjecture

Authors: Ian Agol, Yi Liu

Abstract: In this paper, we show that any knot group maps onto at most finitely many knot groups. This gives an affirmative answer to a conjecture of J. Simon. We also bound the diameter of a closed hyperbolic 3-manifold linearly in terms of the presentation length of its fundamental group, improving a result of White. In this paper, we show that any knot group maps onto at most finitely many knot groups. This gives an affirmative answer to a conjecture of J. Simon. We also bound the diameter of a closed hyperbolic 3-manifold linearly in terms of the presentation length of its fundamental group, improving a result of White. △ Less

Submitted 17 May, 2011; v1 submitted 28 June, 2010; originally announced June 2010.

Comments: 34 pages, 3 figures, fixed some errors, especially in the proof of Prop. 7.2. Final version to appear in Journal of the American Mathematical Society

MSC Class: 57M

The minimal volume orientable hyperbolic 2-cusped 3-manifolds

Authors: Ian Agol

Abstract: We prove that the Whitehead link complement and the (-2, 3, 8) pretzel link complement are the minimal volume orientable hyperbolic 3-manifolds with two cusps, with volume 3.66... = 4 x Catalan's constant. We use topological arguments to establish the existence of an essential surface which provides a lower bound on volume and strong constraints on the manifolds that realize that lower bound. We prove that the Whitehead link complement and the (-2, 3, 8) pretzel link complement are the minimal volume orientable hyperbolic 3-manifolds with two cusps, with volume 3.66... = 4 x Catalan's constant. We use topological arguments to establish the existence of an essential surface which provides a lower bound on volume and strong constraints on the manifolds that realize that lower bound. △ Less

Submitted 18 May, 2010; v1 submitted 31 March, 2008; originally announced April 2008.

Comments: 10 pages, 5 figures, incorporated referees comments, includes hyperref links

MSC Class: 57M; 30F40

Journal ref: electronically published May 12, 2010, Proc. Amer. Math. Soc. (2010), http://www.ams.org/journals/proc/0000-000-00/S0002-9939-10-10364-5/home.html

Bounds on exceptional Dehn filling II

Authors: Ian Agol

Abstract: We show that there are at most finitely many one cusped orientable hyperbolic 3-manifolds which have more than eight non-hyperbolic Dehn fillings. Moreover, we show that determining these finitely many manifolds is decidable. We show that there are at most finitely many one cusped orientable hyperbolic 3-manifolds which have more than eight non-hyperbolic Dehn fillings. Moreover, we show that determining these finitely many manifolds is decidable. △ Less

Submitted 20 March, 2008; originally announced March 2008.

Comments: 13 pages, 3 figures

MSC Class: 57M; 30F40

Journal ref: Geom. Topol. 14 (2010) 1921-1940

Pants immersed in hyperbolic 3-manifolds

Authors: Ian Agol

Abstract: We show that an immersed thrice-punctured sphere in a cusped orientable hyperbolic 3-manifold is either embedded or has a single clasp in a manifold obtained by hyperbolic Dehn filling on a cusp of the Whitehead link complement. We show that an immersed thrice-punctured sphere in a cusped orientable hyperbolic 3-manifold is either embedded or has a single clasp in a manifold obtained by hyperbolic Dehn filling on a cusp of the Whitehead link complement. △ Less

Submitted 19 February, 2008; originally announced February 2008.

Comments: 12 pages, 4 figures

MSC Class: 57M

Residual finiteness, QCERF, and fillings of hyperbolic groups

Authors: Ian Agol, Daniel Groves, Jason Fox Manning

Abstract: We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling. We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling. △ Less

Submitted 10 March, 2008; v1 submitted 5 February, 2008; originally announced February 2008.

Comments: (v1) 22 pages, 2 figures. (v2) 24 pages, 2 figures. An error in the proof and statement of the main technical lemma was corrected, and some other small corrections and clarifications were made

MSC Class: 20F65; 20F67; 20E26

Journal ref: Geom. Topol. 13 (2009) 1043-1073

Criteria for virtual fibering

Authors: Ian Agol

Abstract: We prove that an irreducible 3-manifold whose fundamental group satisfies a certain group-theoretic property called RFRS is virtually fibered. As a corollary, we show that 3-dimensional reflection orbifolds and arithmetic hyperbolic orbifolds defined by a quadratic form virtually fiber. These include the Seifert Weber dodecahedral space and the Bianchi orbifolds. Moreover, we show that a taut su… ▽ More We prove that an irreducible 3-manifold whose fundamental group satisfies a certain group-theoretic property called RFRS is virtually fibered. As a corollary, we show that 3-dimensional reflection orbifolds and arithmetic hyperbolic orbifolds defined by a quadratic form virtually fiber. These include the Seifert Weber dodecahedral space and the Bianchi orbifolds. Moreover, we show that a taut sutured compression body has a finite-sheeted cover with a depth one taut-oriented foliation. △ Less

Submitted 23 February, 2008; v1 submitted 30 July, 2007; originally announced July 2007.

Comments: 17 pages, 3 figures; new theorem 7.2; to appear in Journal of Topology

MSC Class: 57M10; 57R22

Systoles of hyperbolic 4-manifolds

Authors: Ian Agol

Abstract: We prove that for any \e>0, there exists a closed hyperbolic 4-manifold with a closed geodesic of length < \e. We prove that for any \e>0, there exists a closed hyperbolic 4-manifold with a closed geodesic of length < \e. △ Less

Submitted 11 December, 2006; originally announced December 2006.

Comments: 4 pages, 1 figure

MSC Class: 30F40; 57M

Finiteness of arithmetic hyperbolic reflection groups

Authors: Ian Agol, Mikhail Belolipetsky, Peter Storm, Kevin Whyte

Abstract: We prove that there are only finitely many conjugacy classes of arithmetic maximal hyperbolic reflection groups. We prove that there are only finitely many conjugacy classes of arithmetic maximal hyperbolic reflection groups. △ Less

Submitted 5 December, 2006; originally announced December 2006.

Comments: 16 pages

MSC Class: 20F55; 22E40; 11F06; 11H56

Virtual betti numbers of symmetric spaces

Authors: Ian Agol

Abstract: We prove that a closed arithmetic hyperbolic 3-manifold with positive first betti number has virtually infinite first betti number. We prove that a closed arithmetic hyperbolic 3-manifold with positive first betti number has virtually infinite first betti number. △ Less

Submitted 27 November, 2006; originally announced November 2006.

Comments: 2 pages

MSC Class: 57T15

Finiteness of arithmetic Kleinian reflection groups

Authors: Ian Agol

Abstract: We prove that there are only finitely many arithmetic Kleinian maximal reflection groups. We prove that there are only finitely many arithmetic Kleinian maximal reflection groups. △ Less

Submitted 24 December, 2005; originally announced December 2005.

Comments: 10 pages

MSC Class: 30F40; 57M

Dehn surgery, homology and hyperbolic volume

Authors: Ian Agol, Marc Culler, Peter B Shalen

Abstract: If a closed, orientable hyperbolic 3--manifold M has volume at most 1.22 then H_1(M;Z_p) has dimension at most 2 for every prime p not 2 or 7, and H_1(M;Z_2) and H_1(M;Z_7) have dimension at most 3. The proof combines several deep results about hyperbolic 3--manifolds. The strategy is to compare the volume of a tube about a shortest closed geodesic C in M with the volumes of tubes about short cl… ▽ More If a closed, orientable hyperbolic 3--manifold M has volume at most 1.22 then H_1(M;Z_p) has dimension at most 2 for every prime p not 2 or 7, and H_1(M;Z_2) and H_1(M;Z_7) have dimension at most 3. The proof combines several deep results about hyperbolic 3--manifolds. The strategy is to compare the volume of a tube about a shortest closed geodesic C in M with the volumes of tubes about short closed geodesics in a sequence of hyperbolic manifolds obtained from M by Dehn surgeries on C. △ Less

Submitted 6 July, 2009; v1 submitted 11 August, 2005; originally announced August 2005.

Comments: This is the version published by Algebraic & Geometric Topology on 8 December 2006

MSC Class: 57M50; 57M27

Journal ref: Algebr. Geom. Topol. 6 (2006) 2297-2312

Singular surfaces, mod 2 homology, and hyperbolic volume, I

Authors: Ian Agol, Marc Culler, Peter B. Shalen

Abstract: This paper contains a purely topological theorem and a geometric application. The topological theorem states that if M is a simple closed orientable 3-manifold such that π_1(M) contains a genus g surface group and H_1(M;Z/2Z) has rank at least 4g-1 then M contains a closed incompressible surface of genus at most g. This result should be viewed as an analogue of Dehn's Lemma for π_1-injective sin… ▽ More This paper contains a purely topological theorem and a geometric application. The topological theorem states that if M is a simple closed orientable 3-manifold such that π_1(M) contains a genus g surface group and H_1(M;Z/2Z) has rank at least 4g-1 then M contains a closed incompressible surface of genus at most g. This result should be viewed as an analogue of Dehn's Lemma for π_1-injective singular surfaces. The geometric application states that if M is a closed orientable hyperbolic 3-manifold with volume less than 3.08 then the rank of H_1(M;Z/2Z) is at most 6. The proof of the geometric theorem combines the topological theorem with several deep geometric results, including the Marden tameness conjecture,recently established by Agol and by Calegari-Gabai; a co-volume estimate for 3-tame, 3-free Kleinian groups due to Anderson, Canary, Culler and Shalen; and a volume estimate for hyperbolic Haken manifolds recently proved by Agol, Storm and W. Thurston. △ Less

Submitted 3 February, 2008; v1 submitted 20 June, 2005; originally announced June 2005.

Comments: Ian Agol has been added as a co-author. The main topological result has been considerably strengthened. It now applies to singular surfaces of any genus, and in the genus 2 case considered in the earlier version the homology bound has been lowered from 11 to 7. In addition, the arguments have been substantially simplified

MSC Class: 57M50

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

Transcendental ending laminations

Authors: Ian Agol

Abstract: Yair Minsky showed that punctured torus groups are classified by a pair of ending laminations (ν_-,ν_+). In this note, we show that there are ending laminations ν_+ such that for any choice of ν_-, the punctured torus group is transcendental as a subgroup of PSL_2 C. Yair Minsky showed that punctured torus groups are classified by a pair of ending laminations (ν_-,ν_+). In this note, we show that there are ending laminations ν_+ such that for any choice of ν_-, the punctured torus group is transcendental as a subgroup of PSL_2 C. △ Less

Submitted 21 June, 2004; originally announced June 2004.

Comments: 6 pages, 2 figures

MSC Class: 30F40; 11J

Tameness of hyperbolic 3-manifolds

Authors: Ian Agol

Abstract: We show that hyperbolic 3-manifolds with finitely generated fundamental group are tame, that is the ends are products. We actually work in slightly greater generality with pinched negatively curved manifolds with hyperbolic cusps. This answers a conjecture of Marden and implies the Ahlfors measure conjecture. Applications are given to other questions about Kleinian groups and 3-manifolds. We show that hyperbolic 3-manifolds with finitely generated fundamental group are tame, that is the ends are products. We actually work in slightly greater generality with pinched negatively curved manifolds with hyperbolic cusps. This answers a conjecture of Marden and implies the Ahlfors measure conjecture. Applications are given to other questions about Kleinian groups and 3-manifolds. △ Less

Submitted 28 May, 2004; originally announced May 2004.

Comments: 22 pages, 1 figure

MSC Class: 57M50

Small 3-manifolds of large genus

Authors: Ian Agol

Abstract: We prove the existence of pure braids with arbitrarily many strands which are small, i.e. they contain no closed incompressible surface in the complement which is not boundary parallel. This implies the existence of irreducible non-Haken 3-manifolds of arbitrarily high Heegaard genus. We prove the existence of pure braids with arbitrarily many strands which are small, i.e. they contain no closed incompressible surface in the complement which is not boundary parallel. This implies the existence of irreducible non-Haken 3-manifolds of arbitrarily high Heegaard genus. △ Less

Submitted 8 May, 2002; originally announced May 2002.

Comments: 10 pages, 12 figures

MSC Class: 57M50

The Computational Complexity of Knot Genus and Spanning Area

Authors: Ian Agol, Joel Hass, William P. Thurston

Abstract: We investigate the computational complexity of some problems in three-dimensional topology and geometry. We show that the problem of determining a bound on the genus of a knot in a 3-manifold, is NP-complete. Using similar ideas, we show that deciding whether a curve in a metrized PL 3-manifold bounds a surface of area less than a given constant C is NP-hard. We investigate the computational complexity of some problems in three-dimensional topology and geometry. We show that the problem of determining a bound on the genus of a knot in a 3-manifold, is NP-complete. Using similar ideas, we show that deciding whether a curve in a metrized PL 3-manifold bounds a surface of area less than a given constant C is NP-hard. △ Less

Submitted 9 July, 2004; v1 submitted 6 May, 2002; originally announced May 2002.

Comments: This is a revised version of the previous posting, with many minor clarifications and improvements. 29 pages, 5 figures. To appear in Transactions of the AMS

MSC Class: 11Y16; 57M50; 57M25

An algorithm to detect laminar 3-manifolds

Authors: Ian Agol, Tao Li

Abstract: We show that there are algorithms to determine if a 3-manifold contains an essential lamination or a Reebless foliation. We show that there are algorithms to determine if a 3-manifold contains an essential lamination or a Reebless foliation. △ Less

Submitted 29 April, 2003; v1 submitted 30 January, 2002; originally announced January 2002.

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

MSC Class: 57M50; 57M25

Journal ref: Geom. Topol. 7 (2003) 287-309

Volume change under drilling

Authors: Ian Agol

Abstract: Given a hyperbolic 3-manifold M containing an embedded closed geodesic, we estimate the volume of a complete hyperbolic metric on the complement of the geodesic in terms of the geometry of M. As a corollary, we show that the smallest volume orientable hyperbolic 3-manifold has volume >.32 . Given a hyperbolic 3-manifold M containing an embedded closed geodesic, we estimate the volume of a complete hyperbolic metric on the complement of the geodesic in terms of the geometry of M. As a corollary, we show that the smallest volume orientable hyperbolic 3-manifold has volume >.32 . △ Less

Submitted 11 January, 2003; v1 submitted 16 January, 2001; originally announced January 2001.

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

MSC Class: 57M50; 53C15; 53C22

Journal ref: Geom. Topol. 6 (2002) 905-916

Bounds on exceptional Dehn filling

Authors: Ian Agol

Abstract: We show that for a hyperbolic knot complement, all but at most 12 Dehn fillings are irreducible with infinite word-hyperbolic fundamental group. We show that for a hyperbolic knot complement, all but at most 12 Dehn fillings are irreducible with infinite word-hyperbolic fundamental group. △ Less

Submitted 15 November, 2000; v1 submitted 27 June, 1999; originally announced June 1999.

Comments: Published in Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol4/paper15.abs.html

MSC Class: 57M50; 57M27; 57M25; 57S25

Journal ref: Geom. Topol. 4 (2000) 431-449

Lower bounds on volumes of hyperbolic Haken 3-manifolds

Authors: Ian Agol

Abstract: In this paper, we find lower bounds for volumes of hyperbolic 3-manifolds with various topological conditions. Let V_3 = 1.01494 denote the volume of a regular ideal simplex in hyperbolic 3-space. As a special case of the main theorem, if a hyperbolic manifold M contains an acylindrical surface S, then Vol(M)>= -2 V_3 chi(S). We also show that if beta_1(M)>= 2, then Vol(M)>= 4/5 V_3. In this paper, we find lower bounds for volumes of hyperbolic 3-manifolds with various topological conditions. Let V_3 = 1.01494 denote the volume of a regular ideal simplex in hyperbolic 3-space. As a special case of the main theorem, if a hyperbolic manifold M contains an acylindrical surface S, then Vol(M)>= -2 V_3 chi(S). We also show that if beta_1(M)>= 2, then Vol(M)>= 4/5 V_3. △ Less

Submitted 26 June, 1999; originally announced June 1999.

Comments: 20 pages, 15 figures

MSC Class: 57M50

The Bianchi groups are subgroup separable on geometrically finite subgroups

Authors: Ian Agol, Darren D. Long, Alan W. Reid

Abstract: We show that for certain arithmetic groups, geometrically finite subgroups are the intersection of finite index subgroups containing them. Examples are the Bianchi groups and the Seifert-Weber dodecahedral space. In particular, for manifolds commensurable with these groups, immersed incompressible surfaces lift to embeddings in a finite sheeted covering. We show that for certain arithmetic groups, geometrically finite subgroups are the intersection of finite index subgroups containing them. Examples are the Bianchi groups and the Seifert-Weber dodecahedral space. In particular, for manifolds commensurable with these groups, immersed incompressible surfaces lift to embeddings in a finite sheeted covering. △ Less

Submitted 4 January, 2001; v1 submitted 18 November, 1998; originally announced November 1998.

Comments: 19 pages