continued fractions on the heisenberg grouplukyanenko.net/papers/continuedfractions-ipam2013.pdf ·...
TRANSCRIPT
![Page 1: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/1.jpg)
Continued Fractions on the Heisenberg Group
Anton Lukyanenko* Joseph Vandehey
University of Illinois Urbana-Champaign
April 11, 2013
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 2: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/2.jpg)
Continued fractions
Every real number has a continued fraction expansion:
x = a0 +1
a1 + 1a2+···
The numbers CF (x) = {ai ∈ N+} are the CF digits of x .The convergents are the finite fractions
a0 +1
a1 + 1···+ 1
an
.
The Gauss map on the interval (0, 1) is given by
T (x) =1
x−⌊
1
x
⌋.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 3: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/3.jpg)
Continued fractions
Every real number has a continued fraction expansion:
x = a0 +1
a1 + 1a2+···
The numbers CF (x) = {ai ∈ N+} are the CF digits of x .
The convergents are the finite fractions
a0 +1
a1 + 1···+ 1
an
.
The Gauss map on the interval (0, 1) is given by
T (x) =1
x−⌊
1
x
⌋.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 4: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/4.jpg)
Continued fractions
Every real number has a continued fraction expansion:
x = a0 +1
a1 + 1a2+···
The numbers CF (x) = {ai ∈ N+} are the CF digits of x .The convergents are the finite fractions
a0 +1
a1 + 1···+ 1
an
.
The Gauss map on the interval (0, 1) is given by
T (x) =1
x−⌊
1
x
⌋.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 5: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/5.jpg)
Continued fractions
Every real number has a continued fraction expansion:
x = a0 +1
a1 + 1a2+···
The numbers CF (x) = {ai ∈ N+} are the CF digits of x .The convergents are the finite fractions
a0 +1
a1 + 1···+ 1
an
.
The Gauss map on the interval (0, 1) is given by
T (x) =1
x−⌊
1
x
⌋.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 6: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/6.jpg)
Applications of continued fractions
Continued fractions appear in:Diophantine approximation, ergodic theory, hyperbolic geometry.
The digits CF (γ±) encode the behavior of γ in H2R/SL(2,Z), e.g.:
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Goal: replace H2R with H2
C, and R with the Heisenberg group H.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 7: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/7.jpg)
Applications of continued fractions
Continued fractions appear in:Diophantine approximation, ergodic theory, hyperbolic geometry.
The digits CF (γ±) encode the behavior of γ in H2R/SL(2,Z), e.g.:
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Goal: replace H2R with H2
C, and R with the Heisenberg group H.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 8: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/8.jpg)
Applications of continued fractions
Continued fractions appear in:Diophantine approximation, ergodic theory, hyperbolic geometry.
The digits CF (γ±) encode the behavior of γ in H2R/SL(2,Z), e.g.:
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Goal: replace H2R with H2
C, and R with the Heisenberg group H.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 9: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/9.jpg)
Applications of continued fractions
Continued fractions appear in:Diophantine approximation, ergodic theory, hyperbolic geometry.
The digits CF (γ±) encode the behavior of γ in H2R/SL(2,Z), e.g.:
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Goal: replace H2R with H2
C, and R with the Heisenberg group H.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 10: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/10.jpg)
Applications of continued fractions
Continued fractions appear in:Diophantine approximation, ergodic theory, hyperbolic geometry.
The digits CF (γ±) encode the behavior of γ in H2R/SL(2,Z), e.g.:
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Goal: replace H2R with H2
C, and R with the Heisenberg group H.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 11: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/11.jpg)
Applications of continued fractions
Continued fractions appear in:Diophantine approximation, ergodic theory, hyperbolic geometry.
The digits CF (γ±) encode the behavior of γ in H2R/SL(2,Z), e.g.:
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Goal: replace H2R with H2
C, and R with the Heisenberg group H.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 12: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/12.jpg)
Applications of continued fractions
Continued fractions appear in:Diophantine approximation, ergodic theory, hyperbolic geometry.
The digits CF (γ±) encode the behavior of γ in H2R/SL(2,Z), e.g.:
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Goal: replace H2R with H2
C, and R with the Heisenberg group H.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 13: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/13.jpg)
Applications of continued fractions
Continued fractions appear in:Diophantine approximation, ergodic theory, hyperbolic geometry.
The digits CF (γ±) encode the behavior of γ in H2R/SL(2,Z), e.g.:
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Goal: replace H2R with H2
C, and R with the Heisenberg group H.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 14: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/14.jpg)
Past CF variants
Regular continued fractions:
Nearest-integer continued fractions:
Complex continued fractions:
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 15: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/15.jpg)
Past CF variants
Regular continued fractions:
Nearest-integer continued fractions:
Complex continued fractions:
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 16: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/16.jpg)
Past CF variants
Regular continued fractions:
Nearest-integer continued fractions:
Complex continued fractions:
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 17: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/17.jpg)
Past CF variants
Regular continued fractions:
Nearest-integer continued fractions:
Complex continued fractions:
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 18: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/18.jpg)
Heisenberg Group
The Heisenberg group H is C× R with group law
(z , t) ∗ (z ′, t ′) = (z + z ′, t + t ′ + 2Imzz ′).
The gauge metric is given by
‖(z , t)‖4 = |z |4 + t2 d(p, q) =∥∥p−1 ∗ q
∥∥ .The integer Heisenberg group is the subgroup Z[i]× Z ⊂ H.Fix a fundamental domain K for H(Z), e.g.:
KC = (−.5, .5]× (−.5, .5]× (−.5, .5]
KD = {p ∈ H | d(p, 0) ≤ d(p, γ) for all γ ∈ H(Z)}
For x ∈ H, define bxc ∈ H(Z) by the property bxc−1 ∗ x ∈ K .
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 19: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/19.jpg)
Heisenberg Group
The Heisenberg group H is C× R with group law
(z , t) ∗ (z ′, t ′) = (z + z ′, t + t ′ + 2Imzz ′).
The gauge metric is given by
‖(z , t)‖4 = |z |4 + t2 d(p, q) =∥∥p−1 ∗ q
∥∥ .
The integer Heisenberg group is the subgroup Z[i]× Z ⊂ H.Fix a fundamental domain K for H(Z), e.g.:
KC = (−.5, .5]× (−.5, .5]× (−.5, .5]
KD = {p ∈ H | d(p, 0) ≤ d(p, γ) for all γ ∈ H(Z)}
For x ∈ H, define bxc ∈ H(Z) by the property bxc−1 ∗ x ∈ K .
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 20: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/20.jpg)
Heisenberg Group
The Heisenberg group H is C× R with group law
(z , t) ∗ (z ′, t ′) = (z + z ′, t + t ′ + 2Imzz ′).
The gauge metric is given by
‖(z , t)‖4 = |z |4 + t2 d(p, q) =∥∥p−1 ∗ q
∥∥ .The integer Heisenberg group is the subgroup Z[i]× Z ⊂ H.
Fix a fundamental domain K for H(Z), e.g.:
KC = (−.5, .5]× (−.5, .5]× (−.5, .5]
KD = {p ∈ H | d(p, 0) ≤ d(p, γ) for all γ ∈ H(Z)}
For x ∈ H, define bxc ∈ H(Z) by the property bxc−1 ∗ x ∈ K .
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 21: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/21.jpg)
Heisenberg Group
The Heisenberg group H is C× R with group law
(z , t) ∗ (z ′, t ′) = (z + z ′, t + t ′ + 2Imzz ′).
The gauge metric is given by
‖(z , t)‖4 = |z |4 + t2 d(p, q) =∥∥p−1 ∗ q
∥∥ .The integer Heisenberg group is the subgroup Z[i]× Z ⊂ H.Fix a fundamental domain K for H(Z), e.g.:
KC = (−.5, .5]× (−.5, .5]× (−.5, .5]
KD = {p ∈ H | d(p, 0) ≤ d(p, γ) for all γ ∈ H(Z)}
For x ∈ H, define bxc ∈ H(Z) by the property bxc−1 ∗ x ∈ K .
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 22: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/22.jpg)
Heisenberg Group
The Heisenberg group H is C× R with group law
(z , t) ∗ (z ′, t ′) = (z + z ′, t + t ′ + 2Imzz ′).
The gauge metric is given by
‖(z , t)‖4 = |z |4 + t2 d(p, q) =∥∥p−1 ∗ q
∥∥ .The integer Heisenberg group is the subgroup Z[i]× Z ⊂ H.Fix a fundamental domain K for H(Z), e.g.:
KC = (−.5, .5]× (−.5, .5]× (−.5, .5]
KD = {p ∈ H | d(p, 0) ≤ d(p, γ) for all γ ∈ H(Z)}
For x ∈ H, define bxc ∈ H(Z) by the property bxc−1 ∗ x ∈ K .
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 23: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/23.jpg)
Koranyi inversion
The Koranyi inversion is given by
ι(z , t) =
(−z
|z |2 + it,−t
|z |4 + t2
).
We have the standard equality
d(ιp, ιq) =d(p, q)
‖p‖ ‖q‖.
In particular, the unit sphere is preserved by ι (but not pointwise).
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 24: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/24.jpg)
Koranyi inversion
The Koranyi inversion is given by
ι(z , t) =
(−z
|z |2 + it,−t
|z |4 + t2
).
We have the standard equality
d(ιp, ιq) =d(p, q)
‖p‖ ‖q‖.
In particular, the unit sphere is preserved by ι (but not pointwise).
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 25: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/25.jpg)
Koranyi inversion
The Koranyi inversion is given by
ι(z , t) =
(−z
|z |2 + it,−t
|z |4 + t2
).
We have the standard equality
d(ιp, ιq) =d(p, q)
‖p‖ ‖q‖.
In particular, the unit sphere is preserved by ι (but not pointwise).
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 26: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/26.jpg)
Koranyi inversion
The Koranyi inversion is given by
ι(z , t) =
(−z
|z |2 + it,−t
|z |4 + t2
).
We have the standard equality
d(ιp, ιq) =d(p, q)
‖p‖ ‖q‖.
In particular, the unit sphere is preserved by ι (but not pointwise).
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 27: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/27.jpg)
Continued fractions
For a point h ∈ K , we have the Gauss map T (p) = bιpc−1 ∗ ιp.
For a point h ∈ H, we have forward iterates and CF digits:
γ0 = bhc h0 = γ−10 ∗ h
γi+1 = bιhic hi = γ−1i+1 ∗ ιhi
The convergents
K{γi}ni=0 =
(γ0 +
1
· · ·+ 1γn
)= γ0ιγ1ι · · · ιγn.
The limit (if it exists):
K{γi} = limn→∞
K{γi}∞i=0.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 28: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/28.jpg)
Continued fractions
For a point h ∈ K , we have the Gauss map T (p) = bιpc−1 ∗ ιp.For a point h ∈ H, we have forward iterates and CF digits:
γ0 = bhc h0 = γ−10 ∗ h
γi+1 = bιhic hi = γ−1i+1 ∗ ιhi
The convergents
K{γi}ni=0 =
(γ0 +
1
· · ·+ 1γn
)= γ0ιγ1ι · · · ιγn.
The limit (if it exists):
K{γi} = limn→∞
K{γi}∞i=0.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 29: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/29.jpg)
Continued fractions
For a point h ∈ K , we have the Gauss map T (p) = bιpc−1 ∗ ιp.For a point h ∈ H, we have forward iterates and CF digits:
γ0 = bhc h0 = γ−10 ∗ h
γi+1 = bιhic hi = γ−1i+1 ∗ ιhi
The convergents
K{γi}ni=0 =
(γ0 +
1
· · ·+ 1γn
)= γ0ιγ1ι · · · ιγn.
The limit (if it exists):
K{γi} = limn→∞
K{γi}∞i=0.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 30: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/30.jpg)
Theorems (L.-Vandehey)
Theorem (Finite expansions)
A point h ∈ H has a finite continued fraction expansion if and onlyif h ∈ H(Q).
Theorem (Convergence)
Let h ∈ H with CF digits {γi ∈ H(Z)}. Then the limit K{γi}exists and equals h.
Theorem (Pringsheim-style)
Let {γi}∞i=0 be a sequence of elements of H(Z) satisfying ‖γi‖ ≥ 3for all i . Then the limit K{γi} exists.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 31: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/31.jpg)
Theorems (L.-Vandehey)
Theorem (Finite expansions)
A point h ∈ H has a finite continued fraction expansion if and onlyif h ∈ H(Q).
Theorem (Convergence)
Let h ∈ H with CF digits {γi ∈ H(Z)}. Then the limit K{γi}exists and equals h.
Theorem (Pringsheim-style)
Let {γi}∞i=0 be a sequence of elements of H(Z) satisfying ‖γi‖ ≥ 3for all i . Then the limit K{γi} exists.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 32: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/32.jpg)
Theorems (L.-Vandehey)
Theorem (Finite expansions)
A point h ∈ H has a finite continued fraction expansion if and onlyif h ∈ H(Q).
Theorem (Convergence)
Let h ∈ H with CF digits {γi ∈ H(Z)}. Then the limit K{γi}exists and equals h.
Theorem (Pringsheim-style)
Let {γi}∞i=0 be a sequence of elements of H(Z) satisfying ‖γi‖ ≥ 3for all i . Then the limit K{γi} exists.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 33: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/33.jpg)
Geodesic coding
The proof relies on an embedding H ↪→ SU(2, 1) = Isom(H2C)
satisfying H(Z) ↪→ SU(2, 1;Z[i ]).
According to Goldman–Parker and Falbel–Francics–Lax–Parker,H2
C with the SU(2, 1;Z[i ]) action looks like:
The digits CF (γ±) encode the behavior of γ in H2C/SU(2, 1;Z[i ]):
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 34: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/34.jpg)
Geodesic coding
The proof relies on an embedding H ↪→ SU(2, 1) = Isom(H2C)
satisfying H(Z) ↪→ SU(2, 1;Z[i ]).
According to Goldman–Parker and Falbel–Francics–Lax–Parker,H2
C with the SU(2, 1;Z[i ]) action looks like:
The digits CF (γ±) encode the behavior of γ in H2C/SU(2, 1;Z[i ]):
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 35: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/35.jpg)
Geodesic coding
The proof relies on an embedding H ↪→ SU(2, 1) = Isom(H2C)
satisfying H(Z) ↪→ SU(2, 1;Z[i ]).
According to Goldman–Parker and Falbel–Francics–Lax–Parker,H2
C with the SU(2, 1;Z[i ]) action looks like:
The digits CF (γ±) encode the behavior of γ in H2C/SU(2, 1;Z[i ]):
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 36: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/36.jpg)
Geodesic coding
The proof relies on an embedding H ↪→ SU(2, 1) = Isom(H2C)
satisfying H(Z) ↪→ SU(2, 1;Z[i ]).
According to Goldman–Parker and Falbel–Francics–Lax–Parker,H2
C with the SU(2, 1;Z[i ]) action looks like:
The digits CF (γ±) encode the behavior of γ in H2C/SU(2, 1;Z[i ]):
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 37: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/37.jpg)
Geodesic coding
The proof relies on an embedding H ↪→ SU(2, 1) = Isom(H2C)
satisfying H(Z) ↪→ SU(2, 1;Z[i ]).
According to Goldman–Parker and Falbel–Francics–Lax–Parker,H2
C with the SU(2, 1;Z[i ]) action looks like:
The digits CF (γ±) encode the behavior of γ in H2C/SU(2, 1;Z[i ]):
1. γ escapes into the cusp when CF (γ+) or CF (γ−) is finite,
2. γ stays in the compact part when the digits are bounded.
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 38: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/38.jpg)
Ergodicity
The Gauss map is given by T (h) = bιhc−1 ∗ ιh.
QuestionIs T ergodic with respect to a measure equivalent to L?
Even for complex continued fractions, this is complicated:
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 39: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/39.jpg)
Ergodicity
The Gauss map is given by T (h) = bιhc−1 ∗ ιh.
QuestionIs T ergodic with respect to a measure equivalent to L?
Even for complex continued fractions, this is complicated:
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 40: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/40.jpg)
Ergodicity
The Gauss map is given by T (h) = bιhc−1 ∗ ιh.
QuestionIs T ergodic with respect to a measure equivalent to L?
Even for complex continued fractions, this is complicated:
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 41: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/41.jpg)
Ergodicity
The Gauss map is given by T (h) = bιhc−1 ∗ ιh.
QuestionIs T ergodic with respect to a measure equivalent to L?
Even for complex continued fractions, this is complicated:
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group
![Page 42: Continued Fractions on the Heisenberg Grouplukyanenko.net/papers/ContinuedFractions-IPAM2013.pdf · Applications of continued fractions Continued fractions appear in: Diophantine](https://reader034.vdocuments.site/reader034/viewer/2022042620/5f43608c7ffa6c5023468037/html5/thumbnails/42.jpg)
Invariant measures?
Numerical experiments suggest the following invariant measures forthe Gauss map with respect to the fundamental domains KC andKD :
Anton Lukyanenko*, Joseph Vandehey Continued Fractions on the Heisenberg Group