<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
      "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
  <title>Arun Ram: Affine Hecke algebras</title>
  <style type="text/css">
div.pos {    width:100%;    margin-bottom:-18pt;    } /* full screen width */ 
 p.dispeq {text-align:center} /* aligns to center of the page */
  p.right-number {    float:right;    margin-top:-28pt;    } /* floats content to rhs, and doesn't affect the other p tag */
@namespace url(http://www.w3.org/1998/Math/MathML);</style>
  <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
</head>

<body>
<h2 style="text-align: center">Affine Hecke algebras</h2>

<p style="text-align: center">Arun Ram<br
style="margin-left: auto; margin-right: auto" />
Department of Mathematics<br style="margin-left: auto; margin-right: auto" />
University of Wisconsin<br style="margin-left: auto; margin-right: auto" />
Madison, WI 53706 USA<br style="margin-left: auto; margin-right: auto" />
ram@math.wisc.edu</p>

<p></p>

<p></p>

<p></p>

<h2>The intertwining operators</h2>

<p>Let</p>

<div class="pos">
<p class="dispeq"><math xmlns="http://www.w3.org/1998/Math/MathML">
  <msub>
    <mover>
      <mi>T</mi>
      <mi>&Tilde;</mi>
    </mover>
    <mi>i</mi>
  </msub>
  <mo>=</mo>
  <msup>
    <mi>q</mi>
    <mrow>
      <mo>–</mo>
      <mn>1</mn>
      <mo>/</mo>
      <mn>2</mn>
    </mrow>
  </msup>
  <msub>
    <mi>T</mi>
    <mi>i</mi>
  </msub>
  <mspace width="2em"/>
</math> so that <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mspace width="2em"/>
  <msubsup>
    <mover>
      <mi>T</mi>
      <mi>&Tilde;</mi>
    </mover>
    <mi>i</mi>
    <mn>2</mn>
  </msubsup>
  <mo>=</mo>
  <mo>(</mo>
  <msup>
    <mi>q</mi>
    <mrow>
      <mn>1</mn>
      <mo>/</mo>
      <mn>2</mn>
    </mrow>
  </msup>
  <mo>–</mo>
  <msup>
    <mi>q</mi>
    <mrow>
      <mo>–</mo>
      <mn>1</mn>
      <mo>/</mo>
      <mn>2</mn>
    </mrow>
  </msup>
  <mo>)</mo>
  <msub>
    <mover>
      <mi>T</mi>
      <mi>&Tilde;</mi>
    </mover>
    <mi>i</mi>
  </msub>
  <mo>+</mo>
  <mn>1</mn>
</math>.</p>

<p>Define a new basis <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mo>{</mo>
  <msub>
    <mi>x</mi>
    <mi>v</mi>
  </msub>
  <mo>&mid;</mo>
  <mi>v</mi>
  <mo>&isin;</mo>
  <mover>
    <mi>W</mi>
    <mi>&Tilde;</mi>
  </mover>
  <mo>}</mo>
</math> by <math xmlns="http://www.w3.org/1998/Math/MathML">
  <msub>
    <mi>x</mi>
    <mi>g</mi>
  </msub>
  <mo>=</mo>
  <msub>
    <mi>T</mi>
    <mi>g</mi>
  </msub>
</math> for <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>&ell;</mi>
  <mo>(</mo>
  <mi>g</mi>
  <mo>)</mo>
  <mo>=</mo>
  <mn>0</mn>
</math> and </p>
<br />
</div>

<p><math xmlns="http://www.w3.org/1998/Math/MathML">
  <msub>
    <mi>x</mi>
    <mi>v</mi>
  </msub>
  <msub>
    <mover>
      <mi>T</mi>
      <mi>&Tilde;</mi>
    </mover>
    <mi>i</mi>
  </msub>
  <mo>=</mo>
  <mi>etc</mi>
</math></p>

<p>These last two formulas are special cases of </p>

<div class="pos">
<p class="dispeq"><math xmlns="http://www.w3.org/1998/Math/MathML"
display="block">
  <msub>
    <mover>
      <mi>T</mi>
      <mi>&Tilde;</mi>
    </mover>
    <mi>i</mi>
  </msub>
  <msup>
    <mi>x</mi>
    <msup>
      <mi>μ</mi>
      <mo>&vee;</mo>
    </msup>
  </msup>
  <mo>=</mo>
  <msup>
    <mi>x</mi>
    <mrow>
      <msub>
        <mi>s</mi>
        <mi>i</mi>
      </msub>
      <msup>
        <mi>μ</mi>
        <mo>&vee;</mo>
      </msup>
    </mrow>
  </msup>
  <msub>
    <mover>
      <mi>T</mi>
      <mi>&Tilde;</mi>
    </mover>
    <mi>i</mi>
  </msub>
  <mo>+</mo>
  <mo>(</mo>
  <msup>
    <mi>q</mi>
    <mrow>
      <mn>1</mn>
      <mo>/</mo>
      <mn>2</mn>
    </mrow>
  </msup>
  <mo>–</mo>
  <msup>
    <mi>q</mi>
    <mrow>
      <mo>−</mo>
      <mn>1</mn>
      <mo>/</mo>
      <mn>2</mn>
    </mrow>
  </msup>
  <mo>)</mo>
  <mfrac>
    <mrow>
      <msup>
        <mi>x</mi>
        <msup>
          <mi>μ</mi>
          <mi>&vee;</mi>
        </msup>
      </msup>
      <mo>–</mo>
      <msup>
        <mi>x</mi>
        <mrow>
          <msub>
            <mi>s</mi>
            <mi>i</mi>
          </msub>
          <msup>
            <mi>μ</mi>
            <mo>&vee;</mo>
          </msup>
        </mrow>
      </msup>
    </mrow>
    <mrow>
      <mn>1</mn>
      <mo>–</mo>
      <msup>
        <mi>x</mi>
        <mrow>
          <mo>–</mo>
          <msubsup>
            <mi>α</mi>
            <mi>i</mi>
            <mo>&vee;</mo>
          </msubsup>
        </mrow>
      </msup>
    </mrow>
  </mfrac>
</math></p>
<br />
</div>

<p>and this general formula follows from the first two by linearity. </p>

<p>Define</p>

<div class="pos">
<p class="dispeq"><math xmlns="http://www.w3.org/1998/Math/MathML">
  <msub>
    <mi>τ</mi>
    <mi>i</mi>
  </msub>
  <mo>=</mo>
  <msub>
    <mover>
      <mi>T</mi>
      <mi>&Tilde;</mi>
    </mover>
    <mi>i</mi>
  </msub>
  <mphantom>
    ,</mphantom>
  <mo>–</mo>
  <mphantom>
    ,</mphantom>
  <mstyle scriptlevel="-1">
    <mfrac>
      <mrow>
        <msup>
          <mi>q</mi>
          <mrow>
            <mn>1</mn>
            <mo>/</mo>
            <mn>2</mn>
          </mrow>
        </msup>
        <mo>–</mo>
        <msup>
          <mi>q</mi>
          <mrow>
            <mo>–</mo>
            <mn>1</mn>
            <mo>/</mo>
            <mn>2</mn>
          </mrow>
        </msup>
      </mrow>
      <mrow>
        <mn>1</mn>
        <mo>–</mo>
        <msup>
          <mi>x</mi>
          <mrow>
            <mo>–</mo>
            <msubsup>
              <mi>α</mi>
              <mi>i</mi>
              <mo>&vee;</mo>
            </msubsup>
          </mrow>
        </msup>
      </mrow>
    </mfrac>
  </mstyle>
  <mspace width="2em"/>
</math> so that <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mspace width="2em"/>
  <msub>
    <mi>τ</mi>
    <mi>i</mi>
  </msub>
  <msup>
    <mi>x</mi>
    <msup>
      <mi>μ</mi>
      <mo>&vee;</mo>
    </msup>
  </msup>
  <mo>=</mo>
  <msup>
    <mi>x</mi>
    <mrow>
      <msub>
        <mi>s</mi>
        <mi>i</mi>
      </msub>
      <msup>
        <mi>μ</mi>
        <mo>&vee;</mo>
      </msup>
    </mrow>
  </msup>
  <msub>
    <mi>τ</mi>
    <mi>i</mi>
  </msub>
</math>,</p>
<br />
</div>

<p>for all <math xmlns="http://www.w3.org/1998/Math/MathML">
  <msup>
    <mi>μ</mi>
    <mstyle scriptlevel="+1">
      <mo>&vee;</mo>
    </mstyle>
  </msup>
  <mo>&isin;</mo>
  <msup>
    <mi>P</mi>
    <mstyle scriptlevel="+1">
      <mo>&vee;</mo>
    </mstyle>
  </msup>
</math>. Then</p>

<div class="pos">
<p class="dispeq"><math xmlns="http://www.w3.org/1998/Math/MathML">
  <msubsup>
    <mi>τ</mi>
    <mi>i</mi>
    <mn>2</mn>
  </msubsup>
  <mo>=</mo>
  <mstyle scriptlevel="-1">
    <mfrac>
      <mrow>
        <mo>(</mo>
        <msup>
          <mi>q</mi>
          <mrow>
            <mn>1</mn>
            <mo>/</mo>
            <mn>2</mn>
          </mrow>
        </msup>
        <mo>–</mo>
        <msup>
          <mi>q</mi>
          <mrow>
            <mo>−</mo>
            <mn>1</mn>
            <mo>/</mo>
            <mn>2</mn>
          </mrow>
        </msup>
        <msup>
          <mi>x</mi>
          <mrow>
            <mo>–</mo>
            <msubsup>
              <mi>α</mi>
              <mi>i</mi>
              <mstyle scriptlevel="+1">
                <mo>&vee;</mo>
              </mstyle>
            </msubsup>
          </mrow>
        </msup>
        <mo>)</mo>
        <mo>(</mo>
        <msup>
          <mi>q</mi>
          <mrow>
            <mn>1</mn>
            <mo>/</mo>
            <mn>2</mn>
          </mrow>
        </msup>
        <mo>–</mo>
        <msup>
          <mi>q</mi>
          <mrow>
            <mo>−</mo>
            <mn>1</mn>
            <mo>/</mo>
            <mn>2</mn>
          </mrow>
        </msup>
        <msup>
          <mi>x</mi>
          <msubsup>
            <mi>α</mi>
            <mi>i</mi>
            <mstyle scriptlevel="+1">
              <mo>&vee;</mo>
            </mstyle>
          </msubsup>
        </msup>
        <mo>)</mo>
      </mrow>
      <mrow>
        <mo>(</mo>
        <mn>1</mn>
        <mo>–</mo>
        <msup>
          <mi>x</mi>
          <msubsup>
            <mi>α</mi>
            <mi>i</mi>
            <mstyle scriptlevel="+1">
              <mo>&vee;</mo>
            </mstyle>
          </msubsup>
        </msup>
        <mo>)</mo>
        <mo>(</mo>
        <mn>1</mn>
        <mo>–</mo>
        <msup>
          <mi>x</mi>
          <mrow>
            <mo>–</mo>
            <msubsup>
              <mi>α</mi>
              <mi>i</mi>
              <mstyle scriptlevel="+1">
                <mo>&vee;</mo>
              </mstyle>
            </msubsup>
          </mrow>
        </msup>
        <mo>)</mo>
      </mrow>
    </mfrac>
  </mstyle>
  <mspace width="2em"/>
</math> and <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mspace width="2em"/>
  <msub>
    <mi>τ</mi>
    <mi>w</mi>
  </msub>
  <mo>=</mo>
  <msub>
    <mi>τ</mi>
    <msub>
      <mi>i</mi>
      <mn>1</mn>
    </msub>
  </msub>
  <mi>&ctdot;</mi>
  <msub>
    <mi>τ</mi>
    <msub>
      <mi>i</mi>
      <mi>&ell;</mi>
    </msub>
  </msub>
</math></p>
<br />
</div>

<p>does not depend on the choice of the reduced decomposition <math
xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>w</mi>
  <mo>=</mo>
  <msub>
    <mi>s</mi>
    <msub>
      <mi>i</mi>
      <mn>1</mn>
    </msub>
  </msub>
  <mi>&ctdot;</mi>
  <msub>
    <mi>s</mi>
    <msub>
      <mi>i</mi>
      <mi>&ell;</mi>
    </msub>
  </msub>
</math>.</p>

<p></p>
</body>
</html>
