[논문 리뷰] Bielliptic and Hyperelliptic modular curves X(N) and the group Aut(X(N))

Francesc Bars, Aristides Kontogeorgis외 1명|arXiv (Cornell University)|2012. 07. 10.

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

한 줄 요약

이 논문은 $N \geq 7$ 인 경우 모듈러 곡선 $X(N)$가 항상 초타원곡선이 아니며, bielliptic일 수 있는 경우는 $N = 7$ 및 $N = 8$일 때뿐임을 밝혀낸다. 또한 자동사상군 $\mathrm{Aut}(X(N))$가 $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$와 동형임을 증명하여, 이는 $\mathrm{PSL}_2(\mathbb{R})$ 내에서 $\Gamma(N)$의 정규화군을 $\pm\Gamma(N)$로 나눈 것과 일치함을 확인하며, 복합수 $N$에 대해 이론적으로 오랫동안 빈자리였던 증명의 결함을 완전히 메운다. 이 결과는 $N > 6$일 때 $\mathbb{Q}(\zeta_N)$ 위에서 $X(N)$의 이차점의 유한성을 암시한다. 본 연구는 모듈러 곡선의 자동사상군 분류에 있어 핵심적인 빈자리들을 메우며, 이는 이전에 소수 $N$에 대해 세르가 확립한 결과를 복합 수준으로 확장한다.

ABSTRACT

We determine all modular curves X(N) (with $N\geq 7$) which are hyperelliptic or bielliptic. We make available a proof that the automorphism group of X(N) coincides with the normalizer of $Γ(N)$ in $\operatorname{PSL}_2(\mathbb{R})$.

연구 동기 및 목표

• 모듈러 곡선 $X(N)$가 초타원곡선 또는 bielliptic일 수 있는 모든 정수 $N \geq 7$를 규명하는 것.
• 모든 $N \geq 7$에 대해 $\mathrm{Aut}(X(N)) \cong \mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$임을 완전한 증명으로 제시하여, 세르의 소수 $N$에 대한 결과를 복합 수준으로 확장하는 것.
• 이차점의 유한성을 $X(N)$이 $\mathbb{Q}(\zeta_N)$ 위에서 증명하기 위해 bielliptic 및 자동사상의 구조를 활용하는 것.
• 복합수 $N$에 대해 이론적으로 공백이 있었던 모듈러 곡선 $X(N)$의 자동사상군의 구조를 스스로 포함하는 증명을 제공하여 오랫동안 놓쳐온 격차를 메우는 것.

제안 방법

• 저자들은 타원곡선의 전체 $N$-레벨 구조와 윌-페어링 호환성을 갖는 모듈러 공간으로서의 $X(N)$의 기하학적 및 산술적 구조를 이용하여 자동사상군을 분석한다.
• 모듈러 곡선 이론의 결과를 적용하여, $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$가 $X(N)$에 작용하고, 이 군이 예외적인 자동사상이 없음을 제거함으로써 전체 자동사상군임을 보인다.
• Biellipticity 분석을 위해 타원곡선으로의 도함수의 존재를 분석하며, 특히 $X(7)$과 $X(8)$에 대해 잭비안의 구조와 알려진 이소지 구조 분해를 활용한다.
• MAGMA와 SAGE 등의 계산 기반 대수 시스템을 사용하여 $\mathbb{Q}(\zeta_N)$ 위에서 관련된 타원곡선의 모델-베일 랭크를 검증하며, $N=7$ 및 $N=8$일 때 랭크가 0임을 확인한다. 이는 $X(N)$ 위의 이차점의 유한성을 증명하는 데 핵심적이다.
• 자동사상군의 구조에 대한 증명은 $\mathrm{PSL}_2(\mathbb{R})$ 내에서 $\Gamma(N)$의 정규화군이 $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$로 사상됨을 바탕으로 하며, 이는 캐논리컬 모델 위의 작용과 강성 정리들을 분석함으로써 전체 자동사상군임을 보인다.
• 이차점의 유한성에 대해 야브라미호-하리스 기준을 적용하여, 곡선이 초타원곡선 또는 bielliptic인지 여부에 따라 유한성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 어느 정수 $N \geq 7$ 에 대해 모듈러 곡선 $X(N)$가 초타원곡선인가?
• RQ2 어느 정수 $N \geq 7$ 에 대해 모듈러 곡선 $X(N)$가 bielliptic인가?
• RQ3 모든 $N \geq 7$ 에 대해 $X(N)$의 자동사상군이 $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$와 동형인가? (복합수 $N$ 포함)
• RQ4 모듈러 곡선 $X(N)$의 이차점 집합이 $\mathbb{Q}(\zeta_N)$ 위에서 $N > 6$일 때 유한한가?
• RQ5 모듈러 곡선 $X(N)$의 자동사상군에 $\mathrm{PSL}_2(\mathbb{R})$ 내에서 $\Gamma(N)$의 정규화군에서 유도되지 않는 예외적인 자동사상이 존재하는가?

주요 결과

• 모듈러 곡선 $X(N)$는 모든 $N \geq 7$ 에 대해 초타원곡선이 아니며, 이는 정리 12에서 증명됨.
• 모듈러 곡선 $X(N)$는 $N = 7$ 또는 $N = 8$일 때에만 bielliptic이며, 이는 정리 13에서 확인됨.
• 모든 $N \geq 7$ 에 대해 자동사상군 $\mathrm{Aut}(X(N))$는 $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$와 동형이며, 이는 예외적인 자동사상이 존재하지 않음을 확인함.
• $\mathbb{Q}(\zeta_N)$ 위에서 $X(N)$의 이차점 집합은 모든 $N \geq 7$ 에 대해 유한하며, 이는 정리 21에서 증명됨.
• $N = 8$일 때 $\mathbb{Q}(\zeta_8)$ 위에서의 이차점 수는 정확히 24개이며, 이는 모두 캐스프임을 MAGMA를 통해 계산하고 $X_0(64)$ 위에서의 역상 계산을 통해 확인함.
• $\mathbb{Q}(\zeta_7)$ 위에서 타원곡선 $y^2 + 3xy + y = x^3 - 2x - 3$의 모델-베일 랭크는 0이며, 이는 $\mathbb{Q}(\zeta_7)$ 위에서 양의 랭크를 갖는 타원곡선이 존재하지 않음을 의미하며, 이는 $X(7)$ 위에 무한히 많은 이차점이 존재할 수 없음을 제거한다.