arXiv ScienceSearch

arXiv · math/0507153

Ideal boundaries of pseudo-Anosov flows and uniform convergence groups, with connections and applications to large scale geometry

Abstract

Given a general pseudo-Anosov flow in a three manifold, the orbit space of the lifted flow to the universal cover is homeomorphic to an open disk. We compactify this orbit space with an ideal circle boundary. If there are no perfect fits between stable and unstable leaves and the flow is not topologically conjugate to a suspension Anosov flow, we then show: The ideal circle of the orbit space has a natural quotient space which is a sphere and is a dynamical systems ideal boundary for a compactification of the universal cover of the manifold. The main result is that the fundamental group acts on the flow ideal boundary as a uniform convergence group. Using a theorem of Bowditch, this yields a proof that the fundamental group of the manifold is Gromov hyperbolic and it shows that the action of the fundamental group on the flow ideal boundary is conjugate to the action on the Gromov ideal boundary. This implies that pseudo-Anosov flows without perfect fits are quasigeodesic flows and we show that the stable/unstable foliations of these flows are quasi-isometric. Finally we apply these results to foliations: if a foliation is R-covered or with one sided branching in an atoroidal three manifold then the results above imply that the leaves of the foliation in the universal cover extend continuously to the sphere at infinity.

Explore related subjects

Keep this discovery

BibTeXRIS

Sergio R. Fenley. 2005-07-07. Ideal boundaries of pseudo-Anosov flows and uniform convergence groups, with connections and applications to large scale geometry. https://doi.org/10.2140/gt.2012.16.1

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Bar cohomology of links: beyond Milnor invariants

We develop bar cohomology of link complements as an invariant of links in homology spheres. In this setting, bar cohomology is a Hopf algebra which is calculable using surfaces and their intersection curves in a link complement. In this first in a sequence of works, we introduce the invariant and show that it defines a canonical subspace of the tensor Hopf algebra, which already encodes information about Milnor's link invariants and provides geometrically significant information beyond them.

math.GT

Homological lifts of Arnold invariants $J^-$ and $J^+$

Viro's Euler-integral polynomial $P_C(q)$ and the Lanzat--Polyak quantized-curvature polynomial $I_q(C)$ refine Arnold's invariants $J^-$ and $J^+$ for generic immersed one-component plane curves. We construct homological lifts of both. The bigraded region homology retains the singular homology of every connected Alexander-index region; its graded Euler characteristic is $P_C(q)$. The triply graded smoothing-circle homology is generated by the oriented circles of the orientation-preserving smoothing and decategorifies to the smoothing term in $I_q(C)$. Keeping the actual region summands and the boundary regions of every smoothing circle gives a homological refinement of the oriented smoothing configuration, or Seifert state. An infinite family proves strictness: both polynomial data and the ordinary homological lifts agree, while the component-graded region homology and the branch-decomposed circle homology distinguish every pair. Further constructions recover the full $I_q(C)$ by a vertex complex, realize the local change of its curvature integral by edge homology, and give a canonical two-state homology for unoriented curves. Viro described his Euler-integral formula as an analogue of face state-sum formulas for quantum knot polynomials. Through the categorifications developed here, we obtain one concrete homological face-state-sum model realizing that analogy.

math.GT