[논문 리뷰] Traces of CM values and cycle integrals of polyharmonic Maass forms

Toshiki Matsusaka|arXiv (Cornell University)|2018. 05. 05.

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

한 줄 요약

이 논문은 반정수 스펙트럼의 다항조화 약한 마스 형식에 대한 기저를 구축하고, 그 푸리에 계수에 대한 산술 공식을 CM 값의 추적과 사이클 적분을 통해 유도한다. 이는 자그리어의 CM 추적 생성함수 이론을 다항조화 마스 형식으로 일반화하며, 아이젠슈타인 급수의 로랑 계수를 통해 j-불변량과 log|η(z)|⁴과 같은 모듈라 함수의 알려진 결과들을 통합적인 프레임워크로 제공한다.

ABSTRACT

Lagarias and Rhoades generalized harmonic Maass forms by considering forms which are annihilated by a number of iterations of the action of the xi-operator. In our previous work, we considered polyharmonic weak Maass forms by allowing the exponential growth at cusps, and constructed a basis of the space of such forms. This paper focuses on the case of half-integral weight. We construct a basis as an analogue of our work, and give arithmetic formulas for the Fourier coefficients in terms of traces of CM values and cycle integrals of polyharmonic weak Maass forms. These results put the known results into a common framework.

연구 동기 및 목표

• 반정수 스펙트럼의 다항조화 약한 마스 형식에 대한 CM 값의 추적과 사이클 적분 이론을 확장한다.
• 이러한 형식의 공간에 대한 기저를 구축한다. 이는 이전의 정수 스펙트럼에 대한 연구와 유사하게 수행된다.
• 푸리에 계수에 대한 명시적인 산술 공식을 CM 값의 추적과 사이클 적분을 통해 유도한다.
• j-불변량과 log|η(z)|⁴ 등의 알려진 결과들을 아이젠슈타인 급수의 로랑 계수를 통해 하나의 프레임워크로 통합한다.

제안 방법

• 반정수 스펙트럼의 다항조화 약한 마스 형식을 상반평면 위의 스무스 함수로 정의한다. 이는 Γ₀(4) 작용에 대해 불변이며, r번의 ξ-연산자에 의해 영이 되고, 정점에서 다항식 성장성을 가진다.
• 다항조화 마스 형식의 정수 부분을 추출하기 위해 아이젠슈타인 급수의 해석적 사영을 사용한다.
• 아이젠슈타인 급수 G_D,m(z,s)의 s=1 또는 s=3/4에서의 로랑 계수를 계산하여, 정수 부분의 푸리에 계수와 연결한다.
• 포incare 급수의 함수방정식과 스펙트럼 분해를 적용하여 계수를 클래스 수와 L-함수로 표현한다.
• 스펙트럼 1/2의 설정을 다루기 위해 크로네커 기호와 디데킨드 에타 함수를 사용하고, 슬래시 연산자를 이를 바탕으로 정의한다.
• 실해석적 아이젠슈타인 급수의 알려진 전개와 s=1 근처에서의 행동을 활용하여 필요한 로랑 계수를 추출한다.

실험 결과

연구 질문

• RQ1 반정수 스펙트럼의 다항조화 마스 형식에 대해 CM 값의 추적 생성함수가 모듈라일 수 있는가? 이는 자그리어의 조화 마스 형식에 대한 결과를 일반화하는가?
• RQ2 반정수 스펙트럼의 다항조화 약한 마스 형식의 푸리에 계수는 어떻게 CM 값과 사이클 적분을 통해 산술적으로 표현할 수 있는가?
• RQ3 아이젠슈타인 급수의 로랑 계수가 반정수 스펙트럼의 모듈라 형식과 산술 데이터(클래스 수, L-값)를 연결하는 데 어떤 역할을 하는가?
• RQ4 모듈라 불변 함수 f에 대해 ∑ₙ Tr_d(f)q⁻ⁿ 이라는 생성함수는 임의의 다항조화 마스 형식의 정수 부분으로서 실현될 수 있는가?
• RQ5 f(z) = −log(y|η(z)|⁴)일 때, Tr_d(f)의 추적은 반정수 스펙트럼의 경우 L-값과 클래스 수와 어떻게 관련되는가?

주요 결과

• F_{1/2,0,0}(z)의 정수 부분의 푸리에 계수는 √d의 3배에 해당하는 Tr_d,1(1)과 연결되며, 크로네커-후르비츠 공식을 통해 클래스 수와 직접 연결된다.
• 기본 판별식 D ≠ 1에 대해, d가 제곱수가 아니면 Tr_d,D(1)은 0이 되고, d가 제곱수이면 √|dD|L_D(1)/π가 된다. 이는 L-함수와의 직접적인 연결을 보여준다.
• ∑_{d<0} Tr_d(−log(y|η(z)|⁴))q⁻ᵈ는 반정수 스펙트럼과 깊이 3/2인 다항조화 마스 형식의 정수 부분으로 실현된다.
• LC_{s=1}^{-1}[G_{D,0}(z,s)]^hol은 항등적으로 0이 되며, 이는 D ≠ 1일 때 ∑_{d<0} Tr_d,D(1)q⁻ᵈ = 0임을 의미한다.
• f(z) = −log(y|η(z)|⁴)일 때, ∑_{d<0} Tr_d(f)q⁻ᵈ는 아이젠슈타인 급수의 해석적 사영을 통해 모듈라 형식임을 보였다.
• F_{1/2,0,0}(z)의 정수 부분에서 q⁻ᵈ의 계수는 D > 1일 때 Tr_d,D(−log(y|η(z)|⁴))에 비례하며, 비례 계수는 3/(√(dD)L_D(1))이다.