[논문 리뷰] Singular invariants and coefficients of weak harmonic Maass forms of weight 5/2

Nickolas Andersen|arXiv (Cornell University)|2014. 10. 27.

Advanced Mathematical Identities참고 문헌 22인용 수 3

한 줄 요약

이 논문은 전형적 모듈라 군 위에서 무게 5/2인 약한 조화 마스스 형식의 계수들이 특이 불변량—허수 정수 계수의 특이 모듈러스와 실수 정수 계수의 이차 형식에 대한 지오데식 위의 j-함수의 사이클 적분—의 추적으로 주어진다는 것을 증명한다. 이는 브루이니에르-오노(분할 함수에 관해)와 두크-이다모그루-퇴스(사이클 적분에 관해)의 이전 결과를 통합하고 확장하며, 이러한 계수들이 CM 점 또는 그 실수 정수 계수의 유사체에서 비영형 모듈라 함수의 산술적 추적으로 유래된다는 것을 보여준다.

ABSTRACT

We study the coefficients of a natural basis for the space of weak harmonic Maass forms of weight $5/2$ on the full modular group. The non-holomorphic part of the first element of this infinite basis encodes the values of the partition function $p(n)$. We show that the coefficients of these harmonic Maass forms are given by traces of singular invariants. These are values of non-holomorphic modular functions at CM points or their real quadratic analogues: cycle integrals of such functions along geodesics on the modular curve. The real quadratic case relates to recent work of Duke, Imamoglu, and Tóth on cycle integrals of the $j$-function, while the imaginary quadratic case recovers the algebraic formula of Bruinier and Ono for the partition function.

연구 동기 및 목표

• 무게 5/2인 모크 모듈라 형식의 계수들이 그 그림자(shadow)가 약한 헬로모르픽 모듈라 형식인 경우의 산술적 성격을 이해하는 것.
• 기존의 조화 마스스 형식의 계수와 특이 모듈러스 사이의 연결 고리를 사이클 적분을 통해 실수 정수 계수의 유사체로 확장하여, 실수 정수 계수의 유사체를 포함하도록 하는 것.
• 브루이니에르-오노의 분할 함수에 대한 대수적 공식과 두크-이다모그루-퇴스의 사이클 적분 공식을 하나의 프레임워크 안에서 통합하는 것.
• SL₂(ℤ) 위에서의 약한 조화 마스스 형식의 무게 5/2 공간에 대한 자연스러운 기저의 계수를 완전히 특성화하는 것.

제안 방법

• SL₂(ℤ) 위에서의 약한 조화 마스스 형식의 무게 5/2 공간에 대한 자연스러운 기저를 구성하며, 비해석적 부분이 분할 함수 p(n)을 포함한다.
• 미분 연산자 ξₖ를 사용하여 해석적 부분(모크 모듈라 형식)과 그 그림자—무게 -1/2의 약한 헬로모르픽 모듈라 형식—를 연결한다.
• 일반화된 종류 특성 χ_D와 안정자 순서 w_Q를 포함한 추적 공식을 적용하여, 이차 형식의 동치류 위에서의 가중합으로 계수를 표현한다.
• 포incare 급수와 Bessel 함수 이론을 사용하여, 상반평면 위의 지오데식을 따라 j-함수의 사이클 적분을 통해 계수의 명시적 공식을 유도한다.
• K-Bessel 함수와 반정수 무게의 모듈라 형식을 사용하여 L-함수의 특별한 값과 계수 사이의 연결 고리를 설정한다.
• 수렴하지 않는 사이클 적분(즉, dD가 완전 제곱일 경우)을 다루기 위해 정규화 기법과 해석적 계속을 적용하여 이전 연구의 결과를 확장한다.

실험 결과

연구 질문

• RQ1 SL₂(ℤ) 위에서의 약한 조화 마스스 형식의 무게 5/2 계수들은 특이 모듈러스와 사이클 적분과 같은 산술 불변량과 어떻게 관련되어 있는가?
• RQ2 분할 함수 p(n)에 대한 대수적 공식은 허수 정수 계수의 경우 특이 불변량의 추적으로 복원될 수 있는가?
• RQ3 모듈라 곡선 위의 지오데식을 따라 j-함수의 사이클 적분은 실수 정수 계수의 경우 조화 마스스 형식의 계수와 어떻게 관련되어 있는가?
• RQ4 무게 5/2 조화 마스스 형식의 기저에서 계수들의 통합된 산술적 해석은 무엇인가? 이 기저는 허수 정수 계수와 실수 정수 계수 기여를 모두 포함한다.
• RQ5 dD가 제곱일 경우 수렴하지 않는 사이클 적분은 어떻게 정규화하여 기저에서 잘 정의된 계수를 얻을 수 있는가?

주요 결과

• 무게 5/2의 자연스러운 기저의 첫 번째 원소의 계수들은 분할 함수 p(n)의 값으로 주어지며, 이는 형식의 비해석적 부분에 암묵적으로 포함되어 있다.
• 음수 판별식의 경우, 계수들은 특이 모듈러스—즉, 양의 정부호 이차 형식과 관련된 CM 점 τ_Q에서의 대수적 정수 J(τ_Q)의 추적—으로 주어진다.
• 양수 판별식의 경우, 계수들은 실수 정수 계수의 이차 형식에 대응하는 모듈라 곡선 위의 닫힌 지오데식을 따라 j-함수의 가중합 사이클 적분으로 주어진다.
• 논문은 브루이니에르-오노 공식(허수 정수 계수)과 두크-이다모그루-퇴스 공식(실수 정수 계수)을 하나의 통합된 공식으로 통합하며, 동일한 추적 구조를 유지한다.
• dD가 완전 제곱일 경우에도 정규화를 통해 유효한 K-Bessel 함수와 일반화된 종류 특성의 추적 공식을 통해 계수들이 표현된다.
• 이 방법은 계수들이 CM 점 또는 그 실수 정수 계수 유사체에서 비영형 모듈라 함수의 산술적 추적으로 유래된다는 것을 입증하며, 모크 모듈라 형식과 산술 기하학 사이의 다리를 완성한다.