Ước tử và Định lý Riemann-Roch

Ước tử ghi lại các điểm không và cực của các hàm số trên một đa tạp, các bó đường thẳng đóng gói chúng theo hình học, và định lý Riemann-Roch đếm các hàm số với hành vi cực đã định trước theo các bất biến hình học.

Definition

Một ước tử trên một đa tạp là một tổ hợp hình thức của các đa tạp con có số chiều đồng mã hóa các điểm không và cực; các bó đường thẳng là đối tác hình học của chúng, và định lý Riemann-Roch liên hệ số chiều của không gian các tiết diện của một ước tử với bậc của nó, giống, và ước tử chính tắc.

Scope

Chủ đề này phát triển các ước tử Weil và Cartier, tương đương tuyến tính, nhóm lớp ước tử và nhóm Picard, cùng với sự tương ứng giữa các ước tử và các bó đường thẳng (các bó khả nghịch). Nó đề cập đến các hệ thống tuyến tính và các ánh xạ tới không gian xạ ảnh mà chúng định nghĩa, ước tử chính tắc, và giống của một đường cong, đỉnh điểm là định lý Riemann-Roch cho các đường cong và vai trò của đối ngẫu Serre. Các khái quát hóa đa chiều và Grothendieck-Hirzebruch được chỉ ra như là phần mở rộng tự nhiên.

Core questions

• Các ước tử Weil và Cartier mã hóa hành vi điểm không và cực của các hàm hữu tỷ như thế nào?
• Tại sao các ước tử theo tương đương tuyến tính lại là cùng một dữ liệu với các bó đường thẳng?
• Các hệ thống tuyến tính xác định các ánh xạ từ một đa tạp đến không gian xạ ảnh như thế nào?
• Định lý Riemann-Roch tính toán điều gì, và đối ngẫu Serre tham gia như thế nào?

Key concepts

• Ước tử Weil và Cartier; tương đương tuyến tính
• Nhóm lớp ước tử và nhóm Picard
• Các bó đường thẳng (các bó khả nghịch) và các hệ thống tuyến tính
• Ước tử chính tắc và giống của một đường cong
• Định lý Riemann-Roch và đối ngẫu Serre

Clinical relevance

Ước tử và Riemann-Roch là trọng tâm tính toán của lý thuyết đường cong và là nền tảng cho việc xây dựng các mã Goppa sửa lỗi, số học của các đường cong elliptic, và phân loại các mặt đại số và các đa tạp đa chiều hơn.

History

Bất đẳng thức Riemann về số chiều của các không gian hàm (1857) đã được học trò của ông là Roch hoàn thiện thành định lý Riemann-Roch; khái quát hóa của Hirzebruch vào giữa thế kỷ 20 và phiên bản tương đối của Grothendieck đã đưa nó vào hình học đại số đối đồng điều hiện đại.

Key figures

• Bernhard Riemann
• Gustav Roch
• Friedrich Hirzebruch

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

Mối quan hệ giữa các ước tử và các bó đường thẳng là gì?

Trên một đa tạp trơn, các ước tử theo tương đương tuyến tính tương ứng chính xác với các lớp đẳng cấu của các bó đường thẳng; lớp của một ước tử trong nhóm Picard là bó đường thẳng mà các tiết diện của nó triệt tiêu dọc theo ước tử đó.

Định lý Riemann-Roch cho bạn biết điều gì?

Đối với một ước tử trên một đường cong xạ ảnh trơn, nó cho số chiều của không gian các hàm hữu tỷ với các cực bị chặn bởi ước tử theo bậc của ước tử và giống của đường cong, một kết quả đếm cơ bản.