Luận văn Thạc sĩ Toán học: Phép thu gọn đại số Lie số chiều thấp

Chia sẻ: Lavie Lavie | Ngày: | Loại File: PDF | Số trang:58

Thêm vào BST

Báo xấu

53
lượt xem 5
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Mục đích của luận văn Thạc sĩ Toán học: Phép thu gọn đại số Lie số chiều thấp là nhằm dùng thuật toán do các nhà toán học Maryana Nesterenko và Roman Popovych đưa ra để tính toán rõ hơn các phép thu gọn đại số Lie có số chiều thấp.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Phép thu gọn đại số Lie số chiều thấp

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH Nguyễn Thị Thu Vân PHÉP THU GỌN ĐẠI SỐ LIE SỐ CHIỀU THẤP Chuyên ngành: Hình Học và Tôpô Mã số: 60-46-10 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: TS. NGUYỄN THÁI SƠN Thành phố Hồ Chí Minh 09-2009
LỜI CẢM ƠN Luận văn được hoàn thành dưới sự hướng dẫn khoa học của TS. Nguyễn Thái Sơn. Tôi xin bày tỏ lòng biết ơn sâu sắc tới Thầy, vì Thầy đã tạo cơ hội cho tôi làm quen với lý thuyết nhóm Lie và đại số Lie, hiểu được thuật toán tính các phép thu gọn đại số Lie có số chiều thấp . Tôi xin chân thành cảm ơn quý Thầy trong tổ Hình học, khoa Toán – Tin Trường Đại học Sư phạm Tp. Hồ Chí Minh đã giúp đỡ tôi nâng cao trình độ chuyên môn và phương pháp làm việc hiệu quả trong suốt quá trình học Cao học. Chân thành cảm ơn Ban giám hiệu, phòng Tổ chức hành chính, phòng Khoa học Công nghệ và Sau đại học, phòng Kế hoạch – Tài chính Trường Đại học Sư phạm Tp. Hồ Chí Minh; cùng toàn thể quý đồng nghiệp, bạn bè, gia đình đã động viên, giúp đỡ, tạo điều kiện thuận lợi cho tôi hoàn thành luận văn này. Tp. Hồ Chí Minh, tháng 09 năm 2009 Tác giả Nguyễn Thị Thu Vân
BẢNG CHỈ DẪN CÁC KÝ HIỆU ad x Biểu diễn chính quy của g Aut( g ) Nhóm các tự đẳng cấu tuyến tính trên không gian vectơ V pq , p, q  Bất biến đại số Lie Der(A) Toán tử vi phân trên A End(V) Đại số các toán tử tuyến tính trên K exp Ánh xạ mũ exp. g Đại số Lie G Nhóm Lie gk ,gk Các ideal dẫn xuất thứ k của g g Không gian đối ngẫu của đại số Lie g . g0 =(V,[.,.]0 ) (Cái) thu gọn liên tục một tham số của g GL(n, ) Nhóm tuyến tính tổng quát cấp n hệ số thực. K g  K-quỹ đạo của G g Dạng dừng của đại số Lie g Ln Biến của đại số Lie n-chiều Mat(n, ) Tập hợp các ma trận vuông cấp n hệ số thực. tr(ad u ) Vết của biểu diễn chính quy ad u TeG Không gian tiếp xúc của G tại điểm đơn vị e. A:=B A được định nghĩa là B
MỞ ĐẦU 1. Lý do chọn đề tài Đại số Lie thực hay phức và các phép thu gọn chúng có nhiều ứng dụng trong các lĩnh vực toán học và vật lý. Lý thuyết nền tảng của phép thu gọn liên tục đại số Lie có số chiều hữu hạn đã được xây dựng và phát triển từ vài chục năm nay. Đặc biệt có một số chuẩn cần thiết của phép thu gọn được chọn lọc và một số chuẩn mới cũng được đưa ra. Các đại lượng bất biến và nửa bất biến cần thiết đã được tính cho lớp rộng các đại số Lie bao gồm cả đại số Lie có số chiều thấp. Trên cơ sở đó hai nhà toán học Maryana Nesterenko và Roman Popovich đã giới thiệu một thuật toán để tính phép thu gọn đại số Lie có số chiều thấp. Thuật toán này dựa trên việc liệt kê hoàn toàn các đại số Lie có số chiều cố định không đẳng cấu và hệ thống các chuẩn của phép thu gọn đựợc đưa ra. Việc xây dựng hệ thống các chuẩn của phép thu gọn làm cho việc ứng dụng thuật toán này một cách hiệu quả hơn và các tính toán ở đây thuần túy là đại số. Phương pháp này cũng đòi hỏi phải có sự lựa chọn cơ sở thích hợp của đại số Lie và điều đó cũng mang lại các tính toán đơn giản hơn. Đầu tiên, Segal đưa ra khái niệm phép thu gọn dựa vào quá trình lấy giới hạn các đại số Lie. Đó là ví dụ được cho bởi sự liên kết giữa cơ học tương đối và cơ học cổ điển thông qua nhóm đối xứng của Pointcare và Galilê. Ông cũng là người đầu tiên xây dựng định nghĩa phép thu gọn theo thuật ngữ giới hạn. Sau Segal, khái niệm phép thu gọn thông qua nhóm đối xứng được xây dựng bởi Inonu- Wigner và được gọi là phép thu gọn Inonu-Wigner. Sau đó, Saletan nghiên cứu lớp phép thu gọn một tham số tổng quát trong đó các phần tử của ma trận tương ứng với ma trận sắp thứ tự ban đầu của tham số thu gọn. Ông cũng đưa ra định nghĩa tổng quát phép thu gọn dựa trên quá trình lấy giới hạn móc Lie và cho phép ta tránh được những phiền phức tồn tại trong định nghĩa Segal. Phép thu gọn trong trường hợp ba chiều được xét bởi Inonu-Wigner, nhưng có một số trường hợp bị bỏ qua và Conatser đã mô tả triệt để sau đó. Sử dụng việc phân loại các đại số Lie có số chiều thấp, Huddleston đã xây dựng phép thu gọn đại
số Lie bốn chiều và Lauret đã giải quyết bài toán rất đẹp theo thuật ngữ bao đóng quỹ đạo. Tính phức tạp của việc mô tả bao đóng quỹ đạo đại số là số chiều của không gian vectơ nền được tăng lên theo hàm số mũ. Do đó, một cách làm đơn giản hơn là ngừời ta xét các lớp con đóng các đại số Lie (chẳng hạn các đại số lũy linh) thay cho lớp các đại số Lie với số chiều cố định. Sự suy biến của các đại số Lie lũy linh đã được nghiên cứu trong khá nhiều tài liệu với hạn chế số chiều 5, 6, 7. Tóm lại, việc nghiên cứu phép thu gọn các đại số Lie thực hay phức là một vấn đề lý thú hấp dẫn, có nhiều ứng dụng và đang là vấn đề thời sự trong Toán học. Tuy nhiên việc tính các phép thu gọn trong trường hợp đại số Lie có số chiều cao hơn 4 là một vấn đề khó và cho đến nay vẫn còn mở, thu hút sự quan tâm của nhiều nhà Toán học trên thế giới. Chính vì thế chúng tôi chọn đề tài tìm hiểu về phép thu gọn các đại số Lie thực và phức với số chiều không quá 4. Cụ thể chúng tôi sẽ đọc hiểu và trình bày lại một cách rõ ràng hơn, chứng minh chi tiết lại các kết quả chỉ được chứng minh vắn tắt trong bài báo “Contractions of Low Dimensional Lie Algebras” của Maryana Nesterenko và Roman Popovych (ArXiv: Math-Ph / 0608018v4 – 11 Jan 2007). 2. Mục đích Dùng thuật toán do các nhà toán học Maryana Nesterenko và Roman Popovych đưa ra để tính toán rõ hơn các phép thu gọn đại số Lie có số chiều thấp, cụ thể là ba chiều và bốn chiều trong bài báo của họ. 3. Đối tượng và nội dung nghiên cứu Các đại số Lie thực có số chiều thấp, cụ thể là ba chiều và bốn chiều. 4. Ý nghĩa khoa học thực tiễn Tính toán được các phép thu gọn của các đại số Lie ba hay bốn chiều. 5. Cấu trúc luận văn Nội dung của bản luận văn bao gồm phần mở đầu, 3 chương nội dung và phần kết luận. Cụ thể: Phần mở đầu: Nêu xuất xứ của vấn đề và đặt bài toán nghiên cứu.
Chương 1: Giới thiệu các khái niệm cơ bản về đại số Lie, nhóm Lie, và các bất biến và bán bất biến của các đại số Lie ba, bốn chiều . Phần này chỉ trình bày những kiến thức cần thiết liên quan đến việc tính toán các phép thu gọn. Chương 2: Giới thiệu một thuật toán được các nhà toán học Maryana Nesterenko và Roman Popovych để tính toán rõ các phép thu gọn các đại số Lie có số chiều thấp. Chương 3: Trình bày mở rộng các phép thu gọn các đại số Lie có số chiều thấp trên trường số phức. Phần kết luận: Đưa ra những nhận xét và những vấn đề mở cần phải tiếp tục nghiên cứu tiếp sau đề tài. Các nghiên cứu đạt được dựa trên việc tính toán thuần tuý đại số và sự trợ giúp của máy tính. Các kí hiệu được dùng trong bản luận văn này hoặc là các ký hiệu thông dụng hoặc sẽ được giải thích khi dùng lần đầu (xem Bảng chỉ dẫn các thuật ngữ và ký hiệu).
Chương 1. ĐẠI SỐ LIE VÀ NHÓM LIE Chương này chủ yếu đưa ra những cơ sở lý thuyết cho các kết quả nghiên cứu ở các chương sau, trong đó, ta sẽ nhắc lại các khái niệm và những tính chất cơ bản về đại số Lie và nhóm Lie (thực). Bên cạnh đó cũng dẫn ra các bất biến và bán bất biến của đại số Lie ba chiều và bốn chiều. Một số mệnh đề và định lý được phát biểu nhưng không chứng minh. Độc giả nào quan tâm đến các chứng minh hoặc muốn tìm hiểu sâu về các khái niệm xin xem các tài liệu… 1.1. Đại số Lie 1.1.1. Định nghĩa Cho K là trường và g là không gian vectơ trên K. Ta bảo g là một đại số Lie trên K hay K – đại số Lie nếu trên g đã cho một phép nhân gọi là móc Lie: .,. : g  g  g  x, y    x, y (tích Lie hay móc Lie của x và y) sao cho các tiên đề sau đây thoả mãn: (L1) Móc Lie là hoán tử song tuyến tính. Tức là: x  y,z     x,z     y,z ,  x, y  z     x, y    x, z ; x, y, z  g, ,   K (L2) Móc Lie phản xứng. Tức là: [x,x] = 0, x g (L3) Móc Lie thoả mãn đồng nhất thức Jacôbi. Tức là:  x, y  , z    y,z  , x    z, x  , y   0  x, y, z  g Nhận xét Nếu K là trường có đặc số khác 2 thì (L2) tương đương với  L2  :  x, y    y, x , x, y g Nếu [x,y] = 0, x, y g thì ta bảo móc Lie tầm thường và g là đại số Lie giao hoán. Số chiều của đại số Lie g chính là số chiều của không gian vectơ g .
Cho g là một không gian hữu hạn chiều trên trường K. Giả sử số chiều của g là n. Cấu trúc đại số Lie trên g có thể được cho bởi móc Lie của từng cặp vectơ thuộc cơ sở e1 , e2 ,..., en  đã chọn trước trên g như sau: n ei , e j  :  cijk ek , 1  i
Kí hiệu Der(A) là tập hợp tất cả các toán tử vi phân trên A. Khi đó Der(A) trở thành một đại số trên K với phép nhân là phép hợp thành ánh xạ. Der(A) trở thành một đại số Lie trên K với móc Lie được định nghĩa là :  1 , 2  : 1  2  2  1 1.1.3. Đồng cấu và đẳng cấu đại số Lie Cho g1 và g2 là hai K– đại số Lie và f : g1  g2 là một ánh xạ. Ta bảo f là một đồng cấu đại số Lie nếu: (i) f là ánh xạ K– tuyến tính. (ii) f bảo toàn móc Lie, tức là: f  x, y   f  x  , f  y  , x, y  g 1 Nếu f còn là một song ánh thì f được gọi là đẳng cấu đại số Lie. Các đại số Lie trên trường K lập thành một phạm trù với các cấu xạ chính là các đồng cấu đại số Lie. Mỗi đồng cấu đại số Lie f : g1  End(V) (End(V) là đại số Lie các toán tử tuyến tính trên không gian vectơ V) được gọi là biểu diễn tuyến tính của g1 trong không gian vectơ V, kí hiệu (f,V). Nếu dimV = n <  , khi ta cố định cơ sở nào đó của V thì ta có f : g1  End V   Mat  n ,   . Để đơn giản thì đôi khi người ta dùng thuật ngữ “biểu diễn” thay cho thuật ngữ “biểu diễn tuyến tính”. Khi f là một đơn cấu thì f được gọi là biểu diễn khớp. ĐỊNH LÝ ADO Mọi đại số Lie hữu hạn chiều đều có ít nhất một biểu diễn tuyến tính khớp hữu hạn chiều. Định lý quan trọng này nói lên rằng, có thể quy tất cả các phép chứng minh của đại số Lie về trường hợp đại số Lie ma trận. 1.1.4. Biểu diễn chính quy của đại số Lie Cho g là đại số Lie. Der( g ) = {f: g  g / f là toán tử vi phân} là đại số Lie. Đồng cấu đại số Lie ad : g  Der  g  End  g x  ad x ở đó adx : g  g
y  ad x  y    x, y  là biểu diễn tuyến tính ad của g trong chính g ( ad x là toán tử tuyến tính trên không gian vectơ g ). Biểu diễn này được gọi là biểu diễn chính quy của g . Hạt nhân của biểu diễn này là Ker  ad   x  g/ad x  0  chính là tâm của g . Ví dụ Xét đại số Lie g = 3 với móc Lie là tích có hướng thông thường. Khi đó, v   a,b,c   g = 3 ta có biểu diễn chính quy của g được cho bởi ma trận như sau: 0 c b   ad v   c 0 a   b a 0    Dễ thấy rằng, tâm của g là tầm thường, do đó biểu diễn ad ở đây là khớp. Nói cách khác, đại số Lie g = 3 với móc Lie là tích có hướng thông thường đẳng cấu với đại số Lie các trận thực phản xứng cấp 3. 1.1.5. Đại số Lie giải được và đại số Lie lũy linh Cho g là một đại số Lie và M là một không gian con của g . Ta bảo M là đại số con của g nếu  M,M   M . Ta bảo M là ideal của g nếu g,M   M . Trong đó ký hiệu:  M,M  :  x, y : x, y  M , g,M  :  x, y : x  g, y  M Khi M là một ideal của g thì không gian thương g trở thành một đại số M Lie với móc Lie được định nghĩa một cách tự nhiên như sau: g g g M M M  g1  M , g2  M    g1  M , g2  M  :  g1, g2   M
Cho g là K– đại số Lie. Đặt: g1 : g, g ,g2 : g1, g1  ,...,gn : gn-1, gn-1   n  2 g1 : g, g  g1 ,g2 : g1, g ,...,gn : gn-1, g  n  2 Mệnh đề a. gk ,gk là các ideal của g . Riêng gk được gọi là ideal dẫn xuất thứ k của g (k=1,2,3,…) b. Ta có các dãy bao hàm thức sau: g  g1  g2  ...  gn  ...   g  g1  g  ...  gn  ... c. Nếu dim g < + thì n  N sao cho: gn  gn+1  ...  g ; gn  gn+1  ...  g Đại số Lie g gọi là giải được nếu g  0 , g gọi là luỹ linh nếu g  0 . Chỉ số n nhỏ nhất để các đẳng thức xảy ra được gọi là hạng của đại số Lie giải được (tương ứng, luỹ linh) g . Ví dụ     Mat  n,K  / a T  n,K  : A  aij n ij   0, 1  j
ĐỊNH LÝ LIE Cho f là biểu diễn tuyến tính hữu hạn chiều của đại số Lie giải được g trong không gian vectơ V trên trường đóng đại số K. Khi đó f tương đương với biểu diễn ma trận tam giác trên, tức là f  x   T  n,K  ,x  g . Hệ quả Nếu g là đại số Lie giải được thì g1  g, g là đại số Lie luỹ linh. ĐỊNH LÝ ANGEL Đại số Lie g là luỹ linh khi và chỉ khi với mọi x  g , adx là toán tử luỹ linh (tức là tồn tại n  N * sao cho  ad x   0 ). n 1.2. Nhóm Lie 1.2.1. Định nghĩa Tập hợp G được gọi là một nhóm Lie (thực) nếu các điều kiện sau thoả mãn: (i) G là một nhóm; (ii) G là đa tạp thực khả vi; (iii) Phép toán nhóm G  G  G,  x,y   xy 1 khả vi. Nhóm Lie G được gọi là giao hoán nếu phép toán nhóm giao hoán. Số chiều của nhóm Lie G chính là số chiều của đa tạp khả vi G. Vì nhóm Lie vừa có cấu trúc nhóm, vừa là đa tạp khả vi nên ta có thể đưa nhiều công cụ của đại số, giải tích, tôpô, hình học vi phân, … để nghiên cứu cấu trúc của nhóm Lie. 1.2.2. Các ví dụ a. Đường tròn đơn vị S1 với phép toán (.) (có thể xem S1 là tập hợp các số phức có môđun bằng 1) là một nhóm Lie giao hoán. b. Tập hợp GL  n,  các ma trận vuông cấp n không suy biến với phép toán nhân ma trận cũng là một nhóm Lie (không giao hoán khi n  2 ). Đặc biệt, khi n=1 thì GL 1,  * .
c. Nếu G1 ,G2 ,...,Gm là những nhóm Lie thì G  G1  G2  ...  Gm là một nhóm Lie nếu ta cho nó cấu trúc nhóm tích và cấu trúc đa tạp vi phân tích. Khi đó ta nói G là nhóm Lie tích của các nhóm Lie G1 ,G2 ,...,Gm . d. Nhóm các phép biến đổi affine của đường thẳng thực với tôpô tự nhiên chính là một nhóm Lie. Nhóm này được kí hiệu là Aff . Cụ thể nhóm Aff  :=  a,b  / a  * ,b   với phép nhân định nghĩa như sau ( a,b ).( c,d ) : ( ac,ad  b ) ; a, c  * ; b, d  . 1.2.3. Liên hệ giữa nhóm Lie và đại số Lie 1.2.3.1. Đại số Lie tương ứng với nhóm Lie đã cho Cho G là một nhóm Lie. Ta ký hiệu TeG là không gian tiếp xúc của G tại điểm đơn vị e  G . Không gian này thường được kí hiệu là g . Khi đó g trở thành một đại số Lie với móc Lie được xác định bởi hoán tử như sau:  X ,Y  : XY  YX , X, Y  g . Tức là  X ,Y  f  X Yf   Y  Xf  , X, Y  g, f  C   G  ; trong đó C   G  là đại số các hàm trơn trên G nhận giá trị thực. Như vậy, mỗi nhóm G sẽ xác định duy nhất một đại số Lie g và g được gọi là đại số Lie của G (nói cách khác g được gọi là đại số Lie tương ứng với G). Ngoài cách định nghĩa trên, ta còn có thể định nghĩa g như là đại số Lie con các trường vectơ bất biến trái trên G. Tất nhiên hai định nghĩa này tương đương. Cụ thể, gọi X(G) là đại số Lie các trường vectơ khả vi trên G với các phép toán như sau:  X  Y g : X g  Yg , g  G   X g :  X g , g  G,    X ,Y  f : X Yf   Y  Xf  , X, Y  X  G  , f  C   G 
Với mọi g  G . Đặt Lg : G  G, x  gx là phép tịnh tiến trái theo g , Rg : G  G, x  xg là phép tịnh tiến phải theo g . Khi đó Lg và Rg là các vi phôi trên G. Chúng cảm sinh các ánh xạ trên không gian tiếp xúc T(G) của G như sau Lg* : T  G   T  G  , Rg* : T  G   T  G  , Trường vectơ X được gọi là bất biến trái nếu Lg*  X   X , g  G . điều này đồng nghĩa với biểu thức Lg*  X  x  X gx Tương tự, trường vectơ X được gọi là bất biến phải nếu Rg*  X   X , g  G . Tức là : Rg*  X  x  X xg . Gọi g := {X X(G)/ X là trường vectơ bất biến trái}, thì g là đại số Lie con của X(G) và gọi là đại số Lie của nhóm Lie G. Đôi khi ta ký hiệu là g =Lie(G). Các ví dụ Ví dụ 1: Đại số Lie tương ứng với nhóm Lie G = ( ,+) là g = Lie(G) = . * Ví dụ 2: Đại số Lie tương ứng với nhóm Lie G = ( , .) là g = Lie(G) = . Ví dụ 3: Đại số Lie tương ứng với nhóm Lie G = GL(n, ) là g = Lie(G) = Mat(n, ). 1.2.3.2. Nhóm Lie liên thông đơn liên tương ứng với đại số Lie Với cách xây dựng như trên thì ta thấy, mỗi nhóm Lie sẽ xác định một đại số Lie duy nhất. Ngược lại, ta có định lý dưới đây. Định lý a. Cho g là đại số Lie thực bất kì. Khi đó luôn tồn tại duy nhất nhóm Lie liên thông đơn liên G sao cho đại số Lie của G chính là g . b. Nếu G là một nhóm Lie liên thông nhận g làm đại số Lie thì tồn tại nhóm con chuẩn tắc rời rạc D của G sao cho G  G . D
Nhóm Lie G được gọi là giải được (tương ứng, luỹ linh) nếu đại số Lie g của nó là giải được (tương ứng, luỹ linh). 1.2.3.3. Ánh xạ mũ exponent Cho G là nhóm Lie với phần tử đơn vị eG , g = Lie(G) là đại số Lie của G. Mệnh đề Với mỗi X g , tồn tại duy nhất nhóm con  x  t  / t    G sao cho: ( i ) x(0)= eG ; ( ii ) x  t + s   x  t  .x  s  ; t, s  (iii) x( 0 )  X   X e  . và được gọi là nhóm con 1 – tham số trên G xác định bởi X. Ta định nghĩa ánh xạ mũ như sau exp : g  G , X  exp  X  : x( 1 ) Một cách tổng quát, ta định nghĩa exp(tX):  x(t)  G;t  . Định lý (về tính chất của ánh xạ exp) (i) Ánh xạ exp là vi phôi địa phương. (ii) Ánh xạ exp có tính chất tự nhiên. Tức là biểu đồ sau đây giao hoán f (đồng cấu nhóm Lie) G1 G2 exp exp g2 g2 f* với mọi đồng cấu nhóm Lie f : G1   G 2 , tức là f  exp = exp  f* Định nghĩa nhóm exponential Nếu exp vi phôi (toàn cục) thì G gọi là nhóm exponential. Hệ quả Có một song ánh giữa tập các biểu diễn tuyến tính hữu hạn chiều của các đại số Lie và các nhóm Lie liên thông đơn liên.
1.2.3.4. Biểu diễn phụ hợp, biểu diễn đối phụ hợp và K – quỹ đạo của nhóm Lie Cho G là nhóm Lie, g = Lie(G) là đại số Lie của G. Ký hiệu g* : Hom  g,  ={F: g  / F là dạng tuyến tính} là không gian đối ngẫu của g . Với mỗi g  G ta có các phép tịnh tiến trái Lg : G  G và phải Rg : G  G tương ứng được xá định như sau: Lg  x  : gx , R g  x  : xg ; x  G . Đặt Ag  Lg  Rg : G  G , x  A(g) (x) := g.x.g-1 . Ánh xạ Ag được gọi là tự 1 đẳng cấu trong của G ứng với g  G . Tự đẳng cấu này cảm sinh ánh xạ A g * : g  g d X  A g *  X  : g.exp  tX  g1  dt t 0 mà được gọi là ánh xạ tiếp xúc (hay vi phân) của Ag . Định nghĩa Tác động Ad : G  Aut  g g  Ad  g := A g * xác định một biểu diễn của nhóm Lie G trong g mà được gọi là biểu diễn phụ hợp của nhóm Lie G trong g . Định nghĩa Tác động K : G  Aut g*   g  K g  ở đó K g  : g*  g* F  K g   F 
    K g F,X : F,Ad g1 X , X  g với Ad g1 : g  g xác định một biểu diễn của nhóm Lie G trong g* mà được gọi là biểu diễn đối phụ hợp hay K– biểu diễn của G trong g* . Định nghĩa. Mỗi quỹ đạo của K– biểu diễn gọi là K– quỹ đạo của G. Như vậy, với mỗi F  g* , K – quỹ đạo của G đi qua F được xác định bởi   F : K g  F/ g  G . Số chiều mỗi K – quỹ đạo của một nhóm Lie G tùy ý luôn là một số chẵn (không vượt quá số chiều của G).
Chương 2 PHÉP THU GỌN ĐẠI SỐ LIE 2.1. Các định nghĩa Nhắc lại rằng cứ mỗi không gian vectơ n-chiều (thực hay phức) V và một móc Lie [ . , .] trên V (tức là một toán tử song tuyến tính phản đối xứng trên V thỏa mãn đồng nhất thức Jacobi) ta thu được một đại số Lie g = (V, [.,.]). Khi đã chọn một cơ sở {e1 , e2 ....en } trong V, móc Lie [ . , .] hoàn toàn được xác định bởi các hoán tử [ei , e j ]  cijk ek , ở đây cijk được gọi là các hằng số cấu trúc của g . Xét hàm liên tục U : (0,1]  GL(V )   U   U ( ) Chú ý rằng ta có thể xem U như là hàm nhận giá trị ma trận khi ta đồng nhất toán tử U  với ma trận của nó trong cơ sở {e1 , e2 ....en } của V. Nhờ U, ta nhận được một họ (tham số bởi   (0,1] ) các móc Lie mới được xác định như sau: [ x, y ] : U 1 ([U  x,U  y ]); x, y  V ;   (0,1] . Dễ kiểm tra được, đại số Lie g  (V ,[.,.] ) đẳng cấu với g ,   (0,1] . 2.1.1. Định nghĩa (xem [16, trang 5]) Nếu giới hạn lim[ x, y ]  lim U 1[U  x, U  y ] =: [ x, y ]0 tồn tại với mọi x, y  V  0  0 thì [.,.]0 là móc Lie trên V. Đại số Lie g0 =(V,[.,.]0 ) được gọi là (cái) thu gọn liên tục một tham số (hoặc đơn giản là thu gọn) của đại số Lie g . 2.1.2. Nhận xét Định nghĩa 2.1.1 còn được phát biểu dưới dạng hằng số cấu trúc như sau: Cho cijk là hằng số cấu trúc của đại số g trong cơ sở cố định {e1 , e2 ....en } . Gọi  (U )ii ' i,i '1,...,n ,  (U 1 )ii ' i,i '1,...,n lần lượt là ma trận của U  , U 1 trong cơ sở đang xét. k k Nếu giới hạn lim (U  )ii ' (U  ) jj ' (U 1 ) kk ' cijk =: c ij tồn tại ( i ', j ', k '  1,...n ) thì c ij là các  0
hằng số cấu trúc của đại số Lie g0 . Đại số Lie g0 =(V,[.,.]0 ) được gọi là (cái) thu gọn liên tục một tham số hoặc đơn giản là (cái) thu gọn của đại số Lie g. Tham số  và hàm ma trận U  U ( ) tương ứng được gọi là tham số thu gọn và ma trận thu gọn. Quá trình biến đổi đại số Lie g về đại số Lie g0 gọi là phép thu gọn g về g0 . Hai định nghĩa trên tương đương nhau nhưng trong luận văn này, ta sử dụng định nghĩa thứ hai là chính. 2.1.3. Định nghĩa (xem[ 16, trang5]) Phép thu gọn đại số Lie g về đại số Lie g0 được gọi là tầm thường nếu g0 giao hoán và được gọi là không chuẩn (improper) nếu g0 đẳng cấu với g . Dễ thấy mỗi đại số Lie giao hoán được thu gọn về chính nó. Đây là trường hợp đặc biệt khi phép thu gọn vừa là tầm thường vừa là không chuẩn. 2.1.4. Định nghĩa (xem [16,trang 5]) Giả sử các đại số Lie g và g tương ứng được thu gọn về các đại số lie g0 và  và g đẳng cấu với g thì các phép thu gọn đó được  . Nếu g đẳng cấu với g g0 0 0 gọi là tương đương yếu. Từ đây về sau, ta luôn ký hiệu Aut( g ) là nhóm tự đẳng cấu của đại số Lie g ,  là tập các đẳng cấu từ đại số Lie g vào đại số Lie g Iso(g,g)  . Hơn nữa, ta luôn đồng nhất mỗi đẳng cấu với ma trận của nó trong cơ sở hay cặp cơ sở nào đó đã được chọn cố định. 2.1.5. Định nghĩa(xem [16,trang 6]) Hai phép thu gọn một tham số đại số Lie g về đại số Lie g0 với các ma trận thu gọn là U  và U  được gọi là tương đương ngặt nếu tồn tại   (0,1] , tồn tại hàm  U : (0,  )  Aut (g) và U : (0,  )  Aut (g0 ) và một đơn ánh liên tục  : (0,  )  (0,1] , lim  ( )  0 sao cho  0  U   U  .U ( ) .U  ;   (0,  ] .
Định nghĩa trên có thể phát biểu lại cho các cặp đại số Lie khác nhau nhưng từng cặp đẳng cấu như sau: Giả sử các đại số Lie đẳng cấu g và g được thu gọn về các đại số lie đẳng cấu g0 và g 0 với ma trận thu gọn tương ứng là U  và U  . Các phép thu gọn này   và gọi là tương đương ngặt nếu tồn tại   (0,1] , tồn tại hàm U : (0,  )  Iso(g,g)  ) và một đơn ánh liên tục  : (0,  )  (0,1] , lim  ( )  0 sao cho U : (0,  )  Iso(g0 ,g0  0  U   U  .U ( ) .U  ;   (0,  ] . Các phép thu gọn tương đương ngặt hiển nhiên là tương đương yếu. Sau này, chúng ta chỉ xét các phép thu gọn tương đương yếu nên để cho đơn giản, ta sẽ gọi tương đương yếu là tương đương. 2.1.6. Chú ý   Điều kiện về tính đẳng cấu của U và U là cần thiết và không thể bỏ được. Các phép thu gọn đại số Lie được cho bởi U  và W0U  W0 , với U : (0,1]  GL(V ) , W0 , W0  GL(V ) , không tương đương yếu trong trường hợp tổng quát. Chẳng hạn, sl(2, ) ([e1,e2] = e1, [e2,e3]= e3, [e1, e3] =2e2) thu gọn được về A3.1 ([e2,e3]= e1) với ma trận I3diag(  ,  ,1 ) và A3.1 0 ([e1, e3] =-e2, [e2,e3]= e1) với ma trận I5diag(  ,  ,1 ). Hơn nữa, giả sử W, U, W : (0,1]  GL(V) và  lim W : W0  GL(V) , lim W  : W0  GL(V) .  0  0 Nói chung, W U W  và W0 U W 0 cho ta hai phép thu gọn không tương đương yếu. Điều này được minh họa bởi ví dụ sau đây