arXiv research

Study Agol cycles for pseudo-Anosov 3-braids.

Study Agol cycles in pseudo-Anosov 3-braids.

Study Agol cycles on 2-punctured torus and 5-punctured sphere, finding new dilatation formula.

Agol proved that hyperbolic cubulated groups are virtually special. The aim of these notes is to make the proof accessible to a wider audience; we retain the underlying ideas and constructions of Agol, but substantially change or add to many parts of the argument to give a more transparent and detailed account.

Buser's inequality gives an upper bound on the first non-zero eigenvalue of the Laplacian of a closed manifold M in terms of the Cheeger constant h(M). Agol later gave a quantitative improvement of Buser's inequality. Agol's result is less transparent since it is given implicitly by a set of equations, one of which is …

Generalized Agol's theorem to 3-manifold groups.

Answering a question asked by Agol and Wise, we show that a desired stronger form of Wise's malnormal special quotient theorem does not hold. The counterexamples are generalizations of triangle groups, built using the Ramanujan graphs constructed by Lubotzky--Phillips--Sarnak.

In 2007 Agol showed that if N is an aspherical compact 3-manifold with empty or toroidal boundary such that its fundamental group is virtually RFRS, then $N$ is virtually fibered. We give a largely self-contained proof of Agol's theorem using complexities of sutured manifolds.

Agol recently introduced the concept of a veering taut triangulation, which is a taut triangulation with some extra combinatorial structure. We define the weaker notion of a "veering triangulation" and use it to show that all veering triangulations admit strict angle structures. We also answer a question of Agol, givin…

We give a general lower bound for the normal Gromov norm of genuine laminations in terms of the topology of the complementary regions. In the special case of 3-manifolds, this yields a generalization of Agol's inequality from incompressible surfaces to tight laminations. In particular, the inequality excludes the exist…

The paper embeds non-arithmetic hyperbolic manifolds into higher-dimensional spaces.

Recently, Ian Agol introduced a class of "veering" ideal triangulations for mapping tori of pseudo-Anosov homeomorphisms of surfaces punctured along the singular points. These triangulations have very special combinatorial properties, and Agol asked if these are "geometric", i.e. realised in the complete hyperbolic met…

We summarize properties of 3-manifold groups, with a particular focus on the consequences of the recent results of Ian Agol, Jeremy Kahn, Vladimir Markovic and Dani Wise.

We give a full proof to Agol's announcement on the classification of non-free Kleinian groups generated by two parabolic transformations.

We find a larger class of virtually fibred classic Montesinos links of type $\widetilde{SL_2}$, extending a result of Agol, Boyer and Zhang.

Using recent results of Agol, Przytycki-Wise and Wise we show that twisted Alexander polynomials detect the Thurston norm of any irreducible 3-manifold which is not a closed graph manifold.

This paper is the third in a sequence establishing a dictionary between the combinatorics of veering triangulations equipped with appropriate filling slopes, and the dynamics of pseudo-Anosov flows (without perfect fits) on closed three-manifolds. Our motivation comes from the work of Agol and Guéritaud. Agol introduce…

We construct a locally hyperbolic 3-manifold $M_\infty$ such that $π_ 1(M_\infty)$ has no divisible subgroup. We then show that $M_\infty$ is not homeomorphic to any complete hyperbolic manifold. This answers a question of Agol [DHM06,Mar07].

We prove that the three-sphere recognition problem lies in the complexity class NP. Our work relies on Thompson's original proof that the problem is decidable [Math. Res. Let., 1994], Casson's version of her algorithm, and recent results of Agol, Hass, and Thurston [ArXiv, 2002].

Marden's Tameness Conjecture predicts that every hyperbolic 3-manifold with finitely generated fundamental group is homeomorphic to the interior of a compact 3-manifold. It was recently established by Agol and Calegari-Gabai. We will survey the history of work on this conjecture and discuss its many applications.

Study homomorphisms from groups to 3-manifold fundamental groups.

This paper is a follow-up to our joint paper with I. Agol, P. Storm and K. Whyte "Finiteness of arithmetic hyperbolic reflection groups". The main purpose is to investigate the effective side of the method developed there and its possible application to the problem of classification of arithmetic hyperbolic reflection …

Unique incompressible surface in fibered 3-manifolds.

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. Thi…

We give an alternative proof to Agol's classification of parabolic generating pairs of non-free Kleinian groups generated by two parabolic transformations. As an application, we give a complete characterisation of epimorphims between $2$-bridge knot groups and a complete characterisation of degree one maps between the …

We study the connections between subsurface projections in curve and arc complexes in fibered 3-manifolds and Agol's veering triangulation. The main theme is that large-distance subsurfaces in fibers are associated to large simplicial regions in the veering triangulation, and this correspondence holds uniformly for all…

Ribbon cobordism forms a partial order in 3-manifolds.

I will talk about my recent work with Fernando Marques where we used Almgren-Pitts Min-max Theory to settle some open questions in Geometry: The Willmore conjecture, the Freedman-He-Wang conjecture for links (jointly with Ian Agol), and the existence of infinitely many minimal hypersurfaces in manifolds of positive Ric…

Building off ideas developed by Agol, we construct a family of hyperbolic knots $K_n$ whose complements contain no closed incompressible surfaces and have Heegaard genus exactly $n$. These are the first known examples of small knots having large Heegaard genus. Using work of Futer and Purcell, we are able to bound the …

Let $M$ be a closed hyperbolic 3-manifold with a fibered face $σ$ of the unit ball of the Thurston norm on $H_2(M)$. If $M$ satisfies a certain condition related to Agol's veering triangulations, we construct a taut branched surface in $M$ spanning $σ$. This partially answers a 1985 question of Oertel, and extends an e…

Any hyperbolic surface bundle over the circle gives rise to a continuous surjection from the circle to the sphere, by work of Cannon and Thurston. We prove that the order in which this surjection fills out the sphere is dictated by a natural triangulation of the surface bundle (introduced by Agol) when all singularitie…

Counterexamples found for volume entropy conjecture in hyperbolic 3-manifolds.

Using the virtual fibering theorem of Agol we show that a sutured 3-manifold $(M, R_+,R_-,γ)$ is taut if and only if the $\ell^2$-Betti numbers of the pair $(M,R_-)$ are zero. As an application we can characterize Thurston norm minimizing surfaces in a 3-manifold $N$ with empty or toroidal boundary by the vanishing of …

The study shows a new upper bound on the homology rank of hyperbolic 3-manifolds.

New manifolds with small systoles not quasi-arithmetic.

Certain fibered hyperbolic 3-manifolds admit a $\mathit{\text{layered veering triangulation}}$, which can be constructed algorithmically given the stable lamination of the monodromy. These triangulations were introduced by Agol in 2011, and have been further studied by several others in the years since. We obtain exper…

Odd crossing numbers and even rotation numbers for cycles in plane immersions.

We show that a finitely generated residually finite rationally solvable (or RFRS) group $G$ is virtually fibred, in the sense that it admits a virtual surjection to $\mathbb{Z}$ with a finitely generated kernel, if and only if the first $L^2$-Betti number of $G$ vanishes. This generalises (and gives a new proof of) the…

Let N be an irreducible, compact 3-manifold with empty or toroidal boundary which is not a closed graph manifold. Using recent work of Agol, Kahn-Markovic and Przytycki-Wise we will show that pi_1(N) admits a cofinal filtration with `fast' growth of Betti numbers as well as a cofinal filtration of pi_1(N) with `slow' g…

We give a criterion in terms of the boundary for the existence of a proper cocompact action of a word-hyperbolic group on a CAT(0) cube complex. We describe applications towards lattices and hyperbolic 3-manifold groups. In particular, by combining the theory of special cube complexes, the surface subgroup result of Ka…

Thin groups found in specific lattices.

We determine C-special subgroups of the Bianchi groups of index bounded above by 120 by effectivising the arguments of Agol-Long-Reid. These subgroups are congruence of level 2 or 4 and retract to the free group on two generators. As a consequence, we find a C-special 20-sheeted cover of the figure-eight knot complemen…

Proves inequality for 1-dimensional cycles.

This work introduces novel methods to identify and compare cycles across topological objects.

This article introduces proximal planar vortex 1-cycles, resembling the structure of vortex atoms introduced by William Thomson (Lord Kelvin) in 1867 and recent work on the proximity of sets that overlap either spatially or descriptively. Vortex cycles resemble Thomson's model of a vortex atom, inspired by P.G. Tait's …

Agol recently introduced the notion of a veering triangulation, and showed that such triangulations naturally arise as layered triangulations of fibered hyperbolic 3-manifolds. We prove, by a constructive argument, that every veering triangulation admits positive angle structures, recovering a result of Hodgson, Rubins…

This paper identifies the unique efficient cycle for most hyperbolic manifolds but not for the figure-8 knot complement.

Wise's Quasiconvex Hierarchy Theorem classifying hyperbolic virtually compact special groups in terms of quasiconvex hierarchies played an essential role in Agol's proof of the Virtual Haken Conjecture. Answering a question of Wise, we construct a new virtual quasiconvex hierarchy for relatively hyperbolic virtually co…