[논문 리뷰] Hecke operators, Hecke Eigensystems, and Formal Modular Forms over Number Fields

J. E. Cremona|arXiv (Cornell University)|2026. 01. 24.

Advanced Algebra and Geometry인용 수 0

한 줄 요약

논문은 임의의 수 체계에 대한 형식적 모듈러 형식의 명시적 이론을 모듈 포인트를 통해 개발하고, 이 포인트들의 함수로 Hecke 및 Atkin-Lehner 연산자를 정의하며, 주된 연산자 데이터로부터 완전한 고유값계를 복원하는 방법을 보이고, imaginary quadratic fields에서 사용된 Bianchi cusp forms 계산에 대한 구현이 제시된다.

ABSTRACT

We develop an explicit theory of formal modular forms over arbitrary number fields $K$, as functions of modular points. We define modular points for $Γ_0({\mathfrak n})$ and $Γ_1({\mathfrak n})$, where the level ${\mathfrak n}$ is an integral ideal of $K$; Hecke operators and generalized Atkin-Lehner operators as functions of modular points; and associated Hecke eigensystems. We show how complete eigensystems may be recovered, uniquely up to unramified quadratic twist, from their restrictions to principal Hecke operators, and we give explicit formulas for principal operators suitable for machine computation. These have been implemented by the author in the case of imaginary quadratic fields, and used in his systematic computation of Bianchi cusp forms, which are available in the L-functions and modular forms database (LMFDB). While our description incorporates the classical theory for $K={\mathbb Q}$, and also extends work of the author and his students for imaginary quadratic fields, it applies to arbitrary number fields, and may be useful in the computation of spaces of automorphic forms for GL$(2,K)$ over number fields, whether via modular symbols or other methods.

연구 동기 및 목표

• 수 K에서의 수(field)들에 대한 GL(2,K)의 자동형식 공간 연구를 동기 부여하고 순수 대수적 프레임워크를 개발한다.
• Gamma_0(n) 및 Gamma_1(n)에 대한 모듈러 포인트를 정의하고 이를 수 체계상의 격자와의 관계를 기술한다.
• 모듈러 포인트의 함수로서의 Hecke 연산자 및 일반화된 Atkin-Lehner 연산자를 도입하고 관련 고유값계를 정의한다.
• 주된 Hecke 연산자 데이터로부터 완전한 고유값계를 복원할 수 있는 방법을 보여주고, 계산에 적합한 공식들을 제공한다.

제안 방법

• 임의의 수 체계에 대한 O_K-격자 및 Gamma_0(n)와 Gamma_1(n)에 대한 모듈러 포인트의 명시적 이론을 개발한다.
• Hecke 연산자를 모듈러 포인트로 생성된 자유 모듈에 대한 작용으로 기술하고, Hecke 대수를 클래스 군으로 등급화한다.
• 명시적 주된 연산자를 제공하고 고유값계가 주된 부분 대수(5.1)에 대한 제한으로 결정된다고 증명한다.
• 머신 계산이 가능하도록 모듈러 포인트, 격자 및 허용 가능한 기저 행렬의 구체적 기술을 제공한다.
• 주된 Hecke 및 Atikin-Lehner 연산자 행렬의 구성과 이를 계산에 활용하는 방법을 개략적으로 제시한다.

실험 결과

연구 질문

• RQ1 Gamma_0(n) 및 Gamma_1(n)에 대한 임의의 수 체계에서 모듈러 포인트를 어떻게 구성하고 분류할 수 있는가?
• RQ2 고유값계가 주된 Hecke 연산자로의 제한에 의해 어느 정도까지 결정되며, 이 데이터로부터 완전한 고유값계를 어떻게 복원할 수 있는가?
• RQ3 주된 연산자를 일반 수 체계에 걸쳐 머신 계산에 친화적으로 어떻게 구성할 수 있는가?
• RQ4 이 이론들을 어떻게 사용하여 수 체계 위의 GL(2,K) 형식 공간을 계산하고, 기존의 모듈러-심볼 또는 다른 접근법과의 관계는 무엇인가?

주요 결과

• 임의의 수 체계에 대한 형식 모듈러 형식에 대한 명시적 대수적 프레임워크가 개발되었으며, 모듈러 포인트 및 Hecke 작용이 포함된다.
• Hecke 대수는 이상류(Ideal) 군에 의해 등급화되며, 고유값계는 모듈러 포인트에 대한 작용을 통해 정의된다.
• 완전한 고유값계는 주된 Hecke 연산자들에 대한 제한으로부터 고유하게 복원될 수 있으며(5.1에 명시된 바와 같이 무람-츠 twists 포함), 이러한 복원은 제한적으로 고유하게 가능하다.
• 주된 연산자에 대한 명시적 공식을 제공하며 머신 계산에 적합하고, imaginary quadratic fields에 대해 구현이 이루어졌다.
• 저자는 이러한 방법들을 bianchi-progs에 구현하고 Bianchi cusp forms의 체계적 계산에 사용하였으며, LMFDB에서 데이터가 이용 가능하다.
• 본 연구는 고전적 K = Q 이론을 일반화하고, 이전의 imaginary quadratic field 연구를 임의의 수 체계로 확장한다.