Đối đồng điều

Đối đồng điều là phép đối ngẫu của đồng điều để gán các đối chuỗi cho một không gian, và quan trọng hơn là nó mang một cấu trúc vành — tích cup — giúp phân biệt các không gian mà chỉ đồng điều không thể làm được.

Definition

Đối đồng điều gán cho một không gian một dãy các nhóm Abel thu được dưới dạng các chu trình modulo biên trong phức đối chuỗi đối ngẫu với phức chuỗi kỳ dị; với tích cup, nó tạo thành một vành giao hoán phân bậc, là một bất biến tinh tế hơn so với đồng điều.

Scope

Chủ đề này phát triển đối đồng điều như là đồng điều của phức đối chuỗi đối ngẫu, liên hệ với đồng điều thông qua định lý hệ số phổ quát, và bổ sung cấu trúc nhân được cung cấp bởi tích cup, biến đối đồng điều tổng thể thành một vành phân bậc. Nó bao gồm đối đồng điều de Rham trên các đa tạp trơn và sự đồng nhất của nó với đối đồng điều kỳ dị thông qua định lý de Rham, các tích cup và cap, và đối ngẫu Poincaré liên hệ đối đồng điều của một đa tạp đóng định hướng với đồng điều của nó. Định lý Künneth và các ứng dụng lớp đặc trưng cũng được đề cập.

Core questions

• Đối đồng điều liên hệ với đồng điều như thế nào thông qua định lý hệ số phổ quát?
• Cấu trúc vành tích cup mã hóa thông tin bổ sung nào ngoài các nhóm cơ bản?
• Đối ngẫu Poincaré liên kết đối đồng điều và đồng điều của một đa tạp đóng định hướng như thế nào?
• Tại sao định lý de Rham lại đồng nhất đối đồng điều dạng vi phân trơn với đối đồng điều tô pô?

Key concepts

• Phức đối chuỗi và định lý hệ số phổ quát
• Tích cup và vành đối đồng điều
• Tích cap và đối ngẫu Poincaré
• Đối đồng điều de Rham và định lý de Rham
• Định lý Künneth cho các tích

Clinical relevance

Vành đối đồng điều là nơi tự nhiên của các lớp đặc trưng, lý thuyết chướng ngại và các tích giao, làm cho đối đồng điều trở nên trung tâm trong hình học vi phân, tô pô của các bó sợi và lý thuyết gauge trong vật lý toán học.

History

Đối đồng điều xuất hiện vào những năm 1930 từ công trình của de Rham, Čech, Alexander và Kolmogorov; tích cup được Whitney và những người khác giới thiệu đã tiết lộ cấu trúc nhân mà đồng điều không thể nhìn thấy, và định lý de Rham đã liên kết các lý thuyết trơn và tô pô lại với nhau, củng cố vai trò trung tâm của đối đồng điều.

Key figures

• Georges de Rham
• Eduard Čech
• Hassler Whitney

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Tại sao lại sử dụng đối đồng điều nếu đồng điều đã phát hiện các lỗ hổng?

Đối đồng điều mang một cấu trúc vành thông qua tích cup mà đồng điều không có; các không gian có nhóm đồng điều giống hệt nhau có thể có các vành đối đồng điều khác nhau, vì vậy đối đồng điều là một bất biến tinh tế hơn nhiều.

Đối ngẫu Poincaré nói gì?

Đối với một đa tạp n-chiều đóng định hướng, đối đồng điều bậc k đẳng cấu với đồng điều bậc (n-k); về mặt hình học, nó ghép các chu trình với các chu trình có số chiều bổ sung thông qua giao điểm.