On the Finiteness of Isolated $j$-invariants for $X_1(N)$

기술 요약: $X_1(N)$에 대한 고립된 $j$-불변량의 유한성에 관하여

문제 정의
모듈러 곡선 $X_1(N)$ 상의 유리수 점(rational points)을 분류하는 것은 산술 기하학의 중심 과제이다. 무한한 매개화된 가족(예: $\mathbb{P}^1$ 또는 아벨 다양체로의 사상으로부터 발생하는 경우)에 속하는 점들은 잘 이해되어 있는 반면, "고립된(isolated)" 점들—그러한 가족에 속하지 않는 점들—은 고정된 차수를 갖는 점들의 완전한 분류를 가로막는 중요한 장애물이 된다. 본 논문은 특히 $X_1(N)$의 고립된 $j$-불변량의 집합, 즉 $j$-직선 $X_1(1) \cong \mathbb{P}^1$로 사상되는 $X_1(N)$의 고립된 점들의 $j$-값에 초점을 맞춘다.

본 논문이 다루는 주요 질문은 질문 1(Bourdon 등 [10]에서 제기됨)이다: 각 고정된 차수마다 고립된 $j$-불변량이 유한하게 존재하는가? Merel의 균등 유계 정리(Uniform Boundedness Theorem)는 특정 $X_1(N)$에 대해 고정된 차수를 갖는 고립된 점이 유한함을 보장하지만, 이것이 $N$이 변함에 따라 고립된 $j$-불변량의 유한성을 즉각적으로 함의하지는 않는다. 본 논문은 이 질문과 이 분야의 다른 균등성 추측들 사이의 관계를 조사하며, 특히 유리 $j$-불변량을 갖는 타원 곡선에 대한 새로운 유한성 결과를 확립한다.

방법론
본 논문은 모듈리 이론(moduli theory), 갈로아 표현 분석, 그리고 모듈러 곡선의 기하학적 경계값들을 결과적으로 결합하여 사용한다.

1. 가설 간의 상호작용: 저자는 고정된 차수 $d$인 수체 위에서의 타원 곡선의 균등성과 관련된 네 가지 주요 가설 사이의 논리적 함의를 확립한다:

   • 가설 1: 일반화된 세르 균등성(Generalized Serre Uniformity) ($p$가 큰 경우 $p$-진 갈로아 표현의 전사성).
   • 가설 2: 차수 $d$인 고립된 $j$-불변량의 유한성.
   • 가설 3: 비-CM 이소제니 유계(Non-CM Isogeny Bounds) (큰 레벨 $N$에 대해 $X_0(N)$의 비-첨점, 비-CM 점의 유한성).
   • 가설 4: 토션 성장(torsion growth)에 대한 정교한 다항식 경계.
     본 논문은 가설 1이 가설 2를 함의하며, 결정적으로 가설 2가 가설 3과 가설 4를 모두 함의함을 증명한다. 이는 질문 1을 이소제니 및 토션 경계보다 강도는 낮지만 일반화된 세르 균등성을 결여한 정교한 문제로 위치시킨다.

2. 갈로아 표현과 얽힘(Entanglement): 유리수 케이스($d=1$)를 다루기 위해, 저자는 모듈 $p$ 및 $p$-진 갈로아 표현 $\rho_{E,p}$와 $\rho_{E,p^\infty}$의 상(image)을 분석한다. 저자는 이러한 상의 분류 결과(예: Mazur, Serre, Bilu, Parent, Rebolledo, Lemos)를 활용하여 $X_1(N)$ 상의 점의 차수를 결정한다. 핵심적인 기술적 도구은 서로 다른 소수들의 토션 체(torsion fields) 사이의 "얽힘"에 대한 분석이다. 저자는 상이 전사적이지 않은 경우(특히 non-split Cartan 부분군인 경우)의 분기(ramification)와 기여도를 제어함으로써 $X_1(N)$ 상의 점의 차수에 대한 새로운 하한을 도출한다.

3. 공사도(Gonality)와 고립성: 본 논문은 모듈러 곡선의 공사도 하한(Abramovich)과 점의 차수 및 곡선의 종수(genus) 사이의 관계를 이용한다. 점의 차수가 종수(또는 특정 공사도 경계)를 초과하면, 그 점은 고립될 수 없다.

주요 기여 및 결과

• 가설 간의 함의 (정리 9): 본 논문은 고립된 $j$-불변량의 유한성(가설 2)이 큰 레벨에 대한 비-CM 점의 유한성(가설 3)과 토션 성장에 대한 다항식 경계(가설 4)를 확립하기 위한 충분 조건임을 공식적으로 증명한다.
• 유리 $j$-불변량에 대한 유한성 (정리 3): 주요 무조건적 결과는 $p$와 $q$가 소수인 모듈러 곡선 $X_1(p^a q^b)$ 형태와 관련된 유리 고립 $j$-불변량이 유한하다는 것을 확립한다. 이는 다음을 결합하여 달성된다:
  • 비-전사적 소수들에 대한 갈로아 상의 구조에 관한 Lemos [39, 40]의 연구.
  • 상이 non-split Cartan 부분군일 때 점의 차수를 제한하기 위한 Smith [58] (보조정리 3)의 분기 결과.
  • 저자와 Genao [11]의 이전 연구를 개선한 새로운 점의 차수 하한 (따름정리 1).
    증명은 충분히 큰 소수에 대해, 유리 $j$-불변량을 갖는 $X_1(p^a q^b)$ 상의 임의의 점의 차수가 곡선의 종수를 초과함을 보여줌으로써 고립되지 않음을 입증한다.
• 정교해진 토션 경계 (정리 4): $j(E) \in \mathbb{Q}$인 비-CM 타원 곡선 $E/F$에 대하여, 임의의 $\epsilon > 0$에 대해 다음을 만족하는 상수 $C_\epsilon$이 존재함을 증명한다:
  $$\exp E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1/2 + \epsilon}$$
  $$\#E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1 + \epsilon}$$
  이는 이전 결과들 [11, 18]에 비해 차수 경계의 지수를 제곱근 인자만큼 개선한 것이다. 토션 그룹의 지수로서 $1/2$은 거의 최적임이 보여진다.
• 실험 데이터 및 분류: 본 논문은 차수가 $\leq 10$인 알려진 비-CM 고립 $j$-불변량들의 종합적인 표를 제공하며, 야코비안 계수(Jacobian rank) 계산과 공사도 경계를 통해 이들의 고립성을 정당화한다.

의의 및 주장
본 논문은 질문 1이 이 분야의 더 넓은 균등성 문제들에 대한 데 핵심적인 "정교화(refinement)" 역할을 한다고 주장한다. 고립된 $j$-불변량의 유한성이 이소제니 및 토션에 대한 강력한 경계를 함의한다는 것을 확립함으로써, 본 연구는 이러한 특정 점들의 유한성을 공격하는 것이 더 넓은 추측들을 해결하기 위한 실행 가능한 경로임을 시사한다.

유리 $j$-불변량에 대한 결과는 완전한 분류를 향한 중요한 단계인데, 이는 $p^a q^b$ 형태의 레벨을 갖는 곡선들에 대해 고립된 $j$-불변량의 무한한 가족이 존재할 가능성을 제거하기 때문이다. 저자는 모든 유리 $j$-불변량에 대해 가설 2를 무조건적으로 증명하기에는 현재의 "얽힘"(서로 다른 소수들의 토션 체 사이의 상호작용)에 대한 제어가 불충분하지만, 실험 데이터는 이 문제가 형식적 침전(formal immersion) 논법을 통해 접근 가능할 것임을 시사한다고 언급한다. 이는 관련 "얽힘 모듈러 곡선"들이 표준 모듈러 곡선의 파이버 곱(fiber product)과는 달리 종종 비자명한 rank 0 quotient를 갖기 때문이다.

본 논문은 고립된 $j$-불변량의 완전한 유한성이 여전히 미해결 상태로 남아 있으나, 여기서 개발된 방법론들이 유리 $j$-불변량에 대한 알려진 토션 경계를 성공적으로 정교화하고, 이러한 균등성 문제들을 연결하는 논리적 지형을 명확히 했음을 결론짓는다.