Lý thuyết đồng luân

Lý thuyết đồng luân nghiên cứu các không gian theo biến dạng liên tục, tổng quát hóa nhóm cơ bản thành các nhóm đồng luân bậc cao hơn và sắp xếp các ánh xạ thông qua các thớ hóa (fibrations), đồng thớ hóa (cofibrations) và xấp xỉ CW (CW approximation).

Definition

Lý thuyết đồng luân nghiên cứu các không gian tô pô và các ánh xạ theo đồng luân — biến dạng liên tục — sử dụng các nhóm đồng luân bậc cao hơn (các lớp đồng luân của các ánh xạ từ các mặt cầu) và các cấu trúc của các thớ hóa và các phức hợp CW giúp các bất biến này trở nên dễ xử lý.

Scope

Chủ đề này định nghĩa các nhóm đồng luân bậc cao hơn, vốn là nhóm Abel (abelian) cho chiều ít nhất là hai, và phát triển các công cụ để tính toán và liên hệ chúng: các thớ hóa và chuỗi chính xác dài của một thớ hóa, định lý Hurewicz liên kết đồng luân và đồng điều, định lý Whitehead về các tương đương yếu của các phức hợp CW (CW complexes), và lý thuyết chướng ngại (obstruction theory). Nó khảo sát vấn đề (phần lớn còn bỏ ngỏ) về các nhóm đồng luân của các mặt cầu, các không gian Eilenberg-MacLane đại diện cho đồng điều, và quan điểm phạm trù mô hình (model-categorical viewpoint) đóng khung lý thuyết đồng luân một cách trừu tượng.

Core questions

• Các nhóm đồng luân bậc cao hơn mở rộng nhóm cơ bản như thế nào, và tại sao chúng lại là nhóm Abel trên chiều một?
• Chuỗi chính xác dài của một thớ hóa tính toán các nhóm đồng luân từ các phần đơn giản hơn như thế nào?
• Định lý Hurewicz nói gì về nhóm đồng luân khác không đầu tiên và mối quan hệ của nó với đồng điều?
• Tại sao các nhóm đồng luân của các mặt cầu lại khó đến vậy, và cấu trúc nào sắp xếp chúng?

Key concepts

• Các nhóm đồng luân bậc cao hơn và cấu trúc Abel của chúng
• Các thớ hóa, đồng thớ hóa và chuỗi chính xác dài của một thớ hóa
• Định lý Hurewicz và định lý Whitehead
• Các không gian Eilenberg-MacLane và khả năng biểu diễn của đồng điều
• Xấp xỉ CW và lý thuyết chướng ngại

Clinical relevance

Lý thuyết đồng luân là xương sống trừu tượng của tô pô học hiện đại và cung cấp ngôn ngữ của các hiện tượng ổn định, phân loại các không gian cho các bó (bundles) và lý thuyết gauge (gauge theories), cũng như các phương pháp đồng luân hiện được sử dụng trong đại số, hình học đại số và vật lý toán học.

History

Hurewicz đã giới thiệu các nhóm đồng luân bậc cao hơn vào những năm 1930; chuỗi phổ Serre (Serre's spectral sequence) và công trình của Whitehead cùng những người khác đã giúp việc tính toán trở nên khả thi, và các phạm trù mô hình của Quillen (1967) đã trừu tượng hóa lý thuyết đồng luân thành một khuôn khổ có thể áp dụng rộng rãi hơn nhiều so với tô pô học.

Key figures

• Witold Hurewicz
• J. H. C. Whitehead
• Daniel Quillen

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Tại sao các nhóm đồng luân bậc cao hơn là nhóm Abel nhưng nhóm cơ bản thì không nhất thiết?

Đối với chiều ít nhất là hai, có đủ không gian để hoán đổi hai hình cầu qua nhau thông qua lập luận Eckmann-Hilton, buộc phải có tính giao hoán; trong chiều một, các vòng lặp không thể trượt qua nhau theo cách này.

Các nhóm đồng luân của các mặt cầu đã được biết đến chưa?

Chỉ một phần. Mặc dù đã có những nỗ lực rất lớn, chúng chỉ được tính toán trong một số chiều nhất định, và việc xác định chúng nói chung vẫn là một trong những vấn đề mở sâu sắc nhất trong tô pô học.