[논문 리뷰] A class of non-holomorphic modular forms III: real analytic cusp forms for $\mathrm{SL}_2(\mathbb{Z})$

Francis Brown|arXiv (Cornell University)|2017. 10. 22.

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

한 줄 요약

이 논문은 정수 계수의 헤크레 고유형식에 대응하는 SL₂(ℤ)에 대한 표준적인 실해석적 컷스형식을 구성하며, 실해석적 아이zenstein 급수를 일반화한다. 또한 정수 계수의 모크 모듈라 형식이 다항식 기하학적 대상으로서 나타나며, 푸리에 계수가 $ n^{1-k}(a_n' + \rho a_n) $ 비례함을 증명한다. 여기서 $ \rho $ 는 주기 행렬의 정규화된 영행렬식이며, 이는 수준 1 고유형식에 대한 약한 조화 상승의 존재를 해결한다.

ABSTRACT

We define canonical real analytic versions of modular forms of integral weight for the full modular group, generalising real analytic Eisenstein series. They are harmonic Maass waveforms with poles at the cusp, whose Fourier coefficients involve periods and quasi-periods of cusp forms, which are conjecturally transcendental. In particular, we settle the question of finding explicit `weak harmonic lifts' for every eigenform of integral weight $k$ and level one. We show that mock modular forms of integral weight are algebro-geometric and have Fourier coefficients proportional to $n^{1-k}(a'_n + ρa_n)$ for $n eq 0$, where $ρ$ is the normalised permanent of the period matrix of the corresponding motive, and $a_n, a'_n$ are the Fourier coefficients of a Hecke eigenform and a weakly holomorphic Hecke eigenform, respectively. More generally, this framework provides a conceptual explanation for the algebraicity of the coefficients of mock modular forms in the CM case.

연구 동기 및 목표

• 정수 계수의 헤크레 고유형식에 대응하는 SL₂(ℤ)에 대한 표준적인 실해석적 컷스형식을 구성한다.
• 수준 1, 정수 계수의 모든 헤크레 고유형식에 대해 약한 조화 상승의 존재를 해결한다.
• CM 경우에서 모크 모듈라 형식 계수의 대수성에 대한 개념적 설명을 제공한다.
• 단일값 호환성에 의해 모크 모듈라 형식의 푸리에 계수와 컷스형식의 주기·준주기 사이의 연결 고리를 확립한다.
• 실해석적 모듈라 형식과 마스 웨이브폼 사이의 겹침이 구성된 컷스형식에 의해 완전히 기술됨을 보여준다.

제안 방법

• 헤르클레 고유형식의 코homology에서 복소수 켤레(실프로베누스)를 이용해 실해석적 컷스형식 $ \mathcal{H}(f)_{r,s} $ 를 표준적 상승으로 구성한다.
• 모듈라 형식에 대한 단일값 호환성 $ \mathbf{s} $ 를 적용하여 $ M_{n+2}^! $ 에 대한 호환성을 상승시켜 표준적 대표를 정의한다.
• 분해 $ M_{n+2}^! = D^{n+1}M_{-n}^! \oplus M_{n+2}^!/D^{n+1}M_{-n}^! $ 를 이용해 구성의 유일성을 확보한다.
• 실해석적 아이젠슈타인 급수와 유사한 미분방정식을 $ \mathcal{H}(f)_{r,s} $ 에 대해 유도하며, $ \partial $ 와 $ \overline{\partial} $ 연산자를 포함한다.
• Betti와 de Rham 코homology를 사용해 $ \Delta \in S_{12} $ 에 대해 주기 행렬과 단일값 주기 행렬을 명시적으로 계산한다.
• 모크 모듈라 형식의 푸리에 계수를 $ \alpha + \sum_n \frac{\sigma a_n' + \tau a_n}{n^{11}} q^n $ 형태로 유도하며, $ \sigma, \tau $ 는 단일값 호환성에서 유도된다.

실험 결과

연구 질문

• RQ1 SL₂(ℤ)에서 수준 1, 정수 계수의 모든 헤크레 고유형식에 대해 표준적인 실해석적 컷스형식을 구성할 수 있는가?
• RQ2 모크 모듈라 형식의 푸리에 계수는 컷스형식의 주기와 준주기와 어떻게 관련되어 있는가?
• RQ3 단일값 호환성이 약한 조화 상승의 구성과 모크 모듈라 형식 계수의 대수성 설명에 어떤 역할을 하는가?
• RQ4 구성된 컷스형식이 $ \mathcal{M}^{!} $ 내에서 라플라스 연산자의 고유함수 공간을 얼마나 넓게 차지하는가?
• RQ5 이 틀이 모티브 주기로써 CM 경우에서 모크 모듈라 형식 계수의 대수성을 설명할 수 있는가?

주요 결과

• 실해석적 컷스형식 $ \mathcal{H}(f)_{r,s} $ 는 헤크레 고유형식의 표준적 상승으로서, 실해석적 아이젠슈타인 급수와 유사한 미분방정식을 만족한다.
• $ \Delta \in S_{12} $ 에 대해 단일값 호환성은 $ \mathbf{s}(\Delta) = \sigma \Delta' + \tau \Delta $ 를 유도하며, $ \sigma \approx -0.35207 $, $ \tau \approx -648.84093 $, $ \rho = \tau / \sigma \approx 1842.8947269 $ 이다.
• 모크 모듈라 형식 $ M_{\Delta} $ 는 푸리에 계수가 $ n^{-11}(a_n' + \rho a_n) $ 비례하며, 이는 온오의 공식과 고도의 수치 정확도로 일치한다.
• 모크 모듈라 형식의 상수항은 $ \alpha = \frac{7! \cdot 13}{691} \cdot \frac{10!}{2^{11}} \sigma $ 이며, 691 분모는 합동식 $ \Delta \equiv \mathbb{G}_{12} \pmod{691} $ 에서 기인한다.
• Δ의 페테르슨 노름은 $ \approx 0.00000103536205 $ 로 계산되어 양성임을 확인하고 기존 값과 일致함을 입증한다.
• 행렬식 조건 $ \det\begin{pmatrix} \eta^+ & \omega^+ \\ i\eta^- & i\omega^- \end{pmatrix} = 10! \cdot (2\pi i)^{11} $ 이 수치적으로 검증되어 주기 행렬의 구조가 확인된다.