[논문 리뷰] Note on mod p property of Hermitian modular forms

Toshiyuki Kikuta, Shōyū Nagaoka|arXiv (Cornell University)|2016. 01. 14.

Advanced Algebra and Geometry참고 문헌 14인용 수 3

한 줄 요약

이 논문은 2차 허미트 수체 모듈라 형식에 대한 θ 연산자의 mod p 핵을 조사하며, 이는 이전의 시겔 모듈라 형식에 대한 연구를 확장한다. 특정 소수 p에 대해 일부 에이젠스타인 급수, 허미트 리히 래티스에 관련된 θ 급수, 그리고 허미트 θ 상수들이 Θ(F) ≡ 0 mod p 를 만족함을 보이며, 슈름의 경계와 θ 연산자의 모듈라 형식 위에서의 작용 성질을 이용한다.

ABSTRACT

The mod $p$ kernel of the theta operator is the set of modular forms whose image of the theta operator is congruent to zero modulo a prime $p$. In the case of Siegel modular forms, the authors found interesting examples of such modular forms. For example, Igusa's odd weight cusp form is an element of mod 23 kernel of the theta operator. In this paper, we give some examples which represent elements in the mod $p$ kernel of the theta operator in the case of Hermitian modular forms of degree 2.

연구 동기 및 목표

• 시겔에서 허미트 모듈라 형식의 2차에 대해 θ 연산자의 mod p 핵의 개념을 확장한다.
• Θ(F) ≡ 0 mod p 를 만족하는 허미트 모듈라 형식의 구체적 예를 규명한다.
• 에이젠스타인 급수, 단일 래티스의 θ 급수, 그리고 허미트 θ 상수에 대해 θ 연산자 아래에서 mod p에서의 합동 결과를 확립한다.
• 슈름의 경계와 θ 연산자의 알려진 변환 성질을 적용하여 mod p 설정에서의 합동을 검증한다.

제안 방법

• θ 연산자는 허미트 모듈라 형식에 대해 Θ(F) = ∑ det(T)·a(T)q^T 로 정의되며, 푸리에 전개 F = ∑ a(T)q^T 를 기반으로 한다.
• 이 논문은 무게 k인 모듈라 형식이 θ 연산자에 의해 작용할 때, mod p에서 무게 k + p + 1의 측정형으로 합동이 된다는 알려진 결과를 사용한다.
• 합동을 검증하기 위해 슈름의 경계(Corollary 2.6)를 적용하여 유한한 수의 푸리에 계수를 확인한다.
• 복소 정수환에서의 임의의 허수 이차체 K에 대해 무게 k인 에이젠스타인 급수 E_{k, K}^{(2)} 를 분석한다.
• 가우스 정수 위에서 허미트 리히 래티스에 관련된 θ 급수의 푸리에 계수를 계산하고, mod 11에서의 합동을 검증한다.
• 허미트 θ 상수의 경우, ψ_{4k} = (1/4)∑_{m∈ℰ} θ_m^{4k} 를 고려하고, Θ(ψ_8) ≡ 0 mod 7 및 Θ(ψ_12) ≡ 0 mod 11 를 검증한다.

실험 결과

연구 질문

• RQ1 어느 소수 p에 대해 2차 허미트 모듈라 형식이 θ 연산자의 mod p 핵에 속하는가?
• RQ2 K의 클래스 수가 1일 때, 무게 p+1인 허미트 에이젠스타인 급수 E_{p+1, K}^{(2)} 가 Θ(E_{p+1, K}^{(2)}) ≡ 0 mod p 를 만족하는가?
• RQ3 허미트 리히 래티스의 θ 급수가 가우스 정수 위에서 θ 연산자 아래 mod 11에서 0과 합동인가?
• RQ4 허미트 θ 상수 ψ_8 및 ψ_12 가 Θ(ψ_8) ≡ 0 mod 7 및 Θ(ψ_12) ≡ 0 mod 11 를 만족하는가?
• RQ5 슈름의 경계는 허미트 모듈라 형식에 대해 mod p 합동을 효과적으로 검증하는 데 사용될 수 있는가?

주요 결과

• K의 클래스 수가 1일 조건 하에, 허미트 에이젠스타인 급수 F_{p+1, K} 는 Θ(F_{p+1, K}) ≡ 0 mod p 를 만족한다.
• 가우스 정수 위에서 허미트 리히 래티스의 θ 급수는 Θ(ϑ_{ℒ_ℂ}^{(2)}) ≡ 0 mod 11 를 만족한다.
• 허미트 모듈라 형식 ψ_8 = (1/4)∑_{m∈ℰ} θ_m^8 는 Θ(ψ_8) ≡ 0 mod 7 를 만족한다.
• 허미트 모듈라 형식 ψ_12 = (1/4)∑_{m∈ℰ} θ_m^{12} 는 Θ(ψ_12) ≡ 0 mod 11 를 만족한다.
• ϑ_{ℒ_ℂ}^{(2)} 의 푸리에 계수는 추적 6까지 계산되었으며, 모든 비영계수는 소인수 분해와 함께 나열되어 있다.