![Page 1: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/1.jpg)
The structure ofhyperbolic attractors on
surfacesTodd Fisher
Department of Mathematics
University of Maryland, College Park
The structure of hyperbolic attractors on surfaces – p. 1/21
![Page 2: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/2.jpg)
Outline of TalkBackground
Examples
Previous Results
Outline of Argument and open questions
The structure of hyperbolic attractors on surfaces – p. 2/21
![Page 3: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/3.jpg)
Outline of TalkBackground
Examples
Previous Results
Outline of Argument and open questions
The structure of hyperbolic attractors on surfaces – p. 2/21
![Page 4: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/4.jpg)
Outline of TalkBackground
Examples
Previous Results
Outline of Argument and open questions
The structure of hyperbolic attractors on surfaces – p. 2/21
![Page 5: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/5.jpg)
Outline of TalkBackground
Examples
Previous Results
Outline of Argument and open questions
The structure of hyperbolic attractors on surfaces – p. 2/21
![Page 6: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/6.jpg)
StandingAssumptions
M is a compact smooth boundaryless surface.
f ∈ Diff(M)
The structure of hyperbolic attractors on surfaces – p. 3/21
![Page 7: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/7.jpg)
Transitivity andMixing
Definition: A set X is transitive for a map f if thereis a point x ∈ X with a dense forward orbit
If M is a compact manifold and f adiffeomorphism of M , then equivalently we saythat given two open sets U and V in X ∃ n ∈ N
such that fn(U) ∩ V 6= ∅.
Definition: A set X is mixing (topologically) if forany open sets U and V in X ∃ N ∈ N such that ∀n ≥ N fn(U) ∩ V 6= ∅.
The structure of hyperbolic attractors on surfaces – p. 4/21
![Page 8: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/8.jpg)
Transitivity andMixing
Definition: A set X is transitive for a map f if thereis a point x ∈ X with a dense forward orbit
If M is a compact manifold and f adiffeomorphism of M , then equivalently we saythat given two open sets U and V in X ∃ n ∈ N
such that fn(U) ∩ V 6= ∅.
Definition: A set X is mixing (topologically) if forany open sets U and V in X ∃ N ∈ N such that ∀n ≥ N fn(U) ∩ V 6= ∅.
The structure of hyperbolic attractors on surfaces – p. 4/21
![Page 9: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/9.jpg)
Transitivity andMixing
Definition: A set X is transitive for a map f if thereis a point x ∈ X with a dense forward orbit
If M is a compact manifold and f adiffeomorphism of M , then equivalently we saythat given two open sets U and V in X ∃ n ∈ N
such that fn(U) ∩ V 6= ∅.
Definition: A set X is mixing (topologically) if forany open sets U and V in X ∃ N ∈ N such that ∀n ≥ N fn(U) ∩ V 6= ∅.
The structure of hyperbolic attractors on surfaces – p. 4/21
![Page 10: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/10.jpg)
Hyperbolic Attractors
Definition: A compact invariant set Λ forf ∈ Diff(M) is hyperbolic if the tangent spacehas a continuous invariant splittingTΛM = E
s ⊕ Eu where E
s is uniformly contractingand E
u is uniformly expanding.
Definition: A set X is an attractor for a map f if ∃neighborhood U (an attracting set) of X suchthat X =
⋂
n∈Nfn(U) and f(U) ⊂ U .
Definition: A set Λ is a hyperbolic attractor if Λ istransitive and has an attracting set U .
The structure of hyperbolic attractors on surfaces – p. 5/21
![Page 11: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/11.jpg)
Hyperbolic Attractors
Definition: A compact invariant set Λ forf ∈ Diff(M) is hyperbolic if the tangent spacehas a continuous invariant splittingTΛM = E
s ⊕ Eu where E
s is uniformly contractingand E
u is uniformly expanding.
Definition: A set X is an attractor for a map f if ∃neighborhood U (an attracting set) of X suchthat X =
⋂
n∈Nfn(U) and f(U) ⊂ U .
Definition: A set Λ is a hyperbolic attractor if Λ istransitive and has an attracting set U .
The structure of hyperbolic attractors on surfaces – p. 5/21
![Page 12: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/12.jpg)
Hyperbolic Attractors
Definition: A compact invariant set Λ forf ∈ Diff(M) is hyperbolic if the tangent spacehas a continuous invariant splittingTΛM = E
s ⊕ Eu where E
s is uniformly contractingand E
u is uniformly expanding.
Definition: A set X is an attractor for a map f if ∃neighborhood U (an attracting set) of X suchthat X =
⋂
n∈Nfn(U) and f(U) ⊂ U .
Definition: A set Λ is a hyperbolic attractor if Λ istransitive and has an attracting set U .
The structure of hyperbolic attractors on surfaces – p. 5/21
![Page 13: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/13.jpg)
Properties ofHyperbolic Attractors
For each x ∈ Λ we know W u(x) ⊂ Λ
If Λ is mixing we know W u(x) = Λ and W s(x) isdense in W s(Λ) ∀ x ∈ Λ.
Λ =⋃k
i=1 Λi where Λi’s are compact disjoint,f(Λi) = Λi+1, and f k(Λi) is a mixing hyperbolicattractor.
The structure of hyperbolic attractors on surfaces – p. 6/21
![Page 14: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/14.jpg)
Properties ofHyperbolic Attractors
For each x ∈ Λ we know W u(x) ⊂ Λ
If Λ is mixing we know W u(x) = Λ and W s(x) isdense in W s(Λ) ∀ x ∈ Λ.
Λ =⋃k
i=1 Λi where Λi’s are compact disjoint,f(Λi) = Λi+1, and f k(Λi) is a mixing hyperbolicattractor.
The structure of hyperbolic attractors on surfaces – p. 6/21
![Page 15: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/15.jpg)
Properties ofHyperbolic Attractors
For each x ∈ Λ we know W u(x) ⊂ Λ
If Λ is mixing we know W u(x) = Λ and W s(x) isdense in W s(Λ) ∀ x ∈ Λ.
Λ =⋃k
i=1 Λi where Λi’s are compact disjoint,f(Λi) = Λi+1, and f k(Λi) is a mixing hyperbolicattractor.
The structure of hyperbolic attractors on surfaces – p. 6/21
![Page 16: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/16.jpg)
Markov PartitionDecomposition of Λ into finite number ofdynamical rectangles R1, ..., Rn such that foreach 1 ≤ i ≤ n
int(Ri) ∩ int(Rj) = ∅ if i 6= j
for some ε sufficiently small Ri is(W u
ε (x) ∩ Ri) × (W sε (x) ∩ Ri)
x ∈ Ri, f(x) ∈ Rj, and i → j is an allowedtransition, then
f(W s(x, Ri)) ⊂ Rj and f−1(W u(f(x), Rj)) ⊂ Ri.
The structure of hyperbolic attractors on surfaces – p. 7/21
![Page 17: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/17.jpg)
Markov PartitionDecomposition of Λ into finite number ofdynamical rectangles R1, ..., Rn such that foreach 1 ≤ i ≤ nint(Ri) ∩ int(Rj) = ∅ if i 6= j
for some ε sufficiently small Ri is(W u
ε (x) ∩ Ri) × (W sε (x) ∩ Ri)
x ∈ Ri, f(x) ∈ Rj, and i → j is an allowedtransition, then
f(W s(x, Ri)) ⊂ Rj and f−1(W u(f(x), Rj)) ⊂ Ri.
The structure of hyperbolic attractors on surfaces – p. 7/21
![Page 18: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/18.jpg)
Markov PartitionDecomposition of Λ into finite number ofdynamical rectangles R1, ..., Rn such that foreach 1 ≤ i ≤ nint(Ri) ∩ int(Rj) = ∅ if i 6= j
for some ε sufficiently small Ri is(W u
ε (x) ∩ Ri) × (W sε (x) ∩ Ri)
x ∈ Ri, f(x) ∈ Rj, and i → j is an allowedtransition, then
f(W s(x, Ri)) ⊂ Rj and f−1(W u(f(x), Rj)) ⊂ Ri.
The structure of hyperbolic attractors on surfaces – p. 7/21
![Page 19: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/19.jpg)
Markov PartitionDecomposition of Λ into finite number ofdynamical rectangles R1, ..., Rn such that foreach 1 ≤ i ≤ nint(Ri) ∩ int(Rj) = ∅ if i 6= j
for some ε sufficiently small Ri is(W u
ε (x) ∩ Ri) × (W sε (x) ∩ Ri)
x ∈ Ri, f(x) ∈ Rj, and i → j is an allowedtransition, then
f(W s(x, Ri)) ⊂ Rj and f−1(W u(f(x), Rj)) ⊂ Ri.
The structure of hyperbolic attractors on surfaces – p. 7/21
![Page 20: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/20.jpg)
General QuestionThe structure of hyperbolic attractors on surfaceshas been studied extensively by Plykin, Bonatti,Williams, Zhirov, Grines, F. and J.Rodriquez-Hertz, and others.
In general these address the question where weassume we have an attractor, then what can besaid about the set and when are two setshomeomorphic.
Question: Suppose we know the topology of Λand is hyperbolic, what can be concluded aboutthe set?
The structure of hyperbolic attractors on surfaces – p. 8/21
![Page 21: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/21.jpg)
General QuestionThe structure of hyperbolic attractors on surfaceshas been studied extensively by Plykin, Bonatti,Williams, Zhirov, Grines, F. and J.Rodriquez-Hertz, and others.
In general these address the question where weassume we have an attractor, then what can besaid about the set and when are two setshomeomorphic.
Question: Suppose we know the topology of Λand is hyperbolic, what can be concluded aboutthe set?
The structure of hyperbolic attractors on surfaces – p. 8/21
![Page 22: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/22.jpg)
General QuestionThe structure of hyperbolic attractors on surfaceshas been studied extensively by Plykin, Bonatti,Williams, Zhirov, Grines, F. and J.Rodriquez-Hertz, and others.
In general these address the question where weassume we have an attractor, then what can besaid about the set and when are two setshomeomorphic.
Question: Suppose we know the topology of Λand is hyperbolic, what can be concluded aboutthe set?
The structure of hyperbolic attractors on surfaces – p. 8/21
![Page 23: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/23.jpg)
Statement of MainResult
Theorem 1:(F.) If M is a compact surface and Λ isa nontrivial mixing hyperbolic attractor for adiffeomorphism f of M , and Λ is hyperbolic for adiffeomorphism g of M , then Λ is either anontrivial mixing hyperbolic attractor or anontrivial mixing hyperbolic repeller for g.
A nontrivial attractor means not the orbit of aperiodic sinkCounterexamples in higher dimensions
The structure of hyperbolic attractors on surfaces – p. 9/21
![Page 24: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/24.jpg)
Statement of MainResult
Theorem 1:(F.) If M is a compact surface and Λ isa nontrivial mixing hyperbolic attractor for adiffeomorphism f of M , and Λ is hyperbolic for adiffeomorphism g of M , then Λ is either anontrivial mixing hyperbolic attractor or anontrivial mixing hyperbolic repeller for g.
A nontrivial attractor means not the orbit of aperiodic sink
Counterexamples in higher dimensions
The structure of hyperbolic attractors on surfaces – p. 9/21
![Page 25: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/25.jpg)
Statement of MainResult
Theorem 1:(F.) If M is a compact surface and Λ isa nontrivial mixing hyperbolic attractor for adiffeomorphism f of M , and Λ is hyperbolic for adiffeomorphism g of M , then Λ is either anontrivial mixing hyperbolic attractor or anontrivial mixing hyperbolic repeller for g.
A nontrivial attractor means not the orbit of aperiodic sinkCounterexamples in higher dimensions
The structure of hyperbolic attractors on surfaces – p. 9/21
![Page 26: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/26.jpg)
Non-mixing Case
Theorem 2:(F.) If M is a compact surface and Λ isa nontrivial hyperbolic attractor for adiffeomorphism f of M , and Λ is hyperbolic for adiffeomorphism g of M , then there exists ann ∈ N and sets Λ1, ..., ΛN where Λ =
⋃Ni=1 Λi,
Λi ∩ Λj = ∅ if i 6= j, and each Λi is a mixinghyperbolic attractor or repeller for gn.
The structure of hyperbolic attractors on surfaces – p. 10/21
![Page 27: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/27.jpg)
Commuting Diffeo.r ≥ 2
Theorem 3:(F.) Let M be a compact surface and Λis a nontrivial hyperbolic attractor forf ∈ Diffr(M), r ≥ 2. Then there exists aneighborhood U of f in Diffr(M) and an openand dense set U ′ ⊂ U such that for all f ′ ∈ U ifg ∈ Diff1(M) where f ′g = gf ′ (g in the centralizerof f ), then g|W s(Λ) = (f ′)j for some j ∈ Z.
This is an extension of a result from the work ofPalis and Yoccoz.
The structure of hyperbolic attractors on surfaces – p. 11/21
![Page 28: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/28.jpg)
DA example
Let f : T2 → T
2 Anosov map from map
A =
[
2 1
1 1
]
, p a hyperbolic fixed point of f .
pV
p
p
1
2
Let Λ =⋂
n∈Nfn(T2 − V ), then Λ is a hyperbolic
attractor.
The structure of hyperbolic attractors on surfaces – p. 12/21
![Page 29: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/29.jpg)
DA example
Let f : T2 → T
2 Anosov map from map
A =
[
2 1
1 1
]
, p a hyperbolic fixed point of f .
p
pV
p
p
1
2
Let Λ =⋂
n∈Nfn(T2 − V ), then Λ is a hyperbolic
attractor.
The structure of hyperbolic attractors on surfaces – p. 12/21
![Page 30: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/30.jpg)
DA example
Let f : T2 → T
2 Anosov map from map
A =
[
2 1
1 1
]
, p a hyperbolic fixed point of f .
pV
p
p
1
2
Let Λ =⋂
n∈Nfn(T2 − V ), then Λ is a hyperbolic
attractor.
The structure of hyperbolic attractors on surfaces – p. 12/21
![Page 31: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/31.jpg)
DA example
Let f : T2 → T
2 Anosov map from map
A =
[
2 1
1 1
]
, p a hyperbolic fixed point of f .
pV
p
p
1
2
Let Λ =⋂
n∈Nfn(T2 − V ), then Λ is a hyperbolic
attractor.
The structure of hyperbolic attractors on surfaces – p. 12/21
![Page 32: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/32.jpg)
Plykin Attractor
Another example due to Plykin can be built onthe disk, so embedded into any surface. Note:we need three holes in our domain.
The structure of hyperbolic attractors on surfaces – p. 13/21
![Page 33: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/33.jpg)
Plykin Attractor
Another example due to Plykin can be built onthe disk, so embedded into any surface. Note:we need three holes in our domain.
V
The structure of hyperbolic attractors on surfaces – p. 13/21
![Page 34: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/34.jpg)
Plykin Attractor
Another example due to Plykin can be built onthe disk, so embedded into any surface. Note:we need three holes in our domain.
V
f(V)
The structure of hyperbolic attractors on surfaces – p. 13/21
![Page 35: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/35.jpg)
Results of Williamsand Plykin
Williams: Shows that if x is in an attractor on asurface, then a neighborhood of x in the attractoris [0, 1] × C for a Cantor set C. Also, usessymbolic dynamics to classify when twodiffeomorphisms restricted to two attractors areconjugate.
Plykin: Shows trapping region is homeomorphicto disk with holes, then must have at least 3holes.
The structure of hyperbolic attractors on surfaces – p. 14/21
![Page 36: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/36.jpg)
Results of Williamsand Plykin
Williams: Shows that if x is in an attractor on asurface, then a neighborhood of x in the attractoris [0, 1] × C for a Cantor set C. Also, usessymbolic dynamics to classify when twodiffeomorphisms restricted to two attractors areconjugate.
Plykin: Shows trapping region is homeomorphicto disk with holes, then must have at least 3holes.
The structure of hyperbolic attractors on surfaces – p. 14/21
![Page 37: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/37.jpg)
Zhirov and F. and J.Rodriquez-Hertz
Zhirov: Classifies when 2 diffeomorphisms areconjugate in neighborhood of attractor. Givesalgorithm for the classification.
F. and J. Rodriquez-Hertz: Obtain a local dynamicaland topological picture of expansive attractors onsurfaces.
The structure of hyperbolic attractors on surfaces – p. 15/21
![Page 38: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/38.jpg)
Zhirov and F. and J.Rodriquez-Hertz
Zhirov: Classifies when 2 diffeomorphisms areconjugate in neighborhood of attractor. Givesalgorithm for the classification.F. and J. Rodriquez-Hertz: Obtain a local dynamicaland topological picture of expansive attractors onsurfaces.
The structure of hyperbolic attractors on surfaces – p. 15/21
![Page 39: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/39.jpg)
Outline of argument -2 cases
W u(x, g) = W u(x, f) or W s(x, g) = W u(x, f)for all x ∈ Λ
W u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f)for some x ∈ Λ
The structure of hyperbolic attractors on surfaces – p. 16/21
![Page 40: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/40.jpg)
Outline of argument -2 cases
W u(x, g) = W u(x, f) or W s(x, g) = W u(x, f)for all x ∈ Λ
W u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f)for some x ∈ Λ
The structure of hyperbolic attractors on surfaces – p. 16/21
![Page 41: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/41.jpg)
Case 1Assume W u(x, f) = W u(x, g) We show Λ isattractor: Take ε > 0 sufficiently small andV =
⋂
x∈Λ W sε (x) is attracting set. i.e. -
Λ =⋂
n≥0 gn(V ).
Since cl(W u(x, f)) = Λ then can show Λ mixinghyperbolic attractor.
The structure of hyperbolic attractors on surfaces – p. 17/21
![Page 42: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/42.jpg)
Case 1Assume W u(x, f) = W u(x, g) We show Λ isattractor: Take ε > 0 sufficiently small andV =
⋂
x∈Λ W sε (x) is attracting set. i.e. -
Λ =⋂
n≥0 gn(V ).
Since cl(W u(x, f)) = Λ then can show Λ mixinghyperbolic attractor.
The structure of hyperbolic attractors on surfaces – p. 17/21
![Page 43: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/43.jpg)
Markov PartitionTheorem
Theorem 4:(F.) If Λ is a hyperbolic set and V is aneighborhood of Λ, then there exists a hyperbolicset Λ̃ with a Markov partition such thatΛ ⊂ Λ̃ ⊂ V .
For x, y ∈ Λ̃ in same rectangle W sε (x) ∩ W u
ε (y) isone point in Λ̃. So product structure for points insame rectangle.
The structure of hyperbolic attractors on surfaces – p. 18/21
![Page 44: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/44.jpg)
Markov PartitionTheorem
Theorem 4:(F.) If Λ is a hyperbolic set and V is aneighborhood of Λ, then there exists a hyperbolicset Λ̃ with a Markov partition such thatΛ ⊂ Λ̃ ⊂ V .
For x, y ∈ Λ̃ in same rectangle W sε (x) ∩ W u
ε (y) isone point in Λ̃. So product structure for points insame rectangle.
The structure of hyperbolic attractors on surfaces – p. 18/21
![Page 45: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/45.jpg)
Case 2Take U neighborhood of Λ and Λ̃ in U containingΛ with Markov partition. Show there exists x ∈ Λsuch that x in interior of rectangle andW u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f).
The structure of hyperbolic attractors on surfaces – p. 19/21
![Page 46: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/46.jpg)
Case 2Take U neighborhood of Λ and Λ̃ in U containingΛ with Markov partition. Show there exists x ∈ Λsuch that x in interior of rectangle andW u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f).
x
s
u
uW (x,f)
W (x,g)
W (x,g)
The structure of hyperbolic attractors on surfaces – p. 19/21
![Page 47: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/47.jpg)
Case 2Take U neighborhood of Λ and Λ̃ in U containingΛ with Markov partition. Show there exists x ∈ Λsuch that x in interior of rectangle andW u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f).
y
x
s
u
uW (x,f)
W (x,g)
W (x,g)
The structure of hyperbolic attractors on surfaces – p. 19/21
![Page 48: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/48.jpg)
Case 2Take U neighborhood of Λ and Λ̃ in U containingΛ with Markov partition. Show there exists x ∈ Λsuch that x in interior of rectangle andW u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f).
x’
y
x
s
u
uW (x,f)
W (x,g)
W (x,g)
The structure of hyperbolic attractors on surfaces – p. 19/21
![Page 49: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/49.jpg)
Case 2Take U neighborhood of Λ and Λ̃ in U containingΛ with Markov partition. Show there exists x ∈ Λsuch that x in interior of rectangle andW u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f).
x
s
u
uW (x,f)
W (x,g)
W (x,g)
The structure of hyperbolic attractors on surfaces – p. 19/21
![Page 50: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/50.jpg)
Case 2Take U neighborhood of Λ and Λ̃ in U containingΛ with Markov partition. Show there exists x ∈ Λsuch that x in interior of rectangle andW u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f).
y
x
s
u
uW (x,f)
W (x,g)
W (x,g)
The structure of hyperbolic attractors on surfaces – p. 19/21
![Page 51: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/51.jpg)
Case 2Take U neighborhood of Λ and Λ̃ in U containingΛ with Markov partition. Show there exists x ∈ Λsuch that x in interior of rectangle andW u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f).
x
s
u
uW (x,f)
W (x,g)
W (x,g)
The structure of hyperbolic attractors on surfaces – p. 19/21
![Page 52: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/52.jpg)
Case 2Take U neighborhood of Λ and Λ̃ in U containingΛ with Markov partition. Show there exists x ∈ Λsuch that x in interior of rectangle andW u(x, g) 6= W u(x, f) or W s(x, g) 6= W u(x, f).
x
s
u
uW (x,f)
W (x,g)
W (x,g)
The structure of hyperbolic attractors on surfaces – p. 19/21
![Page 53: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/53.jpg)
ContradictionSo Λ̃ has interior. Then contains hyperbolicattractor and repeller.
Since U arbitrarily small we show this implies Λhas attractor and repeller
Using density of W u(x, f) in Λ we seecontradiction.
The structure of hyperbolic attractors on surfaces – p. 20/21
![Page 54: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/54.jpg)
ContradictionSo Λ̃ has interior. Then contains hyperbolicattractor and repeller.
Since U arbitrarily small we show this implies Λhas attractor and repeller
Using density of W u(x, f) in Λ we seecontradiction.
The structure of hyperbolic attractors on surfaces – p. 20/21
![Page 55: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/55.jpg)
ContradictionSo Λ̃ has interior. Then contains hyperbolicattractor and repeller.
Since U arbitrarily small we show this implies Λhas attractor and repeller
Using density of W u(x, f) in Λ we seecontradiction.
The structure of hyperbolic attractors on surfaces – p. 20/21
![Page 56: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/56.jpg)
Open Questions
Does the main Theorem hold for codimensionone attractors?
If a hyperbolic set is locally maximal (isolated)for f and hyperbolic for g is it necessarilylocally maximal for g?
The structure of hyperbolic attractors on surfaces – p. 21/21
![Page 57: The structure of hyperbolic attractors on surfacestfisher/documents/presentations/...The structure of hyperbolic attractors on surfaces Todd Fisher tfisher@math.umd.edu Department](https://reader033.vdocuments.net/reader033/viewer/2022060517/6049b87fe00ebf641d446579/html5/thumbnails/57.jpg)
Open Questions
Does the main Theorem hold for codimensionone attractors?
If a hyperbolic set is locally maximal (isolated)for f and hyperbolic for g is it necessarilylocally maximal for g?
The structure of hyperbolic attractors on surfaces – p. 21/21