[논문 리뷰] Gonality of the modular curve $X_0(N)$

Filip Najman, Petar Orlić|arXiv (Cornell University)|2022. 07. 24.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 모든 $N < 145$에 대해 모듈라 곡선 $X_0(N)$의 $ℚ$-gonality과 $ℂ$-gonality을 결정하고, 더 큰 $N$로 결과를 확장하여 $ℚ$에서 gonality이 4, 5, 6인 모든 $X_0(N)$를 규명한다. 이와 동시에 $ℂ$에서 pentagonal 곡선의 첫 번째 알려진 예시를 제공하며, 특히 $N = 97$ 및 $169$인 경우를 포함한다. 또한 $ℚ$에서 저 gonality을 가지는 모듈라 곡선을 완전히 분류하여, 합리적인 점을 가진 모듈라 곡선의 분류에서 오랫동안 지속된 격차를 해결한다.

ABSTRACT

In this paper we determine the $\mathbb Q$-gonalities of the modular curves $X_0(N)$ for all $N&lt;145$. We determine the $\mathbb C$-gonality of many of these curves and the $\mathbb Q$-gonalities and $\mathbb C$-gonalities for many larger values of $N$. Using these results and some further work, we determine all the modular curves $X_0(N)$ of gonality $4$, $5$ and $6$ over $\mathbb Q$. We also find the first known instances of pentagonal curves $X_0(N)$ over $\mathbb C$.

연구 동기 및 목표

• 모든 $N < 145$에 대해 $X_0(N)$의 $ℚ$-gonality과 $ℂ$-gonality을 결정하고, 가능한 한 더 큰 $N$로 확장한다.
• $ℚ$에서 tetragonal, pentagonal, 또는 hexagonal인 모든 모듈라 곡선 $X_0(N)$를 분류하여, 모듈라 곡선에서 차수 $d$의 점에 관한 핵심적인 산술 문제를 해결한다.
• $ℂ$에서 pentagonal인 모듈라 곡선 $X_0(N)$의 첫 번째 알려진 예시를 규명하여 문헌에서 뚜렷한 격차를 메운다.
• $X_0(N)$의 정확한 gonality 데이터를 제공하여 LMFDB 데이터베이스와 향후 모듈라 곡선의 산술 연구를 지원한다.
• 자연스러운 평면 모델이 부족하고 모듈라 단위가 제한된 문제에 대비해 $X_0(N)$에 특화된 계산 기법을 개발하고 적용한다.

제안 방법

• 저자들은 $X_0(N)$에 대해 고도로 복합한 $N$에서의 많은 반사 대칭을 활용하여 군 작용 분석, 모듈라 단위, 그리고 $ℑ^1$로의 유리 함수 사상의 조합을 통해 $ℚ$-gonality을 계산한다.
• 모듈라 매개변수화와 히케 연산자를 통해 명시적인 유리 함수 사상 구축을 통한 gonality의 상한을 도출하고, 종수와 클리포드 정리(Clifford’s theorem)를 이용한 하한을 유도한다.
• $ℂ$-gonality의 경우, 대수기하학의 결과, 특히 캐스텔누오보–세비에르 추정식과 삼각형 및 사각형 곡선의 알려진 분류를 적용한다.
• 계산 기반 대수 시스템을 사용하여 함수 체를 분석하고, 특히 $d = 4,5,6$에 대해 차수의 상한을 가지는 유리 함수의 존재 여부를 검증한다.
• 이전의 $X_1(N)$ 및 $X_0(N)$ 연구와 비교하여 데릭스와 반 호이지의 방법을 참조하지만, $X_0(N)$에서의 극점과 모듈라 단위의 부족을 고려해 이를 수정한다.
• 기존의 초타원곡선, 삼각형 곡선, 사각형 곡선의 분류와의 일관성 검증을 통해 결과를 검증하고, 아브라모비치의 추정치를 활용해 추정치를 정밀화한다.

실험 결과

연구 질문

• RQ1 어느 $X_0(N)$가 $ℚ$에서 tetragonal이며, 이러한 $N$의 완전한 목록은 무엇인가?
• RQ2 $ℂ$에서 pentagonal인 모듈라 곡선 $X_0(N)$의 알려진 예시가 존재하는가? 만약 존재한다면, 어떤 $N$에 대해인가?
• RQ3 $ℚ$에서 gonality이 5이거나 6인 $X_0(N)$의 완전한 분류는 무엇인가?
• RQ4 $X_0(N)$의 $ℚ$-gonality과 $ℂ$-gonality은 어떻게 관련되어 있으며, 어떤 경우에 서로 다를 수 있는가?
• RQ5 자연스러운 평면 모델이 없고 모듈라 단위가 제한된 상황에서도 $X_0(N)$의 gonality을 결정하는 데 효과적인 계산 기법을 개발할 수 있는가?

주요 결과

• 논문은 $ℚ$에서 gonality이 4인 $X_0(N)$를 완전히 분류하였으며, $X_0(N)$가 $ℚ$에서 tetragonal일 조건은 $N$이 다음 집합에 속할 때이다: $\{38,42,44,51,52,53,55,56,57,58,60,61,62,63,65,66,67,68,69,70,72,73,74,75,77,78,79,80,83,85,87,88,89,91,92,94,95,96,98,100,101,103,104,107,111,119,121,125,131,142,143,167,191\}$.
• 논문은 $ℚ$에서 pentagonal인 유일한 $X_0(N)$로 $X_0(109)$를 규명하여, 이러한 곡선의 존재에 관한 오랫동안 미해결이었던 열린 문제를 해결한다.
• 논문은 $ℂ$에서 pentagonal인 $X_0(N)$의 첫 번째 알려진 예시를 제시하며, 특히 $N = 97$ 및 $N = 169$인 경우를 포함한다. 이는 모듈라 곡선의 gonality에 따른 분류에서 중요한 진전이다.
• $ℚ$에서 gonality이 6인 경우, $76,82,84,86,90,93,97,99,108,112,113,115-118,122-124,127-129,135,137,139,141,144,146,147,149,151,155,159,162,164,169,179,181,215,227,239$의 $N$ 목록을 포함하여 완전한 목록을 제공한다.
• 저자들은 $N < 145$인 모든 $X_0(N)$에 대해 $ℚ$-gonality과 $ℂ$-gonality을 계산하고 문서화하였으며, 많은 더 큰 $N$에 대해서는 추정치를 제공하여 LMFDB 데이터베이스의 알려진 데이터를 크게 확장한다.
• 연구는 모든 $X_0(N)$에 대해 $ℚ$-gonality이 $ℂ$-gonality보다 작거나 같다는 것을 확인하였고, 특히 $N = 169$의 경우 $ℚ$-gonality이 6이고 $ℂ$-gonality이 5이므로 두 값이 다를 수 있음을 규명한다.