Toán tử Hecke và dạng riêng

Toán tử Hecke là một họ giao hoán của các toán tử tuyến tính trên không gian các dạng modular mà các dạng riêng đồng thời của chúng có các hệ số Fourier nhân tính, biến các dạng modular thành một nguồn của các tích Euler và các hàm L số học.

Definition

Toán tử Hecke là các tự đồng cấu tuyến tính của một không gian các dạng modular, được đánh chỉ số bởi các số nguyên dương, mà tính trung bình một dạng trên các lưới con; một dạng riêng là một dạng modular là một vector riêng đồng thời cho tất cả các toán tử Hecke.

Scope

Chủ đề này bao gồm định nghĩa các toán tử Hecke trên các dạng modular, tính giao hoán và tự liên hợp của chúng dưới tích trong Petersson, sự chéo hóa không gian các dạng cusp thành các dạng riêng đồng thời, tính nhân tính và đệ quy được thỏa mãn bởi các hệ số Fourier của các dạng riêng chuẩn hóa, lý thuyết về các dạng cũ và dạng mới (lý thuyết Atkin-Lehner) cho các cấp cao hơn, và hàm tau của Ramanujan như là hệ số dạng riêng nguyên mẫu.

Core questions

• Các toán tử Hecke được định nghĩa như thế nào, và tại sao chúng giao hoán và bảo toàn không gian các dạng modular?
• Tại sao tính tự liên hợp dưới tích trong Petersson đảm bảo một cơ sở của các dạng riêng đồng thời?
• Làm thế nào mà việc trở thành một dạng riêng chuẩn hóa buộc các hệ số Fourier phải có tính nhân tính và thỏa mãn một đệ quy lũy thừa nguyên tố?
• Điều gì phân biệt các dạng mới với các dạng cũ ở cấp cao hơn, và lý thuyết Atkin-Lehner tổ chức chúng như thế nào?

Key theories

Các toán tử Hecke tự liên hợp giao hoán

Các toán tử Hecke giao hoán và tự liên hợp đối với tích trong Petersson trên các dạng cusp, do đó theo định lý phổ, không gian có một cơ sở trực giao của các dạng riêng đồng thời.

Tính nhân tính của các hệ số dạng riêng

Đối với một dạng riêng chuẩn hóa, hệ số Fourier thứ n bằng giá trị riêng Hecke thứ n; chúng có tính nhân tính và thỏa mãn một đệ quy tại các lũy thừa nguyên tố, tạo ra một tích Euler cho hàm L của dạng.

Các dạng mới và lý thuyết Atkin-Lehner

Ở cấp N, các dạng cusp được chia thành các dạng cũ đến từ các cấp thấp hơn và các dạng mới thực sự; các dạng mới là các dạng riêng với các hàm L được xác định rõ và là các đối tượng được ghép nối với các đường cong elliptic.

Clinical relevance

Các giá trị riêng của Hecke là nội dung số học được lập bảng trong các cơ sở dữ liệu dạng modular và được gắn với các biểu diễn Galois; các giới hạn trên chúng (giả thuyết Ramanujan-Petersson, được chứng minh bởi Deligne) kiểm soát các số hạng sai số trong các ước lượng giải tích và chứng nhận các khoảng cách phổ được sử dụng để xây dựng các đồ thị mở rộng Ramanujan.

History

Mordell đã chứng minh tính nhân tính của hàm tau của Ramanujan vào năm 1917, một hiện tượng mà Hecke đã giải thích vào những năm 1930 bằng cách giới thiệu các toán tử hiện mang tên ông. Atkin và Lehner đã phát triển lý thuyết dạng mới vào năm 1970, và chứng minh của Deligne năm 1974 về các giả thuyết Weil đã thiết lập giới hạn Ramanujan trên các giá trị riêng.

Key figures

• Erich Hecke
• Srinivasa Ramanujan
• Atle Selberg
• Pierre Deligne

Frequently asked questions

Tại sao các dạng riêng Hecke lại quan trọng đến vậy?

Các hệ số Fourier của chúng có tính nhân tính và tạo thành một tích Euler, mang lại cho mỗi dạng riêng một hàm L với ý nghĩa số học; đây là các dạng modular tương ứng với các đường cong elliptic và các biểu diễn Galois.

Giả thuyết Ramanujan-Petersson là gì?

Đó là một giới hạn chặt chẽ về độ lớn của các giá trị riêng Hecke (tương đương với các hệ số Fourier) của một dạng cusp; Deligne đã chứng minh nó cho các dạng chỉnh hình như một hệ quả của các giả thuyết Weil.