(Luận văn) đối đồng điều của đại số lie toàn phương thấp chiều

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Hà Thị Ngọc Phượng lu an va n ĐỐI ĐỒNG ĐIỀU CỦA ĐẠI SỐ LIE to p ie gh tn TOÀN PHƯƠNG THẤP CHIỀU d oa nl w va an lu ll u nf LUẬN VĂN THẠC SĨ TOÁN HỌC oi m z at nh z m co l gm @ an Lu n va Thành phố Hồ Chí Minh - 2019 ac th si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Hà Thị Ngọc Phượng lu ĐỐI ĐỒNG ĐIỀU CỦA ĐẠI SỐ LIE an n va TOÀN PHƯƠNG THẤP CHIỀU ie gh tn to p Chuyên ngành : Đại số lí thuyết số Mã số d oa nl w : 8460104 ll u nf va an lu LUẬN VĂN THẠC SĨ TOÁN HỌC m oi NGƯỜI HƯỚNG DẪN KHOA HỌC: z at nh TS DƯƠNG MINH THÀNH z m co l gm @ an Lu n va Thành phố Hồ Chí Minh - 2019 ac th si LỜI CAM ĐOAN Tôi xin cam đoan cơng trình nghiên cứu độc lập riêng Mọi kế thừa phát huy kết nhà khoa học trích dẫn rõ ràng quy định Các kết nghiên cứu luận văn tự tìm hiểu, phân tích cách trung thực, khách quan, phù hợp với nội dung yêu cầu đề tài cần nghiên cứu Học viên lu an n va Hà Thị Ngọc Phượng p ie gh tn to d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th si LỜI CẢM ƠN Để hồn thành chương trình cao học viết luận văn này, nhận hướng dẫn nhiệt tình q thầy trường Đại học Sư Phạm Thành phố Hồ Chí Minh, động viên giúp đỡ từ gia đình bạn bè Trước hết, Tôi xin gửi lời biết ơn sâu sắc đến TS Dương Minh Thành Thầy quan tâm sâu sắc, dành nhiều thời gian công sức hướng dẫn để giúp tơi hồn thành luận văn thạc sĩ Tơi xin chân thành cảm ơn thầy dạy bảo tơi suốt q lu an trình học tập Xin cảm ơn thầy Mỵ Vinh Quang, thầy Trần Huyên, thầy Bùi n va Tường Trí, thầy Bùi Xuân Hải, thầy Nguyễn Tự Cường, thầy Trần Tuấn Nam, tn to cô Phạm Thị Thu Thủy, quý thầy cô tận tình dạy bảo mở mang cho tơi gh nhiều kiến thức Toán học, đặc biệt kiến thức chuyên ngành Đại số, p ie làm tảng vững để học tập nghiên cứu w Xin cảm ơn bạn học lớp Đại số Lý thuyết số Khóa 27 oa nl bạn bè người thân hết lịng động viên giúp đỡ tơi q trình d học tập làm luận văn lu va an Cuối cùng, xin cảm ơn gia đình tơi Gia đình tơi nguồn động viên ll u nf tinh thần to lớn giúp tơi hồn thành khóa học luận văn m oi Thành phố Hồ Chí Minh, tháng năm 2019 z at nh z gm @ m co l Hà Thị Ngọc Phượng an Lu n va ac th si BẢNG KÍ HIỆU Trường số phức End V  Không gian đồng cấu không gian vector V gl  n  Đại số Lie ma trận vuông cấp n trường sl  n  Đại số Lie ma trận vuông cấp n có vết trường C k  g,V  Không gian ánh xạ k - tuyến tính phản xứng từ g   g vào V lu span X ,Y  Không gian sinh sở  X ,Y  an n va dim  g Số chiều không gian vector g to g* gh tn Không gian đối ngẫu đại số Lie g p  Tổng trực tiếp trực giao nl w Không gian - dạng phản xứng g* d oa 3  g*   Tổng trực tiếp ie  ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th si MỤC LỤC Trang LỜI CAM ĐOAN LỜI CẢM ƠN BẢNG KÍ HIỆU MỞ ĐẦU Chương Đại số Lie đại số Lie toàn phương, đối đồng điều đại số Lie đại số Lie toàn phương lu an n va 1.1 Đại số Lie 1.2 Đại số Lie toàn phương 1.3 Đối đồng điều đại số Lie 12 2.1 Phân loại đại số Lie toàn phương đến chiều 15 2.2 Đại số Lie toàn phương đại số Lie toàn phương giải p ie gh tn to Chương Đại số Lie toàn phương thấp chiều 15 w chiều 17 oa nl Chương Tính tốn họ đối đồng điều đại số Lie 24 Mô tả không gian đạo hàm phản xứng đại số Lie 24 3.2 Tính tốn trực tiếp nhờ toán tử đối bờ 40 d 3.1 va an lu u nf KẾT LUẬN 49 ll TÀI LIỆU THAM KHẢO 50 oi m z at nh z m co l gm @ an Lu n va ac th si MỞ ĐẦU Các không gian vectơ xét trường số phức hữu hạn chiều Trong Lý thuyết đại số Lie, toán nghiên cứu đối đồng điều đại số Lie toán lý thú mức độ giải hạn chế Cụ thể, toán đơn giản lĩnh vực mơ tả nhóm đối đồng điều đại số Lie cho trước giải số họ đại số Lie dừng lại việc mơ tả số chiều nhóm đối đồng điều số trường hợp đơn lẻ Đối lu an với trường hợp đơn giản nhóm đối đồng điều 𝐻𝑘 (𝔤, ℂ) với 𝔤 n va đại số Lie cho trước số chiều nhóm tồn nhiều to Một kết nhiều người nhắc đến công ie gh tn câu hỏi p thức số Betti, tức số chiều nhóm đối đồng điều 𝐻𝑘 (𝔤, ℂ), đại số đại số nl w Lie Heisenberg 2n+1 chiều h2 n1 L J Santharoubane tìm năm 1983: d oa  2n   2n  bk       [1] Gần đây, H Pouseele [2] chứng minh kết k k      an lu Heisenberg h2 n1 dãy khớp ll u nf va sau: giả sử g mở rộng đại số Lie chiều Z đại số Lie m oi  h2 n1   g   Z  0 z at nh cho g tác động tầm thường tâm z  W h2 n1 Đặt f  g / z Khi z m co l gm @ đó: an Lu n va ac th si bk (f ), b (f )  b (f ), k 2  k bk (g)  2bn1 (f )  2bn1 (f ), b (f )  b (f ), k 1  k 1 bk 1 (f ), k  0, k  1,  k  n, k  n  1, n   k  2n, k  2n  1, k  2n  dùng kết để tìm cơng thức tính số Betti cho hai họ đại số Lie:  g sinh sở xi , yi , w, z ,  i  n ,  z, xi   yi ,  xi , yi   w  g sinh sở xi , w, z ,  i  2n ,  z, xi   xi1 với  i  2n  1,  z, x2n   w ,  xi , x2ni1   (1)i w với  i  n lu an Trong luận văn này, quan tâm nhiều đến toán cụ n va thể tính tốn đối đồng điều cho lớp đại số Lie đặc biệt, tn to lớp đại số Lie toàn phương Đây lớp đại số Lie trang bị thêm ie gh dạng song tuyến tính đối xứng, bất biến, khơng suy biến chúng p coi lớp đại số Lie tổng quát đại số Lie nửa đơn với dạng song tuyến nl w tính đối xứng khái quát từ dạng Killing Lớp đại số Lie toàn phương d oa đề cập sách chuyên khảo V Kac (1985) [3] sau an lu số nhà tốn học quan tâm nghiên cứu [trích dẫn cơng trình va Medina, Bordemann, Benayadi] Một toán đưa phân ll u nf loại đại số Lie tồn phương chiều thấp Cơng trình phải kể đến oi m kết phân loại trường hợp lũy linh đến chiều G Favre L J z at nh Santharoubane [4], sau cơng trình khác [5] đại số Lie toàn phương giải đến chiều trường số thực, [6] trường z hợp lũy linh đến 10 chiều Điều dẫn tới câu hỏi: liệu mơ tả tường @ gm minh nhóm đối đồng điều đại số Lie tồn phương thấp chiều hay m co l không? Và câu hỏi đưa đến việc thực đề tài luận văn Một lý quan tâm đến việc tính tốn đối đồng điều an Lu đại số Lie toàn phương trường hợp 𝔤 đại số Lie toàn n va ac th si phương, việc tính tốn 𝐻2 (𝔤, ℂ) số chiều trở nên đơn giản có nhiều cách nhờ kết đưa [7] “New Application of Graded Lie Algebras to Lie Algebras, Generalized Lie Algebras, and Cohomology” tác giả G Pinczon R Ushirobira năm 2007 (J of Lie Theory) Cụ thể hơn, ta thu nhóm 𝐻2 (𝔤, ℂ) số chiều thơng qua hai cách: mơ tả khơng gian đạo hàm phản xứng 𝔤 tính tốn trực tiếp nhóm 𝐻2 (𝔤, ℂ) nhờ tốn tử đối bờ  đơn giản   I ,. với I 3- dạng liên kết với 𝔤 .,. tích Super – Poisson định nghĩa không gian Λ(𝔤∗ ) chứa dạng đa tuyến tính lu an phản xứng 𝔤 Việc mơ tả tường minh nhóm đối đồng điều giúp cung n va cấp thêm thông tin đại số Lie tồn phương, từ giúp hiểu biết to Phần nội dung luận văn chia thành ba chương Chương ie gh tn thêm lớp đại số p dành chủ yếu để giới thiệu định nghĩa số kết nl w đại số Lie đại số Lie toàn phương Chương hai chủ yếu dành để d oa khảo sát đại số Lie toàn phương phân loại đại số Lie toàn an lu phương đến chiều dựa kết báo khoa học [8] Chương ba va trình bày lại cách rõ ràng chi tiết kết báo khoa học ll u nf [9] tác giả Dương Minh Thành Trong tập trung tính tốn họ đối oi m đồng điều đại số Lie, mơ tả nhóm đối đồng điều 𝐻2 (𝔤, ℂ) số chiều z at nh hai phương pháp Đối với đại số Lie thông thường ta mô tả không gian đạo hàm phản xứng từ tính số chiều 𝐻2 (𝔤, ℂ) Đối với z đại số Lie tồn phương ta tính tốn trực tiếp nhờ tốn tử đối bờ @ gm Mặc dù có nhiều cố gắng việc hoàn thành luận văn m co l hạn hẹp kiến thức thời gian nên chắn luận văn cịn có sai sót khơng mong muốn Rất mong nhận đánh giá, nhận an Lu xét phản hồi từ quý thầy cô bạn n va ac th si Chương Đại số Lie đại số Lie toàn phương, đối đồng điều đại số Lie đại số Lie toàn phương 1.1 Đại số Lie Định nghĩa 1.1.1 Cho g khơng gian vector trường Khi đó, g gọi đại số Lie g trang bị phép tốn (gọi tích Lie hay móc Lie) lu .,. : g  g  g  X ,Y   X ,Y  an n va thỏa mãn tính chất sau: Phép tốn .,. ánh xạ song tuyến tính; ii Phép tốn .,. phản xứng, tức  X , X   , với X g ; iii  X , Y , Z   Y ,  Z , X    Z ,  X , Y   0, X , Y , Z  g p ie gh tn to i nl w (Đồng thức Jacobi) d oa Số chiều đại số Lie g số chiều khơng gian vector g an lu Ví dụ: Cho V không gian vector trường F Kí hiệu gl V  u nf va tập hợp tất ánh xạ tuyến tính f : V  V Khi gl V  ll không gian vector trường F Ta xác định tích Lie gl V  sau: m y  y x với x, y  gl V  oi z at nh  x, y  x kí hiệu cho tích hai ánh xạ Định nghĩa 1.1.2 Cho g đại số Lie Một không gian vector A z g gọi đại số Lie g  X ,Y   A với X ,Y g gm @ Định nghĩa 1.1.3 Cho g đại số Lie Một không gian vector I l m co g gọi ideal g  X ,Y   I với X  g,Y  I (tính hút) an Lu n va ac th si 37 B  D  X  , X    B  X , D  X    a62  B  D  X  , X    B  X , D  X    a72  a63 B  D  X  , T    B  X , D T    a42  a64 B  D  X  , Z1    B  X , D  Z1    a12  a65 B  D  X  , Z    B  X , D  Z    a22  a66 B  D  X  , Z    B  X , D  Z    a32  B  D  X  , X    B  X , D  X    a53  a71 B  D  X  , T    B  X , D T    a43   a74 lu B  D  X  , Z1    B  X , D  Z1    a13  a75 an n va B  D  X  , Z    B  X , D  Z    a23  a76 tn to B  D  X  , Z    B  X , D  Z    a33  a77 ie gh B  D T  , X    B T , D  X    a54  p B  D T  , Z1    B T , D  Z1    a14  a45 nl w B  D T  , Z    B T , D  Z    a24  a46 d oa B  D T  , Z    B T , D  Z    a34  an lu B  D  Z1  , X    B  Z1 , D  X    a55  a11 u nf va B  D  Z1  , Z    B  Z1 , D  Z    a25  a16 ll B  D  Z1  , Z    B  Z1 , D  Z    a35  a17 m oi B  D  Z  , X    B  Z , D  X    a56  z at nh B  D  Z  , Z    B  Z , D  Z    a36  z m co l gm @ an Lu n va ac th si 38      Suy D        a11 a12 a13 a14 a25 a22 a23 a24 a25 0 a77 a17 0 a42 a43 a14 a24 0 a71 a11 0 a72 a42 a12 a22 a71 a72 a43 a13 a23 a17         a77  Vì D đạo hàm phản xứng g nên ta có: D  X1   D  X , X    D  X  , X    X , D  X  dẫn tới a11  a77  a22 lu a42  Từ tính toán tương tự ta thu được: n va p ie gh tn to c 0 z x d a z 0 x 0 0 e 0 a y 2x 0 b a x b e c d a w an nl      , với a, b, c, d , e, x, y, z      x  d oa  2x     D     y  1 0 0 0 0 0 ll m 0 0 0 oi 0 0 0 0 va 0 0 0 0 0 z 0  0  , 0  0  m co l gm @      ad  X         z at nh u nf an lu So sánh kết với đạo hàm g : an Lu n va ac th si 39 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0      ad T         0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0      ad  Z1         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0      ad  Z         0 0 0 0 0 0 0 0 0 0 0 0 0 @ 0 0 0 0 0 1 d oa nl w z at nh p ie gh tn to oi n va m an ll lu      ad  X         u nf va an lu z 0  0  , 0  0  0  0  , 0  0  0  0  , 0  0  m co l gm 0  0  0 0  0  an Lu n va ac th si 40 Từ đó, ta thấy đạo hàm đại diện tham số đạo hàm đại diện tham số x, y, z , chứng tỏ dim H  g7,1, 3.2   Tính tốn trực tiếp nhờ toán tử đối bờ Trong phần này, cách áp dụng kết báo [7] ta trình bày việc mơ tả nhóm đối đồng điều H  g,  đại số Lie toàn phương Mệnh đề 3.2.1 Cho V không gian vector I k - dạng  k V *  lu an Khi dimVI  k I  I khả phân dimVI  k Nếu n va VI có sở 1 , , k  I có dạng I  1   k với   to tn Đại số Lie tồn phương có số tính chất đáng ý sau: p ie gh Định nghĩa 3.2.2 Cho  g, B  khơng gian vector tồn phương Khi đó:  X , X  g đạo hàm   g*  định nghĩa w 1)  X   X1, X , , X r 1     X , X1, X , , X r 1  , oa nl d r  g*  , X , X , , X r 1  g an lu Trên g chọn sở trực chuẩn cố định  X1, , X n  Khi tích u nf va 2) ll Super-Poisson   g*  định nghĩa:         ' ,     g  ,  '    g  n j 1 Xj k z at nh k 1 oi m ,  ' :  1 * * Xj z Bằng cách áp dụng tính chất tính Super-Poisson định nghĩa @ gm đại số dạng đa tuyến tính phản xứng đại số Lie toàn phương, , g m co phương [7] gồm sl  l G Pinczon R Ushirobira phân loại hoàn toàn đại số Lie toàn (đại số Lie kim cương), g5 , g6 an Lu n va ac th si 41 Ví dụ 3.2.3 Xét đại số Lie g  sl   , từ định nghĩa dạng song tuyến tính B ta tính 3-dạng I liên kết: I  e1 , e2 , e3   B e1 , e2 , e3   B  e3 , e3   Từ suy I  e1*  e2*  e3* Vì: B  g,       g    X ,Y    f  X ,Y , f  g*   X  I  , X  g e  I   e  e1*  e2*  e3*   e2*  e3* , e  I   e  e1*  e2*  e3*   e1*  e3* , 2 e  I   e  e1*  e2*  e3*   e1*  e2* 3   spane1*  e2* , e2*  e3* , e1*  e3* Nên ta tính B2  g, lu an Trong đó: Z  g,    2  g*  I ,  0 n va Áp dụng cơng thức tích Super – Poisson [7] ta có: to *  e2*  e1*  e2*  e3* , e1*  e2*  B  e1 , e1  e2*  e3*  e2*  B  e1 , e2  e2*  e3*  e1* gh tn I , e p ie  B  e2 , e1  e1*  e3*  e2*  B  e2 , e2  e1*  e3*  e1*  B  e3 , e1  e1*  e2*  e2* w  B  e3 , e2  e1*  e2*  e1*  oa nl Do e1*  e2*  Z  g,  d Tương tự ta có được: Z  g, an lu   Z  g,  / B  g,   u nf va Từ suy H  g,   spane1*  e2* , e2*  e3* , e1*  e3* ll Ví dụ 3.2.4 Xét đại số Lie kim cương g  g4  span X , P, Q, Z  oi m Ta tính 3-dạng I liên kết sau: z at nh I  X , P, Q   B   X , P  , Q   B  P , Q   , z I  X , P, Z   B   X , P  , Z   B  P, Z   , @ m co Suy ra: I  X *  P*  Q* l gm I  P, Q, Z   B   P , Q  , Z   B  Z , Z   an Lu n va ac th si 42 I , X    X * *  P*  Q* , X *  B  X , X  P*  Q*  B  P, X  X *  Q*  B  Q, X  X *  P*  Tương tự ta tính I , P*  X *  P* , I , Q*   X *  Q* , I , Z *  P*  Q*   span X * nên Suy Z  g, H  g,   span  X *  P  I   P  X *  P*  Q*   X *  Q* ,  X  I    X  X *  P*  Q*   P*  Q* , Q  I   Q  X *  P*  Q*   X *  P*   X  I  , X  g  span X *  P* , P*  Q* , X *  Q* Nên B2  g, lu an Áp dụng cơng thức tính tích Super – Poisson [7], ta có: n va I , X *  P*    X *  P*  Q* , X *  P *   B  X , X  P *  Q *  P * tn to  B  X , P  P*  Q*  X *  B  P, X  X *  Q *  P *  B  P , P  X *  Q *  P * ie gh  B  Q, X  X *  P *  P *  B  Q , P  X *  P *  X *   X *  P*  Z  g, p  w nl Bằng tính tốn tương tự, ta suy ra: oa   span X *  P* , X *  Q* , P*  Q* d Z  g, lu   Z  g,  / B  g,   va an Từ ta H  g, ll u nf Ví dụ 3.2.5 Xét đại số Lie g = g5  span X1, X ,T , Z1, Z2 , từ định nghĩa oi m dạng song tuyến tính B , ta tính - dạng liên kết I sau: *  X 2*  T , X 1* gm * @ I , X    X z Nên ta tìm I  X1*  X 2*  T z at nh I  X , X ,T   B  X , X ,T   B T ,T   1, trường hợp khác I , X   , I , T   X * * * m co l  B  X , X  X 2*  T  B  X , X  X 1*  T  B T , X  X 1*  X 2*   X 2* , I , Z1*  X 2*  T , I , Z 2*   X1*  T an Lu n va ac th si 43   Suy Z  span X1* , X 2* nên H  span  X 1*  ,  X 2*   X  I    X  X1*  X 2*  T *   X 2*  T * , 1  X  I    X  X1*  X 2*  T *   X1*  T * , 2 T  I   T  X1*  X 2*  T *   X1*  X 2*   X  I  , X  g  span X1*  X 2* , X1*  T * , X 2*  T * Do B2  g, Áp dụng cơng thức tính tích Super – Poisson [7] ta được: I , X  X    X  X  Z  g,  I , X  T    X  T  Z  g,  I , X  Z    X  T  X I , X  Z    X  Z  Z  g,  I , X  T    X  T  Z  g,  I , X  Z    X  Z  Z  g,  I , X  Z   X  T  X I , Z  T    X  X  Z I , Z  T    X  X  Z I , Z  Z   X  T  Z  X  T  Z Nhận xét: I , X  Z   I , X  Z   X * * * * lu an * * n va * * * * * * * 2 * * * * w * oa * * * * * * * * * * * *  *  T *  X 2*  X 2*  T *  X1*  l gm @ Từ ta thu được: * * z Nên X 1*  Z1*  X 2*  Z 2*  Z  g, * z at nh * oi m * * ll * * u nf * va * * an * * lu * d * * * nl * * * * p ie gh tn to * m co Z  span X1*  X 2* , X1*  T * , X1*  Z 2* , X 2*  T * , X 2*  Z1* , X1*  Z1*  X 2*  Z 2* an Lu Suy ra: n va ac th si 44   span X 1*  Z 2*  ,  X 2*  Z1*  ,  X 1*  Z1*  X 2*  Z 2*  H  g, dim  H  g, hiển nhiên   Ví dụ 3.2.6 Xét đại số Lie g = g6  span X1, X , X , Z1, Z2 , Z3 , từ định nghĩa dạng song tuyến tính B , ta xác định - dạng liên kết sau: I  X , X , X   B  X , X , X   B  Z , X   , trường hợp khác Suy I  X1*  X 2*  X 3* Áp dụng cơng thức tính tích super-Poision [7], ta thu được: I , X    X lu * an *  X 2*  X 3* , X 1* n va  B  X , X  X 2*  X 3*  B  X , X  X 1*  X 3*  B  X , X  X 1*  X 2*  0, I , X   , I , X   , I , X   , I , Z   X I , Z   X  X * ie gh tn to * * * * * *  X 3* , I , Z    X *  X 3* * * p Do Z  span X1* , X 2* , X 3* H  g6,1 , *   ,  X 2*  ,  X 3*   X  I    X  X1*  X 2*  X 3*   X 2*  X 3* oa nl w   span X 1 d  X  I    X  X1*  X 2*  X 3*   X1*  X 3* lu an 3   X  I  , X  g  span X1*  X 2* , X1*  X 3* , X 2*  X 3* ll oi m Từ ta suy B2  g, u nf va  X  I    X  X1*  X 2*  X 3*   X1*  X 2* I , X * z at nh Áp dụng công thức tính tích Super – Poisson [7], ta thu được:  X 2*   X 1*  X 2*  X 3* , X 1*  X 2*  B  X , X  X 2*  X 3*  X 2* z  B  X , X  X 2*  X 3*  X 1*  B  X , X  X 1*  X 3*  X 2*  B  X , X  X 1*  X 3*  X 1* @ an Lu Tính tốn tương tự ta thu được:  m co Từ ta suy X1*  X 2*  Z  g, l gm  B  X , X  X 1*  X 2*  X 2*  B  X , X  X 1*  X 2*  X 1*  n va ac th si 45   span X  I  , X i*  Z *j i , X1*  Z1*  X 2*  Z 2* , X 1*  Z1*  X 3*  Z3* , Z  g, i với  i, j  Điều chứng tỏ: H  g,   span X i*  Z *j i  ,  X 1*  Z1*  X 2*  Z 2*  ,  X 1*  Z1*  X 3*  Z 3*  với  i, j  Suy dim  H  g,   Ví dụ 3.2.7 Xét đại số Lie g  g7,1  span X1, X , X ,T , Z1, Z2 , Z3 với lu  X , X   X1 ,  X ,T   X ,  X , Z1   Z2 ,  X , Z2   T ,  X , Z1   Z3 , T , Z2   Z3 Dạng song tuyến tính B xác định B  X i , Zi   B T ,T   1, an n va tn to với  i  gh Từ định nghĩa dạng song tuyến tính B , ta xác định - dạng liên kết p ie sau: nl w I  X , X , Z1   B  X , X , Z1   B   X1, Z1   1 d oa Tính tốn hồn tồn tương tự, ta có: an lu I  X ,T , Z2   B  X ,T , Z2   B  X , Z   trường hợp khác u nf va Suy I  X 3*  X 2*  Z1*  X 3*  T *  Z2* ll Áp dụng cơng thức tính tích Supper-Poision [7], ta tính được: m I , X   X  X , I , X   X  T , I , X   ,  I , T    X I , Z   , I , Z    X  Z I , Z   X  Z * * * * * * * *   span X 3* , Z1* * * * *  Z 2* , * z H  g, gm @ Điều chứng tỏ Z  g, * z at nh * oi *   span  X 3*  ,  Z1*  3  X  I    X  X 3*  X 2*  Z1*  X 3*  T *  Z 2*   X 3*  Z1* , 2 m co l  X  I    X  X 3*  X 2*  Z1*  X 3*  T *  Z 2*   X 2*  Z1*  T *  Z 2* , an Lu n va ac th si 46 T  I   T  X 3*  X 2*  Z1*  X 3*  T *  Z 2*   X 3*  Z 2* , Z  I   Z  X 3*  X 2*  Z1*  X 3*  T *  Z 2*   X 3*  X 2* , 1 Z  I   Z  X 3*  X 2*  Z1*  X 3*  T *  Z 2*   X 3*  T * 2 Từ đó, ta thấy:   span X 3*  Z1* , X 3*  Z2* , X 3*  T * , X 3*  X 2* , X 2*  Z1*  T *  Z2* B2  g, Áp dụng công thức tính tích Super – Poisson [7], ta thu được: I , X  X 2*   X 3*  T *  X1* điều chứng tỏ X1*  X 2*  Z  g, *  lu Tính tốn cách tương tự, ta có: an va  X 1*  X 3* , X 2*  X 3* , X 3*  T * , X 3*  Z1* ,  Z  g,   span  * * * * * * * * * *  X  Z , Z1  Z , X  Z  X  Z  X  T  n gh tn to So sánh với: p ie B2  g,   span X 3*  Z1* , X 3*  Z2* , X 3*  T * , X 3*  X 2* , X 2*  Z1*  T *  Z2*   span X 1*  X 3*  ,  Z1*  Z 2*  ,  X 2*  Z 2*  X 3*  Z 3*  X 2*  T *  d oa H  g, nl w Từ ta kết luận được:   va an lu dim  H  g, u nf Nhận xét: Với hai phương pháp ta mơ tả đồng thời tính số ll chiều nhóm đối đồng điều đại số Lie toàn phương thấp chiều    oi m Z  X Z  X * * * T *  X1*  Z1* , T *  X1*  Z 2* , T  X Z * * *  2,3,3,2 an Lu X *  1,0,1 X *  Z1*  Z 2* X1* , Z1*  X 2* , Z2*  X1* , * bk  g,  m co g5 H  g, l X*  gm g4 H  g, @ H1 z g z at nh Cụ thể ta kiểm tra kết sau [11]: n va ac th si 47 X1*  X 2*  Z1* , X1*  X 2*  Z2* , X1*  X 2*  Z3* , X1*  X 3*  Z1* , X1*  Z2* , X1*  Z3* , X1*  X 3*  Z2* , X 2*  X 3*  Z1* , X1* , X *  Z * , X *  Z * , 2 g6,1 X1*  Z2*  Z3* , X 2*  Z1*  Z3* , X , X *  Z* , X *  Z* , 3 * X 3* X Z  X Z , * * * X Z Z , * * * * 3,8,12,8,3 X1*  Z1*  Z2*  X 3*  Z2*  Z3* , X1*  Z1*  Z3*  X 2*  Z2*  Z3* , X 2*  Z2*  X 3*  Z3* lu X 2*  Z1*  Z2*  X 3*  Z1*  Z3* an X  Z  Z  X  Z  Z * gh tn to    1,0 X1*  X 3*  Z1* , X1*  Z1* X 3* n va g6,2    p ie * oa X Z , X Z , * * * 1,1,3,1,1 * Z1*  Z2*  Z3* , X1*  X 3*  Z2* , X Z Z  X Z Z * * * * * m co l * T *  X 2*  X 3* , T *  X 2*  Z 2* ,  2,3,3,3,2,2  2,2,3,3,2,2 an Lu X 2*  X 3* , X1*  Z1* * gm X 3* , 2 X 2*  T * * @ g7,2 X 2*  Z 2*  X 3*  Z 3* X Z Z  X Z Z * z Z * X1*  X 3* , Z1*  Z2* , z at nh X , * X1*  Z2* X1*  X 3*  Z1* , X1*  Z2*  Z3* , oi m g7,1 X 3* 1,3,4,3,1 X1*  Z1*  Z3*  X 2*  Z2*  Z3* ll g6,3 1,3,4,3,1 Z2*  Z2*  Z3* , u nf Z Z * * va an X * * 1,1,2,1,1 * X1*  X 3*  Z1* , X1*  X 2*  Z3* , d g6,2  1 * * X1*  Z1*  Z3*  X 2*  Z2*  Z3* nl w * * X 2*  Z1*  Z3* , X Z * lu X g6,2 1 * X1*  X 3*  Z1* , X1*  Z2*  Z3* , X1*  Z1* , X1*  Z2* , * * n va ac th si 48 X1*  Z1*  Z3*  T *  Z2*  Z3* Z 2* X1*  X 2*  Z3* , g7,3 X 3* X 1*  Z1*  Z 3*  X 2*  Z 2*  Z 3* 1,0,2,2,0,1 2T *  Z1*  Z 2* lu an n va p ie gh tn to d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th si 49 KẾT LUẬN Nghiên cứu mô tả đối đồng điều đại số Lie tồn phương hướng nghiên cứu cịn nhiều vấn đề chưa giải Các kết luận văn dừng lại tính tốn cụ thể mơ tả tính số chiều nhóm đối đồng điều đại số Lie toàn phương thấp chiều Từ kết luận văn, có thêm nhiều ví dụ, hiểu thêm số phương pháp tính tốn để từ hy vọng giải vấn đề sâu hơn, tổng quát nghiên cứu đối đồng điều đại số Lie toàn lu an phương đại số Lie giải Đồng thời, luận văn cho n va số ý tưởng nghiên cứu thời gian tới sau: gh qt mơ tả đối đồng điều chúng A Medina tn p ie Xem xét nghiên cứu số họ đại số Lie toàn phương tổng to i Áp dụng tính tốn cho lớp đại số Lie toàn phương nl w ii làm [10] d oa phân loại khác lớp đại số Lie toàn phương lũy linh an lu (đã phân loại đến 10 chiều), lớp đại số Lie tồn phương kì dị va (ứng với 3-dạng liên kết I có dạng tích 1-dạng với 2- ll u nf dạng), lớp đại số Lie symplectic (thay tồn dạng song oi m tuyến tính đối xứng B để trở thành đại số Lie tồn phương tồn z at nh dạng symplectic) hay cho họ siêu đại số Lie [12] (lớp siêu đại số Lie lớp tổng quát lớp đại z số Lie) m co l gm @ an Lu n va ac th si 50 TÀI LIỆU THAM KHẢO L J Santharoubane, “Cohomology of Heisenberg Lie algebras”, [1] Proc Amer Math Soc 87 (1983), 23-28 H Pouseele (2005), “On the cohomology of extensions by a [2] Heisenberg Lie algebra”, Bull Austral Math Soc 71, 459-470 [3] V Kac (1985), Infinite dimensional Lie algebras, Cambridge University Press, 1985 [4] G Favre and L.J Santharoubane (1987), Symmetric, invariant, non- lu an degenarate bilinear form on a Lie algebra, J of Algebra 105, 465- va n 483 to H Baum and I Kath (2003), Doubly extended Lie groups curvature, holonomy and parallel spinors, Differential Geom Appl 19(3), 253- ie gh tn [5] p 280 I Kath (2007), Nilpotent metric Lie algebras and small dimension, J nl w [6] G Pinczon and R Ushirobira (2007), New Applications of Graded Lie to Lie va Algebras an lu [7] d oa Lie Theory 17(1), 41-61 Algebras, Generalized Lie Algebras, and P T Dat, D.M Thanh and L.A Vu (2012), “Solvable quadratic Lie oi m [8] ll u nf Cohomology, J Lie Theory 17, pp 633-667 218 M T Dương (2013), “The cohomology group H  g, z  of the gm @ [9] z at nh algebras in low dimensions”, East – West J of Math 14(2), pp 208- elementaryquadratic Lie algebras”, J of Science, Ho Chi Minh city l University of Education, No 47 (81), pp 25-36 m co [10] A Medina and P Revoy (1985), “Algèbres de Lie et produit scalaire an Lu invariant”, Ann Sci Éc Norm Sup., 4ème sér T.18, 553-561 n va ac th si 51 T T H Cao, M T Duong (2015), “The Betti numbers and the vector [11] space of skew-symmetric derivations of solvable quadratic Lie algebras with demension  ”, J of Sceince, Ho Chi Minh city Univ of Education, No (70), pp 100-110 Cao Trần Tứ Hải, Dương Minh Thành (2016), “Phân loại siêu đại [12] số Lie toàn phương giải chiều với phần chẵn bất khả phân chiều”, Tạp chí khoa học ĐHSP TP.HCM, Số 12(90) lu an n va p ie gh tn to d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th si