a length function for weyl groups of extended affine root systems
TRANSCRIPT
![Page 1: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/1.jpg)
A Length Function for Weyl Groups of ExtendedAffine Root Systems of Type A1
Mohammad Nikouei
Department of MathematicsUniversity of Isfahan
September 6-8, 2012Upssala University, Upssala, Sweden
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 1 / 15
![Page 2: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/2.jpg)
Outline
1 IntroductionAffine Reflection SystemsWeyl Group
2 Length FunctionGeometric Structure of Root SystemCalculation of Length Function
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 2 / 15
![Page 3: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/3.jpg)
Introduction Affine Reflection Systems
Definition
A an abelian group.(., .) : A× A −→ Q a bi-homomorphism of A (called form).(., .) symmetric & positive semi-definite.A0 := Rad(., .) := {α ∈ A | (α, α) = 0}.
Affine Reflection System (or ARS for short)I R ⊆ A, R0 = R ∩ A0 and R× = R \ R0,I R = −R,I 〈R〉 = A,I ∀α ∈ R×, β ∈ R, ∃u, d ∈ Z,
(β + Zα) ∩ R = {β − dα, . . . , β + uα}
d − u = (β, α∨).
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 3 / 15
![Page 4: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/4.jpg)
Introduction Affine Reflection Systems
Definition
A an abelian group.(., .) : A× A −→ Q a bi-homomorphism of A (called form).(., .) symmetric & positive semi-definite.A0 := Rad(., .) := {α ∈ A | (α, α) = 0}.
Affine Reflection System (or ARS for short)I R ⊆ A, R0 = R ∩ A0 and R× = R \ R0,I R = −R,I 〈R〉 = A,I ∀α ∈ R×, β ∈ R, ∃u, d ∈ Z,
(β + Zα) ∩ R = {β − dα, . . . , β + uα}
d − u = (β, α∨).
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 3 / 15
![Page 5: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/5.jpg)
Introduction Affine Reflection Systems
Definition
A an abelian group.(., .) : A× A −→ Q a bi-homomorphism of A (called form).(., .) symmetric & positive semi-definite.A0 := Rad(., .) := {α ∈ A | (α, α) = 0}.
Affine Reflection System (or ARS for short)I R ⊆ A, R0 = R ∩ A0 and R× = R \ R0,I R = −R,I 〈R〉 = A,I ∀α ∈ R×, β ∈ R, ∃u, d ∈ Z,
(β + Zα) ∩ R = {β − dα, . . . , β + uα}
d − u = (β, α∨).
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 3 / 15
![Page 6: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/6.jpg)
Introduction Affine Reflection Systems
Definition
A an abelian group.(., .) : A× A −→ Q a bi-homomorphism of A (called form).(., .) symmetric & positive semi-definite.A0 := Rad(., .) := {α ∈ A | (α, α) = 0}.
Affine Reflection System (or ARS for short)I R ⊆ A, R0 = R ∩ A0 and R× = R \ R0,I R = −R,I 〈R〉 = A,I ∀α ∈ R×, β ∈ R, ∃u, d ∈ Z,
(β + Zα) ∩ R = {β − dα, . . . , β + uα}
d − u = (β, α∨).
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 3 / 15
![Page 7: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/7.jpg)
Introduction Affine Reflection Systems
Definition
A an abelian group.(., .) : A× A −→ Q a bi-homomorphism of A (called form).(., .) symmetric & positive semi-definite.A0 := Rad(., .) := {α ∈ A | (α, α) = 0}.
Affine Reflection System (or ARS for short)I R ⊆ A, R0 = R ∩ A0 and R× = R \ R0,I R = −R,I 〈R〉 = A,I ∀α ∈ R×, β ∈ R, ∃u, d ∈ Z,
(β + Zα) ∩ R = {β − dα, . . . , β + uα}
d − u = (β, α∨).
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 3 / 15
![Page 8: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/8.jpg)
Introduction Affine Reflection Systems
Tame Irreducible Affine Reflection System
R is Irreducible, if R× is connected.R is Tame, if R0 ⊆ R× − R×.R is reduced, if α ∈ R× ⇒ 2α 6∈ R×.
R is locally finite root system, if A0 = {0}.Type of R is type of locally finite root system R ⊆ A := A/A0.R is called an extended affine root system (EARS for short), if A isa free abelian group. Rank of A0 is called the nullity of R andshown by ν.
Examples:Finite and affine Kac-Moody Root systems.Locally finite root systems.Locally extended affine root systems.Root systems extended by abelian groups.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 4 / 15
![Page 9: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/9.jpg)
Introduction Affine Reflection Systems
Tame Irreducible Affine Reflection System
R is Irreducible, if R× is connected.R is Tame, if R0 ⊆ R× − R×.R is reduced, if α ∈ R× ⇒ 2α 6∈ R×.
R is locally finite root system, if A0 = {0}.Type of R is type of locally finite root system R ⊆ A := A/A0.R is called an extended affine root system (EARS for short), if A isa free abelian group. Rank of A0 is called the nullity of R andshown by ν.
Examples:Finite and affine Kac-Moody Root systems.Locally finite root systems.Locally extended affine root systems.Root systems extended by abelian groups.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 4 / 15
![Page 10: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/10.jpg)
Introduction Affine Reflection Systems
Tame Irreducible Affine Reflection System
R is Irreducible, if R× is connected.R is Tame, if R0 ⊆ R× − R×.R is reduced, if α ∈ R× ⇒ 2α 6∈ R×.
R is locally finite root system, if A0 = {0}.Type of R is type of locally finite root system R ⊆ A := A/A0.R is called an extended affine root system (EARS for short), if A isa free abelian group. Rank of A0 is called the nullity of R andshown by ν.
Examples:Finite and affine Kac-Moody Root systems.Locally finite root systems.Locally extended affine root systems.Root systems extended by abelian groups.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 4 / 15
![Page 11: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/11.jpg)
Introduction Affine Reflection Systems
Tame Irreducible Affine Reflection System
R is Irreducible, if R× is connected.R is Tame, if R0 ⊆ R× − R×.R is reduced, if α ∈ R× ⇒ 2α 6∈ R×.
R is locally finite root system, if A0 = {0}.Type of R is type of locally finite root system R ⊆ A := A/A0.R is called an extended affine root system (EARS for short), if A isa free abelian group. Rank of A0 is called the nullity of R andshown by ν.
Examples:Finite and affine Kac-Moody Root systems.Locally finite root systems.Locally extended affine root systems.Root systems extended by abelian groups.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 4 / 15
![Page 12: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/12.jpg)
Introduction Affine Reflection Systems
Tame Irreducible Affine Reflection System
R is Irreducible, if R× is connected.R is Tame, if R0 ⊆ R× − R×.R is reduced, if α ∈ R× ⇒ 2α 6∈ R×.
R is locally finite root system, if A0 = {0}.Type of R is type of locally finite root system R ⊆ A := A/A0.R is called an extended affine root system (EARS for short), if A isa free abelian group. Rank of A0 is called the nullity of R andshown by ν.
Examples:Finite and affine Kac-Moody Root systems.Locally finite root systems.Locally extended affine root systems.Root systems extended by abelian groups.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 4 / 15
![Page 13: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/13.jpg)
Introduction Affine Reflection Systems
Tame Irreducible Affine Reflection System
R is Irreducible, if R× is connected.R is Tame, if R0 ⊆ R× − R×.R is reduced, if α ∈ R× ⇒ 2α 6∈ R×.
R is locally finite root system, if A0 = {0}.Type of R is type of locally finite root system R ⊆ A := A/A0.R is called an extended affine root system (EARS for short), if A isa free abelian group. Rank of A0 is called the nullity of R andshown by ν.
Examples:Finite and affine Kac-Moody Root systems.Locally finite root systems.Locally extended affine root systems.Root systems extended by abelian groups.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 4 / 15
![Page 14: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/14.jpg)
Introduction Affine Reflection Systems
Tame Irreducible Affine Reflection System
R is Irreducible, if R× is connected.R is Tame, if R0 ⊆ R× − R×.R is reduced, if α ∈ R× ⇒ 2α 6∈ R×.
R is locally finite root system, if A0 = {0}.Type of R is type of locally finite root system R ⊆ A := A/A0.R is called an extended affine root system (EARS for short), if A isa free abelian group. Rank of A0 is called the nullity of R andshown by ν.
Examples:Finite and affine Kac-Moody Root systems.Locally finite root systems.Locally extended affine root systems.Root systems extended by abelian groups.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 4 / 15
![Page 15: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/15.jpg)
Introduction Affine Reflection Systems
Structure of Tame Irreducible ARS of Type A1
R is a fixed affine reflection system of type A1.
R = (S + S) ∪ (R + S)
where R = {0,±ε} and S ⊆ A0 such that
0 ∈ S, S± 2S ⊆ S and 〈S〉 = A0
R = A0 ∪ (R + A0) is called toroidal root system.
A = A⊕ A0, where A := 〈R〉
sgn : A −→ Z and p : A −→ A0
α = sgn(α)ε+ p(α), ∀α ∈ R
(β, α) = 2sgn(α)sgn(β)
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 5 / 15
![Page 16: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/16.jpg)
Introduction Affine Reflection Systems
Structure of Tame Irreducible ARS of Type A1
R is a fixed affine reflection system of type A1.
R = (S + S) ∪ (R + S)
where R = {0,±ε} and S ⊆ A0 such that
0 ∈ S, S± 2S ⊆ S and 〈S〉 = A0
R = A0 ∪ (R + A0) is called toroidal root system.
A = A⊕ A0, where A := 〈R〉
sgn : A −→ Z and p : A −→ A0
α = sgn(α)ε+ p(α), ∀α ∈ R
(β, α) = 2sgn(α)sgn(β)
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 5 / 15
![Page 17: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/17.jpg)
Introduction Affine Reflection Systems
Structure of Tame Irreducible ARS of Type A1
R is a fixed affine reflection system of type A1.
R = (S + S) ∪ (R + S)
where R = {0,±ε} and S ⊆ A0 such that
0 ∈ S, S± 2S ⊆ S and 〈S〉 = A0
R = A0 ∪ (R + A0) is called toroidal root system.
A = A⊕ A0, where A := 〈R〉
sgn : A −→ Z and p : A −→ A0
α = sgn(α)ε+ p(α), ∀α ∈ R
(β, α) = 2sgn(α)sgn(β)
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 5 / 15
![Page 18: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/18.jpg)
Introduction Affine Reflection Systems
Structure of Tame Irreducible ARS of Type A1
R is a fixed affine reflection system of type A1.
R = (S + S) ∪ (R + S)
where R = {0,±ε} and S ⊆ A0 such that
0 ∈ S, S± 2S ⊆ S and 〈S〉 = A0
R = A0 ∪ (R + A0) is called toroidal root system.
A = A⊕ A0, where A := 〈R〉
sgn : A −→ Z and p : A −→ A0
α = sgn(α)ε+ p(α), ∀α ∈ R
(β, α) = 2sgn(α)sgn(β)
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 5 / 15
![Page 19: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/19.jpg)
Introduction Affine Reflection Systems
Structure of Tame Irreducible ARS of Type A1
R is a fixed affine reflection system of type A1.
R = (S + S) ∪ (R + S)
where R = {0,±ε} and S ⊆ A0 such that
0 ∈ S, S± 2S ⊆ S and 〈S〉 = A0
R = A0 ∪ (R + A0) is called toroidal root system.
A = A⊕ A0, where A := 〈R〉
sgn : A −→ Z and p : A −→ A0
α = sgn(α)ε+ p(α), ∀α ∈ R
(β, α) = 2sgn(α)sgn(β)
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 5 / 15
![Page 20: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/20.jpg)
Introduction Weyl Group
Reflections
(β, α∨) := 2(β, α)
(α, α), α ∈ R×
(β, α∨) := 0, α ∈ R0
(β, α∨) = (β, α) = 2sgn(α)sgn(β)
wα ∈ Aut(A), α ∈ R
wα(β) = β − (β, α∨)α
= −sgn(β)ε+ p(β)− 2sgn(α)sgn(β)p(α)
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 6 / 15
![Page 21: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/21.jpg)
Introduction Weyl Group
Reflections
(β, α∨) := 2(β, α)
(α, α), α ∈ R×
(β, α∨) := 0, α ∈ R0
(β, α∨) = (β, α) = 2sgn(α)sgn(β)
wα ∈ Aut(A), α ∈ R
wα(β) = β − (β, α∨)α
= −sgn(β)ε+ p(β)− 2sgn(α)sgn(β)p(α)
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 6 / 15
![Page 22: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/22.jpg)
Introduction Weyl Group
Reflections
(β, α∨) := 2(β, α)
(α, α), α ∈ R×
(β, α∨) := 0, α ∈ R0
(β, α∨) = (β, α) = 2sgn(α)sgn(β)
wα ∈ Aut(A), α ∈ R
wα(β) = β − (β, α∨)α
= −sgn(β)ε+ p(β)− 2sgn(α)sgn(β)p(α)
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 6 / 15
![Page 23: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/23.jpg)
Introduction Weyl Group
Weyl Group of R
DefinitionW := 〈wα | α ∈ R〉 is called the Weyl group of R.
For w = wα1 · · ·wαn ∈ W, define
ε(w) = (−1)n and T(w) = ε(w)
n∑i=1
(−1)isgn(αi)p(αi).
ε :W −→ {−1, 1} is a homomorphism. SetW0 := Kerε.T :W −→ A0 is a map and T(w1w2) = ε(w2)T(w1) + T(w2).w(α) = ε(w)sgn(α)α+ p(α)− 2sgn(α)T(w) andW0 ∼= A0 with T|W0 .
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 7 / 15
![Page 24: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/24.jpg)
Introduction Weyl Group
Weyl Group of R
DefinitionW := 〈wα | α ∈ R〉 is called the Weyl group of R.
For w = wα1 · · ·wαn ∈ W, define
ε(w) = (−1)n and T(w) = ε(w)
n∑i=1
(−1)isgn(αi)p(αi).
ε :W −→ {−1, 1} is a homomorphism. SetW0 := Kerε.T :W −→ A0 is a map and T(w1w2) = ε(w2)T(w1) + T(w2).w(α) = ε(w)sgn(α)α+ p(α)− 2sgn(α)T(w) andW0 ∼= A0 with T|W0 .
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 7 / 15
![Page 25: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/25.jpg)
Introduction Weyl Group
Weyl Group of R
DefinitionW := 〈wα | α ∈ R〉 is called the Weyl group of R.
For w = wα1 · · ·wαn ∈ W, define
ε(w) = (−1)n and T(w) = ε(w)
n∑i=1
(−1)isgn(αi)p(αi).
ε :W −→ {−1, 1} is a homomorphism. SetW0 := Kerε.T :W −→ A0 is a map and T(w1w2) = ε(w2)T(w1) + T(w2).w(α) = ε(w)sgn(α)α+ p(α)− 2sgn(α)T(w) andW0 ∼= A0 with T|W0 .
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 7 / 15
![Page 26: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/26.jpg)
Introduction Weyl Group
Weyl Group of R
DefinitionW := 〈wα | α ∈ R〉 is called the Weyl group of R.
For w = wα1 · · ·wαn ∈ W, define
ε(w) = (−1)n and T(w) = ε(w)
n∑i=1
(−1)isgn(αi)p(αi).
ε :W −→ {−1, 1} is a homomorphism. SetW0 := Kerε.T :W −→ A0 is a map and T(w1w2) = ε(w2)T(w1) + T(w2).w(α) = ε(w)sgn(α)α+ p(α)− 2sgn(α)T(w) andW0 ∼= A0 with T|W0 .
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 7 / 15
![Page 27: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/27.jpg)
Introduction Weyl Group
Weyl Group of R
DefinitionW := 〈wα | α ∈ R〉 is called the Weyl group of R.
For w = wα1 · · ·wαn ∈ W, define
ε(w) = (−1)n and T(w) = ε(w)
n∑i=1
(−1)isgn(αi)p(αi).
ε :W −→ {−1, 1} is a homomorphism. SetW0 := Kerε.T :W −→ A0 is a map and T(w1w2) = ε(w2)T(w1) + T(w2).w(α) = ε(w)sgn(α)α+ p(α)− 2sgn(α)T(w) andW0 ∼= A0 with T|W0 .
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 7 / 15
![Page 28: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/28.jpg)
Introduction Weyl Group
Structure of the Weyl Group
TheoremWR =WR, for any ARS R in A.
TheoremEach element w inW has a unique expression in the form
w = wδε(w),1ε wε+T(w),
where δ is the Kronecker delta. In particular, if W := 〈wε〉 is the finite Weylgroup of type A1, we have
W = W nW0 ∼= W n A0.
W =W0 ∪W1, whereW1 = {wα | α = ε+ σ, σ ∈ R0}.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 8 / 15
![Page 29: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/29.jpg)
Introduction Weyl Group
Structure of the Weyl Group
TheoremWR =WR, for any ARS R in A.
TheoremEach element w inW has a unique expression in the form
w = wδε(w),1ε wε+T(w),
where δ is the Kronecker delta. In particular, if W := 〈wε〉 is the finite Weylgroup of type A1, we have
W = W nW0 ∼= W n A0.
W =W0 ∪W1, whereW1 = {wα | α = ε+ σ, σ ∈ R0}.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 8 / 15
![Page 30: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/30.jpg)
Introduction Weyl Group
Structure of the Weyl Group
TheoremWR =WR, for any ARS R in A.
TheoremEach element w inW has a unique expression in the form
w = wδε(w),1ε wε+T(w),
where δ is the Kronecker delta. In particular, if W := 〈wε〉 is the finite Weylgroup of type A1, we have
W = W nW0 ∼= W n A0.
W =W0 ∪W1, whereW1 = {wα | α = ε+ σ, σ ∈ R0}.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 8 / 15
![Page 31: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/31.jpg)
Length Function Geometric Structure of Root System
Geometry of Root System
A is a free abelian group of finite rank ν.R is a fixed extended affine root system in A.B0 = {σ1, . . . , σν} is a Z-basis for A0.Let (·, ·)E : A0 × A0 −→ Z be a form on A0 defined by
(
ν∑i=1
miσi,
ν∑i=1
niσi)E :=
ν∑i=1
mini,
where mi, ni ∈ Z, for 1 ≤ i ≤ ν.If one considers the ν dimensional vector space V0 := R⊗Q A0 asan Euclidean space, then (·, ·)E is the restriction of the Euclideaninner product on V0 to A0.R = {kε+ σ | k ∈ {0,±1}, σ ∈ A0}.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 9 / 15
![Page 32: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/32.jpg)
Length Function Geometric Structure of Root System
Geometry of Root System
A is a free abelian group of finite rank ν.R is a fixed extended affine root system in A.B0 = {σ1, . . . , σν} is a Z-basis for A0.Let (·, ·)E : A0 × A0 −→ Z be a form on A0 defined by
(
ν∑i=1
miσi,
ν∑i=1
niσi)E :=
ν∑i=1
mini,
where mi, ni ∈ Z, for 1 ≤ i ≤ ν.If one considers the ν dimensional vector space V0 := R⊗Q A0 asan Euclidean space, then (·, ·)E is the restriction of the Euclideaninner product on V0 to A0.R = {kε+ σ | k ∈ {0,±1}, σ ∈ A0}.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 9 / 15
![Page 33: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/33.jpg)
Length Function Geometric Structure of Root System
Geometry of Root System
A is a free abelian group of finite rank ν.R is a fixed extended affine root system in A.B0 = {σ1, . . . , σν} is a Z-basis for A0.Let (·, ·)E : A0 × A0 −→ Z be a form on A0 defined by
(
ν∑i=1
miσi,
ν∑i=1
niσi)E :=
ν∑i=1
mini,
where mi, ni ∈ Z, for 1 ≤ i ≤ ν.If one considers the ν dimensional vector space V0 := R⊗Q A0 asan Euclidean space, then (·, ·)E is the restriction of the Euclideaninner product on V0 to A0.R = {kε+ σ | k ∈ {0,±1}, σ ∈ A0}.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 9 / 15
![Page 34: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/34.jpg)
Length Function Geometric Structure of Root System
Geometry of Root System
A is a free abelian group of finite rank ν.R is a fixed extended affine root system in A.B0 = {σ1, . . . , σν} is a Z-basis for A0.Let (·, ·)E : A0 × A0 −→ Z be a form on A0 defined by
(
ν∑i=1
miσi,
ν∑i=1
niσi)E :=
ν∑i=1
mini,
where mi, ni ∈ Z, for 1 ≤ i ≤ ν.If one considers the ν dimensional vector space V0 := R⊗Q A0 asan Euclidean space, then (·, ·)E is the restriction of the Euclideaninner product on V0 to A0.R = {kε+ σ | k ∈ {0,±1}, σ ∈ A0}.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 9 / 15
![Page 35: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/35.jpg)
Length Function Geometric Structure of Root System
Geometry of Root System
A is a free abelian group of finite rank ν.R is a fixed extended affine root system in A.B0 = {σ1, . . . , σν} is a Z-basis for A0.Let (·, ·)E : A0 × A0 −→ Z be a form on A0 defined by
(
ν∑i=1
miσi,
ν∑i=1
niσi)E :=
ν∑i=1
mini,
where mi, ni ∈ Z, for 1 ≤ i ≤ ν.If one considers the ν dimensional vector space V0 := R⊗Q A0 asan Euclidean space, then (·, ·)E is the restriction of the Euclideaninner product on V0 to A0.R = {kε+ σ | k ∈ {0,±1}, σ ∈ A0}.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 9 / 15
![Page 36: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/36.jpg)
Length Function Geometric Structure of Root System
Geometry of Root System
A is a free abelian group of finite rank ν.R is a fixed extended affine root system in A.B0 = {σ1, . . . , σν} is a Z-basis for A0.Let (·, ·)E : A0 × A0 −→ Z be a form on A0 defined by
(
ν∑i=1
miσi,
ν∑i=1
niσi)E :=
ν∑i=1
mini,
where mi, ni ∈ Z, for 1 ≤ i ≤ ν.If one considers the ν dimensional vector space V0 := R⊗Q A0 asan Euclidean space, then (·, ·)E is the restriction of the Euclideaninner product on V0 to A0.R = {kε+ σ | k ∈ {0,±1}, σ ∈ A0}.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 9 / 15
![Page 37: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/37.jpg)
Length Function Geometric Structure of Root System
Positive and Negative Roos
DefinitionLet α ∈ R \ {0}.(i) We call α positive, if
sgn(α) 6= −1 and (p(α),
ν∑i=1
σi)E ≥ 0
or
sgn(α) = −1 and (p(α),
ν∑i=1
σi)E > 0.
We denote the set of positive roots by R+.(ii) We call a non-zero root α negative, if α ∈ R \ R+. We denote the set ofnegative roots by R−.
We have R = R+ ∪ {0} ∪ R−.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 10 / 15
![Page 38: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/38.jpg)
Length Function Geometric Structure of Root System
Positive and Negative Roos
DefinitionLet α ∈ R \ {0}.(i) We call α positive, if
sgn(α) 6= −1 and (p(α),
ν∑i=1
σi)E ≥ 0
or
sgn(α) = −1 and (p(α),
ν∑i=1
σi)E > 0.
We denote the set of positive roots by R+.(ii) We call a non-zero root α negative, if α ∈ R \ R+. We denote the set ofnegative roots by R−.
We have R = R+ ∪ {0} ∪ R−.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 10 / 15
![Page 39: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/39.jpg)
Length Function Geometric Structure of Root System
Height Function
For σ =∑ν
i=1 miσi, let m+ :=∑ν
i=1mi>0
mi and m− :=∑ν
i=1mi<0
mi.
DefinitionFor α = kε+ σ ∈ R, we define
ht(α) :=
{k − htB0(σ), k = −1, m+ = |m−|,k + htB0(σ), otherwise,
where
htB0(σ) :=
{2m+, m+ ≥ |m−|,2m−, m+ < |m−|.
If α ∈ R is a nonzero root, then ht(α) 6= 0.
LemmaLet α ∈ R. We have α ∈ R+ (resp. α ∈ R−) if and only if ht(α) > 0 (reps.ht(α) < 0).
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 11 / 15
![Page 40: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/40.jpg)
Length Function Geometric Structure of Root System
Height Function
For σ =∑ν
i=1 miσi, let m+ :=∑ν
i=1mi>0
mi and m− :=∑ν
i=1mi<0
mi.
DefinitionFor α = kε+ σ ∈ R, we define
ht(α) :=
{k − htB0(σ), k = −1, m+ = |m−|,k + htB0(σ), otherwise,
where
htB0(σ) :=
{2m+, m+ ≥ |m−|,2m−, m+ < |m−|.
If α ∈ R is a nonzero root, then ht(α) 6= 0.
LemmaLet α ∈ R. We have α ∈ R+ (resp. α ∈ R−) if and only if ht(α) > 0 (reps.ht(α) < 0).
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 11 / 15
![Page 41: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/41.jpg)
Length Function Geometric Structure of Root System
Height Function
For σ =∑ν
i=1 miσi, let m+ :=∑ν
i=1mi>0
mi and m− :=∑ν
i=1mi<0
mi.
DefinitionFor α = kε+ σ ∈ R, we define
ht(α) :=
{k − htB0(σ), k = −1, m+ = |m−|,k + htB0(σ), otherwise,
where
htB0(σ) :=
{2m+, m+ ≥ |m−|,2m−, m+ < |m−|.
If α ∈ R is a nonzero root, then ht(α) 6= 0.
LemmaLet α ∈ R. We have α ∈ R+ (resp. α ∈ R−) if and only if ht(α) > 0 (reps.ht(α) < 0).
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 11 / 15
![Page 42: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/42.jpg)
Length Function Geometric Structure of Root System
Root Bases
We call 0 6= σ =∑ν
i=1 miσi ∈ Λ a strictly positive isotropic root, ifmi ≥ 0, for 1 ≤ i ≤ ν.
DefinitionConsider a Z-basis Π = {β0, . . . , βν} for A. We call Π a root base, if eachstrictly positive isotropic root σ can be written in the form σ =
∑νi=0 niβi,
where ni ≥ 0.
Π0 = {α0 := ε, α1 := −ε+ σ1, . . . , αν := −ε+ σν} is a root base for R.
Proposition
Let α =∑ν
i=0 niαi ∈ R. We have
|ht(α)| =ν∑
i=0
|ni|.
In particular∑ν
i=0 |ni| is odd, if α ∈ R× and∑ν
i=0 |ni| is even, if α ∈ R0.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 12 / 15
![Page 43: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/43.jpg)
Length Function Geometric Structure of Root System
Root Bases
We call 0 6= σ =∑ν
i=1 miσi ∈ Λ a strictly positive isotropic root, ifmi ≥ 0, for 1 ≤ i ≤ ν.
DefinitionConsider a Z-basis Π = {β0, . . . , βν} for A. We call Π a root base, if eachstrictly positive isotropic root σ can be written in the form σ =
∑νi=0 niβi,
where ni ≥ 0.
Π0 = {α0 := ε, α1 := −ε+ σ1, . . . , αν := −ε+ σν} is a root base for R.
Proposition
Let α =∑ν
i=0 niαi ∈ R. We have
|ht(α)| =ν∑
i=0
|ni|.
In particular∑ν
i=0 |ni| is odd, if α ∈ R× and∑ν
i=0 |ni| is even, if α ∈ R0.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 12 / 15
![Page 44: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/44.jpg)
Length Function Geometric Structure of Root System
Root Bases
We call 0 6= σ =∑ν
i=1 miσi ∈ Λ a strictly positive isotropic root, ifmi ≥ 0, for 1 ≤ i ≤ ν.
DefinitionConsider a Z-basis Π = {β0, . . . , βν} for A. We call Π a root base, if eachstrictly positive isotropic root σ can be written in the form σ =
∑νi=0 niβi,
where ni ≥ 0.
Π0 = {α0 := ε, α1 := −ε+ σ1, . . . , αν := −ε+ σν} is a root base for R.
Proposition
Let α =∑ν
i=0 niαi ∈ R. We have
|ht(α)| =ν∑
i=0
|ni|.
In particular∑ν
i=0 |ni| is odd, if α ∈ R× and∑ν
i=0 |ni| is even, if α ∈ R0.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 12 / 15
![Page 45: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/45.jpg)
Length Function Geometric Structure of Root System
Root Bases
We call 0 6= σ =∑ν
i=1 miσi ∈ Λ a strictly positive isotropic root, ifmi ≥ 0, for 1 ≤ i ≤ ν.
DefinitionConsider a Z-basis Π = {β0, . . . , βν} for A. We call Π a root base, if eachstrictly positive isotropic root σ can be written in the form σ =
∑νi=0 niβi,
where ni ≥ 0.
Π0 = {α0 := ε, α1 := −ε+ σ1, . . . , αν := −ε+ σν} is a root base for R.
Proposition
Let α =∑ν
i=0 niαi ∈ R. We have
|ht(α)| =ν∑
i=0
|ni|.
In particular∑ν
i=0 |ni| is odd, if α ∈ R× and∑ν
i=0 |ni| is even, if α ∈ R0.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 12 / 15
![Page 46: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/46.jpg)
Length Function Calculation of Length Function
Calculation of Length
In a group G, we defineThe length of g ∈ G with respect to an index set of generators Π,which is denoted by `Π(g), is the smallest length of any expressionof g. By convention, `Π(1) = 0.Any expression of g ∈ G with length `Π(g) is called a reducedexpression of g with respect to Π.
TheoremFor w ∈ W , we have
`Π0(w) = |ht(ε+ T(w))| − sgn(ht(ε+ T(w)))t,
where t = δε(w),1, and sgn(ht(ε+ T(w))) is the sign of ht(ε+ T(w)) as aninteger.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 13 / 15
![Page 47: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/47.jpg)
Length Function Calculation of Length Function
Calculation of Length
In a group G, we defineThe length of g ∈ G with respect to an index set of generators Π,which is denoted by `Π(g), is the smallest length of any expressionof g. By convention, `Π(1) = 0.Any expression of g ∈ G with length `Π(g) is called a reducedexpression of g with respect to Π.
TheoremFor w ∈ W , we have
`Π0(w) = |ht(ε+ T(w))| − sgn(ht(ε+ T(w)))t,
where t = δε(w),1, and sgn(ht(ε+ T(w))) is the sign of ht(ε+ T(w)) as aninteger.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 13 / 15
![Page 48: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/48.jpg)
Length Function Calculation of Length Function
Calculation of Length
In a group G, we defineThe length of g ∈ G with respect to an index set of generators Π,which is denoted by `Π(g), is the smallest length of any expressionof g. By convention, `Π(1) = 0.Any expression of g ∈ G with length `Π(g) is called a reducedexpression of g with respect to Π.
TheoremFor w ∈ W , we have
`Π0(w) = |ht(ε+ T(w))| − sgn(ht(ε+ T(w)))t,
where t = δε(w),1, and sgn(ht(ε+ T(w))) is the sign of ht(ε+ T(w)) as aninteger.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 13 / 15
![Page 49: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/49.jpg)
Length Function Calculation of Length Function
Calculation of Length
In a group G, we defineThe length of g ∈ G with respect to an index set of generators Π,which is denoted by `Π(g), is the smallest length of any expressionof g. By convention, `Π(1) = 0.Any expression of g ∈ G with length `Π(g) is called a reducedexpression of g with respect to Π.
TheoremFor w ∈ W , we have
`Π0(w) = |ht(ε+ T(w))| − sgn(ht(ε+ T(w)))t,
where t = δε(w),1, and sgn(ht(ε+ T(w))) is the sign of ht(ε+ T(w)) as aninteger.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 13 / 15
![Page 50: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/50.jpg)
Length Function Calculation of Length Function
Explanation
Theorem(i) For α ∈ R×, we have
`Π0(wα) = |ht(α)|.
In particular, if α =∑ν
i=0 niαi, we have `Π0(wα) =∑ν
i=0 |ni|.(ii) Let w ∈ W0. We have
`Π0(w) = |ht(T(w))|.
In particular, if T(w) =∑ν
i=0 niαi then `Π0(w) =∑ν
i=0 |ni|.
Since every element ofW is either a reflection or an element ofW0,according to the above theorem, for each w ∈ W, there exists a rootα ∈ R such that `Π0(w) = |ht(α)|.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 14 / 15
![Page 51: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/51.jpg)
Length Function Calculation of Length Function
Explanation
Theorem(i) For α ∈ R×, we have
`Π0(wα) = |ht(α)|.
In particular, if α =∑ν
i=0 niαi, we have `Π0(wα) =∑ν
i=0 |ni|.(ii) Let w ∈ W0. We have
`Π0(w) = |ht(T(w))|.
In particular, if T(w) =∑ν
i=0 niαi then `Π0(w) =∑ν
i=0 |ni|.
Since every element ofW is either a reflection or an element ofW0,according to the above theorem, for each w ∈ W, there exists a rootα ∈ R such that `Π0(w) = |ht(α)|.
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 14 / 15
![Page 52: A Length Function for Weyl Groups of Extended Affine Root Systems](https://reader036.vdocuments.site/reader036/viewer/2022071602/613d5e30736caf36b75c7f88/html5/thumbnails/52.jpg)
Thank you for your attention!
M. Nikouei (University of Isfahan) Length Function for Weyl Groups of Type A1 Upssala University 2012 15 / 15