Dynamical systems and ergodic theory Definition
Pseudo-Anosov map
Builds on SurfaceHomeomorphismFoliationArnold's cat mapDehn twist
Definition
Let be a closed orientable surface. A singular measured foliation on is a foliation of , for a finite set , with a transverse measure . Here is a measure on arcs transverse to the leaves, invariant under sliding along the leaves. Near each point of the foliation must be a -prong singularity for some . A homeomorphism is pseudo-Anosov if there are and singular measured foliations , on such that:
- and have the same singular set and are transverse away from .
- maps the leaves of to leaves of , and .
- maps the leaves of to leaves of , and .
The number is the stretch factor (or dilatation) of .
Remarks
Example: on the torus , the map induced by , Arnold's cat map, is pseudo-Anosov with no singular points. The eigenvalues of are and . The foliations by lines parallel to the two eigenvectors, with transverse measures given by distance across the lines, are contracted by and stretched by .
Non-example: the Dehn twist induced by on the torus has only the eigenvalue . It preserves the horizontal foliation without stretching it, so no fits clauses 2 and 3.
On a closed surface of genus , the Euler–Poincaré formula forces singular points, since the foliations cannot be nonsingular. For surfaces with punctures, -prong singularities are also allowed at the punctures. The stretch factor is an algebraic integer, and is the topological entropy of , the least entropy among all homeomorphisms isotopic to .
Reading path
To understand this page from the ground up, read these 77 pages in order. The foundations come first.
- Borel sigma-algebra concept
- Dehn twist concept
- Element definition
- Euclidean space object
- Foliation concept
- Homeomorphism concept
- Outer measure concept
- Proposition concept
- Real numbers object
- Surface concept
- Vector space definition
- Set definition
- Lebesgue measure object
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Linear map definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Set-builder notation concept
- Existential quantifier definition
- Universal quantifier definition
- Endomorphism definition
- Cartesian product definition
- Subset definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Eigenvalue definition
- Binary relation definition
- Universal set definition
- Topological space definition
- Reflexive relation definition
- Symmetric relation definition
- Transitive relation definition
- Complement definition
- Function definition
- Basis of a topology definition
- Subspace topology definition
- Equivalence relation definition
- Product topology definition
- Preimage of a set definition
- Codomain definition
- Function composition definition
- Injective function definition
- Metric space definition
- Equivalence class definition
- Surjective function definition
- Open ball definition
- Quotient set definition
- Bijective function definition
- Metric topology definition
- Inverse function definition
- Quotient topology definition
- Open set definition
- Continuous map of topological spaces definition
- Hausdorff space definition
- Open cover definition
- Closed set definition
- Homeomorphism definition
- Universal property of the quotient topology statement
- Compact space definition
- Complement of an open set is closed statement
- Continuity via closed sets statement
- Compact set definition
- Compactness via open covers statement
- Continuous image of a compact set is compact statement
- Compact subsets of a Hausdorff space are closed statement
- Closed subsets of compact sets are compact statement
- Continuous bijection from a compact space to a Hausdorff space is a homeomorphism statement
- Circle as a quotient of the real line example
- Torus example
- Arnold's cat map example
- Pseudo-Anosov map definition
Further reading
About this page
| Tag | WZNF6Q5JBS |
|---|---|
| URI | m2://WZNF6Q5JBS |
| Kind | definition |
| Writing | W0 stub |
| MSC | 37E30, 57K20 |
| Defines | Pseudo-Anosov map |
| Uses | Surface, 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.