[논문 리뷰] Zeros of weakly holomorphic modular forms of levels 2 and 3

Sharon Anne Garthwaite, Paul M. Jenkins|arXiv (Cornell University)|2012. 05. 31.

Holomorphic and Operator Theory참고 문헌 18인용 수 4

한 줄 요약

이 논문은 수준 2와 3의 약한 헬로모르픽 모듈라 형식의 영점 분포를 연구하며, 윤곽선 적분과 생성함수를 이용하여, 큰 무게와 수준에서 기본 영역 내의 비자명한 영점의 대부분이 하부 경계 호상에 위치함을 보여준다. 이 방법은 코시의 잔여정리에 의해 모듈라 형식을余弦 함수로 근사함으로써 작동하며, 충분히 큰 $ n $ 에서 오차 항이 지수적으로 감소함으로써 정밀한 영점 국소화 결과를 이끌어낸다.

ABSTRACT

Let $M_k^\sharp(N)$ be the space of weakly holomorphic modular forms for $Γ_0(N)$ that are holomorphic at all cusps except possibly at $\infty$. We study a canonical basis for $M_k^\sharp(2)$ and $M_k^\sharp(3)$ and prove that almost all modular forms in this basis have the property that the majority of their zeros in a fundamental domain lie on a lower boundary arc of the fundamental domain.

연구 동기 및 목표

• 모듈라 군 $ \Gamma_0(2) $ 및 $ \Gamma_0(3) $의 기본 영역 내에서 약한 헬로모르픽 모듈라 형식의 영점 분포를 조사하는 것.
• 이센슈타인 급수와 히케 고유형식에서의 기법을 $ M_k^\sharp(2) $ 및 $ M_k^\sharp(3) $의 표준 기저로 확장하는 것.
• 기본 영역 내 다수의 영점이 특정 경계 호상, 특히 하부 경계에 위치하는지 판단하는 것.
• 해석적 근사에 의해 이러한 형식의 영점이 원호 상에 점 渐近적으로 국소화되는 조건을 설정하는 것.
• 기하학적 복잡성이 증가하더라도, 이 방법을 더 높은 수준 $ N = 5, 7, 13 $ 으로 일반화할 수 있는지 탐색하는 것.

제안 방법

• 기본 푸리에 계수 $ q^{-n} + O(q^{2\ell + \lfloor k'/3 \rfloor + 1}) $ 를 갖는 $ M_k^\sharp(N) $ 에 대한 표준 기저 $ f_{k,n}^{(N)}(z) $ 및 $ g_{k,n}^{(N)}(z) $ 를 구성하는 것.
• 모듈라 형식을 윤곽선 적분과 연결하는 데 사용되는, $ j $-함수 생성함수와 유사한 기저 원소에 대한 생성함수를 사용하는 것.
• 일반화된 생성함수를 포함하는 윤곽선 적분으로 모듈라 형식을 표현하기 위해 코시의 잔여정리를 적용하는 것.
• 모듈라 군 $ \Gamma_0(N) $ 에 의한 다른 모든 이미지들을 피하기 위해, 점 $ z = -1/N + (1/N)e^{i\theta} $ 와 $ z/(Nz+1) $ 의 아래에 위치한 수평 윤곽선을 선택하는 것.
• 오차 항의 절대값을 지수 감소 항 $ e^{-\pi n(\frac{2}{N}\sin\theta - 2A')} $ 로 인수분해하여, 큰 $ n $ 에서 이 항이 지배함을 보이는 것.
• 가중치가 부여된 모듈라 형식과 여각 함수 사이의 차이가 2 이하임을 증명함으로써, 형식의 영점이 여각 함수의 영점에 가까이 위치함을 보이며, 이 영점들은 원 $ |z + 1/N| = 1/N $ 상에 존재한다.

실험 결과

연구 질문

• RQ1 모듈라 군 $ M_k^\sharp(2) $ 의 약한 헬로모르픽 형식의 비자명한 영점 중 다수는 기본 영역의 하부 경계 호상에 위치하는가?
• RQ2 윤곽선 적분을 통한 모듈라 형식의 여각 함수 근사 기법을 수준 3 모듈라 형식으로 확장할 수 있는가?
• RQ3 오차가 충분히 작아져 경계 호상의 영점 국소화를 보장할 수 있는 $ n $ 와 $ \ell $ 의 값은 무엇인가?
• RQ4 기하학적 복잡성이 증가함에 따라, 이 영점 국소화 기법을 $ N = 5, 7, 13 $ 으로 일반화할 수 있는가?
• RQ5 모든 $ n \to \infty $ 에서 하부 경계 호상에 위치하는 영점의 점 渐近 비율은 얼마인가?

주요 결과

• 수준 $ N = 2 $ 에서, $ \ell \geq 0 $ 이고 $ n \geq 14\ell + 7 $ 이거나, $ \ell < 0 $ 이고 $ n \geq 15|\ell| + 7 $ 이면, 총 $ n + \lfloor \frac{k}{4} \rfloor - 1 $ 개의 비자명한 영점 중 적어도 $ \lfloor \frac{k}{6} + n\frac{\sqrt{3}}{2} \rfloor $ 개가 하부 경계 호상에 위치한다.
• 수준 $ N = 3 $ 에서, 윤곽선 높이가 $ \frac{1}{9} $ 에 수렴하고 $ z $ 가 윤곽선에 수렴함에 따라, 하부 경계에 확실히 확인된 영점의 수는 $ 0.9618n + 0.2792k $ 로 수렴한다.
• 무게 $ k $ 가 고정되어 있고 $ n \to \infty $ 일 때, 하부 경계 호상의 영점 비율은 약 96.18%로 수렴하며, 이는 강한 국소화 경향을 시사한다.
• 오차 항의 지수 감소는 윤곽선 높이의 선택에 의해 발생하며, 이로 인해 큰 $ n $ 에서 모듈라 형식과 여각 근사 간의 차이가 2 이하임을 보장한다.
• 이 결과는 $ f_{k,n}^{(3)}(z) $ 와 $ g_{k,n}^{(3)}(z) $ 둘 다에 대해 동일하게 성립하며, 동일한 점 渐近 영점 분포를 가진다.
• 기하학적 복잡성이 증가함에 따라, 이 기법은 $ N = 5, 7, 13 $ 으로 직접 일반화되지 않으며, 이는 기본 영역의 기하학적 복잡성이 윤곽선 선택을 어렵게 한다.