Sheaves và Cohomology

Một sheaf ghi lại dữ liệu được định nghĩa cục bộ và được gắn kết một cách nhất quán, và sheaf cohomology đo lường sự cản trở trong việc chuyển từ các giải pháp cục bộ sang một giải pháp toàn cục.

Definition

Một sheaf trên một không gian gán cho mỗi tập mở một tập hợp (hoặc nhóm, vành, hoặc mô-đun) các mặt cắt (sections) tương thích dưới phép hạn chế (restriction) và gắn kết (gluing); sheaf cohomology là chuỗi các hàm tử dẫn xuất của việc lấy các mặt cắt toàn cục (global sections), định lượng sự thất bại của các mặt cắt cục bộ trong việc gắn kết toàn cục.

Scope

Chủ đề này giới thiệu các presheaf và sheaf trên một không gian tô pô hoặc lược đồ (scheme), các stalk, sheafification và các phép đồng cấu của sheaf, với các ví dụ trung tâm về structure sheaf, ideal sheaf, và coherent và quasi-coherent sheaf. Nó phát triển sheaf cohomology thông qua các hàm tử dẫn xuất (derived functors) của hàm tử global-sections và công cụ tính toán của Čech cohomology, cohomology của coherent sheaf trên không gian xạ ảnh (projective space), và các kết quả nền tảng như các định lý hữu hạn và biến mất của Serre (Serre's finiteness and vanishing theorems) và đối ngẫu Serre (Serre duality).

Core questions

• Các tiên đề gắn kết làm thế nào để biến sheaf thành công cụ phù hợp cho dữ liệu từ cục bộ đến toàn cục?
• Các coherent và quasi-coherent sheaf nắm bắt được điều gì về hình học trên một lược đồ (scheme)?
• Tại sao sheaf cohomology được định nghĩa là một hàm tử dẫn xuất (derived functor), và Čech cohomology tính toán nó như thế nào?
• Các định lý hữu hạn, biến mất và đối ngẫu của Serre cho chúng ta biết điều gì về coherent cohomology?

Key concepts

• Presheaf, sheaf, stalk và sheafification
• Coherent và quasi-coherent sheaf
• Sheaf cohomology như một hàm tử dẫn xuất
• Čech cohomology và sự tương đồng của nó với derived cohomology
• Định lý hữu hạn, biến mất và đối ngẫu Serre

Clinical relevance

Sheaf cohomology là công cụ tính toán trung tâm của hình học đại số, kiểm soát các mặt cắt của line bundle, các biến dạng (deformations) và lý thuyết cản trở (obstruction theory); cùng một cơ chế này là nền tảng của étale cohomology được sử dụng để chứng minh các giả thuyết Weil (Weil conjectures) và phổ biến trong tô pô và hình học phức.

History

Leray đã giới thiệu các sheaf và cohomology của chúng vào những năm 1940; tác phẩm FAC (1955) của Serre đã đưa coherent sheaf cohomology vào hình học đại số, và Grothendieck đã định hình lại cohomology thành các hàm tử dẫn xuất trong bài báo Tôhoku của ông (1957), khuôn khổ được áp dụng trong các phương pháp hiện đại.

Key figures

• Jean Leray
• Jean-Pierre Serre
• Alexander Grothendieck

Seminal works

• hartshorne1977
• maclane1971

Frequently asked questions

Sự khác biệt giữa presheaf và sheaf là gì?

Một presheaf gán dữ liệu cho các tập mở với các ánh xạ hạn chế (restriction maps); một sheaf bổ sung yêu cầu rằng các mặt cắt cục bộ trùng khớp trên các phần chồng lấp phải gắn kết thành một mặt cắt toàn cục duy nhất, đây chính là tính cục bộ cần thiết cho hình học.

Tại sao sheaf cohomology lại quan trọng về mặt hình học?

Các chiều của nó đếm các mặt cắt toàn cục, các cản trở và các bất biến như giống (genus); sự biến mất của cohomology bậc cao hơn là điều cho phép dữ liệu hình học cục bộ — ví dụ, các mặt cắt của một line bundle — được tập hợp lại một cách toàn cục.