-
Simultaneous universal circles
Authors:
Michael P. Landry,
Yair N. Minsky,
Samuel J. Taylor
Abstract:
Let phi be a pseudo-Anosov flow on a closed oriented atoroidal 3-manifold M. We show that if F is any taut foliation almost transverse to phi, then the action of pi_1(M) on the boundary of the flow space, together with a natural collection of explicitly described monotone maps, defines a universal circle for F in the sense of Thurston and Calegari-Dunfield.
Let phi be a pseudo-Anosov flow on a closed oriented atoroidal 3-manifold M. We show that if F is any taut foliation almost transverse to phi, then the action of pi_1(M) on the boundary of the flow space, together with a natural collection of explicitly described monotone maps, defines a universal circle for F in the sense of Thurston and Calegari-Dunfield.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Transverse surfaces and pseudo-Anosov flows
Authors:
Michael P. Landry,
Yair N. Minsky,
Samuel J. Taylor
Abstract:
Let $\varphi$ be a transitive pseudo-Anosov flow on an oriented, compact $3$-manifold $M$, possibly with toral boundary. We characterize the surfaces in $M$ that are (almost) transverse to $φ$. When $\varphi$ has no perfect fits (e.g. $\varphi$ is the suspension flow of a pseudo-Anosov homeomorphism), we prove that any Thurston-norm minimizing surface $S$ that pairs nonnegatively with the closed o…
▽ More
Let $\varphi$ be a transitive pseudo-Anosov flow on an oriented, compact $3$-manifold $M$, possibly with toral boundary. We characterize the surfaces in $M$ that are (almost) transverse to $φ$. When $\varphi$ has no perfect fits (e.g. $\varphi$ is the suspension flow of a pseudo-Anosov homeomorphism), we prove that any Thurston-norm minimizing surface $S$ that pairs nonnegatively with the closed orbits of $\varphi$ is almost transverse to $\varphi$, up to isotopy. This answers a question of Cooper--Long--Reid. Our main tool is a correspondence between surfaces that are almost transverse to $\varphi$ and those that are relatively carried by any associated veering triangulation. The correspondence also allows us to investigate the uniqueness of almost transverse position, to extend Mosher's Transverse Surface Theorem to the case with boundary, and more generally to characterize when relative homology classes represent Birkhoff surfaces.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Endperiodic maps via pseudo-Anosov flows
Authors:
Michael P. Landry,
Yair N. Minsky,
Samuel J. Taylor
Abstract:
We show that every atoroidal endperiodic map of an infinite-type surface can be obtained from a depth one foliation in a fibered hyperbolic 3-manifold, reversing a well-known construction of Thurston. This can be done almost-transversely to the canonical suspension flow, and as a consequence we recover the Handel-Miller laminations of such a map directly from the fibered structure. We also general…
▽ More
We show that every atoroidal endperiodic map of an infinite-type surface can be obtained from a depth one foliation in a fibered hyperbolic 3-manifold, reversing a well-known construction of Thurston. This can be done almost-transversely to the canonical suspension flow, and as a consequence we recover the Handel-Miller laminations of such a map directly from the fibered structure. We also generalize from the finite-genus case the relation between topological entropy, growth rates of periodic points, and growth rates of intersection numbers of curves. Fixing the manifold and varying the depth one foliations, we obtain a description of the Cantwell-Conlon foliation cones and a proof that the entropy function on these cones is continuous and convex.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Subsurface distances for hyperbolic 3-manifolds fibering over the circle
Authors:
Yair N. Minsky,
Samuel J. Taylor
Abstract:
For a hyperbolic fibered 3-manifold M, we prove results that uniformly relate the structure of surface projections as one varies the fibrations of M. This extends our previous work from the fully-punctured to the general case.
For a hyperbolic fibered 3-manifold M, we prove results that uniformly relate the structure of surface projections as one varies the fibrations of M. This extends our previous work from the fully-punctured to the general case.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Discriminating Defense Against DDoS Attacks; a Novel Approach
Authors:
Naftaly H. Minsky
Abstract:
A recent paper (circa 2020) by Osterwile et al., entitled "21 Years of Distributed Denial of Service: A Call to Action", states: "We are falling behind in the war against distributed denial-of-service attacks. Unless we act now, the future of the Internet could be at stake." And an earlier (circa 2007) paper by Peng et al. states: "a key challenge for the defense [against DDoS attacks] is how to d…
▽ More
A recent paper (circa 2020) by Osterwile et al., entitled "21 Years of Distributed Denial of Service: A Call to Action", states: "We are falling behind in the war against distributed denial-of-service attacks. Unless we act now, the future of the Internet could be at stake." And an earlier (circa 2007) paper by Peng et al. states: "a key challenge for the defense [against DDoS attacks] is how to discriminate legitimate requests for service from malicious access attempts." This challenge has not been met yet, which is, arguably, a major reason for the dire situation described by Osterwile et al. -- thirteen years later. This paper attempts to meet an approximation to this challenge, by enabling a a site to define the kind of messages that it considers important, and by introducing an unambiguous criterion of discrimination between messages that a given site considers important, and all other messages sent to it. Two anti-DDoS mechanisms based on this criterion are introduced in this paper. One of these relies on lightweight support by routers; and the other one does not.
△ Less
Submitted 28 January, 2022;
originally announced January 2022.
-
Tent property of the growth indicator functions and applications
Authors:
Dongryul M. Kim,
Yair N. Minsky,
Hee Oh
Abstract:
Let $Γ$ be a Zariski dense discrete subgroup of a connected semisimple real algebraic group $G$. Let $k=\operatorname{rank} G$. Let $ψ_Γ:\mathfrak{a} \to \mathbb{R}\cup \{-\infty\}$ be the growth indicator function of $Γ$, first introduced by Quint. In this paper, we obtain the following pointwise bound of $ψ_Γ$: for all $v\in \mathfrak{a}$, $$ ψ_Γ(v) \le \min_{1\le i\le k} δ_{α_i} α_i(v) $$ where…
▽ More
Let $Γ$ be a Zariski dense discrete subgroup of a connected semisimple real algebraic group $G$. Let $k=\operatorname{rank} G$. Let $ψ_Γ:\mathfrak{a} \to \mathbb{R}\cup \{-\infty\}$ be the growth indicator function of $Γ$, first introduced by Quint. In this paper, we obtain the following pointwise bound of $ψ_Γ$: for all $v\in \mathfrak{a}$, $$ ψ_Γ(v) \le \min_{1\le i\le k} δ_{α_i} α_i(v) $$ where $Δ=\{α_1, \cdots, α_k\}$ is the set of all simple roots of $(\mathfrak{g},\mathfrak{a})$ and $0<δ_{α_i}\le \infty$ is the critical exponent of $Γ$ associated to $α_i$. When $Γ$ is $Δ$-Anosov, there are precisely $k$-number of directions where the equality is achieved, and the following strict inequality holds for $k\ge 2$: for all $v\in \mathfrak{a}-\{0\}$, $$ψ_Γ(v) <\frac{1}{k}\sum_{i=1}^k δ_{α_i} α_i (v).$$ We discuss applications for self-joinings of convex cocompact subgroups in $\prod_{i=1}^k \operatorname{SO}(n_i,1)$ and Hitchin subgroups of $\operatorname{PSL}(d, \mathbb{R})$. In particular, for a Zariski dense Hitchin subgroup $Γ<\text{PSL}(d, \mathbb{R})$, we obtain that for any $ v=\operatorname{diag}(t_1, \cdots, t_d)\in \mathfrak{a}^+$, $$ψ_Γ(v) \le \min_{1\le i\le d-1} (t_i -t_{i+1}). $$
△ Less
Submitted 25 September, 2023; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Flows, growth rates, and the veering polynomial
Authors:
Michael P. Landry,
Yair N. Minsky,
Samuel J. Taylor
Abstract:
For certain pseudo-Anosov flows $φ$ on closed $3$-manifolds, unpublished work of Agol--Guéritaud produces a veering triangulation $τ$ on the manifold $M$ obtained by deleting $φ$'s singular orbits. We show that $τ$ can be realized in $M$ so that its 2-skeleton is positively transverse to $φ$, and that the combinatorially defined flow graph $Φ$ embedded in $M$ uniformly codes $φ$'s orbits in a prec…
▽ More
For certain pseudo-Anosov flows $φ$ on closed $3$-manifolds, unpublished work of Agol--Guéritaud produces a veering triangulation $τ$ on the manifold $M$ obtained by deleting $φ$'s singular orbits. We show that $τ$ can be realized in $M$ so that its 2-skeleton is positively transverse to $φ$, and that the combinatorially defined flow graph $Φ$ embedded in $M$ uniformly codes $φ$'s orbits in a precise sense. Together with these facts we use a modified version of the veering polynomial, previously introduced by the authors, to compute the growth rates of $φ$'s closed orbits after cutting $M$ along certain transverse surfaces, thereby generalizing work of McMullen in the fibered setting. These results are new even in the case where the transverse surface represents a class in the boundary of a fibered cone of $M$.
Our work can be used to study the flow $φ$ on the original closed manifold. Applications include counting growth rates of closed orbits after cutting along closed transverse surfaces, defining a continuous, convex entropy function on the `positive' cone in $H^1$ of the cut-open manifold, and answering a question of Leininger about the closure of the set of all stretch factors arising as monodromies within a single fibered cone of a $3$-manifold. This last application connects to the study of endperiodic automorphisms of infinite-type surfaces and the growth rates of their periodic points.
△ Less
Submitted 5 August, 2022; v1 submitted 8 July, 2021;
originally announced July 2021.
-
Stable cubulations, bicombings, and barycenters
Authors:
Matthew G. Durham,
Yair N. Minsky,
Alessandro Sisto
Abstract:
We prove that the hierarchical hulls of finite sets of points in mapping class groups and Teichmüller spaces are stably approximated by a CAT(0) cube complexes, strengthening a result of Behrstock-Hagen-Sisto. As applications, we prove that mapping class groups are semihyperbolic and Teichmüller spaces are coarsely equivariantly bicombable, and both admit stable coarse barycenters. Our results app…
▽ More
We prove that the hierarchical hulls of finite sets of points in mapping class groups and Teichmüller spaces are stably approximated by a CAT(0) cube complexes, strengthening a result of Behrstock-Hagen-Sisto. As applications, we prove that mapping class groups are semihyperbolic and Teichmüller spaces are coarsely equivariantly bicombable, and both admit stable coarse barycenters. Our results apply to the broader class of "colorable" hierarchically hyperbolic spaces and groups.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
A polynomial invariant for veering triangulations
Authors:
Michael Landry,
Yair N. Minsky,
Samuel J. Taylor
Abstract:
We introduce a polynomial invariant $V_τ\in \mathbb{Z}[H_1(M)/\text{torsion}]$ associated to a veering triangulation $τ$ of a $3$-manifold $M$. In the special case where the triangulation is layered, i.e. comes from a fibration, $V_τ$ recovers the Teichmüller polynomial of the fibered faces canonically associated to $τ$. Via Dehn filling, this gives a combinatorial description of the Teichmüller p…
▽ More
We introduce a polynomial invariant $V_τ\in \mathbb{Z}[H_1(M)/\text{torsion}]$ associated to a veering triangulation $τ$ of a $3$-manifold $M$. In the special case where the triangulation is layered, i.e. comes from a fibration, $V_τ$ recovers the Teichmüller polynomial of the fibered faces canonically associated to $τ$. Via Dehn filling, this gives a combinatorial description of the Teichmüller polynomial for any hyperbolic fibered $3$-manifold.
For a general veering triangulation $τ$, we show that the surfaces carried by $τ$ determine a cone in homology that is dual to its cone of positive closed transversals. Moreover, we prove that this is $\textit{equal}$ to the cone over a (generally non-fibered) face of the Thurston norm ball, and that $τ$ computes the norm on this cone in a precise sense. We also give a combinatorial description of $V_τ$ in terms of the $\textit{flow graph}$ for $τ$ and its Perron polynomial. This perspective allows us to characterize when a veering triangulation comes from a fibration, and more generally to compute the face of the Thurston norm determined by $τ$.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Weil-Petersson translation length and manifolds with many fibered fillings
Authors:
Christopher J. Leininger,
Yair N. Minsky,
Juan Souto,
Samuel J. Taylor
Abstract:
We prove that any mapping torus of a pseudo-Anosov mapping class with bounded normalized Weil-Petersson translation length contains a finite set of transverse and level closed curves, and drilling out this set of curves results in one of a finite number of cusped hyperbolic 3-manifolds. The number of manifolds in the finite list depends only on the bound for normalized translation length. We also…
▽ More
We prove that any mapping torus of a pseudo-Anosov mapping class with bounded normalized Weil-Petersson translation length contains a finite set of transverse and level closed curves, and drilling out this set of curves results in one of a finite number of cusped hyperbolic 3-manifolds. The number of manifolds in the finite list depends only on the bound for normalized translation length. We also prove a complementary result that explains the necessity of removing level curves by producing new estimates for the Weil-Petersson translation length of compositions of pseudo-Anosov mapping classes and arbitrary powers of a Dehn twist.
△ Less
Submitted 24 January, 2020; v1 submitted 2 October, 2019;
originally announced October 2019.
-
Scalable, Secure and Broad-Spectrum Enforcement of Contracts, Without Blockchains
Authors:
Naftaly Minsky,
Chen Cong
Abstract:
This paper introduces a scalable and secure contract-enforcement mechanism, called Cop, which can be applied to a broad range of multi-agent systems including small and large systems, time-critical systems, and systems-of-systems. Cop enforces contracts (or protocols) via the existing Law- Governed Interaction (LGI) mechanism, coupled with a new protective layer that significantly enhances the dep…
▽ More
This paper introduces a scalable and secure contract-enforcement mechanism, called Cop, which can be applied to a broad range of multi-agent systems including small and large systems, time-critical systems, and systems-of-systems. Cop enforces contracts (or protocols) via the existing Law- Governed Interaction (LGI) mechanism, coupled with a new protective layer that significantly enhances the dependability and security of such enforcement. Cop is arguably superior to the currently popular blockchain-based smart-contract mechanisms, due to its scalability, interoperability, and the breadth of the spectrum of its domain of applications.
△ Less
Submitted 22 April, 2019;
originally announced April 2019.
-
Fibered faces, veering triangulations, and the arc complex
Authors:
Yair N. Minsky,
Samuel J. Taylor
Abstract:
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 fibers in a given fibered face of the Thurston norm.
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 fibers in a given fibered face of the Thurston norm.
△ Less
Submitted 8 November, 2017; v1 submitted 28 May, 2016;
originally announced May 2016.
-
Windows, cores and skinning maps
Authors:
Jeffrey F. Brock,
Kenneth W. Bromberg,
Richard D. Canary,
Yair N. Minsky
Abstract:
We give a generalization of Thurston's Bounded Image Theorem for skinning maps, which applies to pared 3-manifolds with incompressible boundary that are not necessarily acylindrical. Along the way we study properties of divergent sequences in the deformation space of such a manifold, establishing the existence of compact cores satisfying a certain notion of uniform geometry.
We give a generalization of Thurston's Bounded Image Theorem for skinning maps, which applies to pared 3-manifolds with incompressible boundary that are not necessarily acylindrical. Along the way we study properties of divergent sequences in the deformation space of such a manifold, establishing the existence of compact cores satisfying a certain notion of uniform geometry.
△ Less
Submitted 19 March, 2016; v1 submitted 20 January, 2016;
originally announced January 2016.
-
Establishing Global Policies over Decentralized Online Social Networks
Authors:
Zhe Wang,
Naftaly H. Minsky
Abstract:
Conventional online social networks (OSNs) are implemented in a centralized manner. Although centralization is a convenient way for implementing OSNs, it has several well known drawbacks. Chief among them are the risks they pose to the security and privacy of the information maintained by the OSN; and the loss of control over the information contributed by individual members.
These concerns prom…
▽ More
Conventional online social networks (OSNs) are implemented in a centralized manner. Although centralization is a convenient way for implementing OSNs, it has several well known drawbacks. Chief among them are the risks they pose to the security and privacy of the information maintained by the OSN; and the loss of control over the information contributed by individual members.
These concerns prompted several attempts to create decentralized OSNs, or DOSNs. The basic idea underlying these attempts, is that each member of a social network keeps its data under its own control, instead of surrendering it to a central host; providing access to it to other members of the OSN according to its own access-control policy. Unfortunately all existing DOSN projects have a very serious limitation. Namely, they are unable to subject the membership of a DOSN, and the interaction between its members, to any global policy.
We adopt the decentralization idea underlying DOSNs, complementing it with a means for specifying and enforcing a wide range of policies over the membership of a social community, and over the interaction between its disparate distributed members. And we do so in a scalable fashion.
△ Less
Submitted 7 April, 2014;
originally announced April 2014.
-
Bracing Heterogeneous Distributed Systems via Built-in Frameworks
Authors:
Naftaly Minsky
Abstract:
This paper introduces a novel architecture of distributed systems--called framed distributed system, or FDS--that braces a given system via a built-in virtual framework that controls the flow of messages between system components and between them and their environment, while being oblivious of the code of the communicating components. This control is carried out in a decentralized, and thus scalab…
▽ More
This paper introduces a novel architecture of distributed systems--called framed distributed system, or FDS--that braces a given system via a built-in virtual framework that controls the flow of messages between system components and between them and their environment, while being oblivious of the code of the communicating components. This control is carried out in a decentralized, and thus scalable, manner. The FDS architecture is expected to have a significant impact on the dependability and security of distributed systems, and on the whole life cycle of such systems. Although this architecture has been designed specifically for SOA-like heterogeneous and open systems--whose components may be written in different languages, may run on different platforms, and may be designed, constructed, and even maintained under different administrative domains--it should be useful for distributed systems in general.
△ Less
Submitted 19 March, 2014;
originally announced March 2014.
-
Dependable Management of Untrusted Distributed Systems
Authors:
Naftaly Minsky
Abstract:
The conventional approach to the online management of distributed systems---represented by such standards as SNMP for network management, and WSDM for systems based on service oriented computing (SOC)---relies on the components of the managed system to cooperate in the management process, by providing the managers with the means to monitor their state and activities, and to control their behavior.…
▽ More
The conventional approach to the online management of distributed systems---represented by such standards as SNMP for network management, and WSDM for systems based on service oriented computing (SOC)---relies on the components of the managed system to cooperate in the management process, by providing the managers with the means to monitor their state and activities, and to control their behavior. Unfortunately, the trust thus placed in the cooperation of the managed components is unwarranted for many types of systems---such as systems based on SOA---making the conventional management of such systems unreliable and insecure.
This paper introduces a radically new approach to the management of distributed systems, called governance-based management (GBM), which is based on a middleware that can govern the exchange of messages between system components. GBM has a substantial ability to manage distributed systems, in a reliable and secure manner, even without any trustworthy cooperation of the managed components.
And it can fully incorporate the conventional management techniques wherever such cooperation can be trusted. GBM also supports a reflexive mode of management, which manages the management process itself, making it safer. However, GBM is still a work in progress, as it raises several open problems that needs to be addressed before this management technique can be put to practice.
△ Less
Submitted 17 March, 2014;
originally announced March 2014.
-
An Approach to Modularization of Distributed Systems
Authors:
Naftaly Minsky
Abstract:
Modularization is an important architectural principle underlying many types of complex systems. It tends to tame the complexity of systems, to facilitate their management, and to enhance their flexibility with respect to evolution. In software, modularization has been practiced and studied thoroughly in local, i.e. non-distributed systems. But very little attention has been paid so far to modular…
▽ More
Modularization is an important architectural principle underlying many types of complex systems. It tends to tame the complexity of systems, to facilitate their management, and to enhance their flexibility with respect to evolution. In software, modularization has been practiced and studied thoroughly in local, i.e. non-distributed systems. But very little attention has been paid so far to modularization in distributed systems. This is, in part, because distributed systems are inherently modularized, in the sense that the internals of each component of such a system is inaccessible to other components, thus satisfying the Parnas hiding principle. It is, however, the thesis of this paper that there is much to be gained by being able to treat groups of distributed components as modules, called here distributed modules. And that besides the conventional hiding principle, distributed modularization should provide additional capabilities, which rarely, if ever, figure in conventional modularized systems. These capabilities include, but are not limited to: the ability to impose constraints on which kind of messages can be sent from a given distributed-module to its outside; and the ability to create AOP-like crosscutting modules. This paper introduces a model of modular distributed system, orMDS, which satisfies such capabilities, and which is implemented via the LGI middleware.
△ Less
Submitted 24 September, 2013;
originally announced September 2013.
-
Thick-skinned 3-manifolds
Authors:
Richard P. Kent IV,
Yair N. Minsky
Abstract:
We show that if the totally geodesic boundary of a compact hyperbolic 3-manifold M has a large collar of depth d, then the diameter of the skinning map of M is no more than A exp(-d) for some A depending only on the genus and injectivity radius of the boundary of M.
We show that if the totally geodesic boundary of a compact hyperbolic 3-manifold M has a large collar of depth d, then the diameter of the skinning map of M is no more than A exp(-d) for some A depending only on the genus and injectivity radius of the boundary of M.
△ Less
Submitted 28 August, 2014; v1 submitted 10 May, 2013;
originally announced May 2013.
-
Convergence properties of end invariants
Authors:
Jeffrey F. Brock,
Kenneth W. Bromberg,
Richard D. Canary,
Yair N. Minsky
Abstract:
We prove a continuity property for ending invariants of convergent sequences of Kleinian surface groups. We also analyze the bounded curve sets of such groups and show that their projections to non-annular subsurfaces lie a bounded Hausdorff distance from geodesics joining the projections of the ending invariants.
We prove a continuity property for ending invariants of convergent sequences of Kleinian surface groups. We also analyze the bounded curve sets of such groups and show that their projections to non-annular subsurfaces lie a bounded Hausdorff distance from geodesics joining the projections of the ending invariants.
△ Less
Submitted 20 August, 2012;
originally announced August 2012.
-
Picture-Hanging Puzzles
Authors:
Erik D. Demaine,
Martin L. Demaine,
Yair N. Minsky,
Joseph S. B. Mitchell,
Ronald L. Rivest,
Mihai Patrascu
Abstract:
We show how to hang a picture by wrapping rope around n nails, making a polynomial number of twists, such that the picture falls whenever any k out of the n nails get removed, and the picture remains hanging when fewer than k nails get removed. This construction makes for some fun mathematical magic performances. More generally, we characterize the possible Boolean functions characterizing when th…
▽ More
We show how to hang a picture by wrapping rope around n nails, making a polynomial number of twists, such that the picture falls whenever any k out of the n nails get removed, and the picture remains hanging when fewer than k nails get removed. This construction makes for some fun mathematical magic performances. More generally, we characterize the possible Boolean functions characterizing when the picture falls in terms of which nails get removed as all monotone Boolean functions. This construction requires an exponential number of twists in the worst case, but exponential complexity is almost always necessary for general functions.
△ Less
Submitted 26 April, 2014; v1 submitted 15 March, 2012;
originally announced March 2012.
-
Cohomology classes represented by measured foliations, and Mahler's question for interval exchanges
Authors:
Yair N. Minsky,
Barak Weiss
Abstract:
A translation surface on (S, Σ) gives rise to two transverse measured foliations \FF, \GG on S with singularities in Σ, and by integration, to a pair of cohomology classes [\FF], \, [\GG] \in H^1(S, Σ; \R). Given a measured foliation \FF, we characterize the set of cohomology classes \B for which there is a measured foliation \GG as above with \B = [\GG]. This extends previous results of Thurston…
▽ More
A translation surface on (S, Σ) gives rise to two transverse measured foliations \FF, \GG on S with singularities in Σ, and by integration, to a pair of cohomology classes [\FF], \, [\GG] \in H^1(S, Σ; \R). Given a measured foliation \FF, we characterize the set of cohomology classes \B for which there is a measured foliation \GG as above with \B = [\GG]. This extends previous results of Thurston and Sullivan.
We apply this to two problems: unique ergodicity of interval exchanges and flows on the moduli space of translation surfaces. For a fixed permutation σ\in \mathcal{S}_d, the space \R^d_+ parametrizes the interval exchanges on d intervals with permutation σ. We describe lines \ell in \R^d_+ such that almost every point in \ell is uniquely ergodic. We also show that for σ(i) = d+1-i, for almost every s>0, the interval exchange transformation corresponding to σand (s, s^2, \ldots, s^d) is uniquely ergodic.
As another application we show that when k=|Σ| \geq 2, the operation of `moving the singularities horizontally' is globally well-defined. We prove that there is a well-defined action of the group B \ltimes \R^{k-1} on the set of translation surfaces of type (S, Σ) without horizontal saddle connections. Here B \subset \SL(2,\R) is the subgroup of upper triangular matrices.
△ Less
Submitted 23 February, 2011;
originally announced February 2011.
-
Local topology in deformation spaces of hyperbolic 3-manifolds
Authors:
Jeffrey F. Brock,
Kenneth W. Bromberg,
Richard D. Canary,
Yair N. Minsky
Abstract:
We prove that the deformation space AH(M) of marked hyperbolic 3-manifolds homotopy equivalent to a fixed compact 3-manifold M with incompressible boundary is locally connected at minimally parabolic points. Moreover, spaces of Kleinian surface groups are locally connected at quasiconformally rigid points. Similar results are obtained for deformation spaces of acylindrical 3-manifolds and Bers s…
▽ More
We prove that the deformation space AH(M) of marked hyperbolic 3-manifolds homotopy equivalent to a fixed compact 3-manifold M with incompressible boundary is locally connected at minimally parabolic points. Moreover, spaces of Kleinian surface groups are locally connected at quasiconformally rigid points. Similar results are obtained for deformation spaces of acylindrical 3-manifolds and Bers slices.
△ Less
Submitted 7 November, 2009;
originally announced November 2009.
-
On dynamics of Out(F_n) on PSL(2,C) characters
Authors:
Yair N. Minsky
Abstract:
This note introduces and studies an open set of PSL(2,C) characters of a nonabelian free group, on which the action of the outer automorphism group is properly discontinuous, and which is strictly larger than the set of discrete, faithful convex-cocompact (i.e. Schottky) characters. This implies, in particular, that the outer automorphism group does not act ergodically on the set of characters wit…
▽ More
This note introduces and studies an open set of PSL(2,C) characters of a nonabelian free group, on which the action of the outer automorphism group is properly discontinuous, and which is strictly larger than the set of discrete, faithful convex-cocompact (i.e. Schottky) characters. This implies, in particular, that the outer automorphism group does not act ergodically on the set of characters with dense image. Hence there is a difference between the geometric (discrete vs. dense) decomposition of the characters, and a natural dynamical decomposition.
△ Less
Submitted 11 October, 2010; v1 submitted 18 June, 2009;
originally announced June 2009.
-
Centroids and the Rapid Decay property in mapping class groups
Authors:
Jason A. Behrstock,
Yair N. Minsky
Abstract:
We study a notion of a Lipschitz, permutation-invariant "centroid" for triples of points in mapping class groups MCG(S), which satisfies a certain polynomial growth bound. A consequence (via work of Drutu-Sapir or Chatterji-Ruane) is the Rapid Decay Property for MCG(S).
We study a notion of a Lipschitz, permutation-invariant "centroid" for triples of points in mapping class groups MCG(S), which satisfies a certain polynomial growth bound. A consequence (via work of Drutu-Sapir or Chatterji-Ruane) is the Rapid Decay Property for MCG(S).
△ Less
Submitted 9 July, 2010; v1 submitted 10 October, 2008;
originally announced October 2008.
-
Dimension and rank for mapping class groups
Authors:
Jason A. Behrstock,
Yair N. Minsky
Abstract:
We study the large scale geometry of the mapping class group, MCG. Our main result is that for any asymptotic cone of MCG, the maximal dimension of locally compact subsets coincides with the maximal rank of free abelian subgroups of MCG. An application is an affirmative solution to Brock-Farb's Rank Conjecture which asserts that MCG has quasi-flats of dimension N if and only if it has a rank N f…
▽ More
We study the large scale geometry of the mapping class group, MCG. Our main result is that for any asymptotic cone of MCG, the maximal dimension of locally compact subsets coincides with the maximal rank of free abelian subgroups of MCG. An application is an affirmative solution to Brock-Farb's Rank Conjecture which asserts that MCG has quasi-flats of dimension N if and only if it has a rank N free abelian subgroup. We also compute the maximum dimension of quasi-flats in Teichmuller space with the Weil-Petersson metric.
△ Less
Submitted 11 January, 2007; v1 submitted 14 December, 2005;
originally announced December 2005.
-
The classification of Kleinian surface groups, II: The Ending Lamination Conjecture
Authors:
Jeffrey F. Brock,
Richard D. Canary,
Yair N. Minsky
Abstract:
Thurston's Ending Lamination Conjecture states that a hyperbolic 3-manifold N with finitely generated fundamental group is uniquely determined by its topological type and its end invariants. In this paper we prove this conjecture for Kleinian surface groups; the general case when N has incompressible ends relative to its cusps follows readily. The main ingredient is the establishment of a uniforml…
▽ More
Thurston's Ending Lamination Conjecture states that a hyperbolic 3-manifold N with finitely generated fundamental group is uniquely determined by its topological type and its end invariants. In this paper we prove this conjecture for Kleinian surface groups; the general case when N has incompressible ends relative to its cusps follows readily. The main ingredient is the establishment of a uniformly bilipschitz model for a Kleinian surface group. The first half of the proof appeared in math.GT/0302208, and a subsequent paper will establish the Ending Lamination Conjecture in general.
△ Less
Submitted 8 March, 2011; v1 submitted 1 December, 2004;
originally announced December 2004.
-
Quasiconvexity in the curve complex
Authors:
Howard A. Masur,
Yair N. Minsky
Abstract:
Let S be the boundary of a handlebody M. We prove that the set of curves in S that are boundaries of disks in M, considered as a subset of the complex of curves of S, is quasi-convex.
Let S be the boundary of a handlebody M. We prove that the set of curves in S that are boundaries of disks in M, considered as a subset of the complex of curves of S, is quasi-convex.
△ Less
Submitted 7 July, 2003;
originally announced July 2003.
-
The classification of Kleinian surface groups, I: Models and bounds
Authors:
Yair N. Minsky
Abstract:
We give the first part of a proof of Thurston's Ending Lamination conjecture. In this part we show how to construct from the end invariants of a Kleinian surface group a ``Lipschitz model'' for the thick part of the corresponding hyperbolic manifold. This enables us to describe the topological structure of the thick part, and to give a-priori geometric bounds.
We give the first part of a proof of Thurston's Ending Lamination conjecture. In this part we show how to construct from the end invariants of a Kleinian surface group a ``Lipschitz model'' for the thick part of the corresponding hyperbolic manifold. This enables us to describe the topological structure of the thick part, and to give a-priori geometric bounds.
△ Less
Submitted 30 November, 2004; v1 submitted 18 February, 2003;
originally announced February 2003.
-
Combinatorial and Geometrical Aspects of Hyperbolic 3-Manifolds
Authors:
Yair N. Minsky
Abstract:
These revised lecture notes are an expository account of part of the proof of Thurston's Ending Lamination Conjecture for Kleinian surface groups, which states that such groups are uniquely determined by invariants that describe the asymptotic structure of the ends of their quotient manifolds.
These revised lecture notes are an expository account of part of the proof of Thurston's Ending Lamination Conjecture for Kleinian surface groups, which states that such groups are uniquely determined by invariants that describe the asymptotic structure of the ends of their quotient manifolds.
△ Less
Submitted 15 May, 2002;
originally announced May 2002.
-
Bounded geometry for Kleinian groups
Authors:
Yair N. Minsky
Abstract:
We show that a Kleinian surface group, or hyperbolic 3-manifold with a cusp-preserving homotopy-equivalence to a surface, has bounded geometry if and only if there is an upper bound on an associated collection of coefficients that depend only on its end invariants. Bounded geometry is a positive lower bound on the lengths of closed geodesics. When the surface is a once-punctured torus, the coeff…
▽ More
We show that a Kleinian surface group, or hyperbolic 3-manifold with a cusp-preserving homotopy-equivalence to a surface, has bounded geometry if and only if there is an upper bound on an associated collection of coefficients that depend only on its end invariants. Bounded geometry is a positive lower bound on the lengths of closed geodesics. When the surface is a once-punctured torus, the coefficients coincide with the continued fraction coefficients associated to the ending laminations. Applications include an improvement to the bounded geometry versions of Thurston's ending lamination conjecture, and of Bers' density conjecture.
△ Less
Submitted 10 May, 2001;
originally announced May 2001.
-
Short geodesics and end invariants
Authors:
Yair N. Minsky
Abstract:
This expository article discusses some connections between the geometry of a hyperbolic 3-manifold homotopy-equivalent to a surface, and the combinatorial properties of its end invariants. In particular a necessary and sufficient condition is stated for the manifold to have arbitrarily short geodesics, in terms of a sequence of coefficients called subsurface projection distances, which are analo…
▽ More
This expository article discusses some connections between the geometry of a hyperbolic 3-manifold homotopy-equivalent to a surface, and the combinatorial properties of its end invariants. In particular a necessary and sufficient condition is stated for the manifold to have arbitrarily short geodesics, in terms of a sequence of coefficients called subsurface projection distances, which are analogous in some ways to continued-fraction coefficients. (The proof of sufficiency appeared in math.GT/9907070)
△ Less
Submitted 1 June, 2000;
originally announced June 2000.
-
Kleinian groups and the complex of curves
Authors:
Yair N. Minsky
Abstract:
We examine the internal geometry of a Kleinian surface group and its relations to the asymptotic geometry of its ends, using the combinatorial structure of the complex of curves on the surface. Our main results give necessary conditions for the Kleinian group to have `bounded geometry' (lower bounds on injectivity radius) in terms of a sequence of coefficients (subsurface projections) computed u…
▽ More
We examine the internal geometry of a Kleinian surface group and its relations to the asymptotic geometry of its ends, using the combinatorial structure of the complex of curves on the surface. Our main results give necessary conditions for the Kleinian group to have `bounded geometry' (lower bounds on injectivity radius) in terms of a sequence of coefficients (subsurface projections) computed using the ending invariants of the group and the complex of curves.
These results are directly analogous to those obtained in the case of punctured-torus surface groups. In that setting the ending invariants are points in the closed unit disk and the coefficients are closely related to classical continued-fraction coefficients. The estimates obtained play an essential role in the solution of Thurston's ending lamination conjecture in that case.
△ Less
Submitted 28 February, 2000; v1 submitted 12 July, 1999;
originally announced July 1999.
-
Spectral theory, Hausdorff dimension and the topology of hyperbolic 3-manifolds
Authors:
Richard D. Canary,
Yair N. Minsky,
Edward C. Taylor
Abstract:
Let M be a compact 3-manifold whose interior admits a complete hyperbolic structure. We let Lambda(M) be the supremum of the bottom eigenvalue of the Laplacian of N, where N varies over all hyperbolic 3-manifolds homeomorphic to the interior of M. Similarly, we let D(M) be the infimum of the Hausdorff dimensions of limit sets of Kleinian groups whose quotients are homeomorphic to the interior of…
▽ More
Let M be a compact 3-manifold whose interior admits a complete hyperbolic structure. We let Lambda(M) be the supremum of the bottom eigenvalue of the Laplacian of N, where N varies over all hyperbolic 3-manifolds homeomorphic to the interior of M. Similarly, we let D(M) be the infimum of the Hausdorff dimensions of limit sets of Kleinian groups whose quotients are homeomorphic to the interior of M. We observe that Lambda(M)=D(M)(2-D(M)) if M is not handlebody or a thickened torus. We characterize exactly when Lambda(M)=1 and D(M)=1 in terms of the characteristic submanifold of the incompressible core of M.
△ Less
Submitted 19 October, 1998;
originally announced October 1998.
-
Geometry of the complex of curves II: Hierarchical structure
Authors:
Howard A. Masur,
Yair N. Minsky
Abstract:
This paper continues a geometric study of Harvey's Complex of Curves, whose ultimate goal is to apply the theory of hyperbolic spaces and groups to algorithmic questions for the Mapping Class Group and geometric properties of Kleinian representations. The authors' previous result that the complex is delta-hyperbolic was hard to apply because the complex is not locally finite; in this paper some…
▽ More
This paper continues a geometric study of Harvey's Complex of Curves, whose ultimate goal is to apply the theory of hyperbolic spaces and groups to algorithmic questions for the Mapping Class Group and geometric properties of Kleinian representations. The authors' previous result that the complex is delta-hyperbolic was hard to apply because the complex is not locally finite; in this paper some tools are developed for overcoming this problem, and a combinatorial mechanism introduced which describes sequences of elementary moves in the graph of markings on a surface. These tools are applied to give a family of quasi-geodesic words in the Mapping Class Group, and a linear bound on the shortest word conjugating two conjugate pseudo-Anosov elements.
A basic tool in the analysis is a family of subsurface projections, which are roughly analogous to closest-point projections to horoballs in classical hyperbolic space. These projections have a strong contraction property which makes it possible to tie together the geometry of the complex and that of the (infinite) subcomplexes that arise as links of vertices. The resulting layered structure of the complex is controlled by means of a combinatorial device called a hierarchy of geodesics, which is the central construction of the paper.
△ Less
Submitted 27 July, 1998;
originally announced July 1998.
-
The classification of punctured-torus groups
Authors:
Yair N. Minsky
Abstract:
Thurston's ending lamination conjecture proposes that a finitely generated Kleinian group is uniquely determined (up to isometry) by the topology of its quotient and a list of invariants that describe the asymptotic geometry of its ends. We present a proof of this conjecture for punctured-torus groups. These are free two-generator Kleinian groups with parabolic commutator, which should be though…
▽ More
Thurston's ending lamination conjecture proposes that a finitely generated Kleinian group is uniquely determined (up to isometry) by the topology of its quotient and a list of invariants that describe the asymptotic geometry of its ends. We present a proof of this conjecture for punctured-torus groups. These are free two-generator Kleinian groups with parabolic commutator, which should be thought of as representations of the fundamental group of a punctured torus.
As a consequence we verify the conjectural topological description of the deformation space of punctured-torus groups (including Bers' conjecture that the quasi-Fuchsian groups are dense in this space) and prove a rigidity theorem: two punctured-torus groups are quasi-conformally conjugate if and only if they are topologically conjugate.
△ Less
Submitted 28 February, 1999; v1 submitted 1 July, 1998;
originally announced July 1998.
-
Geometry of the Complex of Curves I: Hyperbolicity
Authors:
Howard A. Masur,
Yair N. Minsky
Abstract:
The Complex of Curves on a Surface is a simplicial complex whose vertices are homotopy classes of simple closed curves, and whose simplices are sets of homotopy classes which can be realized disjointly. It is not hard to see that the complex is finite-dimensional, but locally infinite. It was introduced by Harvey as an analogy, in the context of Teichmuller space, for Tits buildings for symmetri…
▽ More
The Complex of Curves on a Surface is a simplicial complex whose vertices are homotopy classes of simple closed curves, and whose simplices are sets of homotopy classes which can be realized disjointly. It is not hard to see that the complex is finite-dimensional, but locally infinite. It was introduced by Harvey as an analogy, in the context of Teichmuller space, for Tits buildings for symmetric spaces, and has been studied by Harer and Ivanov as a tool for understanding mapping class groups of surfaces.
In this paper we prove that, endowed with a natural metric, the complex is hyperbolic in the sense of Gromov. In a certain sense this hyperbolicity is an explanation of why the Teichmuller space has some negative-curvature properties in spite of not being itself hyperbolic: Hyperbolicity in the Teichmuller space fails most obviously in the regions corresponding to surfaces where some curve is extremely short. The complex of curves exactly encodes the intersection patterns of this family of regions (it is the "nerve" of the family), and we show that its hyperbolicity means that the Teichmuller space is "relatively hyperbolic" with respect to this family. A similar relative hyperbolicity result is proved for the mapping class group of a surface.
We also show that the action of pseudo-Anosov mapping classes on the complex is hyperbolic, with a uniform bound on translation distance.
△ Less
Submitted 11 August, 1998; v1 submitted 21 April, 1998;
originally announced April 1998.
