Luận án K-lý thuyết không gian lá MD(5,4)-phân lá - Dương Quang Hòa

Luận án nghiên cứu ba đối tượng chính. Thứ nhất là K-quỹ đạo của các MD(5,4)-nhóm Lie. Thứ hai là lớp MD(5,4)-phân lá trên đa tạp khả vi. Thứ ba là C*-đại số Connes liên kết với phân lá. Các MD-nhóm là nhóm Lie có đại số Lie đặc biệt. MD-đại số có ideal dẫn xuất giao hoán 4 chiều. Phương pháp mô tả K-quỹ đạo sử dụng lý thuyết biểu diễn. Không gian lá được nghiên cứu thông qua cấu trúc tôpô.

Nghiên cứu sử dụng phương pháp hình học vi phân. Lý thuyết nhóm Lie và đại số Lie là công cụ cơ bản. K-lý thuyết và KK-nhóm Kasparov cung cấp bất biến đại số. Phương pháp phân lá vi phân mô tả phân bố không khả tích. Định lý Frobenius áp dụng cho lá tích phân. Đẳng cấu Thom-Connes kết nối K-nhóm. Phân tích giải tích mô tả cấu trúc C*-đại số.

Đề tài mở rộng K-lý thuyết cho phân lá phức tạp. Kết quả đóng góp vào lý thuyết phân lá hiện đại. Phương pháp có thể áp dụng cho các lớp phân lá khác. Nghiên cứu kết nối hình học và đại số không giao hoán. Bất biến chỉ số cung cấp công cụ phân loại mới. Ứng dụng tiềm năng trong vật lý toán và hình học lượng tử.

MD-đại số là đại số Lie với ideal dẫn xuất đặc biệt. Ideal dẫn xuất [G,G] có chiều 4 và giao hoán. Điều kiện này tạo cấu trúc đại số đặc trưng. Lớp con MD5-đại số có chiều tổng thể bằng 5. Phân loại các MD5-đại số dựa trên cấu trúc ideal. Biểu diễn phụ hợp Ad mô tả tác động nhóm. Vi phân ad của Ad là đạo hàm trong đại số.

Không gian đối ngẫu G* chứa phiếm hàm tuyến tính. Nhóm Lie tác động lên G* qua biểu diễn đối phụ hợp. Quỹ đạo Kirillov là quỹ đạo của tác động này. K-quỹ đạo có cấu trúc symplectic tự nhiên. Phương pháp mô tả sử dụng tọa độ địa phương. Bức tranh hình học minh họa phân bố quỹ đạo. Mỗi quỹ đạo tương ứng một biểu diễn unita.

MD(5,4)-nhóm có phân loại K-quỹ đạo hoàn chỉnh. Số lượng kiểu quỹ đạo hữu hạn và xác định. Mỗi kiểu có đặc trưng hình học riêng biệt. Phương pháp phân loại dựa trên bất biến đại số. Tác động phụ hợp xác định quan hệ tương đương. Kết quả áp dụng cho nghiên cứu phân lá. Bảng phân loại chi tiết trong luận án.

Phân bố là trường phân thế tiếp xúc trên đa tạp. Phân bố khả tích thỏa điều kiện Frobenius. Điều kiện Frobenius yêu cầu đóng theo móc Lie. Phân bố không khả tích tạo trường tiếp xúc phức tạp. Lá tích phân là đa tạp con tiếp xúc với phân bố. Phân lá Riemannian có metric trên mỗi lá. Cấu trúc phân lá xác định bởi atlas phân lá.

Không gian lá là thương của đa tạp theo quan hệ tương đương. Hai điểm tương đương nếu nằm trên cùng lá. Tôpô thương trên W/F thường không Hausdorff. Cấu trúc tôpô phản ánh tính chất phân lá. Phân lá do quỹ đạo có không gian lá đặc biệt. Kiểu tôpô phân loại phân lá đến đẳng cấu. MD(5,4)-phân lá có số kiểu tôpô hữu hạn.

Luận án đưa ra phân loại hoàn chỉnh MD(5,4)-phân lá. Phân loại dựa trên kiểu tôpô không gian lá. Mỗi MD(5,4)-nhóm tạo họ phân lá tương ứng. Phân lá liên kết qua tác động phụ hợp. Số lớp tương đương tôpô được xác định. Bảng phân loại liệt kê tất cả các kiểu. Kết quả là mới và đầy đủ.

Phỏng nhóm holonomy là cấu trúc đại số từ phân lá. Holonomy đo sự trượt dọc lá khi di chuyển. Phỏng nhóm tổng quát hóa khái niệm nhóm. Tập hợp các phần tử holonomy tạo phỏng nhóm. Tích trong phỏng nhóm chỉ xác định từng phần. Cấu trúc tôpô trên phỏng nhóm từ phân lá. Độ đo hoành λ là độ đo bất biến.

C*-đại số Connes xây dựng từ phỏng nhóm holonomy. Không gian các hàm trơn giá compact là tiền đại số. Tích chập xác định từ cấu trúc phỏng nhóm. Đối hợp định nghĩa từ độ đo hoành. Chuẩn C*-đại số từ biểu diễn trên Hilbert. Hoàn bị cho không gian với chuẩn này. C*(W,F) là C*-đại số hoàn chỉnh.

C*-đại số Connes có nhiều tính chất quan trọng. Đại số chứa C*-đại số compact như ideal. Thương theo ideal compact cho đại số Calkin. Cấu trúc phụ thuộc vào hình học phân lá. Phân lá đơn giản cho C*-đại số đơn giản. Tính chất K-lý thuyết phản ánh tôpô không gian lá. Các tính chất này dùng cho phân loại.

K₀(A) là nhóm Grothendieck của phần tử chiếu. Phần tử chiếu thỏa p²=p=p*. Tập P∞(A) chứa tất cả chiếu trong Mat∞(A). Quan hệ tương đương homotopy trên P∞(A). K₀(A) là nhóm Abel từ lớp tương đương. K₁(A) xây dựng từ phần tử khả nghịch. Nhóm GL∞(A) chứa ma trận khả nghịch. K₁(A) là nhóm giao hoán hóa GL∞(A).

KK-lý thuyết tổng quát hóa K-lý thuyết và Ext. KK(A,B) là nhóm Abel từ các bộ ba Kasparov. Bộ ba gồm module Hilbert và toán tử. Quan hệ tương đương homotopy trên bộ ba. Tích Kasparov kết hợp các KK-nhóm. KK-lý thuyết có tính hàm tử mạnh. Ext(B,J) là trường hợp đặc biệt quan trọng.

Mở rộng C*-đại số là dãy khớp ngắn. Dãy 0→J→E→B→0 với J là ideal. Tập Ext(B,J) phân loại các mở rộng. Đồng cấu nối ∂ kết nối K-nhóm. Dãy khớp tuần hoàn 6 thành phần xuất hiện. K-lý thuyết tính toán qua dãy khớp này. Phương pháp áp dụng cho C*-đại số Connes.

Đẳng cấu Thom-Connes kết nối K-lý thuyết và phân lá. Ánh xạ từ K-nhóm đa tạp đến K-nhóm C*-đại số. Đẳng cấu bảo tồn cấu trúc nhóm Abel. Tính tự nhiên đảm bảo tương thích với ánh xạ. Công thức tường minh tính K-nhóm từ hình học. Đẳng cấu là công cụ chính tính toán. Áp dụng cho MD(5,4)-phân lá cho kết quả cụ thể.

Bất biến chỉ số Index A là bộ K-nhóm. Hệ gồm K₀(A), K₁(A) và các ánh xạ kết nối. Bất biến này phân loại C*-đại số đến đẳng cấu. Tính toán Index A từ dãy khớp tuần hoàn. Mỗi kiểu phân lá có Index A đặc trưng. Bảng Index A cho tất cả MD(5,4)-phân lá. Kết quả cung cấp phân loại hoàn chỉnh.

Phân lá kiểu F₀ và F₃ có C*-đại số đặc biệt. Mô tả giải tích cấu trúc được xây dựng chi tiết. C*-đại số biểu diễn qua tích xiên và mở rộng. Công thức tường minh cho K-nhóm được đưa ra. Đặc trưng hoàn chỉnh bằng Index A. Kết quả áp dụng phương pháp KK-lý thuyết. Đây là đóng góp chính của luận án.