Can u help me II

Algebra Level 4

Let Perm ( X ) \text{Perm}(X) be the group of permutations on a set X X . Let d Z d\in\mathbb Z and d 2 d\ge 2 . The group W = { g Perm ( Z ) g ( i + 2 d + 2 ) = g ( i ) + 2 d + 2 , g ( i ) = g ( i ) for all i Z } W=\{g\in\text{Perm}(\mathbb Z)~|~g(i+2d+2)=g(i)+2d+2,g(-i)=-g(i)\text{ for all }i\in\mathbb Z\} is called affine Weyl group. Any element w W w\in W is uniquely determined by its value on { 1 , 2 , , d } \{1,2,\dots,d\} , and we shall denote w = [ w ( 1 ) , w ( 2 ) , , w ( d ) ] w=[w(1),w(2),\dots,w(d)] . It's well known that W W is generated by { s 0 , s 1 , , s d } \{s_0,s_1,\dots,s_d\} , where s 0 = [ 1 , 2 , , d 1 , d ] , s d = [ 1 , 2 , , d 1 , d + 2 ] , s i = [ 1 , , i 1 , i + 1 , i , i + 2 , , d ] , for i = 1 , , d 1. \begin{aligned} &s_0=[-1,2,\dots,d-1,d],\\ &s_d=[1,2,\dots,d-1,d+2],\\ &s_i=[1,\dots,i-1,i+1,i,i+2,\dots,d],\text{ for }i=1,\dots,d-1. \end{aligned} Is the following statement correct?

If w = s i 1 s i 2 s i k W w=s_{i_1}s_{i_2}\dots s_{i_k}\in W with s i k = s 0 s_{i_k}=s_0 and k k as small as possible, then w ( 1 ) < 0 w(1)<0 .

No Yes

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Brian Lie
Dec 31, 2020

We need to show s i 1 s i 2 s i k 1 ( 1 ) > 0 s_{i_1}s_{i_2}\cdots s_{i_{k-1}}(1)>0 . Assume s i 1 s i 2 s i k 1 ( 1 ) < 0 s_{i_1}s_{i_2}\cdots s_{i_{k-1}}(1)<0 . Then we can find the index m m such that s i m + 1 s i m + 2 s i k 1 ( 1 ) > 0 s_{i_{m+1}}s_{i_{m+2}}\cdots s_{i_{k-1}}(1)>0 and s i m s i m + 1 s i k 1 ( 1 ) < 0 s_{i_m}s_{i_{m+1}}\cdots s_{i_{k-1}}(1)<0 . Thus, s i m = s 0 s_{i_m}=s_0 and s i m + 1 s i m + 2 s i k 1 ( 1 ) = 1 s_{i_{m+1}}s_{i_{m+2}}\cdots s_{i_{k-1}}(1)=1 . Therefore w = s i 1 s i 2 s i m 1 s i m + 1 s i k 1 w=s_{i_1}s_{i_2}\cdots s_{i_{m-1}}s_{i_{m+1}}\cdots s_{i_{k-1}} , contrary to the smallest k k .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...