Đại số Lie toàn phương (quadratic Lie algebra) là một đại số Lie được trang bị một dạng song tuyến tính đối xứng, không suy biến và bất biến liên hợp (ad-invariant), đóng vai trò quan trọng trong hình học symplectic, lý thuyết nhóm Lie và vật lý toán.
Định nghĩa hình thức và cấu trúc đại số
Cho $\mathfrak{g}$ là một đại số Lie hữu hạn chiều trên một trường $\mathbb{K}$ (thông thường là trường số thực $\mathbb{R}$ hoặc trường số phức $\mathbb{C}$). Đại số Lie $\mathfrak{g}$ được gọi là một đại số Lie toàn phương (quadratic Lie algebra), hoặc đôi khi được gọi là đại số Lie metric (metric Lie algebra), nếu tồn tại một dạng song tuyến tính:
$B: \mathfrak{g} \times \mathfrak{g} \to \mathbb{K}$
thỏa mãn đồng thời ba tiên đề đại số cơ bản sau:
- Tính đối xứng (Symmetry): Với mọi phần tử $X, Y \in \mathfrak{g}$, ta luôn có $B(X, Y) = B(Y, X)$.
- Tính không suy biến (Non-degeneracy): Nếu một phần tử $X \in \mathfrak{g}$ thỏa mãn $B(X, Y) = 0$ với mọi $Y \in \mathfrak{g}$, thì bắt buộc $X = 0$. Nói cách khác, ánh xạ tuyến tính liên hợp từ không gian vector $\mathfrak{g}$ vào không gian đối ngẫu $\mathfrak{g}^*$ là một đẳng cấu vector.
- Tính bất biến liên hợp (Ad-invariance): Với mọi phần tử $X, Y, Z \in \mathfrak{g}$, dạng song tuyến tính bảo toàn qua phép nhân dấu ngoặc Lie theo hệ thức:
$B([X, Y], Z) = B(X, [Y, Z])$
hay tương đương với toán tử đạo hàm liên hợp $\text{ad}_X: \mathfrak{g} \to \mathfrak{g}$ là một toán tử phản xứng đối với metric $B$: $B(\text{ad}_X(Y), Z) + B(Y, \text{ad}_X(Z)) = 0$.
Ví dụ kinh điển và dạng Killing của đại số Lie bán đơn
Lớp đại số Lie toàn phương phong phú và quan trọng nhất xuất phát từ hình học vi phân và lý thuyết biểu diễn của các đại số Lie bán đơn (semisimple Lie algebras):
- Đại số Lie giao hoán (Abelian Lie algebras): Mọi không gian vector giao hoán (với dấu ngoặc Lie đồng nhất bằng không $[X, Y] = 0$) trang bị bất kỳ tích vô hướng đối xứng không suy biến nào đều là đại số Lie toàn phương tầm thường, vì điều kiện bất biến liên hợp trở thành đẳng thức $0 = 0$ hiển nhiên.
- Đại số Lie bán đơn và dạng Killing: Cho $\mathfrak{g}$ là một đại số Lie bán đơn. Khi đó, dạng Killing kinh điển $K(X, Y) = \text{Tr}(\text{ad}_X \circ \text{ad}_Y)$ là một dạng song tuyến tính đối xứng và bất biến liên hợp. Theo tiêu chuẩn Cartan thứ hai (Cartan's criterion for semisimplicity), dạng Killing $K$ là không suy biến khi và chỉ khi đại số $\mathfrak{g}$ là bán đơn. Do đó, mọi đại số Lie bán đơn thực hoặc phức đều tự nhiên mang cấu trúc của một đại số Lie toàn phương chính tắc.
- Đại số Lie kết hợp compact: Nếu nhóm Lie liên thông $G$ là compact, thì đại số Lie tương ứng của nó phân rã thành tổng trực tiếp của một i-đê-an tâm giao hoán và các i-đê-an đơn giản. Dạng Killing mở rộng trên đại số Lie compact là xác định âm, biến đại số thành một đại số Lie toàn phương Riemann (Riemannian metric Lie algebra).
Định lý cấu trúc Medina-Revoy và phương pháp mở rộng kép
Một câu hỏi cấu trúc trung tâm trong lý thuyết đại số Lie là: Làm thế nào để phân loại và xây dựng tất cả các đại số Lie toàn phương không bán đơn, đặc biệt là các đại số Lie giải được (solvable) hoặc lũy linh (nilpotent)? Câu trả lời hoàn chỉnh đã được tìm ra trong công trình mang tính đột phá của Alberto Medina và Philippe Revoy vào năm 1985 thông qua Định lý mở rộng kép (Double Extension Theorem).
Một đại số Lie toàn phương $(\mathfrak{g}, B)$ được gọi là bất khả quy (irreducible) nếu nó không thể phân rã thành tổng trực tiếp trực giao của hai i-đê-an thực sự. Định lý Medina-Revoy khẳng định rằng:
| Phân loại đại số Lie toàn phương | Đặc điểm cấu trúc giải tích | Cơ chế phân rã / Xây dựng |
|---|---|---|
| Khối cơ bản đơn giản (Simple blocks) | Đại số Lie đơn giản một chiều (giao hoán) hoặc đại số Lie đơn giản hữu hạn chiều | Trang bị dạng Killing hoặc tích vô hướng Euclide đối xứng |
| Khối mở rộng kép (Double extensions) | Đại số Lie không đơn giản thu được từ một đại số Lie toàn phương $(\mathfrak{h}, q)$ qua một đạo hàm đối xứng | Mở rộng $\mathfrak{h}$ bởi một không gian vector một chiều và không gian đối ngẫu của nó |
| Tổng trực tiếp trực giao tổng quát | Đại số Lie toàn phương hữu hạn chiều bất kỳ | Phân rã duy nhất thành tổng trực giao của các khối bất khả quy nguyên thủy |
Quá trình mở rộng kép cho phép tạo ra các đại số Lie toàn phương lũy linh có chỉ số lũy linh tùy ý, xóa bỏ định kiến trước đây cho rằng đại số Lie toàn phương chỉ giới hạn trong phạm vi các đại số bán đơn.
Cặp Manin, Cấu trúc Symplectic và Liên hệ với Lý thuyết Nhóm Lượng tử
Đại số Lie toàn phương là thành phần nền tảng không thể thiếu trong lý thuyết các cấu trúc Poisson-Lie và nhóm lượng tử Drinfeld:
- Cặp Manin (Manin triple): Một bộ ba Manin $(\mathfrak{g}, \mathfrak{g}_+, \mathfrak{g}_-)$ bao gồm một đại số Lie toàn phương $(\mathfrak{g}, B)$ cùng với hai đại số con Lie đẳng hướng cực đại (Lagrangian subalgebras) $\mathfrak{g}_+$ và $\mathfrak{g}_-$ sao cho $\mathfrak{g} = \mathfrak{g}_+ \oplus \mathfrak{g}_-$ như một không gian vector. Mỗi bộ ba Manin tương ứng 1-1 với một cấu trúc đại số Lie song đối (Lie bialgebra) trên $\mathfrak{g}_+$.
- Hình học Symplectic và không gian đối xứng: Trên một nhóm Lie $G$ với đại số Lie toàn phương $(\mathfrak{g}, B)$, metric $B$ sinh ra một metric giả Riemann bất biến trái và phải trên đa tạp nhóm. Các đường trắc địa xuất phát từ phần tử đơn vị chính là các nhóm con một tham số của nhóm Lie, tạo nên các không gian đối xứng giả Riemann với tenxơ độ cong Riemann được biểu diễn hoàn toàn thông qua dấu ngoặc Lie:
$R(X, Y)Z = -\frac{1}{4} [[X, Y], Z]$
- Ứng dụng trong Vật lý lý thuyết: Trong lý thuyết trường lượng tử và lý thuyết dây WZW (Wess-Zumino-Witten), các đại số Lie toàn phương cung cấp điều kiện giải tích cần và đủ để xây dựng tenxơ năng lượng - xung lượng Sugawara thông qua toán tử Casimir bậc hai không suy biến, đồng thời đóng vai trò then chốt trong phân loại các nghiệm sóng phẳng hấp dẫn (pp-wave spacetimes).
Đại số Lie lũy linh toàn phương và cấu trúc Heisenberg mở rộng
Trong khi các đại số Lie bán đơn tự nhiên mang cấu trúc toàn phương qua dạng Killing, việc nghiên cứu các đại số Lie giải được và lũy linh toàn phương đặt ra nhiều thách thức lý thuyết sâu sắc. Theo định lý của Favre và Santharoubane, một đại số Lie lũy linh có thể trang bị dạng song tuyến tính bất biến không suy biến khi và chỉ khi nó là kết quả của các phép mở rộng kép liên tiếp từ một không gian vector giao hoán ban đầu.
Ví dụ điển hình là các đại số Lie kiểu Heisenberg toàn phương. Một đại số Heisenberg thông thường không thể mang cấu trúc toàn phương bởi vì tâm của nó có số chiều lớn hơn không gian đối tâm bù. Tuy nhiên, thông qua phép mở rộng kép Medina-Revoy, ta có thể bổ sung một đạo hàm phản xứng ngoài để tạo thành một đại số Lie toàn phương giải được hai bước, đóng vai trò quan trọng trong việc phân tích các phổ năng lượng của hệ lượng tử giải được chính xác.
Phương trình Yang-Baxter cổ điển và đại số Lie song đối
Một ứng dụng then chốt khác của đại số Lie toàn phương nằm trong lý thuyết soliton và các hệ động lực khả tích thông qua nghiệm của phương trình Yang-Baxter cổ điển. Khi đại số Lie là toàn phương với metric B, phần tử Casimir bậc hai thỏa mãn tính chất bất biến liên hợp đại số, cho phép chuyển đổi tương đương giữa các tenxơ phản xứng và các toán tử Lie đối xứng thỏa mãn điều kiện giải tích. Điều này mở đường cho việc phân loại hoàn chỉnh các cấu trúc Poisson-Lie trên nhóm Lie thực và lượng tử hóa biến dạng trong cơ học lượng tử hình học và lý thuyết trường lượng tử tô pô hiện đại, mang lại công cụ giải tích mạnh mẽ cho nghiên cứu toán học thuần túy và ứng dụng.