Nhóm đồng luân của các hình cầu

Trong toán học, và cụ thể hơn là trong tô pô đại số, các nhóm đồng luân của hình cầu là các bất biến mô tả, một cách đại số, những cách mà các hình cầu  chiều và  chiều có thể quấn quanh nhau. Khái niệm này, vốn ban đầu được xác định cho các mặt cầu 1 chiều (vòng tròn) và 2 chiều (hình cầu), được khái quát cho các mặt cầu  chiều.

Định nghĩa  
Nhóm đồng luân bậc  của hình cầu  chiều , là tập hợp, ký hiệu , các lớp đồng luân của các hàm liên tục giữa hai hình cầu sao cho một điểm cố định của hình cầu  được gửi tới một điểm cố định của hình cầu  (gọi là hai điểm cơ sở).

Tập hợp  có thể được trang bị một cấu trúc nhóm abel.

Nếu , nhóm này là nhóm tầm thường: .

Nếu , ta có  (có thể chứng minh bằng định lý Hurewicz).

1 chiều: các nhóm đồng luân của đường tròn 
Ta có:

 ; 
 với.

2 chiều và 3 chiều 
Các hình cầu có ít nhất hai chiều là đơn liên, nói riêng:

 

Với mọi  lớn hơn hoặc bằng 3, ta có: , nói riêng:

 

Với mọi , ta có: , nói riêng:

 , 
 .

Thành thớ Hopf cho ta một dãy khớp đồng luân,  Từ  và với ,  ta có một đẳng cấu

  với ,

nói riêng

 

Với các nhóm đồng luân bậc cao hơn, nhiều kỹ thuật khác cho ta các kết quả sau

Chiều cao hơn

Bảng 
Tính toán các nhóm đồng luân của các hình cầu nói chung là phức tạp. Bảng sau tóm gọn lại kết quả thu được.

Ổn định khi số chiều lớn 
Bảng đồng luân của  dễ nhìn hơn: 

Với số chiều đủ lớn, ta có

  (cột đầu tiên màu vàng của bảng trên) 
  (cột thứ hai - màu tím - của bảng trên) 
  (cột thứ ba - màu lam - của bảng trên)

Hóa ra là  không phụ thuộc vào  với  đủ lớn. Hiện tượng này được gọi là sự ổn định. Nó xuất phát từ định lý suspension Freudenthal sau đây:

 Các đồng cấu suspension  là một đẳng cấu với  
 và là một toàn cấu (theo nghĩa một đồng cấu toàn ánh) với .

Danh sách các nhóm đồng luân ổn định 
Các nhóm ổn định đầu tiên  là như sau:

 
 
 
 
 
 
 
 
 
 

Các nhóm đồng luân ổn định là hữu hạn ngoại trừ . 

Từ ,  trở nên phức tạp, ví dụ:

Các nhóm đồng luân không ổn định 
Một số nhóm đồng luân không ổn định:

 Với chiều 2 và 3 (): 
  
  
  
 Với chiều 4:

Nhóm đồng luân vô hạn 
Các nhóm đồng luân ổn định  là hữu hạn ngoại trừ  (().

Các nhóm đồng luân không ổn định là hữu hạn ngoại trừ các nhóm  (với p > 0). Những nhóm này , , ,...) đẳng cấu với tổng trực tiếp của  và một nhóm hữu hạn.

Tham khảo

 Boris Doubrovine (de), Anatoli Fomenko et Sergueï Novikov, Géométrie contemporaine - Méthodes et applications, tomes 2 et 3
 Claude Godbillon, Éléments de topologie algébrique
 Fabien Morel, «Groupes d'homotopie de sphères algébriques et formes quadratiques», trong Leçons de mathématiques d'aujourd'hui, vol. 3, Cassini, 2007

Tô pô đại số