Double Weyl groups, braid groups and Hecke algebras

Last update: 18 February 2013

Double Weyl groups, braid groups and Hecke algebras

In this section we review the basic definitions and notations for affine Weyl groups and double affine Hecke algebras following the expositions in [Ram0601343], [Che1992], [Mac1976581] and [Hai2275709]. Following the definitions we prove Theorem 2.2, a formula for the expansion of products of intertwining operators in the DAHA. This formula is a “lift into the DAHA” of the expansions of Macdonald polynomials given in Section 3.

Double affine Weyl groups

Let ${𝔥}_{ℤ}$ be a $ℤ\text{-lattice}$ with an action of a finite subgroup ${W}_{0}$ of $GL\left({𝔥}_{ℤ}\right)$ generated by reflections. Then ${W}_{0}$ acts on ${𝔥}_{ℤ}^{*}$ by

$⟨wμ,λ∨⟩= ⟨μ,w-1λ∨⟩, where ⟨λ∨,μ⟩= μ(λ∨)for λ∨∈𝔥ℤ,μ∈ 𝔥ℤ*. (2.1)$

Let ${R}^{+}\subseteq {𝔥}_{ℤ}^{*}$ and ${\left({R}^{\vee }\right)}^{+}\subseteq {𝔥}_{ℤ}$ denote fixed choices of the positive roots and the positive coroots so that the reflections ${s}_{\alpha }$ in ${W}_{0}$ act on ${𝔥}_{ℤ}$ and on ${𝔥}_{ℤ}^{*}$ by

$sαλ=λ- ⟨λ.α∨⟩ αandsαλ∨ =λ∨- ⟨λ∨,α⟩ α∨,respectively. (2.2)$

The groups

$X= { Xμ ∣ μ∈ 𝔥ℤ* } andY= { Yλ∨ ∣ λ∨∈𝔥ℤ } (2.3)$

with

$XμXν= Xμ+νand Yλ∨ Yσ∨= Yλ∨+σ∨ (2.4)$

are the groups ${𝔥}_{ℤ}^{*}$ and ${𝔥}_{ℤ}$ respectively, except written multiplicatively, and the semidirect product

$W0⋉(X×Y)= { Xμw Yλ∨ ∣ w∈W0,μ∈ 𝔥ℤ*,λ∨∈ 𝔥ℤ } (2.5)$

$wXμ= Xwμwandw Yλ∨= Ywλ∨w, (2.6)$

for $w\in {W}_{0},$ $\mu \in {𝔥}_{ℤ}^{*}$ and ${\lambda }^{\vee }\in {𝔥}_{ℤ}\text{.}$

Assume that the action of ${W}_{0}$ on ${𝔥}_{ℂ}=ℂ{\otimes }_{ℤ}{𝔥}_{ℤ}$ is irreducible. The double affine Weyl group $\stackrel{\sim }{W}$ is the universal central extension of ${W}_{0}⋉\left(X×Y\right)\text{.}$ If $e$ is the smallest integer such that $⟨{\lambda }^{\vee },\mu ⟩\in \frac{1}{e}ℤ$ for all ${\lambda }^{\vee }\in {𝔥}_{ℤ}$ and $\mu \in {𝔥}_{ℤ}^{*}$ then $\stackrel{\sim }{W}$ is presented by

$W∼= { qkXμw Yλ∨ ∣ k∈1eℤ,μ∈ 𝔥ℤ*,λ∨∈ 𝔥ℤ,w∈W0 }$

with (2.4), (2.6) and

$XμYλ∨= q⟨λ∨,μ⟩ Yλ∨Xμ,for μ∈𝔥ℤ*, λ∨∈𝔥ℤ. (2.7)$

The subgroup $\left\{{q}^{k}{X}^{\mu }{Y}^{{\lambda }^{\vee }} \mid k\in \frac{1}{e}ℤ,\mu \in {𝔥}_{ℤ},{\lambda }^{\vee }\in {𝔥}_{ℤ}\right\}$ is a Heisenberg group and

$W= { Xμw ∣ μ∈ 𝔥ℤ,w∈W0 } andW∨= { wYλ∨ ∣ λ∨∈𝔥ℤ,w∈ W0 } (2.8)$

are affine Weyl groups inside $\stackrel{\sim }{W}\text{.}$ Letting

$q=Xδ=Y-d (2.9)$

and extending the notation of (2.6) gives actions of ${W}^{\vee }$ on ${𝔥}_{ℤ}^{*}+ℤ\delta$ and $W$ on ${𝔥}_{ℤ}\oplus ℤd$ with

$Yλ∨μ=μ- ⟨μ,λ∨⟩ δandXμ λ∨=λ∨- ⟨λ∨,μ⟩ d. (2.10)$

Let $\phi \in R$ be the highest root and ${\phi }^{\vee }\in {R}^{\vee }$ the highest coroot and let

$s0= Yφ∨sφand s0∨= Xφsφ∨. (2.11)$

Let

$α0=-φ+δ, α0∨=-φ∨+d, ⟨d,μ⟩=0 ,⟨λ∨,δ⟩ =0,⟨d,δ⟩ =0, (2.12)$

so that

$s0μ=μ- ⟨μ,α0∨⟩ α0and s0∨λ∨=λ∨ -⟨λ∨,α0⟩ α0∨. (2.13)$

The alcoves of ${𝔥}_{ℝ}^{*}=ℝ{\otimes }_{ℤ}{𝔥}_{ℤ}^{*}$ are the connected components of

$𝔥ℝ*\ ( ⋃ α∨∈ (R∨)+, j∈ℤ 𝔥α∨+jd ) where 𝔥α∨+jd= { x∈𝔥ℝ* ∣ ⟨x,α∨⟩ =-j } . (2.14)$

The action of $W=\left\{{X}^{\mu }w \mid \mu \in {𝔥}_{ℤ}^{*},w\in {W}_{0}\right\}$ on ${𝔥}_{ℝ}^{*}$ given by

$Xμ·ν=ν+μ andw·ν=wν, for w∈W0,μ∈ 𝔥ℤ* and ν∈ 𝔥ℝ*, (2.15)$

sends alcoves to alcoves; ${s}_{0}^{\vee },\dots ,{s}_{n}^{\vee }$ are the reclections in the walls ${𝔥}^{{\alpha }_{0}^{\vee }},\dots ,{𝔥}^{{\alpha }_{n}^{\vee }}$ of the fundamental alcove

$1 = { x∈𝔥ℝ* ∣ ⟨x,αi∨⟩ ≥0, for i=0, 1,…,n } ;and (2.16) ℓ(v) = (number of hyperplanes between 1 and v) (2.17)$

is the length of $v\in W\text{.}$ Let ${\Omega }^{\vee }$ be the set of length zero elements of $W\text{.}$ The affine Weyl group $W$ has an alternate presentation by generators ${s}_{0}^{\vee },{s}_{1}^{\vee },\dots ,{s}_{n}^{\vee }$ and ${\Omega }^{\vee }$ with relations

$(si∨)2=1, si∨ sj∨ … ⏟ mij∨ = sj∨ si∨ … ⏟ mij∨ ,and g∨si∨ (g∨)-1= sσ∨(i)∨, for g∨∈Ω∨, (2.18)$

where $\pi /{m}_{ij}^{\vee }$ is the angle between ${𝔥}^{{\alpha }_{i}^{\vee }}$ and ${𝔥}^{{\alpha }_{j}^{\vee }}$ and ${\sigma }^{\vee }$ denotes the permutation of the ${𝔥}^{{\alpha }_{i}^{\vee }}$ induced by the action of ${g}^{\vee }\text{.}$ If ${\Omega }^{\vee }×{𝔥}_{ℝ}^{*}$ is $\mid {\Omega }^{\vee }\mid$ copies of ${𝔥}_{ℝ}^{*}$ (sheets), with ${\Omega }^{\vee }$ acting by switching sheets then there is a bijection

$W⟷ { alcoves in Ω∨ ×𝔥ℝ* } (2.19)$

and we will often identify $v\in W$ with the corresponding alcove in ${\Omega }^{\vee }×{𝔥}_{ℝ}^{*}\text{.}$ the pictures illustrating this bijection in type $S{L}_{3}$ are displayed in the appendix.

the periodic orientation is the orientation of the hyperplanes ${𝔥}^{{\alpha }^{\vee }+kd}$ such that

$(a) 1 is on the positive side of 𝔥α∨ for α∨∈ (R∨)+, (b) 𝔥α∨+kd and 𝔥α∨ have parallel orientations. (2.20)$

The pictures in the appendix illustrate the periodic orientation for type $S{L}_{3}\text{.}$

A similar "pictorial" viewpoint applies to the group ${W}^{\vee }$ acting on $\Omega ×{𝔥}_{ℝ}$ where ${𝔥}_{ℝ}=ℝ{\otimes }_{ℤ}{𝔥}_{ℤ}$ and $\Omega$ is the set of length zero elements of ${W}^{\vee }\text{.}$ Then ${W}^{\vee }$ has an alternate presentation by generators ${s}_{0},{s}_{1},\dots ,{s}_{n}$ and $\Omega$ with relations

$si2=1, sisj…⏟mij= sjsi…⏟mij, andgsig-1= sσ(i),for g∈Ω, (2.21)$

where $\pi /{m}_{ij}$ is the angle between ${𝔥}^{{\alpha }_{i}}$ and ${𝔥}^{{\alpha }_{j}}$ and $\sigma$ denotes the permutation of the ${𝔥}^{{\alpha }_{i}}$ induced by the action of $g\text{.}$

Notes and References

This is an excerpt from a paper entitled A combinatorial formula for Macdonald polynomials authored by Arun Ram and Martha Yip. It was dedicated to Adriano Garsia.