The variation of zeros of the Miller basis

기술적 요약: 밀러 기저의 영점 변동

문제 제기
본 논문은 짝수 차수 $k \ge 4$ 와 레벨 1 인 정칙 모듈러 형의 공간 $M_k$ 내에서 밀러 기저 원소 $g_{k,m}$ 의 영점의 점근적 분포를 조사한다. 이러한 형들은 푸리에 전개 $g_{k,m} = q^m + O(q^{\ell+1})$ 로 정의되며, 여기서 $\ell = \dim M_k - 1$ 이고 $0 \le m \le \ell$ 이다.

이전 연구들은 이 가족의 부분집합에 대한 구체적인 거동을 확립해 왔다:

• 랭킨 (Rankin) 과 스윈너턴 - 다이어 (Swinnerton-Dyer) 는 아이젠슈타인 급수의 영점이 표준 기본 영역 $\mathcal{F}$ 내의 단위 호 $A$ 위에 있음을 증명했다.
• 덱 (Duke) 과 젠킨스 (Jenkins) 는 특정 약정칙 형들도 $A$ 위에 영점을 가진다는 것을 보였다.
• 라베 (Raveh) 는 고정된 $m$ 에 대해 $\ell$ 이 $m$ 에 비해 충분히 크다면 $g_{k,m}$ 의 영점이 $A$ 위에 있음을 보였다.
• 루드닉 (Rudnick) 은 $k \to \infty$ 일 때 차이 $D = \ell - m$ 이 고정되면 영점이 수직선 근처에 뭉친다는 것을 보였다.

해결된 핵심 문제는 $k$ 와 $D$ 가 모두 커질 때 특히 비율 $\delta = m/\ell$ 이 변함에 따라 밀러 형 전체 가족에 걸쳐 영점의 변동을 분석함으로써 이러한 현상을 통합하는 것이다.

방법론
저자들은 해석적 정수론, 복소해석학, 그리고 계산적 검증을 결합하여 사용한다:

1. 적분 표현과 원 방법: 저자들은 덱 - 젠킨스와 라베의 프레임워크에서 유도된 적분 표현을 사용하여 단위 호 위의 $g_{k,m}(e^{i\theta})$ 를 근사한다. 이는 특정 경로를 따라 커널 함수 $G(z, \tau)$ 를 적분하고 항등식과 변환 $S = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}$ 에 해당하는 극점에서의 잔수를 추정하는 것을 포함한다.
2. 오차 추정: 적분 근사의 오차 항을 경계함으로써, $g_{k,m}(e^{i\theta})$ 가 점근적으로 $2\cos(2\pi m \cos \theta + k\theta/2)$ 와 유사하게 거동하는 조건을 결정한다. 이를 통해 코사인 항의 진동에 기반하여 호 $A$ 위의 영점을 세는 것이 가능해진다.
3. 파버 다항식: 형 $g_{k,m}$ 은 $g_{k,m}/(\Delta^\ell E_{k'}) = P(j)$ 관계를 통해 파버 다항식 $P(j)$ 와 관련된다. 저자들은 차수 $D = \ell - m$ 이 커짐에 따라 이러한 다항식의 계수를 분석한다.
   • 작은 $D$ ( $k$ 에 비해) 의 경우, 스텔링 근사와 라게르 다항식의 성질을 사용하여 계수가 잘린 지수 다항식의 계수와 유사하게 거동함을 보인다.
   • 더 큰 $D$ 의 경우, 조합적 추정과 $j$-불변량 전개의 성질을 사용하여 계수에 대한 명시적 경계를 유도한다.
4. 제거 곡선 분석: 잘린 지수 다항식의 영점에 대한 점근적 분포는 제거 곡선 $S = \{z \in \mathbb{C} : |z e^{1-z}| = 1\}$ 으로 수렴하는 것으로 알려져 있다. 저자들은 $j$-불변량을 통해 이 거동을 모듈러 영역으로 다시 매핑하여 "로그 제거 곡선" $L_\pm$ 과 이동된 곡선 $S_\delta$ 를 정의한다.
5. 계산적 검증: 저자들은 SageMath 를 활용하여 영점이 호 $A$ 에서 곡선 $S_\delta$ 로 전환되는 비율 $\delta$ 의 임계값을 수치적으로 계산한다. 또한 작은 $D$ 에 대해 대수적 영점에 대한 철저한 탐색을 수행한다.

주요 기여 및 결과

• 정리 A (호 위의 영점): 저자들은 $\delta = m/\ell$ 의 함수로서 단위 호 $A$ 위에 있는 비타원형 영점의 비율에 대한 하한을 확립한다.

  • $\delta < 0.6194$ 이면 충분히 큰 $k$ 에 대해 모든 영점이 $A$ 위에 있다.
  • $0.6194 \le \delta < 0.9546$ 이면 $A$ 위에 있는 영점의 비율이 감소한다.
  • $\delta \ge 0.9546$ 이면 $A$ 위의 영점에 대한 하한이 0 으로 떨어진다.
  • 이러한 이론적 임계값은 $k=600,000$ 까지 수행된 수치 실험과 밀접하게 일치한다.

• 정리 B (로그 제거 곡선으로의 수렴): $D = \ell - m \to \infty$ 이지만 $k$ 에 비해 느리게 증가할 때 (특히 $D < \alpha \log |k| / \log \log |k|$), $g_{k,m}$ 의 영점은 점근적으로 이동된 로그 제거 곡선 $S_\delta$ 에 접근한다. 이 곡선은 $L_\pm - \frac{1}{2\pi} \log |1-\delta|$ 로 정의되며, 여기서 $L_\pm$ 은 고전적 제거 곡선에서 유도된 함수의 그래프이다.

• 가설 C: 저자들은 임의의 $\delta > 0$ 에 대해 영점이 점근적으로 단위 호 $A$ 와 곡선 $S_\delta$ 의 합집합의 상부 껍질로 정의된 곡선 $C_\delta$ 에 접근할 것이라고 제안한다. 정리 A 와 B 는 $\delta$ 의 극단에서 이 가설의 일부를 증명한다.

• 약정칙 형: 약정칙 모듈러 형에 대한 병렬 결과가 정리 9 에서 유도되었으며, $\delta$ 에 대한 다른 임계값들을 식별한다 (예: $k \ll 0$ 일 때 모든 영점이 $A$ 위에 있는 경우 $\delta > 1.1598$).

• 대수적 영점 (7 절): 아이젠슈타인 급수 (여기서 코힌 (Kohnen) 은 비타원형 영점이 초월수임을 증명함) 와 대조적으로, 저자들은 비타원형 대수적 영점을 가진 밀러 형들을 제시한다.

  • $\ell - m \le 25$ 인 모든 그러한 형들을 완전히 분류한다.
  • 비타원형 대수적 영점은 $m = \ell - 1$ 일 때만 발생하며, 해당 영점은 클래스 수가 1 인 특정 이차 허수 체 (판별식 $-19, -27, -43, -67, -163$) 에 대응됨을 발견한다.
  • $25 < \ell - m \le 100$ 의 경우, 파버 다항식의 갈루아 군 분석에 기반하여 거의 모든 차수에서 비타원형 대수적 영점이 부재한다는 확률적 결과를 제공한다.

의의
본 논문은 밀러 기저의 영점의 기하학적 분포를 이해하기 위한 포괄적인 프레임워크를 제공하며, 작은 $\delta$ 에 우세한 "호" 현상과 큰 $\delta$ 또는 고정된 $D$ 에 우세한 "수직선" 또는 "제거 곡선" 현상 사이의 간극을 연결한다.

저자들은 자신의 연구가 다음과 같다고 주장한다:

1. 덱, 젠킨스, 라베, 루드닉의 이전 결과들을 단일 연속 매개변수 가족으로 일반화한다.
2. 모듈러 형 영점에 대한 새로운 점근적 위치 (로그 제거 곡선) 를 식별하여 모듈러 형을 잘린 지수 다항식 이론과 연결한다.
3. 큰 $\delta$ 에 대해 영점이 다른 곡선으로 이동함을 보여줌으로써 "호 위의 영점" 속성의 보편성에 도전한다.
4. 고전적 아이젠슈타인 급수 사례에는 부재했던 특징인 대수적 영점의 존재를 보여줌으로써 이러한 영점의 산술적 복잡성을 강조하고, 낮은 차수 사례에 대한 체계적인 분류를 제공한다.

본 논문은 이러한 영역 사이의 전이가 비율 $\delta$ 에 의해 지배되며, 제거 곡선과 단위 호의 기하학에서 유도된 특정 가설적 절단값을 가진다고 결론짓는다.