Math 2.0

Dynamical systems and ergodic theory Definition

Pseudo-Anosov map

Builds on SurfaceHomeomorphismFoliationArnold's cat mapDehn twist

Definition

Let SS be a closed orientable surface. A singular measured foliation on SS is a foliation ℱ\mathcal{F} of S∖ΣS \setminus \Sigma, for a finite set Σ\Sigma, with a transverse measure μ\mu. Here μ\mu is a measure on arcs transverse to the leaves, invariant under sliding along the leaves. Near each point of Σ\Sigma the foliation must be a pp-prong singularity for some p≥3p \ge 3. A homeomorphism f ⁣:S→Sf \colon S \to S is pseudo-Anosov if there are λ>1\lambda > 1 and singular measured foliations (ℱs,μs)(\mathcal{F}^s, \mu^s), (ℱu,μu)(\mathcal{F}^u, \mu^u) on SS such that:

  1. ℱs\mathcal{F}^s and ℱu\mathcal{F}^u have the same singular set Σ\Sigma and are transverse away from Σ\Sigma.
  2. ff maps the leaves of ℱs\mathcal{F}^s to leaves of ℱs\mathcal{F}^s, and f∗μs=λ−1μsf_* \mu^s = \lambda^{-1} \mu^s.
  3. ff maps the leaves of ℱu\mathcal{F}^u to leaves of ℱu\mathcal{F}^u, and f∗μu=λμuf_* \mu^u = \lambda \mu^u.

The number λ\lambda is the stretch factor (or dilatation) of ff.

Remarks

Example: on the torus ℝ2/ℤ2\R^2 / \Z^2, the map induced by A=(2111)A = \begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}, Arnold's cat map, is pseudo-Anosov with no singular points. The eigenvalues of AA are λ=3+52>1\lambda = \frac{3 + \sqrt 5}{2} > 1 and λ−1\lambda^{-1}. The foliations by lines parallel to the two eigenvectors, with transverse measures given by distance across the lines, are contracted by λ−1\lambda^{-1} and stretched by λ\lambda.

Non-example: the Dehn twist induced by (1101)\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} on the torus has only the eigenvalue 11. It preserves the horizontal foliation without stretching it, so no λ>1\lambda > 1 fits clauses 2 and 3.

On a closed surface of genus g≥2g \ge 2, the Euler–Poincaré formula forces singular points, since the foliations cannot be nonsingular. For surfaces with punctures, 11-prong singularities are also allowed at the punctures. The stretch factor λ\lambda is an algebraic integer, and log⁡λ\log \lambda is the topological entropy of ff, the least entropy among all homeomorphisms isotopic to ff.

Reading path

To understand this page from the ground up, read these 77 pages in order. The foundations come first.

  1. Borel sigma-algebra concept
  2. Dehn twist concept
  3. Element definition
  4. Euclidean space object
  5. Foliation concept
  6. Homeomorphism concept
  7. Outer measure concept
  8. Proposition concept
  9. Real numbers object
  10. Surface concept
  11. Vector space definition
  12. Set definition
  13. Lebesgue measure object
  14. Conjunction definition
  15. Disjunction definition
  16. Implication definition
  17. Predicate definition
  18. Linear map definition
  19. Empty set object
  20. Family of sets definition
  21. Ordered pair definition
  22. Intersection definition
  23. Union definition
  24. Set-builder notation concept
  25. Existential quantifier definition
  26. Universal quantifier definition
  27. Endomorphism definition
  28. Cartesian product definition
  29. Subset definition
  30. Union of a family of sets definition
  31. Uniqueness quantifier definition
  32. Eigenvalue definition
  33. Binary relation definition
  34. Universal set definition
  35. Topological space definition
  36. Reflexive relation definition
  37. Symmetric relation definition
  38. Transitive relation definition
  39. Complement definition
  40. Function definition
  41. Basis of a topology definition
  42. Subspace topology definition
  43. Equivalence relation definition
  44. Product topology definition
  45. Preimage of a set definition
  46. Codomain definition
  47. Function composition definition
  48. Injective function definition
  49. Metric space definition
  50. Equivalence class definition
  51. Surjective function definition
  52. Open ball definition
  53. Quotient set definition
  54. Bijective function definition
  55. Metric topology definition
  56. Inverse function definition
  57. Quotient topology definition
  58. Open set definition
  59. Continuous map of topological spaces definition
  60. Hausdorff space definition
  61. Open cover definition
  62. Closed set definition
  63. Homeomorphism definition
  64. Universal property of the quotient topology statement
  65. Compact space definition
  66. Complement of an open set is closed statement
  67. Continuity via closed sets statement
  68. Compact set definition
  69. Compactness via open covers statement
  70. Continuous image of a compact set is compact statement
  71. Compact subsets of a Hausdorff space are closed statement
  72. Closed subsets of compact sets are compact statement
  73. Continuous bijection from a compact space to a Hausdorff space is a homeomorphism statement
  74. Circle as a quotient of the real line example
  75. Torus example
  76. Arnold's cat map example
  77. Pseudo-Anosov map definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Pseudo-Anosov_map
About this page
TagWZNF6Q5JBS
URIm2://WZNF6Q5JBS
Kinddefinition
WritingW0 stub
MSC37E30, 57K20
DefinesPseudo-Anosov map
UsesSurface, Homeomorphism, Foliation, Arnold's cat map, Dehn twist

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.