[논문 리뷰] Reduction mod $\ell$ of Theta Series of Level $\ell^n$

Nils-Peter Skoruppa|ArXiv.org|2008. 07. 29.

Advanced Mathematical Identities참고 문헌 1인용 수 5

한 줄 요약

이 논문은 모듈러 형식 이론을 사용하지 않고, 라티스의 산술적 및 대수적 성질을 활용하여, 소수 ℓ의 거듭제곱 수준을 갖는 짝수 정수 라티스의 θ 시리즈가 모듈러 형식으로서 수준 1, 무게 e(L)/2인 형식과 ℓ를 법으로 합동됨을 증명한다. 주요 결과는 라티스 θ 시리즈와 고전적 모듈러 형식 사이의 깊은 합동 관계를 확립하며, 이는 단순형 라티스와 그 자동형사상에 응용된다.

ABSTRACT

It is proved that the theta series of an even lattice whose level is a power of a prime $\ell$ is congruent modulo $\ell$ to an elliptic modular form of level~1. The proof uses arithmetic and algebraic properties of lattices rather than methods from the theory of modular forms. The methods presented here may therefore be especially pleasing to those working in the theory of quadratic forms, and they admit generalizations to more general types of theta series as they occur e.g. in the theory of Siegel or Hilbert modular forms.

연구 동기 및 목표

• 짝수 라티스의 ℓ^n 수준에 대한 θ 시리즈와 수준 1 모듈러 형식 사이의 합동 관계를 ℓ를 법으로 수립하는 것.
• 표준 모듈러 형식 기법을 피하는 라티스 이론적 증명을 제공하는 것.
• 이를 바이너리 형식을 초과하는 더 넓은 범주로 확장하여, 시겔 또는 힐베르트 모듈러 형식의 θ 시리즈로 일반화하는 것.
• 이러한 합동 관계와 단순형 라티스 내 ℓ-거듭제곱 차수 자동형사상 존재성 간의 연결 고리를 탐색하는 것.
• 고중량의 극한 모듈러 형식이 큰 소수 차수 자동형사상을 갖는 라티스로부터 유래할 수 있다는 추측을 뒷받침하는 것.

제안 방법

• 짝수 라티스의 그람 행렬의 기본 요소를 사용하여, 목표 모듈러 형식의 무게 e(L)를 정의한다.
• 라티스 이론적 도구를 적용한다. 특히, lG⁻¹ 이 정수 행렬이면서 대각 성분이 모두 짝수인 최소의 l을 라티스의 수준으로 정의한다.
• 형식적 멱급수의 난이름 합동을 사용한다: θ_L ≡ f mod ℓ, 여기서 f는 ℤ[[q]]의 정수 계수를 갖는다.
• 실 이차 수체의 아이디얼 클래스의 구조를 분석하여, 특정 노름 집합이 국소화된 링의 단위군에 포함됨을 보인다.
• 산술 등차수열에 대한 딜리클레 정리와 이차 상호법칙을 활용하여, 노름의 ℓ를 법으로 한 행동을 제어한다.
• 모든 ℓf 모듈로의 레이 클래스에 대해, 그 노름이 국소화된 링의 단위군에 속하는 아이디얼이 존재함을 보여, 적절한 대표자를 확보한다.

실험 결과

연구 질문

• RQ1 수준 ℓ^n인 짝수 라티스의 θ 시리즈가 ℓ를 법으로 수준 1 모듈러 형식과 합동이 될 수 있는가?
• RQ2 이러한 θ 시리즈가 합동이 되는 수준 1 모듈러 형식의 정확한 무게는 무엇인가?
• RQ3 θ_L ≡ f mod ℓ의 존재가 라티스 L에 대해 ℓ의 거듭제곱 차수 자동형사상이 존재함을 의미하는가?
• RQ4 이 합동 관계는 이원형식을 초과하여 고차원 라티스와 다른 종류의 θ 시리즈로 일반화될 수 있는가?
• RQ5 이 합동 관계와 실 이차 수체의 레이 클래스군의 구조 사이에 연결 고리가 존재하는가?

주요 결과

• 모든 수준 ℓ^n인 짝수 정수 라티스의 θ 시리즈는 정수 푸리에 계수를 갖는 수준 1, 무게 e(L)/2의 모듈러 형식 f와 ℓ를 법으로 합동이다.
• 판별식 −ℓ인 이원형식 [a,b,c]에 대해, θ_[a,b,c]는 무게 (ℓ+1)/2인 극한 모듈러 형식과 mod ℓ로 합동이다.
• θ_[1,1,2] ≡ E₄ mod 7 이다. 여기서 E₄는 무게 4의 아이젠슈타인 급수이다.
• θ_[2,1,3] ≡ E₄³ − 720Δ mod 23 이다. 여기서 Δ는 모듈러 디스criminant이다.
• θ_[4,3,5]에 대해선 E₄⁹ − 2160E₄⁶Δ + 965520E₄³Δ² − 27302400Δ³ mod 71 이며, 이는 중량 36의 극한 형식과 정확히 일치한다.
• 이 증명은 만약 중량 k인 극한 모듈러 형식이 존재한다면, 이는 자동형사상의 차수가 ℓ = 2k−1인 라티스로부터 유래할 수 있음을 암시하며, 리치 라티스와 같은 알려진 예시에서 이를 확인할 수 있다.