[논문 리뷰] Dessins on Modular Curves

Khashayar Filom, Ali Kamalinejad|arXiv (Cornell University)|2016. 03. 05.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 3

한 줄 요약

이 논문은 모듈러 곡선 위에서 Belyi 함수를 구성하기 위한 두 가지 새로운 방법을 제안하며, dessin d'enfants 이론을 활용하여 모듈러 방정식과 j-불변량의 특수값을 명시적으로 계산할 수 있도록 한다. 잉여부분군의 작용과 모듈러 역전치 $ z \mapsto -1/Nz $ 의 대칭성을 이용하여, CM 점에서의 j-불변량에 대한 새로운 대수적 항등식을 유도한다. 이는 $ j(\sqrt{2}i) = 20^3 $, $ j(\sqrt{3}i) = 16 \times 15^3 $ 등 포함하여, dessin 기반 방법이 계산 기하학에서 효과적임을 보여준다.

ABSTRACT

Given a finite index subgroup $Γ$ of ${ m{PSL}}_2(\Bbb{Z})$, we investigate Belyi functions on the corresponding modular curve $X(Γ)$ by introducing two methods for constructing such functions. Numerous examples have been worked out completely and as an application, we have derived modular equations for $Γ_0(2),Γ_0(3)$ and several special values of the $j$-function by a new method based on the theory of Belyi functions and dessin d'enfants.

연구 동기 및 목표

• dessin d'enfants와 Belyi 함수를 활용한 모듈러 곡선에 대한 효과적인 계산 도구 개발.
• $ \Gamma_0(2) $ 및 $ \Gamma_0(3) $ 에 대한 모듈러 방정식을 Belyi 함수 기반의 새로운 방법으로 계산.
• dessin의 단조성과 대칭성을 이용하여 CM 점에서의 j-함수의 새로운 특수값을 규명.
• 특히 토퍼션을 포함한 잉여부분군에 대한 대수적 곡선의 분지 쌍반사의 명시적 예시 제공.
• 이들 dessin에 포함된 타원곡선의 이소지니를 통해 Weierstrass ℘-함수에 대한 새로운 항등식 유도.

제안 방법

• $ f([z]) = \frac{1}{1728}j(z) $ 를 통해 $ f: X(\Gamma) \to \mathbb{CP}^1 $ 인 Belyi 함수를 구성하고, $ \rho, i, \infty $ 의 궤도로써 블랙/화이트 정점과 면 중심을 식별하여 분지 구조를 규명.
• Belyi 함수의 단조성 표현을 이용하여 유한 지수 부분군 $ \Gamma \leq \mathrm{PSL}_2(\mathbb{Z}) $ 에 대해 dessin d'enfant 를 명시적으로 기술.
• 특히 $ \Gamma_0(N) $ 에 대해 효과적인 단순한 단조성 기술을 제공하는 Belyi 함수를 구성하는 두 번째 방법을 도입.
• 모듈러 곡선 $ X_0(N) $ 에서의 해석적 역전치 $ [z] \mapsto \left[ \frac{-1}{Nz} \right] $ 를 활용하여 Belyi 함수 $ f(z) = \frac{1}{1728}j(z) $ 와 $ g(z) = \frac{1}{1728}j(Nz) $ 를 연결.
• $ \mathbb{C}(f) $ 위에서 $ 1728g $ 의 최소 대칭 다항식으로서 $ \Gamma_0(N) $ 의 모듈러 방정식 유도.
• 역전치의 고정점과 새로운 dessin 정점에서의 $ j $-값을 평가하여 특수값 계산, 예를 들어 $ j(\sqrt{2}i) = 20^3 $.

실험 결과

연구 질문

• RQ1 dessin d'enfants 이론을 어떻게 체계적으로 적용하여 $ \Gamma_0(N) $ 에 대한 모듈러 방정식을 계산할 수 있는가?
• RQ2 모듈러 곡선 위의 Belyi 함수의 정점과 대칭성으로부터 어떤 새로운 j-함수의 특수값을 도출할 수 있는가?
• RQ3 $ X(\Gamma) $ 에서 Belyi 함수의 단조성 표현이 $ \Gamma \leq \mathrm{PSL}_2(\mathbb{Z}) $ 의 군론적 구조를 어떻게 반영하는가?
• RQ4 $ X_0(N) $ 에서의 역전치 $ z \mapsto -1/Nz $ 는 Belyi 함수 간의 대칭 대수적 관계를 유도하는 데 사용될 수 있는가?
• RQ5 이들 dessin에 포함된 타원곡선의 이소지니로부터 어떤 새로운 Weierstrass $ \wp $-함수 항등식이 도출되는가?

주요 결과

• $ X_0(2) $ 에서 Belyi 함수 $ f([z]) = \frac{1}{1728}j(z) $ 는 유리 함수 $ f(z) = \frac{1}{27} \frac{(z+3)^3}{(z-1)^2} $ 를 유도하며, $ z = \frac{3}{4} $ 과 $ z = \frac{9}{8} $ 에서의 평가로 $ j(\rho/2) = 16 \times 15^3 $ 과 $ j(i/2) = 66^3 $ 을 산출한다.
• $ X_0(3) $ 에서 Belyi 함수 $ f(z) = \frac{1}{64} \frac{z(z+8)^3}{(z-1)^3} $ 는 $ j(\rho/3) = -3 \times 160^3 $, $ j((i+1)/3) = (18-6\sqrt{3})(82-54\sqrt{3})^3 $, $ j(i/3) = (18+6\sqrt{3})(82+54\sqrt{3})^3 $ 를 산출한다.
• $ X_0(N) $ 에서의 역전치 $ z \mapsto -1/Nz $ 는 Belyi 함수 $ f(z) = \frac{1}{1728}j(z) $ 와 $ g(z) = \frac{1}{1728}j(Nz) $ 를 교환하여 모듈러 방정식의 대칭성을 보장한다.
• 역전치의 고정점에서의 $ j $-값 평가로 $ j(\sqrt{2}i) = 20^3 $ 과 $ j(\sqrt{3}i) = 16 \times 15^3 $ 을 도출하여 새로운 특수값을 확인한다.
• $ \Gamma_0(N) $ 의 모듈러 방정식은 $ \mathbb{C}(f) $ 위에서 $ 1728g $ 의 최소 대칭 다항식으로 유도되며, 이 대칭성은 역전치에서 기인한다.
• 이 방법은 이소지니를 통해 Weierstrass $ \wp $-함수에 대한 새로운 항등식을 생성하며, 이는 비고(3)에서 볼 수 있듯이 새로이 도출된 것으로 주장된다.