[논문 리뷰] Explicit modular towers

Noam D. Elkies|ArXiv.org|2001. 03. 16.

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

한 줄 요약

이 논문은 첫 번째 몇 수준의 기하학적 구조—특히 곡선 $\mathrm{X}_0(l^2)$, 그 Atkin-Lehner 변환, 그리고 차수 $l$의 사상 $\pi_0$—를 사용하여 $\mathrm{X}_0(l^n)$와 같은 점점 더 큰 모듈라 곡선의 탑을 재귀적으로 명시적으로 구성하는 방법을 제시한다. 핵심 기여는 좌표 간 반복적 관계를 통해 전체 탑을 실현하는 공식을 제공함으로써 고성능 곡선의 명시적 방정식을 도출하고, 유리점 수 계산을 통해 최적성의 확정을 가능하게 한다.

ABSTRACT

We give a general recipe for explicitly constructing asymptotically optimal towers of modular curves such as {X_0(l^n): n=1,2,3,...}. We illustrate the method by giving equations for eight towers with various geometric features. We conclude by observing that such towers are all of a specific recursive form, and speculate that perhaps every tower of this form that attains the Drinfeld-Vladut bound is modular.

연구 동기 및 목표

• 고성능 모듈라 곡선 탑, 예를 들어 $\mathrm{X}_0(l^n)$의 명시적 방정식을 체계적으로 구성하는 방법을 개발하는 것.
• 이러한 탑의 첫 번째 몇 수준—특히 $\mathrm{X}_0(l^2)$와 사상 $\pi_0$—만으로 전체 탑을 재구성할 수 있음을 보여주는 것.
• 이러한 탑의 점점 더 큰 최적성은 모듈라 기원과는 독립적으로, 유리점의 초특이점 존재를 통해 확인될 수 있음을 보여주는 것.
• 이러한 형태의 점점 더 큰 최적성 탑이 반드시 모듈라여야 하는지 탐구하는 것.

제안 방법

• 곡선 $\mathrm{X}_0(l^n)$ 에서 $({\rm X}_0(l^2))^{n-1}$ 으로 가는 곱 사상 $\pi = \pi_0 \times \cdots \times \pi_{n-2}$ 을 사용하여 곡선을 곱공간에 매립시키는 방법.
• 각 수준을 Atkin-Lehner 변환을 통해 연결하기 위해 $\pi_0(w_l^{(2)}(P_j)) = w_l^{(1)}(\pi_0(P_{j+1}))$ 를 $j=1,\dots,n-2$ 에 대해 요구함으로써 탑을 재귀적으로 정의하는 방법.
• $\mathrm{X}_0(l^2)$ 의 명시적 방정식과 Atkin-Lehner 변환 $w_l^{(2)}$ 의 작용을 구체적으로 정의하며, 이는 모듈라 매개변수화로부터 유도된다.
• Shimura 곡선의 경우, 해당 $\mathrm{X}_0(\wp^n)$ 곡선과 그에 대응하는 변환을 사용하여 동일한 재귀적 프레임워크를 적용하며, 이는 허수수대에서의 단위군으로부터 유도된다.
• 각 곡선의 종수는 온화한 분기의 성질을 이용하여 계산되며, 이는 악성 분기 탑에 비해 계산을 단순화한다.
• 비전통적 모듈라 곡선의 경우 동일한 재귀적 구조를 사용하며, 기저 곡선 $C_1$ 에서의 이중도수-$(l,l)$ 대응 $\Phi$ 에서 유도된 방정식을 사용한다.

실험 결과

연구 질문

• RQ1 고성능 모듈라 곡선 탑, 예를 들어 $\mathrm{X}_0(l^n)$ 과 같은 곡선들에 대해 첫 번째 두 수준만으로도 명시적 방정식을 재귀적으로 구성할 수 있는가?
• RQ2 기저 곡선 $\mathrm{X}_0(l^2)$ 과 사상 $\pi_0$ 에 기반한 탑의 재귀적 구조가 전체 곡선 탑 $\mathrm{X}_0(l^n)$ 을 완전히 결정하는가?
• RQ3 이러한 탑이 드릴린드-플라두츠 상한선에 도달하는 점점 더 큰 최적성을, 그 모듈라 기원과는 독립적으로 확인할 수 있는가?
• RQ4 이러한 형태의 점점 더 큰 최적성 탑이 반드시 모듈라여야 하는가, 즉 모듈라 또는 Shimura 곡선에서 유래하는가?
• RQ5 Atkin-Lehner 변환은 재귀적 구조를 유지하고 종수 계산을 가능하게 하기 위해 어떤 역할을 하는가?

주요 결과

• 논문은 여덟 개의 점점 더 큰 최적성 탑에 대해 명시적 방정식을 제공한다: $l=2,3,4,5,6$ 및 $3\cdot 2^n$ 에 대해 여섯 개인 고전적 모듈라 곡선 $\mathrm{X}_0(l^n)$ 과 두 개의 Shimura 곡선.
• $\mathrm{X}_0(2^n)$ 에 대해서는 $n-1$ 개의 좌표 $x_1,\dots,x_{n-1}$ 이 $x_j^2 + 3 = 4z_{j+1}^2$ 와 $z_j = (x_j + 3)/(x_j - 1)$ 을 만족하며, 변환 $\xi \mapsto (\xi + 3)/(\xi - 1)$ 이 적용된다.
• $\mathrm{X}_0(3\cdot 2^n)$ 에 대해서는 유사한 방정식이 적용되지만, $j$-함수 매개변수화에 기반한 다른 변환과 관계를 가진다.
• Shimura 곡선 탑 $\mathcal{X}_0(\wp_2^n)$ 은 $n=5$ 이후로는 분기되지 않으며, 홀수 성질의 유한체 위에서 $\mathcal{X}_0(\wp_2^5)$ 의 2-클래스체 탑에 의해 지배된다.
• $\mathbb{Q}(2\cos\pi/9)$ 의 삼차체에 대해 $\mathcal{X}_0(\wp_3^n)$ 은 $x_j^3 + z_{j+1}^3 = 1$ 과 $z_j = (x_j + 2)/(x_j - 1)$ 으로 묘사되며, $n=4$ 이후로는 분기되지 않는다.
• 저자들은 모든 알려진 점점 더 큰 최적성 탑이 모듈라여야 한다는 추측을 제기하며, 이는 모든 알려진 탑이 실제로 모듈라임을 바탕으로 한다.