[논문 리뷰] Generating spaces of modular forms with $η$-quotients

L. J. P. Kilford|arXiv (Cornell University)|2007. 01. 17.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 5

한 줄 요약

이 논문은 $\Gamma_0(N)$에 대한 모든 모듈라 형식이 $\eta$-곱의 유리함수로 표현될 수 있음을 보여주며, Ono의 $\eta$-상수합으로 모듈라 형식 공간을 생성할 수 있는지에 대한 질문을 확장한다. 핵심 결과는 이러한 형식들이 최대 $4N$ 수준의 $\eta$-곱으로 표현될 수 있음을 보여주며, $E_4$, $E_6$, $\Delta$의 알려진 $\eta$-상수합 표현을 활용하고, $j$-불변량과 그 수준-$N$ 변형으로 생성되는 모듈라 함수의 체를 기반으로 한다.

ABSTRACT

In this note we consider a question of Ono, concerning which spaces of classical modular forms can be generated by sums of $η$-quotients. We give some new examples of spaces of modular forms which can be generated as sums of $η$-quotients, and show that we can write all modular forms of level $Γ_0(N)$ as rational functions of $η$-products.

연구 동기 및 목표

• 클래식한 모듈라 형식의 어떤 공간이 $\eta$-상수합의 합으로 생성될 수 있는지에 대한 Ono의 미해결 질문을 다루기 위해.
• 이집트리에스 시리즈와 촉점 형식의 $\eta$-상수합 표현을 일반적인 모든 모듈라 형식에 대한 생성 메커니즘으로 확장하기 위해.
• 모듈라 형식 공간 $M_k(\Gamma_0(N))$의 모든 형식이 $\eta$-곱의 유리함수로 표현될 수 있음을 증명하기 위해.
• 이러한 표현에 필요한 최소 수준을 결정하여, 수준 $N$의 형식에 대해 수준 $4N$이 충분함을 보여주기 위해.

제안 방법

• 모듈라 형식 $E_4$, $E_6$, $\Delta = \eta^{24}$가 모두 $\eta$-곱의 유리함수임을 이용하며, 이에 대한 알려진 $\eta$-상수합 표현이 존재한다.
• 주어진 모듈라 형식 $f \in M_k(\Gamma_0(N))$로부터 $g = f \times E_4^a E_6^b / \Delta^c$ 형태의 무게 0의 모듈라 함수 $g$를 구성하며, $a$, $b$, $c$를 선택하여 무게를 0으로 조절한다.
• Milne의 정리에 따라 $\Gamma_0(N)$에 대한 모듈라 함수의 체는 $j(q)$와 $j(q^N)$에 의해 생성되므로, 모든 such $g$는 이 두 $j$-불변량의 유리함수임을 적용한다.
• $j(q) = E_4^3 / \Delta$와 $j(q^N)$이 모두 $\eta$-곱의 유리함수이므로, $g$ 역시 그러하며, 따라서 $f$ 역시 $\eta$-곱의 유리함수임을 유도한다.
• $E_4$와 $E_6$의 수준 4 표현 덕분에 필요한 $\eta$-곱의 수준이 최대 $4N$임을 보여준다.
• 스투르름 경계와 $q$-전개 비교를 통해 $\eta$-상수합과 고전적 모듈라 형식 간의 항등식을 확인한다.

실험 결과

연구 질문

• RQ1 모듈라 형식 공간 $M_k(\Gamma_0(N))$의 모든 형식이 $\eta$-곱의 유리함수로 표현될 수 있는가?
• RQ2 모듈라 형식의 수준 $N$에 대해 모든 형식을 생성하는 데 필요한 $\eta$-곱의 최소 수준은 무엇인가?
• RQ3 $E_4$와 $E_6$를 소수 수준의 $\eta$-상수합으로만 표현하는 것이 불가능한 이유는 무엇인가?
• RQ4 $\Gamma_0(N)$에 대한 모듈라 함수의 체는 $\eta$-곱과 $j$-불변량과 어떻게 관련이 있는가?
• RQ5 $E_4$와 $E_6$의 변환 조건을 만족시키기 위해 다수의 독립적인 $\eta$-상수합 해가 필요로 하는 제약 조건은 무엇인가?

주요 결과

• 모듈라 형식 공간 $M_k(\Gamma_0(N))$의 모든 형식은 $\eta$-곱의 유리함수로 표현될 수 있다.
• 필요한 $\eta$-곱의 수준은 최대 $4N$이며, 이 경계는 $E_4$와 $E_6$의 수준 4 표현에서 기인한다.
• $E_4$와 $E_6$를 $\eta$-상수합으로 표현하기 위해서는 최소한 두 개의 서로 다른 소수 인수 또는 소수의 제곱이 수준에 포함되어야 하며, 이는 소수 수준의 표현이 부족함을 의미한다.
• 공간 $M_k(\Gamma_0(N))$는 $\eta$-곱의 유리함수에 의해 생성되며, 수준 $N=1,2,3,4,5,7,11,27,28,44,576$, 및 $27$에 대한 명시적인 예가 제시된다.
• 증명은 $\Gamma_0(N)$에 대한 모듈라 함수의 체가 $j(q)$와 $j(q^N)$에 의해 생성된다는 사실에 기반하며, 이 두 불변량 모두 $\eta$-곱의 유리함수임을 이용한다.
• 이 방법은 모든 항등식이 스투르름 경계 이내의 $q$-전개 비교를 통해 확인 가능하므로, 모듈라 형식 간의 동치성을 확인한다.