[논문 리뷰] Differential operators and harmonic weak Maass forms

Jan Hendrik Bruinier, Ken Ono외 1명|arXiv (Cornell University)|2008. 02. 07.

Analytic Number Theory Research참고 문헌 19인용 수 5

한 줄 요약

이 논문은 2−k의 체중을 가진 조화 약한 마이어스 형식 위에서 미분 연산자 ξ_{2−k}와 D^{k−1}를 연구하며, 히케 고유값이 0인 새로운 형식—예를 들어 CM 형식—의 이중 형식은 대수적 계수를 가짐을 보여준다. 정규화된 내적을 통해 D^{k−1}의 상을 특성화함으로써, 이러한 모듈라 형식의 계수에 깊이 있는 산술적 구조가 존재하는 것을 드러낸다.

ABSTRACT

For integers $k\geq 2$, we study two differential operators on harmonic weak Maass forms of weight $2-k$. The operator $\xi_{2-k}$ (resp. $D^{k-1}$) defines a map to the space of weight $k$ cusp forms (resp. weakly holomorphic modular forms). We leverage these operators to study coefficients of harmonic weak Maass forms. Although generic harmonic weak Maass forms are expected to have transcendental coefficients, we show that those forms which are ``dual'' under $\xi_{2-k}$ to newforms with vanishing Hecke eigenvalues (such as CM forms) have algebraic coefficients. Using regularized inner products, we also characterize the image of $D^{k-1}$.

연구 동기 및 목표

• 조화 약한 마이어스 형식의 계수에 대한 산술적 성격을 이해하기 위해.
• 이 형식들 위에서 미분 연산자 ξ_{2−k}와 D^{k−1}의 작용을 분석하기 위해.
• 정규화된 내적을 통해 D^{k−1}의 상을 특성화하기 위해.
• 특히 히케 고유값이 0인 새로운 형식과의 관련에서, 조화 약한 마이어스 형식이 언제 대수적 계수를 가지는지 규명하기 위해.
• ξ_{2−k} 연산자를 통한 조화 약한 마이어스 형식과 측두형식 사이의 이중성 관계를 설정하기 위해.

제안 방법

• 논문은 조화 약한 마이어스 형식의 체중이 2−k일 때, ξ_{2−k} 연산자를 적용하여 체중 k의 측두형식으로 매핑한다.
• D^{k−1} 연산자를 사용하여 조화 약한 마이어스 형식을 체중 k의 약한 헬모르피크 모듈라 형식으로 매핑한다.
• 정규화된 내적을 활용하여 약한 헬모르피크 모듈라 형식 공간 내에서 D^{k−1}의 상을 특성화한다.
• ξ_{2−k} 연산자 아래에서 조화 약한 마이어스 형식과 측두형식 간의 이중성을 활용하여 계수의 산술적 성격을 분석한다.
• 특히 히케 고유값이 0인 새로운 형식, 특히 CM 형식의 이중 형식을 중심으로 분석하여 계수의 대수적 성격을 도출한다.
• 모듈라 형식, 조화 약한 마이어스 형식, 그리고 미분 연산자의 이론적 도구를 통합하여 구조적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 조화 약한 마이어스 형식이 언제 대수적 푸리에 계수를 가지는가?
• RQ2 ξ_{2−k} 연산자는 조화 약한 마이어스 형식을 측두형식과 어떻게 연결하며, 이는 계수 산술에 어떤 함의를 갖는가?
• RQ3 조화 약한 마이어스 형식의 체중이 2−k일 때, 미분 연산자 D^{k−1}의 상은 무엇인가?
• RQ4 정규화된 내적은 D^{k−1}의 상을 특성화하는 데 어떻게 기여하는가?
• RQ5 특히 CM 형식을 포함한 새로운 형식에서 히케 고유값이 0일 때, 계수의 대수적 성격을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 히케 고유값이 0인 새로운 형식—예를 들어 CM 형식—의 ξ_{2−k}에 대한 이중 형식인 조화 약한 마이어스 형식은 대수적 푸리에 계수를 가진다.
• 정규화된 내적을 통해 조화 약한 마이어스 형식의 체중이 2−k일 때 D^{k−1}의 상이 특성화된다.
• 연산자 ξ_{2−k}는 체중 2−k의 조화 약한 마이어스 형식을 체중 k의 측두형식 공간으로 전기적으로 매핑한다.
• 미분 연산자 D^{k−1}는 조화 약한 마이어스 형식을 체중 k의 약한 헬모르피크 모듈라 형식으로 매핑하며, 이의 상은 정규화된 내적을 통해 묘사된다.
• 조화 약한 마이어스 형식의 계수에 대한 산술적 구조는 이중 측두형식의 히케 고유값과 깊이 연결되어 있다.
• ξ_{2−k}에 의해 CM 새로운 형식의 이중이 되는 형식은 일반적으로 조화 약한 마이어스 형식에서 기대되는 초월 계수와는 달리 대수적 계수를 나타낸다.