INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because...
Transcript of INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because...
![Page 1: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/1.jpg)
INTRODUCTION TO NILPOTENT GROUPS
Moon Duchin
![Page 2: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/2.jpg)
YOUR NEW FAVORITE GROUP
![Page 3: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/3.jpg)
YOUR NEW FAVORITE GROUP
➤ the Heisenberg group: H(ℤ)≤H(ℝ)
![Page 4: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/4.jpg)
YOUR NEW FAVORITE GROUP
➤ the Heisenberg group: H(ℤ)≤H(ℝ)
![Page 5: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/5.jpg)
YOUR NEW FAVORITE GROUP
➤ the Heisenberg group: H(ℤ)≤H(ℝ)
![Page 6: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/6.jpg)
YOUR NEW FAVORITE GROUP
➤ the Heisenberg group: H(ℤ)≤H(ℝ)
➤ commutator: [g,h]=ghg-1h-1 — measures the failure to commute. Write nested commutators [g,h,j,k]=[[[g,h],j],k], etc.
![Page 7: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/7.jpg)
YOUR NEW FAVORITE GROUP
➤ the Heisenberg group: H(ℤ)≤H(ℝ)
➤ commutator: [g,h]=ghg-1h-1 — measures the failure to commute. Write nested commutators [g,h,j,k]=[[[g,h],j],k], etc.
➤ In H, one checks that [a,b]=c, and [an,bm]=cnm.
![Page 8: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/8.jpg)
YOUR NEW FAVORITE GROUP
➤ the Heisenberg group: H(ℤ)≤H(ℝ)
➤ commutator: [g,h]=ghg-1h-1 — measures the failure to commute. Write nested commutators [g,h,j,k]=[[[g,h],j],k], etc.
➤ In H, one checks that [a,b]=c, and [an,bm]=cnm.
➤ Generalization: a closed path in ab plane equals cA (signed area).
![Page 9: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/9.jpg)
YOUR NEW FAVORITE GROUP
➤ the Heisenberg group: H(ℤ)≤H(ℝ)
➤ commutator: [g,h]=ghg-1h-1 — measures the failure to commute. Write nested commutators [g,h,j,k]=[[[g,h],j],k], etc.
➤ In H, one checks that [a,b]=c, and [an,bm]=cnm.
➤ Generalization: a closed path in ab plane equals cA (signed area).
➤ The letter c is central, so [g,h,k]=1 for any group elements. (This is called 2-step nilpotency.)
![Page 10: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/10.jpg)
YOUR NEW FAVORITE GROUP
➤ the Heisenberg group: H(ℤ)≤H(ℝ)
➤ commutator: [g,h]=ghg-1h-1 — measures the failure to commute. Write nested commutators [g,h,j,k]=[[[g,h],j],k], etc.
➤ In H, one checks that [a,b]=c, and [an,bm]=cnm.
➤ Generalization: a closed path in ab plane equals cA (signed area).
➤ The letter c is central, so [g,h,k]=1 for any group elements. (This is called 2-step nilpotency.)
➤ ≤ s-step nilpotent ⟺ (s+1)-fold commutators are killed
![Page 11: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/11.jpg)
NILPOTENT GENERALITIES
![Page 12: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/12.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
![Page 13: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/13.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
![Page 14: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/14.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
![Page 15: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/15.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
➤ Other examples: higher Heis H2k+1; free nilpotent groups Ns,m
![Page 16: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/16.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
➤ Other examples: higher Heis H2k+1; free nilpotent groups Ns,m
![Page 17: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/17.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
➤ Other examples: higher Heis H2k+1; free nilpotent groups Ns,m
=
![Page 18: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/18.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
➤ Other examples: higher Heis H2k+1; free nilpotent groups Ns,m
➤ The unitriangular groups UTN(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators will terminate in at most N-1 steps
=
![Page 19: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/19.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
➤ Other examples: higher Heis H2k+1; free nilpotent groups Ns,m
➤ The unitriangular groups UTN(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators will terminate in at most N-1 steps
➤ conversely: every fin-gen torsion-free nilpotent group embeds in some UTN(ℤ)
=
![Page 20: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/20.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
➤ Other examples: higher Heis H2k+1; free nilpotent groups Ns,m
➤ The unitriangular groups UTN(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators will terminate in at most N-1 steps
➤ conversely: every fin-gen torsion-free nilpotent group embeds in some UTN(ℤ)
➤ This goes through a Lie group fact: every simply connected nilpotent group is isomorphic to a Lie subgroup of some UTN(ℝ)
=
![Page 21: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/21.jpg)
NILPOTENT GENERALITIES
➤ Generally, nilpotent means LCS gets to {1} in s steps
➤ Other examples: higher Heis H2k+1; free nilpotent groups Ns,m
➤ The unitriangular groups UTN(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators will terminate in at most N-1 steps
➤ conversely: every fin-gen torsion-free nilpotent group embeds in some UTN(ℤ)
➤ This goes through a Lie group fact: every simply connected nilpotent group is isomorphic to a Lie subgroup of some UTN(ℝ)
(proved by embedding the Lie algebra into strictly upper△s)
=
![Page 22: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/22.jpg)
GETTING TO KNOW YOUR NEW FAVORITE GROUP
➤ Multiple ways to coordinatize. (a) matrix entries; (b) normal form aAbBcC; (c) exponential coordinates
![Page 23: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/23.jpg)
GETTING TO KNOW YOUR NEW FAVORITE GROUP
➤ Multiple ways to coordinatize. (a) matrix entries; (b) normal form aAbBcC; (c) exponential coordinates
![Page 24: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/24.jpg)
GETTING TO KNOW YOUR NEW FAVORITE GROUP
➤ Multiple ways to coordinatize. (a) matrix entries; (b) normal form aAbBcC; (c) exponential coordinates
![Page 25: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/25.jpg)
GETTING TO KNOW YOUR NEW FAVORITE GROUP
➤ Multiple ways to coordinatize. (a) matrix entries; (b) normal form aAbBcC; (c) exponential coordinates
linear linear
![Page 26: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/26.jpg)
GETTING TO KNOW YOUR NEW FAVORITE GROUP
➤ Multiple ways to coordinatize. (a) matrix entries; (b) normal form aAbBcC; (c) exponential coordinates
linear linear quadratic
![Page 27: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/27.jpg)
GETTING TO KNOW YOUR NEW FAVORITE GROUP
➤ Multiple ways to coordinatize. (a) matrix entries; (b) normal form aAbBcC; (c) exponential coordinates
linear linear quadratic
Theorem (deKimpe 2013): if ℤn or ℝn has a group structure in which multiplication is polynomial, then it is a nilpotent group.
![Page 28: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/28.jpg)
GETTING TO KNOW YOUR NEW FAVORITE GROUP
➤ Multiple ways to coordinatize. (a) matrix entries; (b) normal form aAbBcC; (c) exponential coordinates
linear linear quadratic
Theorem (deKimpe 2013): if ℤn or ℝn has a group structure in which multiplication is polynomial, then it is a nilpotent group.
![Page 29: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/29.jpg)
GETTING TO KNOW YOUR NEW FAVORITE GROUP
➤ Multiple ways to coordinatize. (a) matrix entries; (b) normal form aAbBcC; (c) exponential coordinates
linear linear quadratic
Theorem (deKimpe 2013): if ℤn or ℝn has a group structure in which multiplication is polynomial, then it is a nilpotent group.
all three generalize!
cf: Mal’cev theory
![Page 30: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/30.jpg)
NAVIGATING AROUND: “HORIZONTAL” DIRECTIONS
![Page 31: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/31.jpg)
NAVIGATING AROUND: “HORIZONTAL” DIRECTIONS
➤ exponential coordinates on H(ℝ) let us plot in ℝ3 :
![Page 32: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/32.jpg)
NAVIGATING AROUND: “HORIZONTAL” DIRECTIONS
➤ exponential coordinates on H(ℝ) let us plot in ℝ3 :
![Page 33: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/33.jpg)
NAVIGATING AROUND: “HORIZONTAL” DIRECTIONS
➤ exponential coordinates on H(ℝ) let us plot in ℝ3 :
![Page 34: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/34.jpg)
NAVIGATING AROUND: “HORIZONTAL” DIRECTIONS
➤ exponential coordinates on H(ℝ) let us plot in ℝ3 :
➤ “horizontal” plane in Lie algebra can be “pushed around” by left multiplication to get a plane field (subbundle of TH)
![Page 35: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/35.jpg)
NAVIGATING AROUND: “HORIZONTAL” DIRECTIONS
➤ exponential coordinates on H(ℝ) let us plot in ℝ3 :
➤ “horizontal” plane in Lie algebra can be “pushed around” by left multiplication to get a plane field (subbundle of TH)
![Page 36: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/36.jpg)
NAVIGATING AROUND: “HORIZONTAL” DIRECTIONS
➤ exponential coordinates on H(ℝ) let us plot in ℝ3 :
➤ “horizontal” plane in Lie algebra can be “pushed around” by left multiplication to get a plane field (subbundle of TH)
![Page 37: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/37.jpg)
BALAYAGE: AREA VS. HEIGHT
![Page 38: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/38.jpg)
BALAYAGE: AREA VS. HEIGHT
➤ Say a curve 𝛾=(𝛾1,𝛾2,𝛾3) is admissible if its tangent vectors are horizontal, i.e., 𝛾3ʹ=½(𝛾1𝛾2ʹ-𝛾2𝛾1ʹ).
![Page 39: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/39.jpg)
BALAYAGE: AREA VS. HEIGHT
➤ Say a curve 𝛾=(𝛾1,𝛾2,𝛾3) is admissible if its tangent vectors are horizontal, i.e., 𝛾3ʹ=½(𝛾1𝛾2ʹ-𝛾2𝛾1ʹ).
➤ Fact 1: Any two points in H connected by an admissible path.
![Page 40: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/40.jpg)
BALAYAGE: AREA VS. HEIGHT
➤ Say a curve 𝛾=(𝛾1,𝛾2,𝛾3) is admissible if its tangent vectors are horizontal, i.e., 𝛾3ʹ=½(𝛾1𝛾2ʹ-𝛾2𝛾1ʹ).
➤ Fact 1: Any two points in H connected by an admissible path.
➤ Fact 2: Any plane curve 𝛾=(𝛾1,𝛾2) lifts uniquely to an admissible path. Third coordinate is area.
![Page 41: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/41.jpg)
BALAYAGE: AREA VS. HEIGHT
➤ Say a curve 𝛾=(𝛾1,𝛾2,𝛾3) is admissible if its tangent vectors are horizontal, i.e., 𝛾3ʹ=½(𝛾1𝛾2ʹ-𝛾2𝛾1ʹ).
➤ Fact 1: Any two points in H connected by an admissible path.
➤ Fact 2: Any plane curve 𝛾=(𝛾1,𝛾2) lifts uniquely to an admissible path. Third coordinate is area.
![Page 42: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/42.jpg)
BALAYAGE: AREA VS. HEIGHT
➤ Say a curve 𝛾=(𝛾1,𝛾2,𝛾3) is admissible if its tangent vectors are horizontal, i.e., 𝛾3ʹ=½(𝛾1𝛾2ʹ-𝛾2𝛾1ʹ).
➤ Fact 1: Any two points in H connected by an admissible path.
➤ Fact 2: Any plane curve 𝛾=(𝛾1,𝛾2) lifts uniquely to an admissible path. Third coordinate is area.
![Page 43: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/43.jpg)
BALAYAGE: AREA VS. HEIGHT
➤ Say a curve 𝛾=(𝛾1,𝛾2,𝛾3) is admissible if its tangent vectors are horizontal, i.e., 𝛾3ʹ=½(𝛾1𝛾2ʹ-𝛾2𝛾1ʹ).
➤ Fact 1: Any two points in H connected by an admissible path.
➤ Fact 2: Any plane curve 𝛾=(𝛾1,𝛾2) lifts uniquely to an admissible path. Third coordinate is area.
➤ Proof: Stokes!
![Page 44: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/44.jpg)
BALAYAGE: AREA VS. HEIGHT
➤ Say a curve 𝛾=(𝛾1,𝛾2,𝛾3) is admissible if its tangent vectors are horizontal, i.e., 𝛾3ʹ=½(𝛾1𝛾2ʹ-𝛾2𝛾1ʹ).
➤ Fact 1: Any two points in H connected by an admissible path.
➤ Fact 2: Any plane curve 𝛾=(𝛾1,𝛾2) lifts uniquely to an admissible path. Third coordinate is area.
➤ Proof: Stokes!
![Page 45: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/45.jpg)
CC GEOMETRY: SUB-RIEMANNIAN AND SUB-FINSLER
![Page 46: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/46.jpg)
➤ So you can norm the horizontal planes however you like and this induces lengths of admissible curves; get a length metric on all of H. And actually this works for any Carnot group (nilpotent group with nice grading) if you norm its horizontal subbundle.
CC GEOMETRY: SUB-RIEMANNIAN AND SUB-FINSLER
![Page 47: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/47.jpg)
➤ So you can norm the horizontal planes however you like and this induces lengths of admissible curves; get a length metric on all of H. And actually this works for any Carnot group (nilpotent group with nice grading) if you norm its horizontal subbundle.
➤ Lengths and areas of plane curves in a norm completely describe paths in this metric space.
CC GEOMETRY: SUB-RIEMANNIAN AND SUB-FINSLER
![Page 48: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/48.jpg)
➤ So you can norm the horizontal planes however you like and this induces lengths of admissible curves; get a length metric on all of H. And actually this works for any Carnot group (nilpotent group with nice grading) if you norm its horizontal subbundle.
➤ Lengths and areas of plane curves in a norm completely describe paths in this metric space.
➤ If you choose L2, you’re doing sub-Riemannian geometry; any other choice is sub-Finsler. (Like L1 or Hex.)
CC GEOMETRY: SUB-RIEMANNIAN AND SUB-FINSLER
![Page 49: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/49.jpg)
➤ So you can norm the horizontal planes however you like and this induces lengths of admissible curves; get a length metric on all of H. And actually this works for any Carnot group (nilpotent group with nice grading) if you norm its horizontal subbundle.
➤ Lengths and areas of plane curves in a norm completely describe paths in this metric space.
➤ If you choose L2, you’re doing sub-Riemannian geometry; any other choice is sub-Finsler. (Like L1 or Hex.)
CC GEOMETRY: SUB-RIEMANNIAN AND SUB-FINSLER
![Page 50: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/50.jpg)
➤ So you can norm the horizontal planes however you like and this induces lengths of admissible curves; get a length metric on all of H. And actually this works for any Carnot group (nilpotent group with nice grading) if you norm its horizontal subbundle.
➤ Lengths and areas of plane curves in a norm completely describe paths in this metric space.
➤ If you choose L2, you’re doing sub-Riemannian geometry; any other choice is sub-Finsler. (Like L1 or Hex.)
CC GEOMETRY: SUB-RIEMANNIAN AND SUB-FINSLER
![Page 51: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/51.jpg)
These metrics admit dilations δt(x,y,z)=(tx,ty,t2z) that scale distance:
d(δtp,δtq)=t·d(p,q)
➤ So you can norm the horizontal planes however you like and this induces lengths of admissible curves; get a length metric on all of H. And actually this works for any Carnot group (nilpotent group with nice grading) if you norm its horizontal subbundle.
➤ Lengths and areas of plane curves in a norm completely describe paths in this metric space.
➤ If you choose L2, you’re doing sub-Riemannian geometry; any other choice is sub-Finsler. (Like L1 or Hex.)
CC GEOMETRY: SUB-RIEMANNIAN AND SUB-FINSLER
![Page 52: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/52.jpg)
These metrics admit dilations δt(x,y,z)=(tx,ty,t2z) that scale distance:
d(δtp,δtq)=t·d(p,q)
➤ So you can norm the horizontal planes however you like and this induces lengths of admissible curves; get a length metric on all of H. And actually this works for any Carnot group (nilpotent group with nice grading) if you norm its horizontal subbundle.
➤ Lengths and areas of plane curves in a norm completely describe paths in this metric space.
➤ If you choose L2, you’re doing sub-Riemannian geometry; any other choice is sub-Finsler. (Like L1 or Hex.)
CC GEOMETRY: SUB-RIEMANNIAN AND SUB-FINSLER
![Page 53: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/53.jpg)
These metrics admit dilations δt(x,y,z)=(tx,ty,t2z) that scale distance:
d(δtp,δtq)=t·d(p,q)
➤ So you can norm the horizontal planes however you like and this induces lengths of admissible curves; get a length metric on all of H. And actually this works for any Carnot group (nilpotent group with nice grading) if you norm its horizontal subbundle.
➤ Lengths and areas of plane curves in a norm completely describe paths in this metric space.
➤ If you choose L2, you’re doing sub-Riemannian geometry; any other choice is sub-Finsler. (Like L1 or Hex.)
CC GEOMETRY: SUB-RIEMANNIAN AND SUB-FINSLER
Amazing fact: this characterizes
Carnot groups!
![Page 54: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/54.jpg)
DESCRIPTION OF CC GEODESICS
![Page 55: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/55.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
![Page 56: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/56.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
![Page 57: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/57.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
![Page 58: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/58.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
![Page 59: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/59.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
![Page 60: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/60.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
![Page 61: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/61.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
![Page 62: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/62.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
![Page 63: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/63.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
![Page 64: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/64.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
![Page 65: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/65.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
![Page 66: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/66.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
Indicatrix
![Page 67: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/67.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
IsoperimetrixIndicatrix
![Page 68: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/68.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
IsoperimetrixIndicatrix Indicatrix
![Page 69: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/69.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
Isoperimetrix IsoperimetrixIndicatrix Indicatrix
![Page 70: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/70.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
Isoperimetrix IsoperimetrixIndicatrix Indicatrix
![Page 71: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/71.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
Isoperimetrix IsoperimetrixIndicatrix Indicatrix
![Page 72: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/72.jpg)
DESCRIPTION OF CC GEODESICS
➤ You’ve got a norm on the xy plane. The length of a path in H is the norm-length of its shadow in the plane.
➤ One way to be geodesic: your shadow is a norm geodesic.
➤ More generally: 𝛾=(𝛾1,𝛾2,𝛾3) as short as possible while connecting, say, (0,0,0) and (A,B,C). That means that 𝛾=(𝛾1,𝛾2) is shortest from (0,0) to (A,B) enclosing area C.
➤ Let’s call these “beelines” and “area grabbers.”
Isoperimetrix IsoperimetrixIndicatrix Indicatrix
![Page 73: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/73.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
![Page 74: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/74.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
![Page 75: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/75.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
![Page 76: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/76.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic
![Page 77: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/77.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic unit sphere
![Page 78: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/78.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic unit sphere
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
![Page 79: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/79.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic unit sphere
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
![Page 80: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/80.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic unit sphere
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
![Page 81: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/81.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic unit sphere
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
![Page 82: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/82.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic unit sphere
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
geodesic
![Page 83: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/83.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic unit sphere
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
geodesic
8 types of area-grabbers
![Page 84: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/84.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic unit sphere
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
geodesic unit sphere
8 types of area-grabbers
![Page 85: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/85.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ L2 case: isoperimetrix is a circle; beelines are straight horizontal lines; area-grabbers are circular spirals
geodesic unit sphere
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
geodesic unit sphere
8 types of area-grabbers
note: walls are cut away to see inside —it’s a topological
sphere!
![Page 86: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/86.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
![Page 87: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/87.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
8 types of area-grabbers in L1
![Page 88: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/88.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
8 types of area-grabbers in L1
24 types of area-grabbers in Hex
![Page 89: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/89.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
8 types of area-grabbers in L1
24 types of area-grabbers in Hex
![Page 90: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/90.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
8 types of area-grabbers in L1
24 types of area-grabbers in Hex
Plot of area enclosed by geodesics gives unit sphere as piecewise-quadratic graph
![Page 91: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/91.jpg)
BEELINES AND AREA-GRABBERS: WALLS AND ROOF
➤ But in polygonal norms, the beelines can enclose area, and the area-grabbers come in different combinatorial types
8 types of area-grabbers in L1
24 types of area-grabbers in Hex
Plot of area enclosed by geodesics gives unit sphere as piecewise-quadratic graph
There are flat vertical “walls” coming from the beelines (range of areas for same endpoint)
![Page 92: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/92.jpg)
SIDEBAR: WHERE DOES SUBRIEMANNIAN GEOMETRY COME UP?
Thurston’s eight 3D “model geometries”:
ℝ3, S3, ℍ3, S2×ℝ, ℍ2×ℝ, Nil, Sol, and SL(2,ℝ)
![Page 93: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/93.jpg)
SIDEBAR: WHERE DOES SUBRIEMANNIAN GEOMETRY COME UP?
Thurston’s eight 3D “model geometries”:
ℝ3, S3, ℍ3, S2×ℝ, ℍ2×ℝ, Nil, Sol, and SL(2,ℝ)
➤ Nil is H(ℝ)with its sub-Riemannian metric.
![Page 94: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/94.jpg)
SIDEBAR: WHERE DOES SUBRIEMANNIAN GEOMETRY COME UP?
Thurston’s eight 3D “model geometries”:
ℝ3, S3, ℍ3, S2×ℝ, ℍ2×ℝ, Nil, Sol, and SL(2,ℝ)
➤ Nil is H(ℝ)with its sub-Riemannian metric.
![Page 95: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/95.jpg)
SIDEBAR: WHERE DOES SUBRIEMANNIAN GEOMETRY COME UP?
Thurston’s eight 3D “model geometries”:
ℝ3, S3, ℍ3, S2×ℝ, ℍ2×ℝ, Nil, Sol, and SL(2,ℝ)
➤ Nil is H(ℝ)with its sub-Riemannian metric.
![Page 96: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/96.jpg)
SIDEBAR: WHERE DOES SUBRIEMANNIAN GEOMETRY COME UP?
Thurston’s eight 3D “model geometries”:
ℝ3, S3, ℍ3, S2×ℝ, ℍ2×ℝ, Nil, Sol, and SL(2,ℝ)
➤ Nil is H(ℝ)with its sub-Riemannian metric.
➤ Complex hyperbolic space ℂℍ2: horospheres have Nil geometry.
![Page 97: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/97.jpg)
SIDEBAR: WHERE DOES SUBRIEMANNIAN GEOMETRY COME UP?
Thurston’s eight 3D “model geometries”:
ℝ3, S3, ℍ3, S2×ℝ, ℍ2×ℝ, Nil, Sol, and SL(2,ℝ)
➤ Nil is H(ℝ)with its sub-Riemannian metric.
➤ Complex hyperbolic space ℂℍ2: horospheres have Nil geometry.
➤ Higher-dimensional ℂℍn: horospheres are higher Heisenberg groups.
![Page 98: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/98.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
![Page 99: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/99.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
![Page 100: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/100.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
![Page 101: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/101.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
![Page 102: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/102.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
![Page 103: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/103.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
➤ Pansu’s thesis ⇒ in H(ℤ), asymptotic cones of word metrics are polygonal CC metrics.
![Page 104: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/104.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
➤ Pansu’s thesis ⇒ in H(ℤ), asymptotic cones of word metrics are polygonal CC metrics.
![Page 105: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/105.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
➤ Pansu’s thesis ⇒ in H(ℤ), asymptotic cones of word metrics are polygonal CC metrics.
![Page 106: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/106.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
➤ Pansu’s thesis ⇒ in H(ℤ), asymptotic cones of word metrics are polygonal CC metrics.
![Page 107: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/107.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
➤ Pansu’s thesis ⇒ in H(ℤ), asymptotic cones of word metrics are polygonal CC metrics.
![Page 108: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/108.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
➤ Pansu’s thesis ⇒ in H(ℤ), asymptotic cones of word metrics are polygonal CC metrics.
![Page 109: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/109.jpg)
LATTICES IN THE LARGE: PANSU’S THEOREM
➤ In ℤ2, asymptotic cones of word metrics are polygonal norms
➤ Pansu’s thesis ⇒ in H(ℤ), asymptotic cones of word metrics are polygonal CC metrics.
![Page 110: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/110.jpg)
SHAPES OF BALLS AND SPHERES
![Page 111: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/111.jpg)
SHAPES OF BALLS AND SPHERES
➤ Pansu is telling you that CC spheres are a close approximation to spheres in the word metric.
![Page 112: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/112.jpg)
SHAPES OF BALLS AND SPHERES
➤ Pansu is telling you that CC spheres are a close approximation to spheres in the word metric.
![Page 113: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/113.jpg)
SHAPES OF BALLS AND SPHERES
➤ Pansu is telling you that CC spheres are a close approximation to spheres in the word metric.
Hex
![Page 114: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/114.jpg)
SHAPES OF BALLS AND SPHERES
➤ Pansu is telling you that CC spheres are a close approximation to spheres in the word metric.
Hex
![Page 115: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/115.jpg)
SHAPES OF BALLS AND SPHERES
➤ Pansu is telling you that CC spheres are a close approximation to spheres in the word metric.
Hex
➤ Should still wonder: are CC geodesics good approximations of geodesics in the word metric?
➤ The CC group is divided into two parts(the beelines/walls and the area-grabbers/roof). What about the discrete group?
![Page 116: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/116.jpg)
GROMOV’S ASK: CC SPACES “FROM WITHIN”
![Page 117: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/117.jpg)
GROMOV’S ASK: CC SPACES “FROM WITHIN”
➤ What are the qualitative features of a CC metric? How would you know you are in one?
![Page 118: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/118.jpg)
GROMOV’S ASK: CC SPACES “FROM WITHIN”
➤ What are the qualitative features of a CC metric? How would you know you are in one?
★ There’s a family of dilations.
![Page 119: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/119.jpg)
GROMOV’S ASK: CC SPACES “FROM WITHIN”
➤ What are the qualitative features of a CC metric? How would you know you are in one?
★ There’s a family of dilations.
★ Non-unique geodesics.
![Page 120: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/120.jpg)
GROMOV’S ASK: CC SPACES “FROM WITHIN”
➤ What are the qualitative features of a CC metric? How would you know you are in one?
★ There’s a family of dilations.
★ Non-unique geodesics.
★ Many dead ends.
![Page 121: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/121.jpg)
GROMOV’S ASK: CC SPACES “FROM WITHIN”
➤ What are the qualitative features of a CC metric? How would you know you are in one?
★ There’s a family of dilations.
★ Non-unique geodesics.
★ Many dead ends.
★ …
![Page 122: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/122.jpg)
GROMOV’S ASK: CC SPACES “FROM WITHIN”
➤ What are the qualitative features of a CC metric? How would you know you are in one?
★ There’s a family of dilations.
★ Non-unique geodesics.
★ Many dead ends.
★ …
➤ How about polygonal CC metrics on H?
![Page 123: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/123.jpg)
GROMOV’S ASK: CC SPACES “FROM WITHIN”
➤ What are the qualitative features of a CC metric? How would you know you are in one?
★ There’s a family of dilations.
★ Non-unique geodesics.
★ Many dead ends.
★ …
➤ How about polygonal CC metrics on H?★ Visually, from a basepoint, space is divided up into two regimes
(walls and roof), with rational proportion: many “p/q laws.”
![Page 124: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/124.jpg)
GROWTH SERIES AND RATIONALITY
Moon Duchin
![Page 125: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/125.jpg)
GROWTH OF GROUPS
Motivating example: The group ℤ2 has standard generators (±1,0),(0,±1). There are also non-standard generators, like the chess-knight moves (±2,±1),(±1,±2).
![Page 126: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/126.jpg)
GROWTH OF GROUPS
Motivating example: The group ℤ2 has standard generators (±1,0),(0,±1). There are also non-standard generators, like the chess-knight moves (±2,±1),(±1,±2).
Fundamental question: How many group elements are “spellable” in ≤n letters from the generating alphabet?
![Page 127: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/127.jpg)
GROWTH OF GROUPS
Motivating example: The group ℤ2 has standard generators (±1,0),(0,±1). There are also non-standard generators, like the chess-knight moves (±2,±1),(±1,±2).
Fundamental question: How many group elements are “spellable” in ≤n letters from the generating alphabet?
![Page 128: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/128.jpg)
GROWTH OF GROUPS
Motivating example: The group ℤ2 has standard generators (±1,0),(0,±1). There are also non-standard generators, like the chess-knight moves (±2,±1),(±1,±2).
Fundamental question: How many group elements are “spellable” in ≤n letters from the generating alphabet?
We can write βn=#Bn, 𝜎n=#Sn for the point count of balls and spheres in the word metric. As functions of n, these are called growth functions of (G,S) for a group G and generating set S.
![Page 129: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/129.jpg)
GROWTH FUNCTIONS IN GROUP THEORY
Growth functions depend on generators (G,S), but change of genset preserves growth rate, so polynomiality (and degree) is an invariant of G, and so is exponential growth.
![Page 130: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/130.jpg)
GROWTH FUNCTIONS IN GROUP THEORY
Growth functions depend on generators (G,S), but change of genset preserves growth rate, so polynomiality (and degree) is an invariant of G, and so is exponential growth.
![Page 131: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/131.jpg)
GROWTH FUNCTIONS IN GROUP THEORY
Growth functions depend on generators (G,S), but change of genset preserves growth rate, so polynomiality (and degree) is an invariant of G, and so is exponential growth.
One key tool used to study growth functions is their associated generating functions: treat 𝜎(n) as sequence 𝜎n and study 𝕊(x)=∑𝜎nxn.
![Page 132: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/132.jpg)
GROWTH FUNCTIONS IN GROUP THEORY
Growth functions depend on generators (G,S), but change of genset preserves growth rate, so polynomiality (and degree) is an invariant of G, and so is exponential growth.
One key tool used to study growth functions is their associated generating functions: treat 𝜎(n) as sequence 𝜎n and study 𝕊(x)=∑𝜎nxn.
Fact: 𝜎(n) satisfies a Fibonacci-style recursion iff 𝕊(x)∈ ℚ(x).
![Page 133: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/133.jpg)
GROWTH FUNCTIONS IN GROUP THEORY
Growth functions depend on generators (G,S), but change of genset preserves growth rate, so polynomiality (and degree) is an invariant of G, and so is exponential growth.
One key tool used to study growth functions is their associated generating functions: treat 𝜎(n) as sequence 𝜎n and study 𝕊(x)=∑𝜎nxn.
Fact: 𝜎(n) satisfies a Fibonacci-style recursion iff 𝕊(x)∈ ℚ(x).
![Page 134: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/134.jpg)
GROWTH FUNCTIONS IN GROUP THEORY
Growth functions depend on generators (G,S), but change of genset preserves growth rate, so polynomiality (and degree) is an invariant of G, and so is exponential growth.
One key tool used to study growth functions is their associated generating functions: treat 𝜎(n) as sequence 𝜎n and study 𝕊(x)=∑𝜎nxn.
Fact: 𝜎(n) satisfies a Fibonacci-style recursion iff 𝕊(x)∈ ℚ(x).
“Ehrhart polynomials”
![Page 135: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/135.jpg)
THEOREMS ABOUT GROUP GROWTH
![Page 136: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/136.jpg)
THEOREMS ABOUT GROUP GROWTH
➤ Can study growth rate by imposing equivalence relation by affine rescaling of domain and range: f≼g means
![Page 137: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/137.jpg)
THEOREMS ABOUT GROUP GROWTH
➤ Can study growth rate by imposing equivalence relation by affine rescaling of domain and range: f≼g means
∃ A s.t. f(t)≤Ag(At+A)+A ∀t.
![Page 138: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/138.jpg)
THEOREMS ABOUT GROUP GROWTH
➤ Can study growth rate by imposing equivalence relation by affine rescaling of domain and range: f≼g means
∃ A s.t. f(t)≤Ag(At+A)+A ∀t.
If f~g means f≼g, g≼f, then [𝜎] is a quasi-isometry invariant.
![Page 139: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/139.jpg)
THEOREMS ABOUT GROUP GROWTH
➤ Can study growth rate by imposing equivalence relation by affine rescaling of domain and range: f≼g means
∃ A s.t. f(t)≤Ag(At+A)+A ∀t.
If f~g means f≼g, g≼f, then [𝜎] is a quasi-isometry invariant.
Theorem(Bass-Guivarc’h 1970s): if LCS of a nilpotent group has quotients Gi/Gi+1=ℤdi ⊕ finite , then β(n)~nd for d=∑ i di .
![Page 140: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/140.jpg)
THEOREMS ABOUT GROUP GROWTH
➤ Can study growth rate by imposing equivalence relation by affine rescaling of domain and range: f≼g means
∃ A s.t. f(t)≤Ag(At+A)+A ∀t.
If f~g means f≼g, g≼f, then [𝜎] is a quasi-isometry invariant.
Theorem(Bass-Guivarc’h 1970s): if LCS of a nilpotent group has quotients Gi/Gi+1=ℤdi ⊕ finite , then β(n)~nd for d=∑ i di .
![Page 141: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/141.jpg)
THEOREMS ABOUT GROUP GROWTH
➤ Can study growth rate by imposing equivalence relation by affine rescaling of domain and range: f≼g means
∃ A s.t. f(t)≤Ag(At+A)+A ∀t.
If f~g means f≼g, g≼f, then [𝜎] is a quasi-isometry invariant.
Theorem(Bass-Guivarc’h 1970s): if LCS of a nilpotent group has quotients Gi/Gi+1=ℤdi ⊕ finite , then β(n)~nd for d=∑ i di .
➤ That is: nilpotent groups have polynomial growth.
![Page 142: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/142.jpg)
THEOREMS ABOUT GROUP GROWTH
➤ Can study growth rate by imposing equivalence relation by affine rescaling of domain and range: f≼g means
∃ A s.t. f(t)≤Ag(At+A)+A ∀t.
If f~g means f≼g, g≼f, then [𝜎] is a quasi-isometry invariant.
Theorem(Bass-Guivarc’h 1970s): if LCS of a nilpotent group has quotients Gi/Gi+1=ℤdi ⊕ finite , then β(n)~nd for d=∑ i di .
➤ That is: nilpotent groups have polynomial growth.
Theorem(Gromov 1981): if any group has a polynomial bound on growth, then it is virtually nilpotent!
![Page 143: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/143.jpg)
THEOREMS ABOUT GROUP GROWTH
➤ Can study growth rate by imposing equivalence relation by affine rescaling of domain and range: f≼g means
∃ A s.t. f(t)≤Ag(At+A)+A ∀t.
If f~g means f≼g, g≼f, then [𝜎] is a quasi-isometry invariant.
Theorem(Bass-Guivarc’h 1970s): if LCS of a nilpotent group has quotients Gi/Gi+1=ℤdi ⊕ finite , then β(n)~nd for d=∑ i di .
➤ That is: nilpotent groups have polynomial growth.
Theorem(Gromov 1981): if any group has a polynomial bound on growth, then it is virtually nilpotent!
![Page 144: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/144.jpg)
THEOREMS ABOUT RATIONALITY
![Page 145: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/145.jpg)
THEOREMS ABOUT RATIONALITY
➤ Many groups are known to have rational growth in a special generating sets, e.g. Coxeter groups (exercise in Bourbaki!)
![Page 146: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/146.jpg)
THEOREMS ABOUT RATIONALITY
➤ Many groups are known to have rational growth in a special generating sets, e.g. Coxeter groups (exercise in Bourbaki!)
Theorem (Cannon, Thurston, Gromov): Hyperbolic groups have rational growth in any generators.
![Page 147: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/147.jpg)
THEOREMS ABOUT RATIONALITY
➤ Many groups are known to have rational growth in a special generating sets, e.g. Coxeter groups (exercise in Bourbaki!)
Theorem (Cannon, Thurston, Gromov): Hyperbolic groups have rational growth in any generators.
Theorem (M.Benson 1983): Virtually abelian groups have rational growth in any generators.
![Page 148: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/148.jpg)
THEOREMS ABOUT RATIONALITY
➤ Many groups are known to have rational growth in a special generating sets, e.g. Coxeter groups (exercise in Bourbaki!)
Theorem (Cannon, Thurston, Gromov): Hyperbolic groups have rational growth in any generators.
Theorem (M.Benson 1983): Virtually abelian groups have rational growth in any generators.
Theorem (Shapiro, Benson 1980s): H(ℤ) has rational growth in standard generators.
![Page 149: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/149.jpg)
THEOREMS ABOUT RATIONALITY
➤ Many groups are known to have rational growth in a special generating sets, e.g. Coxeter groups (exercise in Bourbaki!)
Theorem (Cannon, Thurston, Gromov): Hyperbolic groups have rational growth in any generators.
Theorem (M.Benson 1983): Virtually abelian groups have rational growth in any generators.
Theorem (Shapiro, Benson 1980s): H(ℤ) has rational growth in standard generators.
Theorem (Stoll 1996): H5 has rational growth in one generating set but transcendental in another!
![Page 150: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/150.jpg)
SUMMARY OF RATIONALITY RESULTS
➤ Many more in middle category: some more BS(p,q) examples plus “higher BS groups,” quotients of triangular buildings, some amalgams and wreath products, some solvable groups, relatively hyperbolic groups, …
![Page 151: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/151.jpg)
CANNON 1984, BEING ZEN ABOUT GROUPS
➤ “We shall… show that the global combinatorial structure of such groups is particularly simple in the sense that their Cayley group graphs (Dehn Gruppenbilder) have descriptions by linear recursion. We view this latter result as a promising generalization of small cancellation theory… The result also indicates that cocompact, discrete hyperbolic groups can be understood globally in the same sense that the integers ℤ can be understood: feeling, as we do, that we understand the simple linear recursion n→ n+1 in ℤ, we extend our local picture of ℤ recursively in our mind’s eye toward infinity. One obtains a global picture of the arbitrary cocompact, discrete hyperbolic group G in the same way: first, one discovers the local picture of G, then the recursive structure of G by means of which copies of the local structure are integrated.”
![Page 152: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/152.jpg)
RELATING GROUP GROWTH TO LATTICE COUNTING
Let’s go back and see why lattice counts and Ehrhart polynomials were related to growth functions for ℤ2. You can get a coarse estimate of βn by figuring out the shape of the cloud of points Bn and counting lattice points inside it.
![Page 153: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/153.jpg)
WORD METRICS HAVE “LIMIT SHAPES” YOU CAN COUNT WITH
To see that you get an accurate first-order estimate from the Ehrhart polynomial, it suffices to show that almost all lattice points in the nth dilate are reached in n steps.
This works well here; in general, the large spheres very closely resemble an annular shell at the boundary of your defining polygon.
S3 S6 S20
![Page 154: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/154.jpg)
GROUP GROWTH MEETS LATTICE COUNTING
![Page 155: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/155.jpg)
GROUP GROWTH MEETS LATTICE COUNTING
Caveat: only accurate to first order!
![Page 156: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/156.jpg)
GROUP GROWTH MEETS LATTICE COUNTING
Caveat: only accurate to first order!
![Page 157: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/157.jpg)
COUNTING IN THE HEISENBERG GROUP
Theorem (Shapiro, Benson 1980s): The spherical growth of H(ℤ), std is
𝜎n=(31n3–57n2+105n+cn)/18,
where cn=-7, -14, 9, -16, -23, 18, -7, -32, 9, 2, -23, 0, repeating with period 12, for n ≥ 1.
![Page 158: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/158.jpg)
COUNTING IN THE HEISENBERG GROUP
Theorem (Shapiro, Benson 1980s): The spherical growth of H(ℤ), std is
𝜎n=(31n3–57n2+105n+cn)/18,
where cn=-7, -14, 9, -16, -23, 18, -7, -32, 9, 2, -23, 0, repeating with period 12, for n ≥ 1.
This is called a quasipolynomial. Fact: if a sequence is polynomially bounded, then it has rational growth iff it is eventually quasipolynomial.
![Page 159: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/159.jpg)
COUNTING IN THE HEISENBERG GROUP
Theorem (Shapiro, Benson 1980s): The spherical growth of H(ℤ), std is
𝜎n=(31n3–57n2+105n+cn)/18,
where cn=-7, -14, 9, -16, -23, 18, -7, -32, 9, 2, -23, 0, repeating with period 12, for n ≥ 1.
Theorem (D-Mooney 2014): For any Heisenberg generators, the number of lattice points in CC balls is quasipolynomial.
This is called a quasipolynomial. Fact: if a sequence is polynomially bounded, then it has rational growth iff it is eventually quasipolynomial.
![Page 160: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/160.jpg)
COUNTING IN THE HEISENBERG GROUP
Theorem (Shapiro, Benson 1980s): The spherical growth of H(ℤ), std is
𝜎n=(31n3–57n2+105n+cn)/18,
where cn=-7, -14, 9, -16, -23, 18, -7, -32, 9, 2, -23, 0, repeating with period 12, for n ≥ 1.
Theorem (D-Shapiro arXiv): For any Heisenberg generators, the group growth function is eventually quasipolynomial.
Theorem (D-Mooney 2014): For any Heisenberg generators, the number of lattice points in CC balls is quasipolynomial.
This is called a quasipolynomial. Fact: if a sequence is polynomially bounded, then it has rational growth iff it is eventually quasipolynomial.
![Page 161: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/161.jpg)
COUNTING IN THE HEISENBERG GROUP
Theorem (Shapiro, Benson 1980s): The spherical growth of H(ℤ), std is
𝜎n=(31n3–57n2+105n+cn)/18,
where cn=-7, -14, 9, -16, -23, 18, -7, -32, 9, 2, -23, 0, repeating with period 12, for n ≥ 1.
Theorem (D-Shapiro arXiv): For any Heisenberg generators, the group growth function is eventually quasipolynomial.
Theorem (D-Mooney 2014): For any Heisenberg generators, the number of lattice points in CC balls is quasipolynomial.
(not just bounded above and below like An3≤𝜎n≤Bn3, which is classical)
This is called a quasipolynomial. Fact: if a sequence is polynomially bounded, then it has rational growth iff it is eventually quasipolynomial.
![Page 162: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/162.jpg)
GAME PLAN FOR HEISENBERG PANRATIONALITY
➤ We produce a finite collection of languages that we call shapes and patterns that surject onto H.
➤ We show that there are “rational competitions” that determine a single shape or pattern as the “winner” for each group element.
➤ We show that enumerating the winning spellings by length is a rational function for each shape and pattern.
➤ Conclusion: overall growth function is a sum of finitely many rational functions, so it is rational.
![Page 163: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/163.jpg)
MOTIVATING EXAMPLE: KNIGHTS ON AN INFINITE CHESSBOARD
![Page 164: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/164.jpg)
MOTIVATING EXAMPLE: KNIGHTS ON AN INFINITE CHESSBOARD
➤ Consider ℤ2 with chess-knight generators {(±2,±1),(±1,±2)}. Let a1=(2,1), a2=(1,2), and so on clockwise to a8.
![Page 165: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/165.jpg)
MOTIVATING EXAMPLE: KNIGHTS ON AN INFINITE CHESSBOARD
➤ Consider ℤ2 with chess-knight generators {(±2,±1),(±1,±2)}. Let a1=(2,1), a2=(1,2), and so on clockwise to a8.
➤ Many elements in the sector 0≤y/2≤x≤2y bounded by a1,a2 can be written as linear combinations of those, but not all. For instance, (1,1)=a3 a8 and (2,2)=a32 a82 are geodesic.
![Page 166: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/166.jpg)
MOTIVATING EXAMPLE: KNIGHTS ON AN INFINITE CHESSBOARD
➤ Consider ℤ2 with chess-knight generators {(±2,±1),(±1,±2)}. Let a1=(2,1), a2=(1,2), and so on clockwise to a8.
➤ Many elements in the sector 0≤y/2≤x≤2y bounded by a1,a2 can be written as linear combinations of those, but not all. For instance, (1,1)=a3 a8 and (2,2)=a32 a82 are geodesic.
➤ For that sector, 3 patterns suffice:
★ a1* a2*
★ a3 a8 a1*a2*
★ a32 a82 a1*a2*
![Page 167: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/167.jpg)
CHESS KNIGHTS AND RATIONAL COMPETITION
![Page 168: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/168.jpg)
CHESS KNIGHTS AND RATIONAL COMPETITION
➤ The patterns can be treated as functions ℕ2→ℤ2 or as affine functions to position and length.
![Page 169: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/169.jpg)
CHESS KNIGHTS AND RATIONAL COMPETITION
➤ The patterns can be treated as functions ℕ2→ℤ2 or as affine functions to position and length.
★ v=a1* a2* has length p+q, position (2p+q,p+2q)
![Page 170: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/170.jpg)
CHESS KNIGHTS AND RATIONAL COMPETITION
➤ The patterns can be treated as functions ℕ2→ℤ2 or as affine functions to position and length.
★ v=a1* a2* has length p+q, position (2p+q,p+2q)
★ w=a3 a8 a1*a2* has length p+q+2, position (2p+q+1,p+2q+1)
![Page 171: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/171.jpg)
CHESS KNIGHTS AND RATIONAL COMPETITION
➤ The patterns can be treated as functions ℕ2→ℤ2 or as affine functions to position and length.
★ v=a1* a2* has length p+q, position (2p+q,p+2q)
★ w=a3 a8 a1*a2* has length p+q+2, position (2p+q+1,p+2q+1)
★ x=a32 a82 a1*a2* has length p+q+4, position (2p+q+2,p+2q+2)
![Page 172: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/172.jpg)
CHESS KNIGHTS AND RATIONAL COMPETITION
➤ The patterns can be treated as functions ℕ2→ℤ2 or as affine functions to position and length.
★ v=a1* a2* has length p+q, position (2p+q,p+2q)
★ w=a3 a8 a1*a2* has length p+q+2, position (2p+q+1,p+2q+1)
★ x=a32 a82 a1*a2* has length p+q+4, position (2p+q+2,p+2q+2)
➤ When does each one “win” to express a point (a,b)? Depends on congruence class of a+b (mod 3).
![Page 173: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/173.jpg)
CHESS KNIGHTS AND RATIONAL COMPETITION
➤ The patterns can be treated as functions ℕ2→ℤ2 or as affine functions to position and length.
★ v=a1* a2* has length p+q, position (2p+q,p+2q)
★ w=a3 a8 a1*a2* has length p+q+2, position (2p+q+1,p+2q+1)
★ x=a32 a82 a1*a2* has length p+q+4, position (2p+q+2,p+2q+2)
➤ When does each one “win” to express a point (a,b)? Depends on congruence class of a+b (mod 3).
➤ Let Gw(n)={(a,b): w is smallest-indexed pattern to reach (a,b) in length n; no pattern reaches (a,b) in length <n}
![Page 174: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/174.jpg)
CHESS KNIGHTS AND RATIONAL COMPETITION
➤ The patterns can be treated as functions ℕ2→ℤ2 or as affine functions to position and length.
★ v=a1* a2* has length p+q, position (2p+q,p+2q)
★ w=a3 a8 a1*a2* has length p+q+2, position (2p+q+1,p+2q+1)
★ x=a32 a82 a1*a2* has length p+q+4, position (2p+q+2,p+2q+2)
➤ When does each one “win” to express a point (a,b)? Depends on congruence class of a+b (mod 3).
➤ Let Gw(n)={(a,b): w is smallest-indexed pattern to reach (a,b) in length n; no pattern reaches (a,b) in length <n}
➤ Here, Gw(n)={(n-1,2n-3),…,(2n-3,n-1)} for n≥2.
![Page 175: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/175.jpg)
MAJOR TOOL: COUNTING IN POLYHEDRA
➤ Let an elementary family {E(n)} in ℤd be defined by finitely many equalities, inequalities, and congruences as below, where the b are affine in n.
➤ A bounded polyhedral family {P(n)} is a finite union of finite intersections of these in which each P(n) is bounded.
➤ Theorem (Benson): if f: ℤd→ℤ is polynomial and {P(n)} is a bounded polyhedral family, then
is a rational function.
x+y=3n+1; x, y, y-x/2, 2x-y all ≥0
Gw(n) from chess example:
![Page 176: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/176.jpg)
APPLICATION: HEISENBERG LATTICE COUNTING
Theorem (D-Mooney 2014): For any Heisenberg generators, the number of lattice points in CC balls is quasipolynomial.
![Page 177: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/177.jpg)
APPLICATION: HEISENBERG LATTICE COUNTING
Theorem (D-Mooney 2014): For any Heisenberg generators, the number of lattice points in CC balls is quasipolynomial.
![Page 178: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/178.jpg)
APPLICATION: HEISENBERG LATTICE COUNTING
Theorem (D-Mooney 2014): For any Heisenberg generators, the number of lattice points in CC balls is quasipolynomial.
How to see this: Let the height of the sphere over a point in xy plane be f(a,b); this is a quadratic polynomial on each quadrilateral region R of the footprint. Then the lattice point count in ẟnℬ is given by
![Page 179: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/179.jpg)
APPLICATION: HEISENBERG LATTICE COUNTING
Theorem (D-Mooney 2014): For any Heisenberg generators, the number of lattice points in CC balls is quasipolynomial.
How to see this: Let the height of the sphere over a point in xy plane be f(a,b); this is a quadratic polynomial on each quadrilateral region R of the footprint. Then the lattice point count in ẟnℬ is given by
F(x)= ∑ ∑ ∑ n2 f(a/n,b/n) xn
(a,b)∈ nRn R
![Page 180: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/180.jpg)
APPLICATION: CHESS-KNIGHT RATIONALITY
![Page 181: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/181.jpg)
➤ Recall that Gw(n) is the set of (a,b) where w is the winning pattern expressing (a,b) geodesically at length n.
APPLICATION: CHESS-KNIGHT RATIONALITY
![Page 182: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/182.jpg)
➤ Recall that Gw(n) is the set of (a,b) where w is the winning pattern expressing (a,b) geodesically at length n.★ e.g., for w=a3 a8 a1*a2* , we had Gw(n)={(n-1,2n-3),…,(2n-3,n-1)}, n≥2.
APPLICATION: CHESS-KNIGHT RATIONALITY
![Page 183: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/183.jpg)
➤ Recall that Gw(n) is the set of (a,b) where w is the winning pattern expressing (a,b) geodesically at length n.★ e.g., for w=a3 a8 a1*a2* , we had Gw(n)={(n-1,2n-3),…,(2n-3,n-1)}, n≥2.
➤ Then the sum over w of |Gw(n)| will equal 𝜎n, because it adds up the total number of positions reached geodesically at length n. Equivalently, we sum 1 over Gw(n).
APPLICATION: CHESS-KNIGHT RATIONALITY
![Page 184: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/184.jpg)
➤ Recall that Gw(n) is the set of (a,b) where w is the winning pattern expressing (a,b) geodesically at length n.★ e.g., for w=a3 a8 a1*a2* , we had Gw(n)={(n-1,2n-3),…,(2n-3,n-1)}, n≥2.
➤ Then the sum over w of |Gw(n)| will equal 𝜎n, because it adds up the total number of positions reached geodesically at length n. Equivalently, we sum 1 over Gw(n).
APPLICATION: CHESS-KNIGHT RATIONALITY
𝕊(x)=∑ 𝜎n xn = ∑ ∑ ∑ xn
Gw(n)n n w
![Page 185: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/185.jpg)
LEMMAS FOR HEISENBERG CASE
![Page 186: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/186.jpg)
LEMMAS FOR HEISENBERG CASE
➤ Balancing Lemma: Busemann’s polygon is isoperimetrically optimal, and area falls off quadratically when you unbalance the sidelengths.
![Page 187: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/187.jpg)
LEMMAS FOR HEISENBERG CASE
➤ Balancing Lemma: Busemann’s polygon is isoperimetrically optimal, and area falls off quadratically when you unbalance the sidelengths.
➤ Shape Lemma: every group element in the “roof” can be geodesically represented by something that fellow-travels an area-grabber CC geodesic.
![Page 188: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/188.jpg)
LEMMAS FOR HEISENBERG CASE
➤ Balancing Lemma: Busemann’s polygon is isoperimetrically optimal, and area falls off quadratically when you unbalance the sidelengths.
➤ Shape Lemma: every group element in the “roof” can be geodesically represented by something that fellow-travels an area-grabber CC geodesic.
➤ Pattern Lemma: every group element in the “walls” can be geodesically represented by something that fellow-travels a beeline CC geodesic.
![Page 189: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/189.jpg)
LEMMAS FOR HEISENBERG CASE
➤ Balancing Lemma: Busemann’s polygon is isoperimetrically optimal, and area falls off quadratically when you unbalance the sidelengths.
➤ Shape Lemma: every group element in the “roof” can be geodesically represented by something that fellow-travels an area-grabber CC geodesic.
➤ Pattern Lemma: every group element in the “walls” can be geodesically represented by something that fellow-travels a beeline CC geodesic.
➤ Competition Lemma: a winning shape or pattern for each (a,b) position is determined by finitely many linear equalities, inequalities, and congruences.
![Page 190: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/190.jpg)
SUBTLETIES
![Page 191: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/191.jpg)
SUBTLETIES
![Page 192: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/192.jpg)
SUBTLETIES
➤ There exist word geodesics that don’t fellow-travel any CC geodesic! But every group element is represented by some word geodesic that does. We prove this algorithmically, by starting with an arbitrary word geodesic and “balancing” it at the same total length.
![Page 193: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/193.jpg)
SUBTLETIES
➤ There exist word geodesics that don’t fellow-travel any CC geodesic! But every group element is represented by some word geodesic that does. We prove this algorithmically, by starting with an arbitrary word geodesic and “balancing” it at the same total length.
![Page 194: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/194.jpg)
SUBTLETIES
➤ There exist word geodesics that don’t fellow-travel any CC geodesic! But every group element is represented by some word geodesic that does. We prove this algorithmically, by starting with an arbitrary word geodesic and “balancing” it at the same total length.
➤ The length and (a,b) position of a shape are affine functions of the inputs, but the height (c coordinate) is quadratic.
![Page 195: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/195.jpg)
SUBTLETIES
➤ There exist word geodesics that don’t fellow-travel any CC geodesic! But every group element is represented by some word geodesic that does. We prove this algorithmically, by starting with an arbitrary word geodesic and “balancing” it at the same total length.
➤ The length and (a,b) position of a shape are affine functions of the inputs, but the height (c coordinate) is quadratic.
➤ This is a big problem for writing down which group elements are represented by a shape: the rational competition doesn’t allow you to check a quadratic equation. Cute idea to get around this: when two shapes compete, the difference in their heights is a linear polynomial, so you ascertain that they reach the same height by checking linear=0.
![Page 196: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/196.jpg)
ASSEMBLING THE INGREDIENTS
![Page 197: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/197.jpg)
ASSEMBLING THE INGREDIENTS
shapes
![Page 198: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/198.jpg)
ASSEMBLING THE INGREDIENTS
shapes length
![Page 199: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/199.jpg)
ASSEMBLING THE INGREDIENTS
shapes slack in the length
length
![Page 200: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/200.jpg)
ASSEMBLING THE INGREDIENTS
shapes slack in the length
length positions (a,b) at which shape wins
![Page 201: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/201.jpg)
ASSEMBLING THE INGREDIENTS
shapes slack in the length
length positions (a,b) at which shape wins
![Page 202: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/202.jpg)
ASSEMBLING THE INGREDIENTS
shapes slack in the length
length
patterns
positions (a,b) at which shape wins
![Page 203: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/203.jpg)
ASSEMBLING THE INGREDIENTS
shapes slack in the length
length
patterns
positions (a,b) at which shape wins
length
![Page 204: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/204.jpg)
ASSEMBLING THE INGREDIENTS
shapes slack in the length
length
patterns
positions (a,b) at which shape wins
slacklength
![Page 205: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/205.jpg)
ASSEMBLING THE INGREDIENTS
shapes slack in the length
length
patterns
positions (a,b) at which shape wins
slacklength positions (a,b)
![Page 206: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/206.jpg)
ASSEMBLING THE INGREDIENTS
shapes slack in the length
length
patterns
positions (a,b) at which shape wins
slacklength positions (a,b)
quadratically many c reached winningly
![Page 207: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/207.jpg)
ASSEMBLING THE INGREDIENTS
…et voilà.
shapes slack in the length
length
patterns
positions (a,b) at which shape wins
slacklength positions (a,b)
quadratically many c reached winningly
![Page 208: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/208.jpg)
GEOMETRY OF WORDS
Moon Duchin
![Page 209: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/209.jpg)
ALMOST-CONVEXITY
![Page 210: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/210.jpg)
ALMOST-CONVEXITY
➤ Can define almost-convexity, a condition that lets you efficiently build out a Cayley graph.
![Page 211: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/211.jpg)
ALMOST-CONVEXITY
➤ Can define almost-convexity, a condition that lets you efficiently build out a Cayley graph.
➤ AC(2): ∃N s.t. for any pair of points on the sphere of distance ≤2, they are connected inside the ball by a path of length ≤N.
![Page 212: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/212.jpg)
ALMOST-CONVEXITY
➤ Can define almost-convexity, a condition that lets you efficiently build out a Cayley graph.
➤ AC(2): ∃N s.t. for any pair of points on the sphere of distance ≤2, they are connected inside the ball by a path of length ≤N.
![Page 213: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/213.jpg)
ALMOST-CONVEXITY
➤ Can define almost-convexity, a condition that lets you efficiently build out a Cayley graph.
➤ AC(2): ∃N s.t. for any pair of points on the sphere of distance ≤2, they are connected inside the ball by a path of length ≤N.
➤ TRUE for Heisenberg: first prove for polygonal CC metrics, then use bounded difference of word and CC.
![Page 214: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/214.jpg)
ALMOST-CONVEXITY
➤ Can define almost-convexity, a condition that lets you efficiently build out a Cayley graph.
➤ AC(2): ∃N s.t. for any pair of points on the sphere of distance ≤2, they are connected inside the ball by a path of length ≤N.
➤ TRUE for Heisenberg: first prove for polygonal CC metrics, then use bounded difference of word and CC.
![Page 215: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/215.jpg)
SPRAWL
![Page 216: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/216.jpg)
SPRAWL
➤ What is the average distance between two points on a sphere?
![Page 217: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/217.jpg)
SPRAWL
➤ What is the average distance between two points on a sphere?
➤ Let E(X)=lim 1/n avg d(x,y). Note E≤2 by triangle inequality.
![Page 218: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/218.jpg)
SPRAWL
➤ What is the average distance between two points on a sphere?
➤ Let E(X)=lim 1/n avg d(x,y). Note E≤2 by triangle inequality.x,y ∈ Snn
![Page 219: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/219.jpg)
SPRAWL
➤ What is the average distance between two points on a sphere?
➤ Let E(X)=lim 1/n avg d(x,y). Note E≤2 by triangle inequality.
➤ Theorem (D-Lelièvre-Mooney): If X is a non-elementary hyperbolic group with any genset, then E=2.
x,y ∈ Snn
![Page 220: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/220.jpg)
SPRAWL
➤ What is the average distance between two points on a sphere?
➤ Let E(X)=lim 1/n avg d(x,y). Note E≤2 by triangle inequality.
➤ Theorem (D-Lelièvre-Mooney): If X is a non-elementary hyperbolic group with any genset, then E=2.
➤ We get: all nilpotent groups have E<2. Proof: CC sphere carries a limit measure that is absolutely continuous with Lebesgue, so there are positive-measure patches with d(x,y) bounded away from 2n.
x,y ∈ Snn
![Page 221: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/221.jpg)
ASYMPTOTIC DENSITY
![Page 222: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/222.jpg)
ASYMPTOTIC DENSITY
➤ How likely is some behavior in H, or what are statistical invariants? If you can describe it geometrically, just integrate over CC ball.
![Page 223: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/223.jpg)
ASYMPTOTIC DENSITY
➤ How likely is some behavior in H, or what are statistical invariants? If you can describe it geometrically, just integrate over CC ball.
➤ Example: geodesic stability, subgroup distortion, …
![Page 224: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/224.jpg)
ASYMPTOTIC DENSITY
➤ How likely is some behavior in H, or what are statistical invariants? If you can describe it geometrically, just integrate over CC ball.
➤ Example: geodesic stability, subgroup distortion, …
![Page 225: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/225.jpg)
DEAD ENDS
![Page 226: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/226.jpg)
DEAD ENDS
➤ Dead end depth: distance from g to nearest longer g’.
![Page 227: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/227.jpg)
DEAD ENDS
➤ Dead end depth: distance from g to nearest longer g’.
➤ Hyperbolic groups, Euclidean groups, and groups with more than one end all have bounded dead end depth. But lamplighter groups have “deep pockets.” This property can depend on genset.
![Page 228: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/228.jpg)
DEAD ENDS
➤ Dead end depth: distance from g to nearest longer g’.
➤ Hyperbolic groups, Euclidean groups, and groups with more than one end all have bounded dead end depth. But lamplighter groups have “deep pockets.” This property can depend on genset.
➤ Retreat depth: how large must d be for g to be in an unbounded component of the complement of Bn-d?
![Page 229: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/229.jpg)
DEAD ENDS
➤ Dead end depth: distance from g to nearest longer g’.
➤ Hyperbolic groups, Euclidean groups, and groups with more than one end all have bounded dead end depth. But lamplighter groups have “deep pockets.” This property can depend on genset.
➤ Retreat depth: how large must d be for g to be in an unbounded component of the complement of Bn-d?
➤ Lamplighters also have unbounded retreat depth.
![Page 230: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/230.jpg)
DEAD ENDS
➤ Dead end depth: distance from g to nearest longer g’.
➤ Hyperbolic groups, Euclidean groups, and groups with more than one end all have bounded dead end depth. But lamplighter groups have “deep pockets.” This property can depend on genset.
➤ Retreat depth: how large must d be for g to be in an unbounded component of the complement of Bn-d?
➤ Lamplighters also have unbounded retreat depth.
➤ Theorem (Warshall): H has unbounded dead ends but bounded retreat depth in any genset.
![Page 231: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/231.jpg)
DEAD ENDS
➤ Dead end depth: distance from g to nearest longer g’.
➤ Hyperbolic groups, Euclidean groups, and groups with more than one end all have bounded dead end depth. But lamplighter groups have “deep pockets.” This property can depend on genset.
➤ Retreat depth: how large must d be for g to be in an unbounded component of the complement of Bn-d?
➤ Lamplighters also have unbounded retreat depth.
➤ Theorem (Warshall): H has unbounded dead ends but bounded retreat depth in any genset.
➤ (But 25 pages of combinatorics can be replaced with a quick hit of CC geometry.)
![Page 232: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/232.jpg)
EQUATION-SOLVING IN GROUPS
![Page 233: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/233.jpg)
EQUATION-SOLVING IN GROUPS
➤ The equation problem: is there an algorithm that can decide whether solutions exist in a group to an equation given in constants and variables? A system of equations? A system of equations and inequations?
![Page 234: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/234.jpg)
EQUATION-SOLVING IN GROUPS
➤ The equation problem: is there an algorithm that can decide whether solutions exist in a group to an equation given in constants and variables? A system of equations? A system of equations and inequations?
➤ Theorem (D-Liang-Shapiro):
![Page 235: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/235.jpg)
EQUATION-SOLVING IN GROUPS
➤ The equation problem: is there an algorithm that can decide whether solutions exist in a group to an equation given in constants and variables? A system of equations? A system of equations and inequations?
➤ Theorem (D-Liang-Shapiro):
★ Single equations are decidable in H=N2,2.
![Page 236: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/236.jpg)
EQUATION-SOLVING IN GROUPS
➤ The equation problem: is there an algorithm that can decide whether solutions exist in a group to an equation given in constants and variables? A system of equations? A system of equations and inequations?
➤ Theorem (D-Liang-Shapiro):
★ Single equations are decidable in H=N2,2.
★ Systems of equations are undecidable in H and all Ns,m , s≥2.
![Page 237: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/237.jpg)
EQUATION-SOLVING IN GROUPS
➤ The equation problem: is there an algorithm that can decide whether solutions exist in a group to an equation given in constants and variables? A system of equations? A system of equations and inequations?
➤ Theorem (D-Liang-Shapiro):
★ Single equations are decidable in H=N2,2.
★ Systems of equations are undecidable in H and all Ns,m , s≥2.
➤ Proof: use Mal’cev coordinates to reduce solvability to solving a quadratic equation over a lattice. OTOH, show that systems can encode arbitrary polynomials and quote Hilbert’s 10th problem!
![Page 238: INTRODUCTION TO NILPOTENT GROUPS · The unitriangular groups UT N(ℤ) are nilpotent because addition is additive on the first nonzero superdiagonal, so taking nested commutators](https://reader033.fdocuments.net/reader033/viewer/2022051811/601c601d39bc69762269d355/html5/thumbnails/238.jpg)
MERCI