Dạng Modular và Nhóm Modular

Nhóm modular của các ma trận số nguyên tác động lên nửa mặt phẳng trên, và các dạng modular là các hàm chỉnh hình tuân thủ tác động này; định nghĩa, ví dụ và cấu trúc cơ bản của chúng là điểm khởi đầu cho toàn bộ lý thuyết.

Definition

Nhóm modular là nhóm các ma trận số nguyên hai nhân hai có định thức bằng một tác động lên nửa mặt phẳng trên bằng các phép biến đổi phân tuyến tính; một dạng modular có trọng số k đối với nó là một hàm chỉnh hình biến đổi theo lũy thừa bậc k của yếu tố tự đẳng cấu và chỉnh hình tại điểm cusp.

Scope

Chủ đề này bao gồm nhóm modular và các phần tử sinh của nó, tác động bằng các phép biến đổi phân tuyến tính trên nửa mặt phẳng trên và miền cơ bản chuẩn, các nhóm con đồng dư và các cấp, định nghĩa các dạng modular và dạng cusp có trọng số cho trước, chuỗi Eisenstein như các dạng không phải cusp cơ bản, biệt thức modular và bất biến j, và công thức hóa trị xác định các chiều của không gian các dạng modular.

Core questions

• Nhóm modular được tạo ra như thế nào, và miền cơ bản của nó trông như thế nào?
• Luật biến đổi chính xác định nghĩa một dạng modular có trọng số k là gì, và các dạng cusp khác biệt như thế nào?
• Chuỗi Eisenstein là gì, và chúng tạo ra vành các dạng modular cho nhóm đầy đủ như thế nào?
• Công thức hóa trị đếm các số không và xác định các chiều của các không gian này như thế nào?

Key theories

Miền cơ bản và các phần tử sinh

Nhóm modular được tạo ra bởi các phép ánh xạ tịnh tiến và nghịch đảo, và tác động của nó có một miền cơ bản chuẩn trong nửa mặt phẳng trên, là nền tảng cho tất cả các tính toán rõ ràng với các dạng modular.

Chuỗi Eisenstein và vành modular

Chuỗi Eisenstein có trọng số bốn và sáu là các dạng modular chỉnh hình mà các đa thức của chúng tạo ra toàn bộ vành phân cấp của các dạng modular cho nhóm modular đầy đủ.

Công thức hóa trị và các chiều

Các số không của một dạng modular có trọng số k, được đếm với bội số trên miền cơ bản, thỏa mãn một đồng nhất thức cố định; công thức hóa trị này mang lại các chiều hữu hạn của tất cả các không gian các dạng modular.

Clinical relevance

Chuỗi Theta, là các dạng modular được xây dựng từ các mạng lưới, đếm các biểu diễn của số nguyên bằng các dạng toàn phương và chứng nhận các mạng lưới tối ưu được sử dụng trong đóng gói hình cầu và lý thuyết mã hóa, mang lại các ứng dụng cụ thể cho cấu trúc trừu tượng này.

History

Nhóm modular và miền cơ bản của nó xuất hiện từ lý thuyết hàm elliptic và hàm modular thế kỷ XIX được phát triển bởi Gauss, Jacobi, Eisenstein, Klein và Poincare. Khung hiện đại không phụ thuộc tọa độ của các dạng modular như các hàm có luật biến đổi đã được củng cố vào thế kỷ XX bởi Hecke và những người kế nhiệm ông.

Key figures

• Felix Klein
• Henri Poincare
• Gotthold Eisenstein
• Carl Ludwig Siegel

Seminal works

• serre1973
• apostol1990

Frequently asked questions

Miền cơ bản của nhóm modular là gì?

Đó là một vùng của nửa mặt phẳng trên chứa chính xác một đại diện của mỗi quỹ đạo dưới tác động của nhóm, thường được vẽ dưới dạng dải giữa các đường thẳng đứng tại phần thực cộng và trừ một nửa, phía trên đường tròn đơn vị.

Dạng cusp là gì?

Đó là một dạng modular biến mất tại mỗi điểm cusp, nghĩa là khai triển Fourier của nó không có số hạng hằng số; các dạng cusp mang thông tin số học thú vị nhất và là các dạng riêng của các toán tử Hecke.