[논문 리뷰] On modular forms for some noncongruence arithmetic subgroups

Chris A. Kurth, Линг Лонг|ArXiv.org|2006. 12. 04.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 6

한 줄 요약

이 논문은 $\mathrm{SL}_2(\mathbb{Z})$의 비합동부분군에 대한 모듈라 형식에서의 무한분모 성질(UBD)을 조사하며, 특히 유한지수 부분군으로서 호모모르피즘의 핵으로 정의된 특성군—유한 아벨군으로의 사상의 핵으로서 정의되는 군—에 초점을 맞춘다. 수체 위에 모델이 있는 성질 1의 합동부분군의 유형 II(A) 특성군을 분석함으로써, 핵심 가정 하에 이러한 군 중 양의 비율(지수함수적으로 $X^2$에 비례)이 UBD를 만족함을 증명한다. 이는 진정한 비합동 모듈라 형식 중 대수적 계수를 가진 형식들이 일반적으로 무한분모를 가진다는 강력한 증거를 제공한다.

ABSTRACT

In this paper, we consider modular forms for finite index subgroups of the modular group whose Fourier coefficients are algebraic. It is well-known that the Fourier coefficients of any holomorphic modular form for a congruence subgroup (with algebraic coefficients) have bounded denominators. It was observed by Atkin and Swinnerton-Dyer that this is no longer true for modular forms for noncongruence subgroups and they pointed out that unbounded denominator property is a clear distinction between modular forms for noncongruence and congruence modular forms. It is an open question whether genuine noncongruence modular forms (with algebraic coefficients) always satisfy the unbounded denominator property. Here, we give a partial positive answer to the above open question by constructing special finite index subgroups of SL_2(Z) called character groups and discuss the properties of modular forms for some groups of this kind.

연구 동기 및 목표

• 모든 진정한 비합동 모듈라 형식이 대수적 계수를 가질 경우 무한분모를 가진다는 열린 질문을 해결하기 위해.
• 비합동 부분군에 대한 모듈라 형식에서의 무한분모 성질(UBD)을 조사하며, 특히 특성군에 중점을 두기 위해.
• 큰 가족의 비합동 부분군—특히 유형 II(A) 특성군—이 UBD를 만족하는 데 충분한 조건을 확립하기 위해.
• 성질 1의 합동부분군이 수체 위에 모델을 가지는 경우, 유형 II(A) 특성군 중 양의 비율이 UBD를 만족함을 보여, 보다 광범위한 추측을 뒷받침하기 위해.

제안 방법

• 저자들은 유한지수 부분군 $\Gamma^0 \subset \mathrm{SL}_2(\mathbb{Z})$ 에서 유한 아벨군으로의 사상의 핵으로서 특성군을 정의한다.
• 파라볼릭 또는 파라볼릭+타원형 원소가 사상에서 비자명하게 사라지는지에 따라 특성군을 유형 I과 유형 II(A)로 분류한다.
• 성질 공식과 수체 위에 정의된 모듈라 곡선 모델을 사용하여 $\Gamma^0$ 와 그 특성군의 구조를 분석한다.
• 형식적 급수 조건(FS-B)을 적용하여 푸리에 계수의 정수성 조건을 제어하고, 대수적 수론을 활용하여 분모를 분석한다.
• 만약 어떤 소수 $p$ 에 대해 $\Gamma^0$ 의 모든 인덱스-$p$ 유형 II(A) 특성군이 UBD를 만족한다면, $X \to \infty$ 일 때 이러한 군 중 인덱스가 $X$ 이하인 것들의 수는 $c \cdot X^2$ 이상으로 증가하며, 이는 양의 조밀도를 의미한다.
• 특히 $\Gamma_n = \langle \Gamma^0(11), \sqrt[n]{G_5} \rangle$ 를 유형 I 및 II 특성군의 가족으로 분석하여, $\sqrt[n]{G_5}$ 가 $n$ 이 12의 약수이거나 5로 나누어지지 않는 한 무한분모를 가짐을 보였다.

실험 결과

연구 질문

• RQ1 모든 비합동 부분군이 대수적 계수를 가진 모듈라 형식에 대해 무한분모 성질(UBD)을 만족하는가?
• RQ2 특히 유형 II(A) 특성군에 대해, 비합동 부분군 중 UBD를 만족하는 비율이 양의 조밀도를 가지는가?
• RQ3 기저가 되는 합동부분군 $\Gamma^0$ 에 어떤 조건이 성립하면, 그 유형 II(A) 특성군이 UBD 성질을 물려받는가?
• RQ4 모듈라 함수에 대한 루트 변환 $\sqrt[n]{G_5}$ 에서 푸리에 계수의 대수적 정수성 성질은 어떻게 변화하는가?
• RQ5 모듈라 곡선의 성질과 정의 체가 관련 특성군의 UBD 행동을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 성질 1의 합동부분군 $\Gamma^0$ 가 수체 위에 모델을 가지는 경우, 어떤 소수 $p$ 에 대해 모든 인덱스-$p$ 유형 II(A) 특성군이 UBD를 만족한다면, 인덱스가 $X$ 이하인 이러한 군의 수는 $c \cdot X^2$ 이상으로 증가하며, 이는 $c > 0$ 인 상수 $c$ 가 존재함을 의미한다. 이는 이러한 군들이 양의 조밀도를 가짐을 시사한다.
• $\Gamma_n = \langle \Gamma^0(11), \sqrt[n]{G_5} \rangle$ 의 가족은 $n \notin \{1,2,3,4,6,12\}$ 이고 $5 \nmid n$ 인 경우 $\Gamma^0(11)$ 의 유형 I 특성군을 이룬다. 이러한 군들은 UBD를 만족한다.
• $n=5$ 인 경우, $\sqrt[5]{G_5}$ 는 인덱스 5의 유형 II 특성군을 이룬다. 이 군 역시 UBD를 만족한다.
• $n \in \{2,3,4,6,12\}$ 인 경우, $\sqrt[n]{G_5}$ 는 에타 곱으로서 합동 모듈라 함수이므로 $\Gamma_n$ 는 합동이 된다. 이러한 경우는 비합동 분석에서 제외된다.
• 부록에서는 $h(w)$, $g^n(w)$, $h(w)g^{n_1}(w)$ 가 형식적 급수 조건(FS-B)을 만족하면, $g^{n_1}(w)$ 역시 이를 만족함을 증명한다. 이는 계수의 정수성 제어에 필수적이다.
• 증명은 $g(w)$ 가 대수적 계수를 가지며 $g^n(w)$ 가 (FS-B)를 만족한다면, 정규화 후 $g(w)$ 는 스스로 대수적 정수 계수를 가져야 하며, 이는 $n$ 이 12의 약수가 아니거나 5로 나누어지지 않을 경우에만 무한분모가 발생함을 의미한다.