universal constraints on semigroups of hyperbolic
play

Universal constraints on semigroups of hyperbolic isometries - PowerPoint PPT Presentation

Universal constraints on semigroups of hyperbolic isometries Argyris Christodoulou The Open University CAFT 2018 Problem and Motivation Determine all the finite collections of hyperbolic isometries f 1 f 2 f n


  1. Universal constraints on semigroups of hyperbolic isometries Argyris Christodoulou The Open University CAFT 2018

  2. ❀ ❘ Problem and Motivation Determine all the finite collections of hyperbolic isometries f 1 ❀ f 2 ❀ ✿ ✿ ✿ ❀ f n for which the semigroup ❤ f 1 ❀ f 2 ❀ ✿ ✿ ✿ ❀ f n ✐ satisfies certain discreteness properties.

  3. Problem and Motivation Determine all the finite collections of hyperbolic isometries f 1 ❀ f 2 ❀ ✿ ✿ ✿ ❀ f n for which the semigroup ❤ f 1 ❀ f 2 ❀ ✿ ✿ ✿ ❀ f n ✐ satisfies certain discreteness properties. A. Avila, J. Bochi and J.-C. Yoccoz, Uniformly hyperbolic finite-valued SL (2 ❀ ❘ ) -cocycles , Comment. Math. Helv. 85 (2010), no. 4, 813–884. M. Jacques, I. Short, Dynamics of hyperbolic isometries , available at https://arxiv.org/abs/1609.00576.

  4. � ✒ ✼✦ ✒ ✷ ❘ ❀ ✷ ❉ ✿ ❀ � Hyperbolic geometry ( ❉ ❀ ✚ ) 2 ❥ dz ❥ 1 �❥ z ❥ 2

  5. Hyperbolic geometry ( ❉ ❀ ✚ ) 2 ❥ dz ❥ 1 �❥ z ❥ 2 Isometries of the hyperbolic plane: z ✼✦ e i ✒ z � z 0 1 � z 0 z ❀ where ✒ ✷ ❘ ❀ z 0 ✷ ❉ ✿

  6. ✚ ❀ Classification of M¨ obius transformations elliptic parabolic hyperbolic one fixed point one fixed point two fixed points inside on the boundary on the boundary

  7. ✚ ❀ Classification of M¨ obius transformations elliptic parabolic hyperbolic one fixed point one fixed point two fixed points inside on the boundary on the boundary

  8. Classification of M¨ obius transformations elliptic parabolic hyperbolic one fixed point one fixed point two fixed points inside on the boundary on the boundary Definition The translation length of a hyperbolic transformation f is the distance ✚ ( f ( w ) ❀ w ), for any point w on the axis of f .

  9. Semigroups of M¨ obius transformations Definition In this talk, a semigroup is a collection of M¨ obius transformations that is closed under composition.

  10. Semigroups of M¨ obius transformations Definition In this talk, a semigroup is a collection of M¨ obius transformations that is closed under composition. Definition A semigroup is said to be discrete if it has no accumulation points in the M¨ obius group.

  11. Semigroups of M¨ obius transformations Definition In this talk, a semigroup is a collection of M¨ obius transformations that is closed under composition. Definition A semigroup is said to be discrete if it has no accumulation points in the M¨ obius group. Definition A semigroup S is called semidiscrete if the identity is not an accumulation point of S .

  12. Semigroups of M¨ obius transformations Definition In this talk, a semigroup is a collection of M¨ obius transformations that is closed under composition. Definition A semigroup is said to be discrete if it has no accumulation points in the M¨ obius group. Definition A semigroup S is called semidiscrete if the identity is not an accumulation point of S . Example. A semidiscrete semigroup that is not discrete.

  13. ❋ ❉ Finitely-generated Semigroups Definition A semigroup S is called finitely-generated if there exists a finite collection of M¨ obius transformations ❋ such that every element of S can be written as a composition of elements of ❋ .

  14. ❉ Finitely-generated Semigroups Definition A semigroup S is called finitely-generated if there exists a finite collection of M¨ obius transformations ❋ such that every element of S can be written as a composition of elements of ❋ . The transformations in ❋ are called the generators of S .

  15. Finitely-generated Semigroups Definition A semigroup S is called finitely-generated if there exists a finite collection of M¨ obius transformations ❋ such that every element of S can be written as a composition of elements of ❋ . The transformations in ❋ are called the generators of S . Theorem (Jacques–Short, 2017) Let S be a finitely-generated semigroup. If there exists a non-trivial closed subset X of ❉ that is mapped strictly inside itself by each generator, then S is semidiscrete.

  16. Examples

  17. Examples

  18. Examples

  19. Examples

  20. Examples

  21. Examples

  22. Examples

  23. Examples

  24. Examples

  25. Examples

  26. Examples

  27. Examples

  28. Exceptional cases

  29. Exceptional cases

  30. Exceptional cases

  31. Exceptional cases

  32. Exceptional cases

  33. Exceptional cases

  34. ✧ ✒ Constraints on the translation lengths Theorem Suppose that S is a semigroup generated by the hyperbolic transformations f 1 ❀ f 2 ❀ ✿ ✿ ✿ ❀ f n , and let ✜ i be the translation length of f i . There exist ✧ ❃ 0 and M ❃ 0 such that: ✭✐✮ if ✜ i ❃ M, for all i ✷ ❢ 1 ❀ ✿ ✿ ✿ ❀ n ❣ , then S is semidiscrete, ✭✐✐✮ if ✜ j ❀ ✜ k ❁ ✧ , for some j ❀ k ✷ ❢ 1 ❀ ✿ ✿ ✿ ❀ n ❣ , then S is not semidiscrete.

  35. Constraints on the translation lengths Theorem Suppose that S is a semigroup generated by the hyperbolic transformations f 1 ❀ f 2 ❀ ✿ ✿ ✿ ❀ f n , and let ✜ i be the translation length of f i . There exist ✧ ❃ 0 and M ❃ 0 such that: ✭✐✮ if ✜ i ❃ M, for all i ✷ ❢ 1 ❀ ✿ ✿ ✿ ❀ n ❣ , then S is semidiscrete, ✭✐✐✮ if ✜ j ❀ ✜ k ❁ ✧ , for some j ❀ k ✷ ❢ 1 ❀ ✿ ✿ ✿ ❀ n ❣ , then S is not semidiscrete. The numbers ✧ and M depend only on the geometric configuration of the axes of the generators. d ✒

  36. Scetch of proof

  37. Sketch of proof

  38. Sketch of proof

  39. Sketch of proof

  40. Sketch of proof

  41. ✎ ✜ ❃ ❀ ✿ ✿ ✿ ❀ Future work ✎ What happens if ✧ ❁ ✜ i ❁ M ?

  42. ✜ ❃ ❀ ✿ ✿ ✿ ❀ Future work ✎ What happens if ✧ ❁ ✜ i ❁ M ? ✎ Discrete semigroups

  43. ✜ ❃ ❀ ✿ ✿ ✿ ❀ Future work ✎ What happens if ✧ ❁ ✜ i ❁ M ? ✎ Discrete semigroups ✘

  44. Future work ✎ What happens if ✧ ❁ ✜ i ❁ M ? ✎ Discrete semigroups ✘ if ✜ i ❃ M , for all i = 1 ❀ ✿ ✿ ✿ ❀ n , then S is discrete .

Recommend


More recommend