[논문 리뷰] On $m$--fold Holomorphic Differentials and Modular Forms

Damir Mikoč, Goran Muić|arXiv (Cornell University)|2021. 01. 03.

Advanced Algebra and Geometry인용 수 1

한 줄 요약

이 논문은 짝수 무게 $m \geq 4$의 특수한 부분공간인 쌍곡형 형식의 부분공간 $SH_m(\Gamma)$와 컴acts화된 모듈라 곡선 $R_\Gamma$ 위의 $m/2$-fold 헬로모르픽 미분형식의 공간 사이에 정확한 이somorphism을 수립한다. 주요 기여는 $S_2(\Gamma)$ 기저의 단항식에 대한 $q$-전개 기준을 통해 $m/2$-Weierstrass 점을 특성화함으로써 SAGE에서 명시적 계산이 가능하게 한 점이며, 또한 Wronskian의 완전한 분해형식을 제시한다. 특히 $\Gamma = \mathrm{SL}_2(\mathbb{Z})$의 경우 명시적인 계산이 이루어진다.

ABSTRACT

Let $\Gamma$ be the Fuchsian group of the first kind. For an even integer $m\ge 4$, we study $m/2$-holomorphic differentials in terms of space of (holomorphic) cuspidal modular forms $S_m(\Gamma)$. We also give in depth study of Wronskians of cuspidal modular forms and their divisors.

연구 동기 및 목표

• 짝수 $m \geq 4$에 대해 $S_2(\Gamma)$와 $H^1(R_\Gamma)$ 사이의 고전적 이somorphism을 $m/2$-order의 고차 헬로모르픽 미분형식으로 일반화하는 것.
• 컴팩티피케이션된 모듈라 곡선 $R_\Gamma$ 위에서 $m/2$-fold 헬로모르픽 미분형식을 유도하는 쌍곡형 형식의 부분공간인 $SH_m(\Gamma) \subset S_m(\Gamma)$를 정의하고 연구하는 것.
• $S_2(\Gamma)$ 기저의 단항식의 $q$-전개를 이용하여 비초월적 모듈라 곡선 $X_0(N)$ 위의 $m/2$-Weierstrass 점을 식별하는 계산 기준을 제공하는 것.
• $m$ 무게의 $k$개의 모듈라 형식의 Wronskian의 분해형식을 명시적으로 계산하고, $\Gamma = \mathrm{SL}_2(\mathbb{Z})$의 경우에 대해 명시적인 공식을 유도하는 것.

제안 방법

• 쌍곡형 및 타원점 기여가 형식 $f$의 분해형식에 대해 무게 $m$과 점의 차수를 포함하는 정확한 조건을 만족할 때, $S_m(\Gamma)$의 부분공간으로서 $SH_m(\Gamma)$를 정의한다.
• $f \mapsto \omega_f$의 표준적 사상이 $SH_m(\Gamma)$에서 $H^{m/2}(R_\Gamma)$, 즉 $m/2$-fold 헬로모르픽 미분형식의 공간으로의 이somorphism을 유도함을 증명한다.
• 쌍곡점 $a_\infty$에서의 $q$-전개 기법을 사용하여, $S_2(\Gamma)$ 기저의 단항식의 주요 계수를 통해 $m/2$-Weierstrass 점을 특성화한다.
• $k$개의 무게 $m$의 모듈라 형식에 Wronskian 구조를 적용하여, Wronskian이 무게 $k(m + k - 1)$의 쌍곡형 형식임을 보인다.
• 현지 분석을 통해 쌍곡점과 타원점에서의 변환 법칙과 $q$-미분을 사용하여 Wronskian의 분해형식을 유도한다.
• $\Gamma = \mathrm{SL}_2(\mathbb{Z})$의 경우, $m = 12t$에 대해 $M_m$의 기저의 Wronskian을 계산하고, $\Delta^{t(t+1)/2} E_4^{t(t+1)/2} E_6^{t(t+1)/2}$의 상수배임을 보인다.

실험 결과

연구 질문

• RQ1 언제 쌍곡형 형식의 공간 $S_m(\Gamma)$가 $m/2$-fold 헬로모르픽 미분형식의 공간 $H^{m/2}(R_\Gamma)$와 이somorphism이 되며, 이는 정확히 어떤 부분공간 $SH_m(\Gamma)$가 이를 실현하는가?
• RQ2 비초월적 모듈라 곡선 $X_0(N)$ 위에서 쌍곡점 $a_\infty$가 $m/2$-Weierstrass 점인지 확인하기 위한 명시적 기준은 무엇인가?
• RQ3 무게 $m$의 $k$개의 모듈라 형식의 Wronskian 분해형식을 명시적으로 계산할 수 있는가, 특히 쌍곡점과 타원점에서의 계산은 어떻게 이루어지는가?
• RQ4 $m = 12t$에 대해 $\mathrm{SL}_2(\mathbb{Z})$의 $M_m$ 기저의 Wronskian의 정확한 형태는 무엇이며, 해당 항등식에서 비례 상수는 얼마인가?

주요 결과

• $f \mapsto \omega_f$ 사상은 $SH_m(\Gamma)$에서 $H^{m/2}(R_\Gamma)$로의 이somorphism을 유도하여, 쌍곡형 형식과 고차 미분형식 사이에 정확한 연결 고리를 확립한다.
• 비초월적 $R_\Gamma$의 경우, $SH_m(\Gamma)$는 $S_2(\Gamma)$의 기저 $f_0, \dots, f_{g-1}$에 대해 $\sum \alpha_i = m/2$인 단항식 $f_0^{\alpha_0} \cdots f_{g-1}^{\alpha_{g-1}}$에 의해 생성된다.
• 쌍곡점 $a_\infty$가 $m/2$-Weierstrass 점이 아니라는 것은, 각 기저 원소가 $a u q^{u + m/2 - 1}$ 형태의 $q$-전개를 가지며 $a_u \neq 0$인 기저가 존재할 때이다.
• 무게 $m$의 $k$개의 모듈라 형식의 Wronskian은 무게 $k(m + k - 1)$의 쌍곡형 형식이며, 국소적 $q$-전개와 변환 법칙을 통해 분해형식이 계산된다.
• $\Gamma = \mathrm{SL}_2(\mathbb{Z})$이고 $m = 12t$일 때, $M_m$의 기저의 Wronskian은 $\Delta^{t(t+1)/2} E_4^{t(t+1)/2} E_6^{t(t+1)/2}$의 상수배이며, $t=1$일 때 $\lambda = -1728$, $t=2$일 때 $\lambda = -2 \cdot 1728^3$, $t=3$일 때 $\lambda = 12 \cdot 1728^6$이다.
• 타원점 $i$와 $(1+i\sqrt{3})/2$에서 Wronskian의 분해형식을 명시적으로 계산하여, 각각 순서 $\frac{1}{4}t(t+1)$와 $\frac{1}{3}t(t+1)$임을 보였다.