Một cơ sở cho đại số q brauer

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC VINH BÙI ĐÌNH HẠNH MỘT CƠ SỞ CHO ĐẠI SỐ q-BRAUER LUẬN VĂN THẠC SĨ TOÁN HỌC NghệAn – 201 MỤC LỤC Trang MỤCLỤC .1 CÁC KÝ HIỆU .2 MỞ ĐẦU CHƢƠNG KIẾN THỨC CƠ SỞ 1.1 Nhóm đối xứng Sn 1.2 Đại số Hecke nhóm đối xứng 1.3 Đại số Brauer .8 CHƢƠNG 2.ĐẠI SỐ q-BRAUER 2.1.Các định nghĩa 15 2.2.Một số tính chất đại số q-Brauer 20 2.3 Mô đun Vk* đại số Brn (r , q) .21 CHƢƠNG 3.MỘTCƠ SỞ VÀ MỘT ĐỐI ĐẲNG CẤU CỦA ĐẠI SỐqBRAUER 3.1 Cơ sở đại số q-Brauer 23 3.2 Đối đẳng cấu đại số q-Brauer .26 3.3 Thuật toán dùng để sản xuất phần tử sở củađại số q-Brauer 36 3.4 So sánh hai sở đại số q-Brauer 41 KẾTLUẬN 45 TÀI LIỆU THAM KHẢO 46 CÁC KÍ HIỆU Brn  r , q  Đại số q-Brauer phiên hai tham số r, q Brn  N  Đại số q-Brauer phiên tham số N Dn  N  Đại số Brauer với tham số N Dn  x  Đại số q-Brauer với tham số x Sn Nhóm đối xứng (nhóm hốn vị) n phần tử Hn  q Đại số Hecke nhóm đối xứng S n Vk Không gian vec tơ Vk* Không gian vec tơ đối ngẫu l  d  Hàm độ dài biểu đồ d  q, q 1  Vành đa thức MỞ ĐẦU Đối ngẫu Schur-Weyl liên hệ lý thuyết biểu diễn nhóm tuyến tính tổng qt GLN ( ) với lý thuyết biểu diễn nhóm đối xứng Sn qua tác động trung tâm hóa đồng thời hai nhóm khơng gian lũy thừa ten xơ ( N n ) Vào năm 1937, R Brauer [2] giới thiệu đại số, mà ngày gọi đại số Brauer Những đại số xuất tình tương tự vai trị nhóm đối xứng đối ngẫu Schur-Weyl Nghĩa là, nhóm tuyến tính tổng quát GLN ( ) thay nhóm SympleticSp(2N) nhóm trực giaoSO(N) nhóm đối xứng thay đại số q-Brauer Tiếp sau đó, q-biến thể đại số Brauer tìm Birman Wenzl[1]và độc lập Murakami[6] kết nối với lý thuyết Knot nhóm lượng tử Ngày đại số gọi đại số BMW Vào năm 2012, đại số giới thiệu Giáo sư Wenzl [10] thông qua định nghĩa phần tử sinh mối quan hệ chúng Đại số đặt tên đại số q-Brauer biết đến q-biến thể khác đại số Brauer chứa đại số Hecke nhóm đối xứng đại số tự nhiên Trong [10] Wenzl chứng minh rằng, mở rộng trường số hữu tỉ với tham sốr, q, đại số q-Brauer nửa đơn đẳng cấu với đại số Brauer Một số ứng dụng đại số q-Brauer tìm thấy nghiên cứu vành biểu diễn nhóm trực giao nhóm Sympletic [9] phạm trù mô đun phạm trù liên hợp kiểu A thành phần tương ứng kiểu II1[11] Đại số mong chờ có nhiều ứng dụng khí thống kê, lý toán, lý thuyết Knot, lý thuyết toán tử, lý thuyết biểu diễn… đại số BMW có Tuy nhiên, giới Việt Nam chưa có nhiều nghiên cứu sâu sắc đại số q-Brauer nhằm khám phá tính chất cấu trúc đại số ngồi nghiên cứu TS Nguyễn Tiến Dũng [4], [5] Do đó, với mong muốn giới thiệu bước đầu tìm hiểu sâu đại số qBrauer,chúng chọn đề tài:“Một sở cho đại số q-Brauer” Đề tài nhằm mục đích trình bày lại số tính chất đại số q-Brauer sau giới thiệu sở cho đại số dựa tài liệu[4].Luận văn trình bày chương: Chương 1: Kiến thức sở Chương chúng tơi trình bày lại số kiến thức đại số Brauer Những kiến thức sử dụng việc xây dựng sở cho đại số q-Brauer chương Chương 2: Đại số q-Brauer Chương trình bày định nghĩa, tính chất đại số q-Brauer mô đun Vk* đại số Brn (r , q) Chương 3: Một sở phản tự đẳng cấu đại số q-Brauer Chương trình bày kết luận văn Trong chương chúng giới thiệu sở cho đại số q-Brauer trình bày thuật tốn để tìm phần tử sở Luận văn hoàn thành trườngĐại học Vinh hướng dẫn TS Nguyễn Tiến Dũng Tác giả xin bày tỏ lòng cảm ơn chân thành sâu sắc tới TS Nguyễn Tiến Dũng, người dẫn dắt hướng dẫn tận tình trình tác giả làm luận văn Nhân dịp xin gửi lời cảm ơn chân thành tới thầy, cô giáo khoa sư phạmToán học – Trường Đại học Vinh giành thời gian giảng dạy nhiệt tình, truyền đạt kiến thức bổ ích cho tơi Trong q trình học tập nghiên cứu có nhiều cố gắng, nỗ lực thân thời gian kiến thức cịn nhiều hạn chế nên luận văn khơng thể tránh khỏi thiếu sót Kính mong nhận góp ý thầy, bạn để luận văn hoàn thiện CHƢƠNG 1: KIẾN THỨC CƠ SỞ 1.1 Nhóm đối xứng Sn 1.1.1 Định nghĩa Nhóm đối xứng S n gồm tất song ánh từ 1, 2, 3, , n vào với phép tốn nhóm phép hợp thành ánh xạ Các phần tử   Sn gọi hốn vị 1.1.2 Kí hiệu Đối với hoán vị  bất kỳ, ta thường sử dụng ba cách kí hiệu khác sau Cách 1: Kí hiệu hai dòng dãy  n  (1)  (2)  (3)  ( n) Ví dụ 1.Xét với   S5 ta có:  (1)  2,  (2)  3,  (3)  1,  (4)  4,  (5)  Thì hai dịng  2 3 4 5 Cách 2: Mơ tả hốn vị  dịng Theo cách mơ tảnày dịng ln cố định Do cách mơ tả thứ hai lấy dịng thứ hai cách Cách 3: Mơ tả hốn vị  thơng qua kí hiệu xích Với i  1, 2, 3, , n cho trước, phần tử dãy i,  i ,  i , hoàn toàn phân biệt Chọn lũy thừa cho  p i   i, ta có xích i,  i, ,  i  p-1 Một cách tương đương, ta định nghĩa xích i, j, k , , l  có nghĩa  biến i thành j, j biến thành k, , l biến thành i Bây chọn phần tử khơng nằm xích chứa i lặp lại trình tất số 1, 2, 3, , n sử dụng Ví dụ trở thành   1, 2, 345 theo kí hiệu xích Chú ý hốn vị vịng trịn phần tử nằm xích, hay thay đổi thứ tự xích với khơng làm ảnh hưởng đến hốn vị Chẳng hạn, 1, 2, 345  2, 3, 145  42, 3, 15  453, 1, 2 Một k-xích hay xích với độ dài k, xích gồm k phần tử Hoán vị vừa ta gồm 3-xích hai 1-xích Kiểu xích, hay đơn giản kiểu  biểu thức có dạng 1m1 ,2 m2 , , n mn  Ở đó, mk số xích có độ dài k  Hốn vị ví dụ có kiểu xích 12 , , 31 , , 50  Một 1-xích  gọi điểm bất động Các số 4, điểm bất động ví dụ Các điểm bất động thường bỏ kí hiệu xích khơng có hiểu lầm xảy Một đối hợp hoán vị cho   e Dễ thấy  đối hợp tất xích  có độ dài Kí hiệusj = (j, j+1) với < j < n chuyển vị nhóm đối xứng Sn Những chuyển vị sj phần tử sinh nhóm đối xứng Sn 1.1.2 Sự diễn tả rút gọn hoán vị Cho hoán vị   Sn Nếu π biểu diễn tích s j1 s j2 s jk chuyển vị cho k gọi số tự nhiên nhỏ với tính chất kí hiệul(π) =k, gọi s j1 s j2 s jk diễn tả thu gọn cho π Ví dụ Sử dụng hốn vị π Ví dụ π = s1 s2 l(π) = 1.2 Đại số Hecke nhóm đối xứng 1.2.1 Định nghĩa.Cho R vành giao hốn có đơn vị 1, q phần tử khả nghịch R.Đại số Hecke Hn(q)=HR,q=HR,q(sn) nhóm đối xứng Sn  Rđược định nghĩa R-môđun tự với sở  g   Sn Phép nhân Hn(q) thỏa mãn quan hệ sau: (i)  H n (q) ; (ii) Nếu   s1s2 s j diễn tả rút gọn   Sn g  g s1 g s2 g s j ; (iii) g s2j  (q  1) g s j  q cho tất chuyển vị sj, q = q.1  H n (q) Để thuận lợi cho công việc kí hiệu gjthay cho g s j Đặt R  q, q 1  sử dụng thuật ngữ Hn(q)để ám đại số Hecke HR,q(sn) 1.2.2 Bổ đề Nếu ,  /  Sn l ( / )  l ( )  l ( / ) , g g /  g / Với sj chuyển vị   Sn ,thì g l(s ω) = l(ω) +  sjω j g j g ω = (q-1)gω + q g trường hợp lại s jω g l(ωs ) = l(ω) +  ωsj j gω.gj = (q-1) gω + q g trường hợp cịn lại ωsj 3.Cho   Sn thìgωlà phần tử khả nghịch Hn(q) với phần tử nghịch đảo g1  g j g j 11 g 21 g11 ,   s1s2 s j diễn tả thu gọn  , g j  q 1 g j  (q 1  1) g j  qg j  (q  1) với sj Trong tài liệu, đại số HeckeHn(q)được định nghĩa tương đươngbởi phần tử sinhgivới  i  n mối quan hệ (H1) gi gi 1 gi  gi 1 gi gi 1 với  i  n  ; (H2) gi g j  g j gi với i  j  1.2.3 Bổ đề Ánh xạ tuyến tính i:Hn(q)Hn(q)được xác định quy tắc i( g )  g 1 , với   Sn , đối đẳng cấu đại số Hecke Hn(q) 1.3.Đại số Brauer Đại số Brauer giới thiệu Richard Brauer[2] để nghiêncứu lũy thừa Tenxơ thứ n biểu diễn định nghĩa nhóm trực giao nhóm symplectic Sau đó, chúng tập trung khám phá chi tiết nhà tốn học khác có nhiều ứng dụng lí thuyết Knot, khí, thống kê, lý toán… 1.3.1 Định nghĩa Đại số Brauer định nghĩa vành [x] qua sở đưa biểu đồ Mỗi biểu đồ gồm có 2n đỉnh xếp vào hai hàng với hàng có n đỉnh Hai đỉnh biểu đồ nối với đoạn thẳng Một đoạn thẳng mà nối hai đỉnh hàng gọi “đoạn ngang”, đoạn thẳng cịn lại gọi “đoạn dọc” Chúng ta kí hiệu Dn(x) cho đại số Brauer, đỉnh biểu đồ đánh số từ đến ntheo chiều từ trái sang phải cho đồng thời hai hàng Hai biểu đồ d1 d2được nhân liên kết, nghĩa là: Các đỉnh hàng biểu đồ d1được kết nối đỉnh tương ứng hàng biểu đồ d2 Từ dẫn đến biểu đồ kết quảd Sau đótích d1.d2 định nghĩa x ( d1 ,d2 ) d  (d1 , d ) số vòng kết nối liên kết giữad1 d2mà không xuất biểu đồ d Chúng tơi minh họa ví dụ sau Trong đại số Brauer D7(x),chúng nhân hai biểu đồd1 d2 sau        d1                     d2  d2      Biểu đồ tích d1.d2=x1d   d        Từ sau để thuận tiện cho việc trình bày, chúng tơi sử dụng kí hiệu N thay cho tham số x Trong (mục 5,[2])R Brauer biểu đồ sở Dn(N)mà có xác 2k đoạn thẳng ngang biểu diễn thành liên kết có dạng 1e( k )2 , 1 2 hốn vị nhóm đối xứng Sn, e( k ) biểu đồ có dạng sau:                   Trong hàng có k đoạn ngang Như hệ quả, đại số Brauer xem xét vành đa thức  x định nghĩa qua phần tử sinhvà quan hệ: Cho xlà tham số vành ; đặt R  [ N ] , đại số Brauer Dn(N) vành R nhưlà R-đại số kết hợp có đơn vị sinh chuyển vị s1,s2,…,sn-1,cùng với phần tử sinh e(1),e(2),…,e([n/2]), mà thỏa mãn mối quan hệđượcđịnh nghĩa sau: (S0) si2  1với  i  n ; 10 Quan hệ (3.2.4) cho trường hợp k  thu phép nhân đẳng thức (3.2.3) trường hợp k  với phần tử g 21j 1 từ bên trái Kết cung cấp đối đẳng cấu cho đại số q-Brauer Brn(r,q) 3.2.2 Mệnh đề Cho ánh xại:Brn(r,q)Brn(r,q) xác địnhbởi i( g )  g 1 i(e)  e Với   Sn , i đối đẳng cấu đại số q-Brauer Brn(r,q) Chứng minh Để chứng minh mệnh đề ta cần chứng minh ánh xạ ibiến phần tử sở g d  thành phần tử sở i( g d  ) đại sốq-Brauer Brn(r,q) Nếu biểu đồ d*cho trước biểu đồ đoạn thẳng ngang nào, d* làmộthốn vị nhóm đối xứngSn Điều ngụ ý i( g d  )  g(d  )1  g d phần tử sở củađại số q-Brauer, d biểu đồ thu sau quay biểu đồ d* xuống phía qua trục nằm ngang Nếu biểu đồ d*=e(k),thì theo định nghĩa 3.1.3 phần tử sở tương ứng đại số q-Brauer gd  e( k ) Đẳng thức i( gd  )  i(e( k ) )  e( k ) thu quy nạp theo k sau: với k=1 ta có i(e)=e theo định nghĩa Giả sử i(e( k 1) )  e( k 1) , Đn (2.1.9) i(e k  )  e( k 1) g   k  2,1     i(eg 2,2 k 1 g1,2 k  2e( k 1) )  i (e( k 1) )i ( g 2,2 k 1 g1,2 k  )i (e) g  k 1,2 Bđ 3.2.1(3) e  e( k )   Cho trước mộtdiễn tả thu gọn 1 , ( d * ) , 2 biểu đồ d*, 1  Bk , 2  Bk ( d )  S2 k 1,n , phần tử sở tương ứng trênđại số * q-BrauerBrn(r,q) gd *  g1 g * e( k ) g2 Điều dẫn đến (d ) i( gd * )  i( g1 g * e( k ) g2 )  i( g2 )i(e( k ) )i( g * )i( g1 ) (3.2.12) (d ) (d )  g 1 e( k ) g 1 g 1 ( d* ) Bđ 2.1.10  g 1 g 1 e( k ) g 1 ( d* ) 34 1  Bk 2  Bk kéo theo 11  Bk , 21  Bk* Do đó, theo Bổ đề 1.3.7 1.3.8 ta có l (e( k )11 )  l (11 ) l (21e( k ) )  l (21 ) Điều có nghĩa ba (21 , (d1* ) , 11 ) diễn tả thu gọn biểu đồ d *  N  k21e( k )(d1* )e( k )11 Như phần tử i( g d * )  g 1 g 1 e( k ) g 1 phần tử sở đại số ( d* ) q-BrauerBrn(r,q) tương ứng với biểu đồ d 3.2.3 Hệ Những phát biểu sau chođại số q-Brauer Brn(r,q) g2m1,2 j e( k )  g2 j 1,2 me( k ) g2m1,2 j e( k )  g2 j 1,2 me( k ) với  m  j  k    e( k ) g 2l ,1  e( k ) g2,2 l 1 e( k ) g 2l ,1  e( k ) g 2,2l 1 với l  k e( k ) g2 j ,2i 1  e( k ) g2i ,2 j 1 e( k ) g2 j ,2i 1  e( k ) g2i ,2 j 1 với l  i  j  k ( r  j 1 ) e( k 1)  e( k ) g 2k ,2 j 1 g 2k 1,2 j e(j) với  j  k q 1 e( k ) g j e(j)  r( r  j 1 ) e( k ) với  j  k q 1 e( k ) H n (q)e( j )  e( k ) H j 1,n (q)  m H m k 1 n (q)e( m) H n (q) ,trong j  k Chứng minh.Các khẳng định (2), (4), (5), (6) suy luận trực tiếp từ Bổ đề 2.2.2 2.2.3 cách sử dụng tính chất đối đẳng cấu Mệnh đề 3.2.2 Mệnh đề (1) chứng minh phép quy nạp theo m sau: Với m=1 (1) theo Bổ đề 2.2.2(2) với j=l Giả sử (1) đúngvớim-1,nghĩa là, g2m3,2( j 1)e( k )  g 2( j 1)1,2 m2e( k ) (3.2.13) g2m3,2( j 1)e( k )  g 2( j 1)1,2 m2e( k ) với  m  j  k (3.2.14) Ta có g2m1,2 j e( k )  g2m2,2 m3 ( g2m3,2 j 2 ) g2 j 1,2 j e( k ) Bđ 2.2.2(3)  g 2m2,2 m3 ( g 2m3,2 j 2 ) g2 j 1,2 j e( k ) 35 (H2 )  g 2m2,2 m3 g 2 j 1,2 j ( g 2m3,2 j 2 )e( k ) (3.2.13)  g 2m2,2 m3 g2 j 1,2 j ( g2 j 1,2 m2 )e( k )  g2m2,2 m3 g2 j 1,2 m2e( k ) (H2 )  g 2 j 1,2 m g 2m2,2 m3 g2m1,2 m2e( k ) Bđ 2.2.2(3)  g 2 j 1,2 m g 2m2,2 m3 g2m3,2 m2e( k )  g 2 j 1,2 me( k ) Đẳng thức lại (1) chứng minh hoàn toàn tương tự Khẳng định (3) suy luận trực tiếp từ khẳng định (1) cách sử dụng đối đẳng cấu Khẳng định (3) Bổ đề 2.2.2 trường hợp đặc biệt khẳng định (1) 3.2.4.Chú ý Trong Bổ đề 3.2.1 tính chất (2) (3) việc sử dụng giả thiết phần tử (r-1)/(q-1)là khả nghịch Trên vành giao hoán R mà phần tử(r-1)/(q-1) không khả nghịch, chẳng hạn R  [q 1 , r 1 , r 1 ] Định nghĩa 2.1.2,những tính chất khơng cịn q 1 Điều ngụ ý Mệnh đề 3.2.2 sai vành Nghĩa là, ánh xạ i không ánh xạ đối đẳng cấu đại số q-Brauer Brn(r,q) (r-1)/(q-1) không khả nghịch 3.3 Thuật toán dùng để sản xuất phần tử sở cho đại số q-Brauer Chúng ta giới thiệu thuật toán dùng để sản xuất phần tử sở gd chođại số q-Brauer Brn(r,q)từ biểu đồ d cho trước đại số Brauer Dn(N) cổ điển Sự xây dựng thuật toán dựa phương pháp chứng minh bổ đề 1.3.7(1) (xem [7], Bổ đề 1.2(a) chomột chứng minh hoàn chỉnh) Từ diễn tả biểu đồdbất kỳ liên kết ba biểu đồ thành phần 36  d , (d ) ,d  mục 3.1, đủ để xem xét biểu đồ d* có dạng biểu đồ d1 Nghĩa là, d* có xác k đoạn thẳng ngang hàng, có hàng giống hàng e(k),và đoạn thẳng dọc không cắt Gọi Dk*,n tập hợp tất biểu đồ d*ở Nhắc lại rằng, hoán vị si,jvới  i, j  n  coi biểu đồ, ta gọi d(*i , j 1) i  j d(*i 1, j ) i  j, đại số Brauer chocác đỉnh tự 1,2, ,i-1,j+2, , nđược cố định Ví dụ: TrongD7(N), hốn vị s6,3tương ứng với biểu đồ:  7,3 d                3.3.1.Thuật toán Cho trước biểu đồ d  Dk*,n , đánh số đỉnh đồng thời hai hàng d*từ trái qua phải 1,2, ,n.Chú ý với 2k   i  n đỉnh thứ iở hàng kết nối với đỉnh thứ f (i) hàng trên, f (i)  f (i  1) hai đoạn dọcbất kỳ không cắt biểu đồ d* Điều này, kéo theo kết nối biểu đồ d(*n, f ( n )) d* cho ta biểu đồ d1*  d(*n, f ( n)) d * đỉnh thứ n hàng kết nối với đỉnh thứ n hàng trênvà đoạn thẳng dọc lại tương tự đoạn thẳng dọc trongd* Nghĩa là, biểu đồ d1* có đỉnh thứ n  hàng nối với đỉnh thứ f (n  1) hàng Tương tự liên kếtcủa hai biểu đồ d(*n1, f ( n1)) d1* cho ta biểu đồ d2*  d(*n1, f ( n1)) d1*  d(*n1, f ( n1)) d(*n, f ( n)) d * đỉnh thứ n n  hàng d 2* nối với đỉnhtương ứng hàng đoạn thẳng dọc cịn lại giữ ngun ví trí đoạn thẳng dọc d* 37 Tiếp tục theo cách này, xác định dãy biểu đồ sau: d(*n, f ( n )) , d(*n1, f ( n1)) , , d(2* k 1, f (2 k 1)) cho d /  d(2* k 1, f (2 k 1)) d(*n1, f ( n1)) d(*n, f ( n)) d * biểu đồ S2 k e( k ) Ở đây, d/ xem biểu đồ D2 k ( N ) với đoạn thẳng ngang có (n  2k ) đoạn thẳng dọc bên phải Tiếp theo, gọii2k-2 tên đỉnh hàng d/,mà kết nối với đỉnh thứ 2k hàng đặt t(2 k 2)  si2 k 2 ,2 k 2 Tiếp biểu đồ d1/  t(21k 2) d / mà đỉnh thứ 2k thứ (2k  1) kết nối với đoạn thẳng ngang Thực trình cuối biểu đồd* biến đổi thành biểu đồe(k) 1 e( k )  t(2) t(21k 4)t(21k 2) d(2* k 1, f (2 k 1)) d(*n1, f ( n1)) d(*n, f ( n)) d * Dẫn đến biểu đồ d*được viết lại d *  e k  , 1   (t(2) t(21k 4)t(21k 2) d(2* k 1, f (2 k 1)) d(*n1, f ( n1)) d(*n, f ( n)) )1 (3.3.1) 1  (d(2* k 1, f (2 k 1)) d(*n1, f ( n1)) d(*n, f ( n)) )1 (t(2) t(21k 4)t(21k 2) )  d(*f ( n),n) d(*f ( n1),n1) d(*f (2 k 1),2 k 1)t(2 k 2)t(2 k 4)t(2)  s f ( n),n1s f ( n1),n2 s f (2 k 1),2 k si2 k 2 ,2 k 2 si2 k 4 ,2 k 4 si2 ,2 Với f (i)  f (i  1) 2k +1  i  n-1  1  s2,i s2 k 4,i k 4 s2 k 2,i2 k 2 s2 k , f (2 k 1) sn2, f ( n1) sn1, f ( n) si2 k 2 ,2 k 2 si2 k 4 ,2 k 4 si2 ,2 Chú ý đối đẳng cấu * đại số Brauer cổ điểnDn(N) biến biểu đồd* thành biểu đồ dcó dạng e k  1 với  1  s2,i s2 k 4,i 2 k 4 s2 k 2,i2 k 2 s2 k , f (2 k 1) sn2, f ( n1) sn1, f ( n) Bởi theo định nghĩa 3.1.3, phần tử sở tương ứng g d * g d đại số q-Brauer có dạng sau: g d *  g e( k ) g d  e( k ) g 1 3.3.2.Ví dụ Trong D7(N) có biểu đồ d* sau:     * d 38           Bước 1: Biến đổi d d/  d7,3  = d1 = d 2 = d/ = e(2)  d*   d6,2   d1   d5,2   d 2  Bước 2: Biến đổi d/ vềe(2)  t(2)   d/  39 Bây giờ, biểu đồ d*được viết lại dạng e(2) , * * *   (d(5,1) , d(6,2) , d(7,3) )1 t(2)  s3,6 s2,5 s1,4 s2 Phần tử sở tương ứng với biểu đồd* đại số q-Brauer Br7(r,q)    gd *  g e(2)  g3,6 g 2,5 g1,4 g 2e(2) Sử dụng đối đẳng cấu * đại số Brauer Dn(N)dẫn đến biểu đồ kết quảd đại số Brauer Dn(N)là: d  e(2) 1  e(2) (s3,6 s2,5 s1,4 s2 )1  e(2) s2 s4,1s5,2 s6,3    Do gd  e(2) g 1  e(2) g2 g4,1 g5,2 g6,3 Quan sát kết thu qua việc áp dụng đối đẳng cấu i đại sốq-Brauer, nghĩa là,       i( gd * )  i( g e(2) )  i ( g3,6 g 2,5 g1,4 g 2e(2) )  e(2) g g 4,1 g5,2 g6,3  gd 3.3.3 Nhận xét Kết hợp với Bổ đề 1.3.7thuật toán ngụ ý tương ứng với biểu đồ d* Dk*,n cho trước códuy phần tử   tn1tn1 t2k t2k 2t2k 4 t2  Bk* với t j  si j , j i j  i j 1 , 2k   j  n  Sao cho d   e(k) l (d * )  l ( ) Đặt Bk*,n    Bk | d *  e( k ) l (d * )  l ( ), d *  Dk*,n  (3.3.2)   Bk ,n   1   Bk*,n (3.3.3) Theo Bổ đề 1.3.8 (1), Bk ,n  { 1  Bk d  e( k ) 1 l (d )  l ( 1 ),d  Dk ,n } , 40 Dk,nlà tập hợp tất biểu đồ d ảnh biểu đồ d *  Dk,n qua ánh xạ đối đẳng cấu * Tính củaphần tử   Bk ,n có nghĩa Bk*,n  Bk ,n  Dk ,n  Dk*,n Chotrước biểu đồ d *  Dk,n , số lượng biểu đồ d* số lượng khả để tạo thành k đoạn thẳng ngang n đỉnh hàng d*, dẫn đến Bk*,n  Bk ,n  Cho phần tử n! 2k (n  2k )!k !   tn1tn1 t2k t2k 2t2k 4 t2  Bk* t j  1với 2k  j  n-1 t j 1  Thật vậy, công thức (3.3.1), giả sử t j  s f ( j 1), j  Điều có nghĩa biểu đồtương ứng d(*f ( j 1), j 1)  1, trường hợp biểu đồ d(*f ( j 1), j 1) biểu đồ gồm tất đoạn thẳng dọc không cắt Điều kéo theođỉnh thứ j  1của hàng biểu đồ d*kết nối với đỉnh thứ j  1tương ứng hàng trên, điều hiểu f  j  1  j  Từ định nghĩa củabiểu đồ d* Dk,n đoạn thẳng dọc phía bên phải đỉnh thứ ( j  1) hàng khơng cắt Điều có nghĩa đỉnh thứ j  hàng biểu đồ d*nốivới đỉnh thứ f  j    j  hàng nó.Do đó, d(*f ( j 2), j 2)  d(*j 2), j 2)  1, điều hiểu t j 1  s f ( j 2), j 1  s j 2, j 1  3.4 Sự so sánh Giáo sư H Wenzl giới thiệu diễn tả thu gọn biểu đồ đại số d cách tổng quát l (d )  l (1 )  l ( ) : d  1e( k ) , 1 ,   Sn  Định nghĩa nói lên tồn vàidiễn tả thu gọn khác biểu đồ d Nếu diễn tả thu gọn d  1e( k ) , 1 ,   Sn cố định, 41 Wenzl định nghĩa phần tử sở g d  g1 e( k ) g2 cho đại số q-Brauer Brn(r,q)(xem mục 3.7, [10]) Trong mục 3.1 giới thiệukhái niệmdiễn tả thu gọn biểu đồ d theo cách khác Sự xây dựng dựa hàm độ dài biểu đồ d Wenzl Tuy nhiên biểu đồ d biểu diễn ba biểu đồ thành phần d1,d2và ωdsao cho d = N-k d1 ωd d2 Ở quan tâm đến việc sản xuất biểu diễn rút gọn d Điều cho phép định nghĩa diễn tả thu gọn biểu đồd Do chúng tơi đưa sở khác cho đại số q-Brauer Chú ý rằng, hàm độ dài biểu đồ mà sử dụng hoàn toàn tương tự khái niệm hàm độ dài mà Wenzl xây dựng Thật vây, giả sử d có diễn tả thu gọn 1 , ( d ) , 2  Thì d  N  k d1( d ) d2  N  k (1e k  )( d ) (e k 2 )  N  k (1( d ) )e(k) 2  (1( d ) )e k 2  1e k  (( d )2 ) Từ định nghĩa Wenzl dẫn đến biểu đồ d có diễn tả thu gọn khác d  1e( k ) Điều kéo theo d  (1( d ) )e k 2  1e k  (( d )2 )  1e( k ) Do đó, 1 ,    1( d ) , 2  1 ,    1 , ( d )2  Như l (d )  l (1 )  l (( d ) )  l (2 )  l (1 )  l ( ) 3.4.1 Nhận xét Chúng ta ý sở cho đại sốq-Brauer mà Wenzl không phù hợp cho việc chứng minh cấu trúc cellular đại số q-Brauer Cơ sở xây dựng mục 3.1 cung cấp tính chất cellularity cho đại số q-Brauer 3.4.2 Ví dụ Ví dụ nhằm có hai sở khác cho đại số q-Brauer dựa định nghĩa Wenzl, dựa xây dựng chúng tơichỉ có sở 42 Chúng xem xét biểu đồ d đãđề cập ví dụ 3.1.1 Sử dụngđịnh nghĩa diễn tả thu gọn Wenzl, biểu đồ cũ d xác định tích d  1e( k ) sau: Trường hợp 1: d có diễn tả thu gọn d  1e( k ) cho e( k ) biểu đồ mà đoạn thẳng dọc không cắt  1   d = e(2)   2  Trong 1  1s5 s6  s1,4 s2 s5 s6  s1,6 s2  B2* với l (1e(2) )  l (1 )    2  s4,1s5,2 s6,4  B2 , với l (e(2) )  l ( )  11 Trong trường hợp d códiễn tả thu gọn (1 ,  )  (s1,6 s2 ,s4,1s5,2s6,4 ) với l (d )  l (1 )  l ( )   11  18 Phần tử sở tương ứng đại số q-Brauer dựa định nghĩa     Wenzl có dạng sau: g d  g1 e(2) g2  g1,6 g2e(2) g4,1 g5,2 g6,4 (3.4.1) Trường hợp 2: d có diễn tả thu gọn d  1e( k ) cho 1e( k ) biểu đồ đoạn thẳng dọc không cắt  1   d   = e(2) 43 Trong 1  1  s1,4 s2  B2* với l (1e(2) )  l (1 )  5,   s5 s62  s5 s6 s4,1s5,2 s6,4  s4,2 s5,1s6,2  B2* với l (e(2) )  l ( )  13 Sựdiễn tả thu gọn d trường hợp (1 ,  )  (s1,4 s2 ,s4,2s5,1s6,2 ) với l (d )  l (1 )  l ( )   13  18 Phần tử sở tương ứng đại số q-Brauer dựa định nghĩa Wenzl trường hợp có dạng sau:     (3.4.2) g d  g1 e(2) g2  g1,4 g2e(2) g4,2 g5,1 g6,2 Hai trường hợp khái niệm diễn tả thu gọn biểu đồ d theo cách định nghĩa Wenzl không (s1,4 s2 , s4,1s5,2 s6,4 )  (s1,6 s2 , s4,2 s5,1s6,2 ) So sánh với ví dụ 3.1.2 nhận thấy độ dài biểu đồ dtrong hai Ví dụ nàylà giống phần tử sở tương ứng với biểu đồ trongđại sốq-Brauer theo định nghĩa 3.1.3     (3.4.3) g d  g1 e(2) g ( d ) g1  g1,4 g2 ( g5 g6 )e(2) g 4,1 g5,2 g6,4 44 KẾT LUẬN Dựa vào tài liệu [3], luận văn trình bày nội dung sau: Giới thiệu số phiên khác trình bày số tính chất củađại số q-Brauer Giới thiệu sở củađại số q-Brauer dựa sở biểuđồ đại số Brauervà trình bày thuật tốn để sản xuất phần tử sở đại số 45 TÀI LIỆU THAM KHẢO [1] J Birman , H Wenzl, Braids (1989), Link polynomials and a new algebra, Trans Amer Math Soc., 313(1), 249-273 [2] R.Brauer (1937), On Algebras which are connected with the semisimply continuous groups, Ann of Math.,63, 854-872 [3] W.P Brown (1956), The semisimplicity of  nf , Ann of Math., 63(2), 324-335 [4] N.T.Dung (2013), The q-Brauer algebras, Dissertation Stuttgart [5] N.T.Dung (2014),Cellular Structure of q-Brauer algebras, Algebr And Represent Theorem,17(5), 1359-1400 [6] E Murphy (1995), The representations of Hecke algebras of type An, J Algebra, 173(1), 97-121 46 [7] A.I Molev (2003), A new quantum analog of the Brauer algebras, Czechoslovak J Phys.,53, 1073-1078 [8] A.I Molev (2013), Private communication [9]H.Wenzl (2011), Quotients of representation rings, Represent Theorem, 15, 385-406 [10] H.Wenzl(2012),A q-Brauer algebras, J Algebra, 358, 102-127 [11] H.Wenzl (2012), Fusion symmetric spaces and subfactors, Pacific J Math., 259(2), 483-510 47 48 ... đại số q- Brauer 20 2.3 Mô đun Vk* đại số Brn (r , q) .21 CHƢƠNG 3.MỘTCƠ SỞ VÀ MỘT ĐỐI ĐẲNG CẤU CỦA ĐẠI SỐqBRAUER 3.1 Cơ sở đại số q- Brauer 23 3.2 Đối đẳng cấu đại số q- Brauer. .. khác đại số có kết hoàn toàn tương tự 3.1 Cơ sở Đại số q- Brauer Trong mục này, s? ?cho? ?ại số q- Brauer Cơ sở số hóa tập hợp tất biểu đồ đại số Brauer cổ điểnDn(N), tham số N  0 3.1.1.Xây dựng Cho. .. nghĩa mộtbiểu diễn Brn(r ,q) CHƢƠNG 3: ĐẠI SỐ VÀ ĐỐI ĐẲNG CẤU CỦA ĐẠI S? ?q- BRAUER Trong chương này, xây dựngmột sở cụ thể cung cấp một? ?ối đẳng cấu cho đại số q- Brauer Tiếp đưa mộtsự so sánh 23 sở sở