Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor...
Transcript of Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor...
![Page 1: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/1.jpg)
Hausdorff Dimension of Kuperberg Minimal Sets
Daniel Ingebretson
University of Illinois at Chicago
March 25, 2017
1 / 17
![Page 2: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/2.jpg)
Introduction
Kuperberg’s flow is the flow of a C∞ aperiodic vector field on athree-manifold called a plug.
This flow preserves a nontrivial minimal set with a fractal structure.
We use tools from conformal iterated function systems andthermodynamic formalism to calculate the Hausdorff dimension ofthis minimal set.
2 / 17
![Page 3: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/3.jpg)
Introduction
Kuperberg’s flow is the flow of a C∞ aperiodic vector field on athree-manifold called a plug.
This flow preserves a nontrivial minimal set with a fractal structure.
We use tools from conformal iterated function systems andthermodynamic formalism to calculate the Hausdorff dimension ofthis minimal set.
2 / 17
![Page 4: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/4.jpg)
Introduction
Kuperberg’s flow is the flow of a C∞ aperiodic vector field on athree-manifold called a plug.
This flow preserves a nontrivial minimal set with a fractal structure.
We use tools from conformal iterated function systems andthermodynamic formalism to calculate the Hausdorff dimension ofthis minimal set.
2 / 17
![Page 5: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/5.jpg)
History: Seifert’s conjecture
Seifert 1950: Does every nonsingular vector field on the three-sphereS3 have a periodic orbit?
Wilson 1966: On any three-manifold there exists a nonsingular C∞
vector field with only 2 periodic orbits.
These orbits are contained inside a plug.The plug is inserted to break periodic orbits outside the plug.
Schweitzer 1974: There exists an aperiodic C1 vector field on S3.
Harrison 1988: Constructed a C2 counterexample.
Kuperberg 1994: Constructed a C∞ counterexample.
Modified Wilson’s plug by self-insertion
3 / 17
![Page 6: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/6.jpg)
History: Seifert’s conjecture
Seifert 1950: Does every nonsingular vector field on the three-sphereS3 have a periodic orbit?
Wilson 1966: On any three-manifold there exists a nonsingular C∞
vector field with only 2 periodic orbits.
These orbits are contained inside a plug.The plug is inserted to break periodic orbits outside the plug.
Schweitzer 1974: There exists an aperiodic C1 vector field on S3.
Harrison 1988: Constructed a C2 counterexample.
Kuperberg 1994: Constructed a C∞ counterexample.
Modified Wilson’s plug by self-insertion
3 / 17
![Page 7: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/7.jpg)
History: Seifert’s conjecture
Seifert 1950: Does every nonsingular vector field on the three-sphereS3 have a periodic orbit?
Wilson 1966: On any three-manifold there exists a nonsingular C∞
vector field with only 2 periodic orbits.
These orbits are contained inside a plug.
The plug is inserted to break periodic orbits outside the plug.
Schweitzer 1974: There exists an aperiodic C1 vector field on S3.
Harrison 1988: Constructed a C2 counterexample.
Kuperberg 1994: Constructed a C∞ counterexample.
Modified Wilson’s plug by self-insertion
3 / 17
![Page 8: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/8.jpg)
History: Seifert’s conjecture
Seifert 1950: Does every nonsingular vector field on the three-sphereS3 have a periodic orbit?
Wilson 1966: On any three-manifold there exists a nonsingular C∞
vector field with only 2 periodic orbits.
These orbits are contained inside a plug.The plug is inserted to break periodic orbits outside the plug.
Schweitzer 1974: There exists an aperiodic C1 vector field on S3.
Harrison 1988: Constructed a C2 counterexample.
Kuperberg 1994: Constructed a C∞ counterexample.
Modified Wilson’s plug by self-insertion
3 / 17
![Page 9: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/9.jpg)
History: Seifert’s conjecture
Seifert 1950: Does every nonsingular vector field on the three-sphereS3 have a periodic orbit?
Wilson 1966: On any three-manifold there exists a nonsingular C∞
vector field with only 2 periodic orbits.
These orbits are contained inside a plug.The plug is inserted to break periodic orbits outside the plug.
Schweitzer 1974: There exists an aperiodic C1 vector field on S3.
Harrison 1988: Constructed a C2 counterexample.
Kuperberg 1994: Constructed a C∞ counterexample.
Modified Wilson’s plug by self-insertion
3 / 17
![Page 10: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/10.jpg)
History: Seifert’s conjecture
Seifert 1950: Does every nonsingular vector field on the three-sphereS3 have a periodic orbit?
Wilson 1966: On any three-manifold there exists a nonsingular C∞
vector field with only 2 periodic orbits.
These orbits are contained inside a plug.The plug is inserted to break periodic orbits outside the plug.
Schweitzer 1974: There exists an aperiodic C1 vector field on S3.
Harrison 1988: Constructed a C2 counterexample.
Kuperberg 1994: Constructed a C∞ counterexample.
Modified Wilson’s plug by self-insertion
3 / 17
![Page 11: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/11.jpg)
History: Seifert’s conjecture
Seifert 1950: Does every nonsingular vector field on the three-sphereS3 have a periodic orbit?
Wilson 1966: On any three-manifold there exists a nonsingular C∞
vector field with only 2 periodic orbits.
These orbits are contained inside a plug.The plug is inserted to break periodic orbits outside the plug.
Schweitzer 1974: There exists an aperiodic C1 vector field on S3.
Harrison 1988: Constructed a C2 counterexample.
Kuperberg 1994: Constructed a C∞ counterexample.
Modified Wilson’s plug by self-insertion
3 / 17
![Page 12: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/12.jpg)
History: Seifert’s conjecture
Seifert 1950: Does every nonsingular vector field on the three-sphereS3 have a periodic orbit?
Wilson 1966: On any three-manifold there exists a nonsingular C∞
vector field with only 2 periodic orbits.
These orbits are contained inside a plug.The plug is inserted to break periodic orbits outside the plug.
Schweitzer 1974: There exists an aperiodic C1 vector field on S3.
Harrison 1988: Constructed a C2 counterexample.
Kuperberg 1994: Constructed a C∞ counterexample.
Modified Wilson’s plug by self-insertion
3 / 17
![Page 13: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/13.jpg)
Wilson’s minimal set
Two periodic orbits
4 / 17
![Page 14: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/14.jpg)
Kuperberg’s minimal set
Cross-section of Kuperberg minimal set
Hurder and Rechtman 2015:Kuperberg’s minimal set is asurface lamination with aCantor transversal.
Question: What is theHausdorff dimension of thisminimal set?
Approach: Modeling thetransverse Cantor set as theattractor of an iterated functionsystem (IFS).
This IFS is defined in terms ofa pseudogroup of first-returnmaps to a section of the flow.
5 / 17
![Page 15: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/15.jpg)
Kuperberg’s minimal set
Cross-section of Kuperberg minimal set
Hurder and Rechtman 2015:Kuperberg’s minimal set is asurface lamination with aCantor transversal.
Question: What is theHausdorff dimension of thisminimal set?
Approach: Modeling thetransverse Cantor set as theattractor of an iterated functionsystem (IFS).
This IFS is defined in terms ofa pseudogroup of first-returnmaps to a section of the flow.
5 / 17
![Page 16: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/16.jpg)
Kuperberg’s minimal set
Cross-section of Kuperberg minimal set
Hurder and Rechtman 2015:Kuperberg’s minimal set is asurface lamination with aCantor transversal.
Question: What is theHausdorff dimension of thisminimal set?
Approach: Modeling thetransverse Cantor set as theattractor of an iterated functionsystem (IFS).
This IFS is defined in terms ofa pseudogroup of first-returnmaps to a section of the flow.
5 / 17
![Page 17: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/17.jpg)
Kuperberg’s minimal set
Cross-section of Kuperberg minimal set
Hurder and Rechtman 2015:Kuperberg’s minimal set is asurface lamination with aCantor transversal.
Question: What is theHausdorff dimension of thisminimal set?
Approach: Modeling thetransverse Cantor set as theattractor of an iterated functionsystem (IFS).
This IFS is defined in terms ofa pseudogroup of first-returnmaps to a section of the flow.
5 / 17
![Page 18: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/18.jpg)
Kuperberg’s minimal set
Cross-section of Kuperberg minimal set
Hurder and Rechtman 2015:Kuperberg’s minimal set is asurface lamination with aCantor transversal.
Question: What is theHausdorff dimension of thisminimal set?
Approach: Modeling thetransverse Cantor set as theattractor of an iterated functionsystem (IFS).
This IFS is defined in terms ofa pseudogroup of first-returnmaps to a section of the flow.
5 / 17
![Page 19: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/19.jpg)
Iterated Function Systems
A collection S = {φi : X → X}i∈I of injective contractions of a compactmetric space X is an IFS.
For ω ∈ In, denote
φω = ω1 ◦ · · · ◦ ωn
Then J =⋂∞n=1
⋃ω∈In φω(X) is the limit set of S.
J is invariant under S.
If S satisfies the open set condition and the bounded distortionproperty, then J is a Cantor set.
Nesting condition: φω,i(X) ⊂ φω(X).
If X is a manifold and φi are C1+α, then S has bounded distortion.
Necessary to assume that φi are conformal (CIFS).
6 / 17
![Page 20: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/20.jpg)
Iterated Function Systems
A collection S = {φi : X → X}i∈I of injective contractions of a compactmetric space X is an IFS. For ω ∈ In, denote
φω = ω1 ◦ · · · ◦ ωn
Then J =⋂∞n=1
⋃ω∈In φω(X) is the limit set of S.
J is invariant under S.
If S satisfies the open set condition and the bounded distortionproperty, then J is a Cantor set.
Nesting condition: φω,i(X) ⊂ φω(X).
If X is a manifold and φi are C1+α, then S has bounded distortion.
Necessary to assume that φi are conformal (CIFS).
6 / 17
![Page 21: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/21.jpg)
Iterated Function Systems
A collection S = {φi : X → X}i∈I of injective contractions of a compactmetric space X is an IFS. For ω ∈ In, denote
φω = ω1 ◦ · · · ◦ ωn
Then J =⋂∞n=1
⋃ω∈In φω(X) is the limit set of S.
J is invariant under S.
If S satisfies the open set condition and the bounded distortionproperty, then J is a Cantor set.
Nesting condition: φω,i(X) ⊂ φω(X).
If X is a manifold and φi are C1+α, then S has bounded distortion.
Necessary to assume that φi are conformal (CIFS).
6 / 17
![Page 22: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/22.jpg)
Iterated Function Systems
A collection S = {φi : X → X}i∈I of injective contractions of a compactmetric space X is an IFS. For ω ∈ In, denote
φω = ω1 ◦ · · · ◦ ωn
Then J =⋂∞n=1
⋃ω∈In φω(X) is the limit set of S.
J is invariant under S.
If S satisfies the open set condition and the bounded distortionproperty, then J is a Cantor set.
Nesting condition: φω,i(X) ⊂ φω(X).
If X is a manifold and φi are C1+α, then S has bounded distortion.
Necessary to assume that φi are conformal (CIFS).
6 / 17
![Page 23: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/23.jpg)
Iterated Function Systems
A collection S = {φi : X → X}i∈I of injective contractions of a compactmetric space X is an IFS. For ω ∈ In, denote
φω = ω1 ◦ · · · ◦ ωn
Then J =⋂∞n=1
⋃ω∈In φω(X) is the limit set of S.
J is invariant under S.
If S satisfies the open set condition and the bounded distortionproperty, then J is a Cantor set.
Nesting condition: φω,i(X) ⊂ φω(X).
If X is a manifold and φi are C1+α, then S has bounded distortion.
Necessary to assume that φi are conformal (CIFS).
6 / 17
![Page 24: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/24.jpg)
Iterated Function Systems
A collection S = {φi : X → X}i∈I of injective contractions of a compactmetric space X is an IFS. For ω ∈ In, denote
φω = ω1 ◦ · · · ◦ ωn
Then J =⋂∞n=1
⋃ω∈In φω(X) is the limit set of S.
J is invariant under S.
If S satisfies the open set condition and the bounded distortionproperty, then J is a Cantor set.
Nesting condition: φω,i(X) ⊂ φω(X).
If X is a manifold and φi are C1+α, then S has bounded distortion.
Necessary to assume that φi are conformal (CIFS).
6 / 17
![Page 25: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/25.jpg)
Iterated Function Systems
A collection S = {φi : X → X}i∈I of injective contractions of a compactmetric space X is an IFS. For ω ∈ In, denote
φω = ω1 ◦ · · · ◦ ωn
Then J =⋂∞n=1
⋃ω∈In φω(X) is the limit set of S.
J is invariant under S.
If S satisfies the open set condition and the bounded distortionproperty, then J is a Cantor set.
Nesting condition: φω,i(X) ⊂ φω(X).
If X is a manifold and φi are C1+α, then S has bounded distortion.
Necessary to assume that φi are conformal (CIFS).
6 / 17
![Page 26: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/26.jpg)
Iterated Function Systems
A collection S = {φi : X → X}i∈I of injective contractions of a compactmetric space X is an IFS. For ω ∈ In, denote
φω = ω1 ◦ · · · ◦ ωn
Then J =⋂∞n=1
⋃ω∈In φω(X) is the limit set of S.
J is invariant under S.
If S satisfies the open set condition and the bounded distortionproperty, then J is a Cantor set.
Nesting condition: φω,i(X) ⊂ φω(X).
If X is a manifold and φi are C1+α, then S has bounded distortion.
Necessary to assume that φi are conformal (CIFS).
6 / 17
![Page 27: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/27.jpg)
Topological Pressure of a CIFS
Each CIFS S has an associated topological pressure:
P (t) = limn→∞
1
nlog
∑ω∈In‖φ′ω‖t
The limit exists by bounded distortion.
P : [0,∞)→ R is continuous, convex, and strictly decreasing.
Theorem (Bowen 1979):
Let s = dimH(J). Then s is the unique solution of P (s) = 0.
The proof uses thermodynamic formalism of Sinai and Ruelle:conformal measures with good ergodic properties supported on J .
Mauldin and Urbanski (1996) extended this formalism to countablealphabets I.
7 / 17
![Page 28: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/28.jpg)
Topological Pressure of a CIFS
Each CIFS S has an associated topological pressure:
P (t) = limn→∞
1
nlog
∑ω∈In‖φ′ω‖t
The limit exists by bounded distortion.
P : [0,∞)→ R is continuous, convex, and strictly decreasing.
Theorem (Bowen 1979):
Let s = dimH(J). Then s is the unique solution of P (s) = 0.
The proof uses thermodynamic formalism of Sinai and Ruelle:conformal measures with good ergodic properties supported on J .
Mauldin and Urbanski (1996) extended this formalism to countablealphabets I.
7 / 17
![Page 29: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/29.jpg)
Topological Pressure of a CIFS
Each CIFS S has an associated topological pressure:
P (t) = limn→∞
1
nlog
∑ω∈In‖φ′ω‖t
The limit exists by bounded distortion.
P : [0,∞)→ R is continuous, convex, and strictly decreasing.
Theorem (Bowen 1979):
Let s = dimH(J). Then s is the unique solution of P (s) = 0.
The proof uses thermodynamic formalism of Sinai and Ruelle:conformal measures with good ergodic properties supported on J .
Mauldin and Urbanski (1996) extended this formalism to countablealphabets I.
7 / 17
![Page 30: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/30.jpg)
Topological Pressure of a CIFS
Each CIFS S has an associated topological pressure:
P (t) = limn→∞
1
nlog
∑ω∈In‖φ′ω‖t
The limit exists by bounded distortion.
P : [0,∞)→ R is continuous, convex, and strictly decreasing.
Theorem (Bowen 1979):
Let s = dimH(J). Then s is the unique solution of P (s) = 0.
The proof uses thermodynamic formalism of Sinai and Ruelle:conformal measures with good ergodic properties supported on J .
Mauldin and Urbanski (1996) extended this formalism to countablealphabets I.
7 / 17
![Page 31: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/31.jpg)
Topological Pressure of a CIFS
Each CIFS S has an associated topological pressure:
P (t) = limn→∞
1
nlog
∑ω∈In‖φ′ω‖t
The limit exists by bounded distortion.
P : [0,∞)→ R is continuous, convex, and strictly decreasing.
Theorem (Bowen 1979):
Let s = dimH(J). Then s is the unique solution of P (s) = 0.
The proof uses thermodynamic formalism of Sinai and Ruelle:conformal measures with good ergodic properties supported on J .
Mauldin and Urbanski (1996) extended this formalism to countablealphabets I.
7 / 17
![Page 32: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/32.jpg)
Topological Pressure of a CIFS
Each CIFS S has an associated topological pressure:
P (t) = limn→∞
1
nlog
∑ω∈In‖φ′ω‖t
The limit exists by bounded distortion.
P : [0,∞)→ R is continuous, convex, and strictly decreasing.
Theorem (Bowen 1979):
Let s = dimH(J). Then s is the unique solution of P (s) = 0.
The proof uses thermodynamic formalism of Sinai and Ruelle:conformal measures with good ergodic properties supported on J .
Mauldin and Urbanski (1996) extended this formalism to countablealphabets I.
7 / 17
![Page 33: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/33.jpg)
Wilson’s plug
Wilson’s plug W is the product of a rectangle E in coordinates (r, z) andcircle with coordinate θ.
On the plug, we define the Wilson vector field W = f ∂∂θ + g ∂
∂z , withf, g : E → R.
f is odd about z = 0
g decays to zero inside each Bi, at r = 2.
8 / 17
![Page 34: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/34.jpg)
Wilson’s plug
Wilson’s plug W is the product of a rectangle E in coordinates (r, z) andcircle with coordinate θ.
On the plug, we define the Wilson vector field W = f ∂∂θ + g ∂
∂z , withf, g : E → R.
f is odd about z = 0
g decays to zero inside each Bi, at r = 2.
8 / 17
![Page 35: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/35.jpg)
Wilson’s plug
Wilson’s plug W is the product of a rectangle E in coordinates (r, z) andcircle with coordinate θ.
On the plug, we define the Wilson vector field W = f ∂∂θ + g ∂
∂z , withf, g : E → R.
f is odd about z = 0
g decays to zero inside each Bi, at r = 2.
8 / 17
![Page 36: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/36.jpg)
Wilson’s plug
Wilson’s plug W is the product of a rectangle E in coordinates (r, z) andcircle with coordinate θ.
On the plug, we define the Wilson vector field W = f ∂∂θ + g ∂
∂z , withf, g : E → R.
f is odd about z = 0
g decays to zero inside each Bi, at r = 2.
8 / 17
![Page 37: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/37.jpg)
Wilson’s plug
Wilson’s plug W is the product of a rectangle E in coordinates (r, z) andcircle with coordinate θ.
On the plug, we define the Wilson vector field W = f ∂∂θ + g ∂
∂z , withf, g : E → R.
f is odd about z = 0
g decays to zero inside each Bi, at r = 2.
8 / 17
![Page 38: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/38.jpg)
Dynamics of the Wilson flow
Let φt be the flow of W. There are three orbit types for φt.
Disjoint from Bi’s
Intersecting Bi’s with r 6= 2
Intersecting Bi’s with r = 2
9 / 17
![Page 39: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/39.jpg)
Dynamics of the Wilson flow
Let φt be the flow of W. There are three orbit types for φt.
Disjoint from Bi’s
Intersecting Bi’s with r 6= 2
Intersecting Bi’s with r = 2
9 / 17
![Page 40: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/40.jpg)
Dynamics of the Wilson flow
Let φt be the flow of W. There are three orbit types for φt.
Disjoint from Bi’s
Intersecting Bi’s with r 6= 2
Intersecting Bi’s with r = 2
9 / 17
![Page 41: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/41.jpg)
Dynamics of the Wilson flow
Let φt be the flow of W. There are three orbit types for φt.
Disjoint from Bi’s
Intersecting Bi’s with r 6= 2
Intersecting Bi’s with r = 2
9 / 17
![Page 42: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/42.jpg)
The Wilson pseudogroup
Let Φ : E → E be the first return map of φt to E.
E is not a global section for φt.
Φ is not defined on all of E.
Φ is not continuous everywhere it is defined.
Φn is not defined for every n, even when Φ is defined.
Φ generates a pseudogroup which reflects dynamics of φt.
10 / 17
![Page 43: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/43.jpg)
The Wilson pseudogroup
Let Φ : E → E be the first return map of φt to E.
E is not a global section for φt.
Φ is not defined on all of E.
Φ is not continuous everywhere it is defined.
Φn is not defined for every n, even when Φ is defined.
Φ generates a pseudogroup which reflects dynamics of φt.
10 / 17
![Page 44: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/44.jpg)
The Wilson pseudogroup
Let Φ : E → E be the first return map of φt to E.
E is not a global section for φt.
Φ is not defined on all of E.
Φ is not continuous everywhere it is defined.
Φn is not defined for every n, even when Φ is defined.
Φ generates a pseudogroup which reflects dynamics of φt.
10 / 17
![Page 45: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/45.jpg)
The Wilson pseudogroup
Let Φ : E → E be the first return map of φt to E.
E is not a global section for φt.
Φ is not defined on all of E.
Φ is not continuous everywhere it is defined.
Φn is not defined for every n, even when Φ is defined.
Φ generates a pseudogroup which reflects dynamics of φt.
10 / 17
![Page 46: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/46.jpg)
The Wilson pseudogroup
Let Φ : E → E be the first return map of φt to E.
E is not a global section for φt.
Φ is not defined on all of E.
Φ is not continuous everywhere it is defined.
Φn is not defined for every n, even when Φ is defined.
Φ generates a pseudogroup which reflects dynamics of φt.
10 / 17
![Page 47: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/47.jpg)
The Wilson pseudogroup
Let Φ : E → E be the first return map of φt to E.
E is not a global section for φt.
Φ is not defined on all of E.
Φ is not continuous everywhere it is defined.
Φn is not defined for every n, even when Φ is defined.
Φ generates a pseudogroup which reflects dynamics of φt.
10 / 17
![Page 48: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/48.jpg)
Kuperberg’s plug
To construct a plug with no periodic orbits, Kuperberg inserted theWilson plug into itself. The resulting plug K inherits a vector field Kwith flow ψt.
11 / 17
![Page 49: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/49.jpg)
Dynamics of the Kuperberg flow
Kuperberg (1994):
The C∞ vector field K has no closed orbits.
As with Wilson pseudogroup Φ, we obtain the Kuperbergpseudogroup generated by Ψ : R0 → R0.
Ψ is generated by three maps: the Wilson return map Φ, as well asthe insertion maps σ1 and σ2.
12 / 17
![Page 50: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/50.jpg)
Dynamics of the Kuperberg flow
Kuperberg (1994):
The C∞ vector field K has no closed orbits.
As with Wilson pseudogroup Φ, we obtain the Kuperbergpseudogroup generated by Ψ : R0 → R0.
Ψ is generated by three maps: the Wilson return map Φ, as well asthe insertion maps σ1 and σ2.
12 / 17
![Page 51: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/51.jpg)
Dynamics of the Kuperberg flow
Kuperberg (1994):
The C∞ vector field K has no closed orbits.
As with Wilson pseudogroup Φ, we obtain the Kuperbergpseudogroup generated by Ψ : R0 → R0.
Ψ is generated by three maps: the Wilson return map Φ, as well asthe insertion maps σ1 and σ2.
12 / 17
![Page 52: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/52.jpg)
The Kuperberg minimal set I
Ghys 1995: conjectured that the Kuperberg flow has a uniqueminimal set M with topological dimension 2.
Hurder and Rechtman 2015: M has the structure of a zipperedlamination by surfaces with radial Cantor transversal.
Let Σi ⊂ K be the special orbits for i = 1, 2. Then M = Σ1 = Σ2.We may choose a curve γ in the cylinder {r = 2} ⊂ K so that
M =⋃
−∞<t<∞
ψt(γ).
The second characterization allows us to stratify the minimal setinto propellers corresponding to each level of insertion.
M =
∞⋃n=1
Mn
13 / 17
![Page 53: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/53.jpg)
The Kuperberg minimal set I
Ghys 1995: conjectured that the Kuperberg flow has a uniqueminimal set M with topological dimension 2.
Hurder and Rechtman 2015: M has the structure of a zipperedlamination by surfaces with radial Cantor transversal.
Let Σi ⊂ K be the special orbits for i = 1, 2. Then M = Σ1 = Σ2.We may choose a curve γ in the cylinder {r = 2} ⊂ K so that
M =⋃
−∞<t<∞
ψt(γ).
The second characterization allows us to stratify the minimal setinto propellers corresponding to each level of insertion.
M =
∞⋃n=1
Mn
13 / 17
![Page 54: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/54.jpg)
The Kuperberg minimal set I
Ghys 1995: conjectured that the Kuperberg flow has a uniqueminimal set M with topological dimension 2.
Hurder and Rechtman 2015: M has the structure of a zipperedlamination by surfaces with radial Cantor transversal.
Let Σi ⊂ K be the special orbits for i = 1, 2. Then M = Σ1 = Σ2.
We may choose a curve γ in the cylinder {r = 2} ⊂ K so that
M =⋃
−∞<t<∞
ψt(γ).
The second characterization allows us to stratify the minimal setinto propellers corresponding to each level of insertion.
M =
∞⋃n=1
Mn
13 / 17
![Page 55: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/55.jpg)
The Kuperberg minimal set I
Ghys 1995: conjectured that the Kuperberg flow has a uniqueminimal set M with topological dimension 2.
Hurder and Rechtman 2015: M has the structure of a zipperedlamination by surfaces with radial Cantor transversal.
Let Σi ⊂ K be the special orbits for i = 1, 2. Then M = Σ1 = Σ2.We may choose a curve γ in the cylinder {r = 2} ⊂ K so that
M =⋃
−∞<t<∞
ψt(γ).
The second characterization allows us to stratify the minimal setinto propellers corresponding to each level of insertion.
M =
∞⋃n=1
Mn
13 / 17
![Page 56: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/56.jpg)
The Kuperberg minimal set I
Ghys 1995: conjectured that the Kuperberg flow has a uniqueminimal set M with topological dimension 2.
Hurder and Rechtman 2015: M has the structure of a zipperedlamination by surfaces with radial Cantor transversal.
Let Σi ⊂ K be the special orbits for i = 1, 2. Then M = Σ1 = Σ2.We may choose a curve γ in the cylinder {r = 2} ⊂ K so that
M =⋃
−∞<t<∞
ψt(γ).
The second characterization allows us to stratify the minimal setinto propellers corresponding to each level of insertion.
M =
∞⋃n=1
Mn
13 / 17
![Page 57: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/57.jpg)
Level-one propeller P1
Cross-section of P1
Curves are images under powersof Φ, the generator of theWilson pseudogroup
Propeller P1 bounds a closedregion A1.
The pseudogroup Ψ contractsP1 in the radial direction.
Infinite returns of the propellerimplies symbolic dynamics onan infinite alphabet.
14 / 17
![Page 58: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/58.jpg)
Level-one propeller P1
Cross-section of P1
Curves are images under powersof Φ, the generator of theWilson pseudogroup
Propeller P1 bounds a closedregion A1.
The pseudogroup Ψ contractsP1 in the radial direction.
Infinite returns of the propellerimplies symbolic dynamics onan infinite alphabet.
14 / 17
![Page 59: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/59.jpg)
Level-one propeller P1
Cross-section of P1
Curves are images under powersof Φ, the generator of theWilson pseudogroup
Propeller P1 bounds a closedregion A1.
The pseudogroup Ψ contractsP1 in the radial direction.
Infinite returns of the propellerimplies symbolic dynamics onan infinite alphabet.
14 / 17
![Page 60: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/60.jpg)
Level-one propeller P1
Cross-section of P1
Curves are images under powersof Φ, the generator of theWilson pseudogroup
Propeller P1 bounds a closedregion A1.
The pseudogroup Ψ contractsP1 in the radial direction.
Infinite returns of the propellerimplies symbolic dynamics onan infinite alphabet.
14 / 17
![Page 61: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/61.jpg)
Level-one propeller P1
Cross-section of P1
Curves are images under powersof Φ, the generator of theWilson pseudogroup
Propeller P1 bounds a closedregion A1.
The pseudogroup Ψ contractsP1 in the radial direction.
Infinite returns of the propellerimplies symbolic dynamics onan infinite alphabet.
14 / 17
![Page 62: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/62.jpg)
Level-two propeller P2
Cross-section of P2
Curves are images under oneinsertion σ of powers of Φ.
Propeller P2 bounds a family ofclosed regions A2,i.
Nesting property: A2,i ⊂ Ai
15 / 17
![Page 63: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/63.jpg)
Level-two propeller P2
Cross-section of P2
Curves are images under oneinsertion σ of powers of Φ.
Propeller P2 bounds a family ofclosed regions A2,i.
Nesting property: A2,i ⊂ Ai
15 / 17
![Page 64: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/64.jpg)
Level-two propeller P2
Cross-section of P2
Curves are images under oneinsertion σ of powers of Φ.
Propeller P2 bounds a family ofclosed regions A2,i.
Nesting property: A2,i ⊂ Ai
15 / 17
![Page 65: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/65.jpg)
Level-two propeller P2
Cross-section of P2
Curves are images under oneinsertion σ of powers of Φ.
Propeller P2 bounds a family ofclosed regions A2,i.
Nesting property: A2,i ⊂ Ai
15 / 17
![Page 66: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/66.jpg)
Dimension estimates on M
Theorem (I.)
Let C ⊂ [0, 1] be the transverse Cantor set of M.
There exists a CIFS on [0, 1] with limit set C.
s = dimH(C) is the unique root of a dynamically defined pressurefunction.
0.5877 ≤ dimH(C) ≤ 0.8643.
Corollary: 2.5877 ≤ dimH(M) ≤ 2.8643.
16 / 17
![Page 67: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/67.jpg)
Dimension estimates on M
Theorem (I.)
Let C ⊂ [0, 1] be the transverse Cantor set of M.
There exists a CIFS on [0, 1] with limit set C.
s = dimH(C) is the unique root of a dynamically defined pressurefunction.
0.5877 ≤ dimH(C) ≤ 0.8643.
Corollary: 2.5877 ≤ dimH(M) ≤ 2.8643.
16 / 17
![Page 68: Hausdorff Dimension of Kuperberg Minimal Setsmath.colorado.edu/groupoids/Ingebretson.pdf · Hausdor Dimension of Kuperberg Minimal Sets Daniel Ingebretson University of Illinois at](https://reader030.fdocuments.in/reader030/viewer/2022040605/5ea8efab9222e24e275a51b3/html5/thumbnails/68.jpg)
References
Ghys, E. Construction de champs de vecteurs sans orbite periodique.Seminaire Bourbaki No. 785 (1994), 283-307.
Hurder, S. and Rechtman, A. The dynamics of generic Kuperbergflows. Asterisque 377 (2016), 1-250.
Kuperberg, K. A smooth counterexample to the Seifert conjecture indimension three. Ann. Math. 140, 2 (1994), 723-732.
Matsumoto, S. K. Kuperberg’s counterexample to the Seifertconjecture. Sugaku Expositions 11 (1998)
Mauldin, R. D. and Urbanski, M. Dimensions and measures ininfinite iterated function systems. Proc. London. Math. Soc. 73, 1(1996), 105-154.
17 / 17