Phân loại các biểu diễn của một số nhóm ma trận lượng tử

Lời cam đoan Tôi xin cam đoan công trình nghiên cứu hướng dẫn PGS TSKH Phùng Hồ Hải, PGS.TS Nguyễn Quốc Thắng Các kết viết chung với tác giả khác trí đồng tác giả đưa vào luận án Các kết luận án chưa công bố công trình khác Tác giả Nguyễn Thị Phương Dung Lời cảm ơn Tôi xin bày tỏ kính trọng lòng biết ơn sâu sắc tới thầy tôi, PGS.TSKH Phùng Hồ Hải Thầy kiên trì tận tình truyền đạt, giảng giải kiến thức chuyên môn, giúp vượt qua lúc khó khăn, chủ động tự tin suốt trình học tập nghiên cứu Viện Toán học Tôi xin bày tỏ lòng biết ơn trân trọng tới thầy Nguyễn Quốc Thắng Thầy bảo tận tình, quan tâm ưu đến nhiều suốt năm qua Tôi xin gửi lời cảm ơn đến thầy phòng Đại số phòng Lý thuyết số, thầy Nguyễn Tự Cường, thầy Lê Tuấn Hoa thầy Ngô Việt Trung, tạo điều kiện tốt cho hoàn thành việc học tập Tôi xin trân trọng cảm ơn Viện Toán học, phòng chức năng, Trung tâm Đào tạo sau đại học Viện Toán học tạo điều kiện giúp học tập nghiên cứu, để hoàn thành luận án Tôi xin cảm ơn anh chị em bạn học tập nghiên cứu phòng Đại số phòng Lý thuyết số, Viện Toán học giúp đỡ, chia sẻ khoa học sống Tôi xin bày tỏ biết ơn đến Ban giám đốc Học viện Biên Phòng, Lãnh đạo khoa Khoa học toàn thể giáo viên khoa tạo điều kiện thuận lợi để hoàn thành tốt nhiệm vụ học tập giảng dạy nhà trường Một lời cảm ơn đặc biệt xin dành cho gia đình thân yêu động viên, tạo điều kiện tốt cho suốt thời gian học tập, nghiên cứu vừa qua Mục lục Mở đầu Kiến thức chuẩn bị 12 0.1 Đại số Hopf 12 0.2 Cấu trúc đối tựa tam giác 15 0.3 Phức Koszul K L 16 0.3.1 Phức Koszul K 16 0.3.2 Phức Koszul L 18 Phân hoạch hàm Schur 19 0.4 Biểu diễn nhóm lượng tử loại A ứng dụng 21 1.1 Đối xứng Hecke nhóm ma trận lượng tử 22 1.2 Các đại số toàn phương liên kết với đối xứng Hecke 24 1.3 Đối mô đun ER 24 1.3.1 Đại số Hecke 25 1.3.2 Thuật toán Littlewood-Richardson 27 1.4 Đối mô đun HR 28 1.5 Phức Koszul liên kết với đối xứng Hecke 30 1.6 Chuỗi Poincaré 31 1.6.1 Chuỗi Poincaré chiều ER -đối mô đun 32 1.6.2 Tính thuận nghịch chuỗi Poincaré 33 Biểu diễn bất khả qui GLq (2|1) 38 2.1 Một số tính chất phức Koszul K 39 2.2 Khai triển tích ten xơ ER -đối mô đun đơn 41 2.3 Phân tích tích ten xơ với đối ngẫu ER -đối mô đun đơn 42 2.4 Tích phân đối mô đun chẻ 44 2.5 Đồng điều phức Koszul K1 46 2.6 Phân loại đối mô đun đơn 52 2.7 Tính đầy đủ 57 Phức Koszul kép xây dựng biểu diễn bất khả qui siêu nhóm tuyến tính GL(3|1) 61 3.1 Siêu đại số Lie biểu diễn 62 3.1.1 Đại số bao phổ dụng 63 3.1.2 Biểu diễn cảm sinh 64 3.1.3 Trọng nghiệm 64 3.1.4 Biểu diễn với trọng cao 65 3.1.5 Mô đun Verma 65 3.1.6 Đặc trưng biểu diễn 66 3.2 Phức Koszul kép 67 3.3 Một số tính chất phức Koszul kép 69 3.4 Đặc trưng biểu diễn bất khả qui GL(3|1) 74 3.4.1 Đặc trưng biểu diễn điển hình 74 3.4.2 Đặc trưng biểu diễn không điển hình 74 Xây dựng biểu diễn bất khả qui GL(3|1) 75 3.5.1 Xây dựng biểu diễn phương pháp tổ hợp 76 3.5.2 Xây dựng biểu diễn sử dụng phức Koszul K 77 3.5.3 Xây dựng biểu diễn cách sử dụng phức Koszul 3.5 kép Biểu diễn bất khả qui GLq (3|1) 79 82 4.1 Một số tính chất phức Koszul kép 83 4.2 Xây dựng biểu diễn GLq (3|1) 87 4.2.1 Xây dựng biểu diễn sử dụng phân hoạch 87 4.2.2 Xây dựng biểu diễn sử dụng phức Koszul K 87 4.2.3 Xây dựng biểu diễn sử dụng phức Koszul kép 88 Mở đầu Mục đích luận án nghiên cứu biểu diễn số nhóm lượng tử loại A Nhóm lượng tử loại A hiểu đại số Hopf, xây dựng từ nghiệm phương trình Yang-Baxter, thỏa mãn hệ thức Hecke điều kiện đóng Cụ thể phân loại biểu diễn bất khả quy trường hợp số chiều thấp ((2|1) (3|1)) Cố định không gian véc tơ V với chiều d, trường đóng đại số k đặc số Một toán tử khả nghịch R : V ⊗ V −→ V ⊗ V gọi đối xứng Hecke thỏa mãn phương trình Yang - Baxter, hệ thức Hecke tính chất đóng Từ đối xứng Hecke R trên, xây dựng đại số Hopf HR sau Cố định sở x1 , x2 , , xd V Theo sở R biểu diễn ma kl trận, ký hiệu (Rij ) Để cho thuận tiện, ta qui ước: số biểu thức xuất hiểu biểu thức lấy tổng theo số Đại số HR thương đại số tự không giao hoán phần tử sinh (zji , tij )1≤i,j≤d , theo hệ thức sau: i j mn ij p q zm zn Rkl = Rpq zk zl zki tkj = tik zjk = δji HR đại số Hopf, với ánh xạ cấu trúc [12]: ∆(zji ) = zki ⊗ zjk , ∆(tji ) = tki ⊗ tjk , ε(zji ) = ε(tij ) = δji S(zji ) = tij Phép đối xứng thông thường R(x ⊗ y) = y ⊗ x đối xứng Hecke (với q = 1) Đại số HR tương ứng vành hàm quy nhóm GL(V ): k[zji ][det(zji )−1 ] Tương tự, V siêu không gian véc tơ R phép siêu đối xứng, HR siêu đại số hàm quy siêu nhóm ma trận toàn phần Vì biểu diễn nhóm lượng tử đối mô đun đại số Hopf HR Ví dụ quan trọng đối xứng Hecke nghiệm chuẩn loại A phương trình Yang-Baxter tìm Drinfeld Jimbo Trong trường hợp V có chiều 2, nghiệm cho ma trận sau:   q 0     0 q 0     0 q q −1 0   0 q Khi q = 1, toán tử phép đối xứng thông thường V ⊗ V nhắc tới Các nghiệm chuẩn ứng với siêu đối xứng đưa Manin Trên sở ví dụ trên, người ta nói HR xác định nhóm ma trận lượng tử loại A Với đối xứng Hecke R, xét đại số SR , ΛR sau: kl SR := k x1 , x2 , , xd /(xk xl Rij = qxi xj ), kl ΛR := k x1 , x2 , , xd /(xk xl Rij = −xi xj ), Các đại số SR ΛR coi xác định không gian tuyến tính lượng tử SR gọi đại số đối xứng lượng tử, ΛR gọi đại số phản đối xứng lượng tử ΛR , SR đại số toàn phương, tức sinh phần tử bậc với hệ thức bậc hai, đại số phân bậc Chuỗi Poincaré tương ứng chúng ∞ ∞ n PΛ (t) = dimk (Sn )tn , dimk (Λn )t , PS (t) = n=0 n=0 với Λn Sn thành phần bậc n tương ứng ΛR SR Khi R phép đối xứng thông thường, ta có PΛ (t) = (1 + t)d , PS (t) = (1 − t)d Khi R phép siêu đối xứng siêu không gian véc tơ V, với siêu chiều (m|n), ta có (1 + t)m PΛ (t) = , (1 − t)n (1 + t)n PS (t) = (1 − t)m Các đại số ΛR , SR đóng vai trò quan trọng việc nghiên cứu phạm trù biểu diễn nhóm ma trận lượng tử liên kết với R Lyubashenko [23] chứng minh rằng: q = chuỗi Poincaré ΛR đa thức, có tính chất thuận nghịch Gurevich [9] mở rộng kết với q bất kỳ, không đơn vị 81 • Kết luận Trong chương đưa xây dựng tường minh tập tất biểu diễn bất khả qui siêu nhóm tuyến tính GL(3|1), sử dụng phức Koszul K, L phức Koszul kép xây dựng từ phức Koszul K, L Chương Biểu diễn bất khả qui GLq (3|1) Mục đích chương phân loại biểu diễn bất khả qui đại số Hopf liên kết với đối xứng Hecke có song hạng (3, 1) Sử dụng phức Koszul kép giới thiệu Chương 3, ta thu số kết tương tự Từ xây dựng lớp biểu diễn GLq (3|1) Trong Chương 2, dùng phức Koszul K, ta xây dựng tất biểu diễn bất khả qui HR Khi đối xứng Hecke có song hạng (3, 1), sử dụng phức Koszul K, xây dựng lớp biểu diễn bất khả qui HR Dùng phức Koszul kép (với phức Koszul K, L phức trường hợp lượng tử), tính chất phức Koszul kép này, xây dựng lớp biểu diễn khác HR Các biểu diễn đánh số tập số nguyên (m, n, p, q) thỏa mãn điều kiện m ≥ n ≥ p Chúng dự đoán tập biểu diễn xây dựng bất khả qui tất biểu diễn bất khả qui HR 82 83 4.1 Một số tính chất phức Koszul kép Chúng thu số kết sau Mệnh đề 4.1.1 Ánh xạ hợp thành g := ∂P Qd : Sk · Sb∗ −→ Sk · Sb∗ sơ đồ (3.4) đẳng cấu với k ≥ Khi ta có Sk · Sb∗ đẳng cấu ∗ với thành phần trực tiếp Sk+1 · Sb+1 Chứng minh Bằng qui nạp, ta chứng minh ánh xạ ∂P Qd : Sk ·Sb∗ −→ Sk ·Sb∗ chéo hóa được, với trị riêng tập hợp Ak , Ak := ([a + k + − j] − [−2])[j] : j := 1, 2, · · · , k + [k + 1][a + k + 1] Các công thức sử dụng (1.8) (1.9) Với k = 0, ánh xạ P Q : Sa∗ −→ Sa∗ = id, suy g = ∂P Qd = ([a]−[−2]) [a+1] id Giả sử mệnh đề với k − Xét ánh xạ [2][k] [k + 1] − [2][k]QP ]d = ∂d − ∂QP d (k + 1) [k + 1] [2][k] [q([a + k − 1] − [−2]) − [a + k]d∂] = ∂d − Q P [k + 1] [2][a + k + 1] q[k][([a + k − 1] − [−2])] [k][a + k] QP + Qd∂P = ∂d − [k + 1][a + k + 1] [k + 1][a + k + 1] [a + k] − [−2] q[k]([a + k − 1] − [−2])) [k][a + k] = − Id + Qd∂P [a + k + 1] [k + 1][a + k + 1] [k + 1][a + k + 1] h := ∂P Qd = ∂[ Theo giả thiết qui nạp công thức (3.4), ánh xạ ∗ ∗ ∂P Qd : Sk−1 · Sb−1 −→ Sk−1 · Sb−1 chéo hóa được, với tập trị riêng Ak−1 , nên Qd∂P : Sk · Sb∗ −→ Sk · Sb∗ chéo hóa được, với tập trị riêng Ak−1 ∪ {0} Vì vậy, dễ thấy ∂P Qd : Sk · Sb∗ −→ Sk · Sb∗ chéo hóa được, với tập giá trị riêng Ak 84 Xét sơ đồ (3.7), ta thu kết sau: Mệnh đề 4.1.2 Ánh xạ hợp thành ∗ ∗ P ∂dQ : KerPi,k+1 · Sa+i+k+1 −→ KerPi,k+1 · Sa+i+k+1 ∗ đẳng cấu với sơ đồ (3.7) đẳng cấu Khi KerPi,k+1 · Sa+i+k+1 thành phần trực tiếp Si+1 · Imdk,a+i+k+1 Chứng minh Bằng phương pháp qui nạp, ta chứng minh ánh xạ ∗ ∗ P ∂dQ : KerPi,k+1 · Sa+i+k+1 −→ KerPi,k+1 · Sa+i+k+1 chéo hóa với tập trị riêng Ai , Ai := q k ([a + k + 2i − j + 2] − [−2])[j] : j = 1, 2, · · · , i + 1, i + k + [i + 1][k + 1]2 [a + i + k + 2] Với i = 0, xét sơ đồ sau: ∂ o_ _ _ _ _/ ∗ ∗ · · · Λk+1 · Sa+k+1 Λk+2 · Sa+k+2 ···  OO Q  P¯  · · · S1 · Λk ·  OO  o_ _∂ _/ ∗ Sa+k+1 d  ∗ S1 · Λk+1 · Sa+k+2 ··· ∗ ∗ Xét ánh xạ hợp thành P ∂DQ : Λk+1 · Sa+k+1 −→ Λk+1 · Sa+k+1 Theo công thức (1.8) (1.9), ta có [q k ([a + 1] − [−2]) − [k][a + k + 1]d∂] P ∂dQ = P Q [k + 1[[a + k + 2] q k ([a + 1] − [−2]) [k][a + k + 1] = Id − d∂ [k + 1][a + k + 2] [k + 1][a + k + 2] Vì d∂ chéo hóa được, với trị riêng [a]−[−2] [k+1][a+k+1] , nên P ∂dQ chéo hóa được, với trị riêng thuộc A0 , A0 := q k [k + 1]([a + 1] − [−2]) q k ([a + k + 1] − [−2]) , [k + 1]2 [a + k + 2] [k + 1]2 [a + k + 2] 85 ∗ ∗ Với i = 1, xét P ∂dQ : KerP1,k+1 · Sa+k+2 −→ KerP1,k+1 · Sa+k+2 , [q k ([a + 2] − [−2]) − q[k][a + k + 2]d∂] Q [k + 1][a + k + 3] q[k][a + k + 2] q k ([a + 2] − [−2]) PQ − dP Q∂ = [k + 1][a + k + 3] [k + 1][a + k + 3] q k ([a + − [−2])[k + 2] q[k][a + k + 2] [k + 1] − [k + 1]QP = Id − d[ ]∂ [2][k + 1] [a + k + 3] [k + 1][a + k + 3] [2][k] q[a + k + 2] q[a + k + 2] q k ([a + 2] − [−2])[k + 2] Id − d∂ + dQP ∂ = [2][k + 1]2 [a + k + 3] [2][a + k + 3] [2][a + k + 3] P ∂dQ = P ∗ ∗ Ta có d∂ : S1 · Λk+1 · Sa+k+2 −→ S1 · Λk+1 · Sa+k+2 chéo hóa được, với trị riêng q k+1 ([a+1]−[−2]) q[k+1][a+k+2] Mặt khác, dễ thấy d∂ ◦ dQP ∂ = dQP ∂ ◦ d∂, ∗ đó, d∂(x) = 0, dQP ∂(x) = Vì P ∂dQ : KerP1,k+1 · Sa+k+2 −→ ∗ KerP1,k+1 · Sa+k+2 chéo hóa được, với trị riêng thuộc A1 , A1 := q k ([a + 2] − [−2])[k + 2] q k ([a + k + 3] − [−2]) , , [2][k + 1]2 [a + k + 3] [2][k + 1]2 [a + k + 3] q k [2]([a + k + 2] − [−2]) [2][k + 1]2 [a + k + 3] Tổng quát, sơ đồ (3.7), xét ánh xạ hợp thành ∗ ∗ P ∂dQ : KerPi,k+1 · Sa+i+k+1 −→ KerPi,k+1 · Sa+i+k+1 86 Ta có q k ([a + i + 1] − [−2]) − q[k][a + i + k + 1]d∂ ]Q [k + 1][a + i + k + 2] q[k][a + i + k + 1] q k ([a + i + 1] − [−2]) PQ − dP Q∂ = [k + 1][a + i + k+] [k + 1][a + i + k + 2] q k ([a + i + 1] − [−2])[i + k + 1] = Id [k + 1]2 [i + 1][a + i + k + 2] q[k][a + i + k + 1] [i + k] − [i][k + 1]QP − d[ ]∂ [k + 1][a + i + k + 2] [k][i + 1] q k ([a + i + 1] − [−2])[i + k + 1] q[i + k][a + i + k + 1] = Id − d∂ [k + 1]2 [i + 1][a + i + k + 2] [k + 1][i + 1][a + i + k + 2] q[i][a + i + k + 1] dQP ∂ + [i + 1][a + i + k + 2] P ∂dQ = P [ Ánh xạ d∂ chéo hóa được, với trị riêng q k ([a+i]−[−2]) [k+1][a+i+k+1] ,0 d∂ ◦ dQP ∂ = dQP ∂ ◦ d∂ Mặt khác, d∂(x) = 0, dễ dàng thấy ∗ dQP ∂(x) = Theo giả thiết qui nạp, P ∂dQ : KerPi−1,k+1 · Sa+i+k −→ ∗ KerPi−1,k+1 ·Sa+i+k chéo hóa được, với trị riêng thuộc Ai−1 , nên dQP ∂ : ∗ ∗ KerPi,k+1 · Sa+i+k+1 −→ KerPi,k+1 · Sa+i+k+1 chéo hóa được, với trị ∗ riêng thuộc Ai−1 ∪ {0} Vì ánh xạ P ∂dQ : KerPi,k+1 · Sa+i+k+1 −→ ∗ KerPi,k+1 · Sa+i+k+1 sơ đồ chéo hóa được, với tập trị riêng Ai Cho R đối xứng Hecke với song hạng (3, 1) Tập ER đối mô đun đơn đánh số tập phân hoạch λ Vì vậy, với số nguyên (m, n, p, q) thỏa mãn m ≥ n ≥ p ≥ 0, q ≥ 0, p = suy q = 0, ta đặt Im,n,p,q := Iλ , với λ = (m, n, p, 1q ) Theo [16], phức K2 khớp thành phần, ngoại trừ thành phần K3,1 , có đồng điều chiều, ký hiệu đối mô đun I1,1,1,−1 Để xây 87 dựng biểu diễn bất khả qui GLq (3|1), ứng với số nguyên (m, n, p, q), thỏa mãn điều kiện m ≥ n ≥ p, trước hết ta đặt ⊗q Im,n,p,q := Im+q,n+q,p+q,0 ⊗ I1,1,1,−1 Vì vậy, ta cần xây dựng biểu diễn bất khả qui đánh số Im,n,p,0 , ứng với số nguyên (m, n, p, 0), thỏa mãn điều kiện m ≥ n ≥ p 4.2 4.2.1 Xây dựng biểu diễn GLq (3|1) Xây dựng biểu diễn sử dụng phân hoạch Với m ≥ n ≥ p ≥ 0, đặt Im,n,p,0 := Iλ , với λ = (m, n, p) ∗ Với ≥ m ≥ n ≥ p, đặt Im,n,p,0 := I−p,−n,−m,0 Với n = p = 0, đặt Im,0,0,0 := Sm ∗ Với m = n = 0, p < 0, đặt I0,0,p,0 := S−p 4.2.2 Xây dựng biểu diễn sử dụng phức Koszul K Để xây dựng biểu diễn ứng với số nguyên lại, trước hết ta xét phức có Ka , với a = ∗ ∗ Ka=k−l : −→ Λk Sl∗ −→ Λk+1 Sl+1 −→ Λk+2 Sl+2 −→ , ∗ dk,l : Λk Sl∗ −→ Λk+1 Sl+1 Với k ≥ 3, Λk nội xạ xạ ảnh, nên Λk Sl∗ nội xạ xạ ảnh (xem [13]) Ta có Λk Sl∗ = Imdk−1,l−1 ⊕ Imdk,l = I1,1,2−l,k−4 ⊕ I1,1,1−l,k−3 , (4.1) 88 với I1,1,1−l,k−3 := Imdk,l , k ≥ Dễ dàng chứng minh Imdk,l đơn với ⊗k−3 k ≥ Bằng nhân ten xơ với I1,1,1,−1 , ta xây dựng biểu diễn, biểu diễn đánh số số nguyên (m, m, −p, 0) : m ≥ 1, p ≥ Như vậy, ta xây dựng biểu diễn bất khả qui, đánh số số nguyên (m, m, −p, 0) : m, p ≥ 1, ký hiệu Im,m,−p,0 tương ứng Tiếp theo, ta xây dựng biểu diễn đánh số số nguyên (m, 0, −p, 0) với m ≥ 1, p ≥ Với p = 0, đặt Im,0,0,0 := Sm Xét phức d0,m−1 d1,m ∗ ∗ ∗ −→ Sm−1 −→ Λ1 Sm −→ Λ2 Sm+1 −→ Phức khớp, nên ta có ∗ ∗ Λ1 · Sm = Imd0,m−1 ⊕ Imd1,m = Sn−1 ⊕ Imd1,m Vì vậy, đặt I1,0,−m,0 := Imd1,m 4.2.3 Xây dựng biểu diễn sử dụng phức Koszul kép Chúng xây dựng biểu diễn đánh số số nguyên (k, 0, −m, 0) : m ≥ 1, ký hiệu tương ứng Ik,0,−m,0 Theo Mệnh đề 4.1.1, tồn Y, cho ∗ ∗ Sk · Sm = Sk−1 · Sm−1 ⊕ Y Đặt Ik,0,−m,0 := Y Vì vậy, ta xây dựng biểu diễn, chúng đánh số số nguyên (k, 0, −m, 0) : k, m ≥ 1, ký hiệu Ik,0,−m,0 89 Cuối cùng, ta xây dựng biểu diễn đánh số số nguyên (m + t, m, −p, 0) : m, p, t ≥ 1, ký hiệu Im+t,m,−p,0 Theo Mệnh đề 4.1.2, KerPi,k · Sl∗ đẳng cấu với thành phần trực tiếp Si+1 · Imdk−1,l với i, k, l thỏa mãn i + k + a = l, nên tồn đối mô đun Xi+1 , cho ∗ Si+1 · Imdk−1,i+k+a = KerPi,k · Si+k+a ⊕ Xi+1 ⊗k−1 Đặt Ii+1,1,−i−k−a,k−1 := Xi+1 Nhân ten xơ hai vế với I1,1,1,−1 , ta thu Ii+k,k,−a−i−1,0 Đặt m := k, t := i, p := −a − i − 1, xây dựng tập biểu diễn đánh số số nguyên (m + t, m, −p, 0) với m, t, p ≥ • Kết luận Trong chương xây dựng lớp biểu diễn GLq (3|1), biểu diễn đánh số tập số nguyên có dạng (m, n, p, q) : m ≥ n ≥ p Chứng minh lớp biểu diễn xây dựng bất khả qui 90 Kết luận luận án Chuỗi Poincaré đại số toàn phương liên kết với đối xứng Hecke có tử thức đa thức có tính chất thuận nghịch, mẫu thức đa thức có tính chất đối thuận nghịch, đa thức có hệ số nguyên Các biểu diễn bất khả qui nhóm lượng tử liên kết với đối xứng Hecke có song hạng (2, 1) đánh số số nguyên (m, n, p) : m ≥ n Xây dựng tường minh biểu diễn bất khả qui siêu nhóm tuyến tính GL(3|1), nhờ việc sử dụng phức Koszul kép Bước đầu xây dựng lớp biểu diễn bất khả qui siêu nhóm tuyến tính lượng tử GLq (3|1) 91 Các công trình liên quan đến luận án N.P Dung and P H Hai On the Poincaré Series of Quadratic Algebras Associated to Hecke Symmetries, Int Math Res Noti 2003, No 40, 2193 - 2203 N T P Dung and P H Hai Irreducible representations of Quantum Linear Groups of type A1|0 J Alg 2004, No 282, 809 - 830 3.N T P Dung Double Koszul Complex and Construction of Irreducible Representations of gl(3|1), Proc AMS (to appear) Tài liệu tham khảo [1] A Berele and A Regev Hook Young Diagrams with Applications to Combinatorics and to Representation of Lie Algebras Adv Math 64:118 - 175, 1987 [2] F A Berezin Introduction to superanalysis D Reidel Publishing Company, Volume [3] J Brundan Kazhdan - Lusztig polynomials and character formulae for the Lie superalgebra gl(m|m) J Amer Math Soc., 16:185 - 231, 2002 [4] R Dipper and G James Representations of Hecke Algebras of General Linear Groups Proc London Math Soc., 52(3):20 - 52, 1986 [5] R Dipper and G James Block and Idempotents of Hecke Algebras of General Linear Groups Proc London Math Soc., 54(3):57 - 82, 1987 [6] N P Dung and P H Hai On the Poincaré Series of Quadratic Algbras Associated to Hecke Symmetries Int Math Res Noti., 40, 2193 2203, 2003 [7] N T P Dung and P H Hai Irreducible Representation of Quantum Linear Groups of type A1|0 J Alg., 282, 809 - 830, 2004 92 93 [8] N T P Dung Double Koszul Complex and Construction of Irre- ducible Representations of gl(3|1) Proc AMS (to appear) [9] D I Gurevich Algebraic Aspects of the quantum Yang - Baxter equation Leningrad Math J., 2(4)801 - 828, 1987 [10] P H Hai Koszul Property and Poincaré Series of Matrix Bialgebra of Type An J Alg., 192(2):734 - 748, 1997 [11] P H Hai Poincaré Series of Quantum Spaces Associated to Hecke Operators Acta Math Vietnam., 24(2):236 - 246, 1999 [12] P H Hai On Matrix Quantum Groups of Type An Int J of Math., 11(9):1115 - 1146, 2000 [13] P H Hai Splitting comodules over Hopf algebras and application to representation theory of quantum groups of type A0|0 J of Algebra, 245(1):20 - 41, 2001 [14] P H Hai The integral on quantum super groups of type Ar|s Asian J of Math., 5(4):751 - 770, 2001 [15] P H Hai On representation theory of matrix quantum groups of type A Vietnam J of Math., 33(3): 357 - 367, 2005 [16] P H Hai The Homological Determinant of Quantum Groups of type A Proc AMS., 133(7): 1897 - 1905, 2005 [17] V G Kac Classification of simple Lie superalgebras Funct Anal Appl., 9:263 - 265, 1975 [18] V G Kac Lie superalgebras Adv Math 26:8 - 96, 1977 94 [19] V G Kac Character of typical representations of classical Lie superalgebras Comm Alg., 5:889 - 897, 1977 [20] V G Kac Representations of classical Lie superalgebras in Lecture Notes in Math., 676:597 - 626, 1978 [21] Ch Kassel Quantum Groups, volume 155 of Graduate Texts in Mathematics Springer - Verlag, 1995 531p [22] V V Lyubashenko Hopf Algebras and Vector Symmetries Russion Math Survey, 41(5):153 -154, 1986 [23] V V Lyubashenko and A Sudbery Quantum Super Groups of GL(n|m) Type: Differential Forms, Koszul Complexes and Berezinians Duke Math J., 90:1 - 62, 1997 [24] I G Macdonald Symmetric functions and the Hall polynomials Oxford University Press, New York, 1979 (Second edition 1995) [25] Yu I Manin Quantum Groups and Non-commutative Geometry GRM, Univ de Montreal, 1988 [26] Yu I Manin Multiparametric Quantum Deformation of the General Linear Supergroups Comm Math Phys., 123:163 - 175, 1989 [27] T D Palev, V N Tolstoy Finite-Dimension Irreducible Representations of the Quantum Superalgebra Uq [gl(n|1)] Comm Math Phys., 141:549 - 558, 1991 [28] N Yu Reshetikhin, L A Takhtadzhyan and L D Faddeev Quantization of Lie groups and lis algebras Leningrad Math.J.1,193 - 225 95 [29] M Scheunert The Theory of Lie Superalgebras Lectune notes in Math., Springer - Verlag,1978 [30] M Scheurt, R B Zhang The general linear supergroup and its Hopf superalgebra of regular functions J Alg., 254:44 - 83, 2002 [31] M Sweedler Hopf Algebras Benjamin, New York, 1969 [32] A Sudbery Matrix-Element Bialgebras Determined by Quadratic Coordinate Algebras J of Algebra, 158:375 - 399, 1993 [33] M Takeuchi Matric Bialgebras and Quantum Qroups Israel J of Math., 72:232 - 251, 1990 [34] M Takeuchi and D Tambara A new one-parameter family of × quantum matrices Hokkaido Math Journal, XXI(3):409 - 419, 1992 See also Proc Japan Acad., 67, no 8, 267 - 269 1991 [35] Yucai Su, R B Zhang Character and dimension formulae for general linear superalgebra Adv Math., 211:1 - 33, 2007 ... Khi toán phân loại biểu diễn nhóm lượng tử giải P.H.Hai [13] Khi m n khác toán phân loại biểu diễn bất khả qui nhóm lượng tử nói chung chưa giải Một khó khăn phạm trù biểu diễn nhóm lượng tử không... phân hoạch α, (tương ứng, β) (chi tiết xem [24]) Chương Biểu diễn nhóm lượng tử loại A ứng dụng Nhóm lượng tử loại A hiểu đại số Hopf xây dựng sở đối xứng Hecke Một biểu diễn nhóm lượng tử loại. .. phạm trù biểu diễn nhóm lượng tử tương ứng Vì cần xét nghiệm chuẩn loại A phương trình Yang-Baxter, ký hiệu nhóm lượng tử liên kết GLq (m|n) Với m = n = phạm trù biểu diễn nhóm lượng tử nửa đơn