논문 요약: 모듈러 곡선 위의 고립점 (Isolated Points on Modular Curves)

저자: Kenji Terao
주제: 모듈러 곡선 $X_H$ 위의 고립점 (isolated points) 에 대한 연구, 특히 유리수 $j$-불변량을 갖는 점들의 분류 및 단일 싱크 정리 (Single-sink theorem) 의 증명.

1. 연구 배경 및 문제 제기

1.1. 고립점의 정의

수체 (number field) 위에서 정의된 기하학적 가약 (geometrically irreducible) 곡선 $C$에 대해, 특정 차수 $d$를 갖는 점이 무한히 존재하기 위한 필요충분조건은 Abramovich 와 Harris (1991) 에 의해 제시되었습니다. 이는 두 가지 경우로 나뉩니다.

1. $P_1$-매개화 (P1-parametrized): $C \to \mathbb{P}^1$인 차수 $d$의 사상이 존재하는 경우.
2. AV-매개화 (AV-parametrized): $C$의 대칭곱 $\text{Sym}^d(C)$에서 아벨 다양체 (abelian variety) $A$의 평행 이동에 의해 생성되는 무한한 점들의 집합이 존재하는 경우.

이 두 가지 조건을 만족하지 않는 점들은 **고립점 (isolated points)**으로 불리며, 곡선의 기하학적 성질로 설명할 수 없는 예외적인 점들입니다.

1.2. 연구 대상

기존 연구들은 주로 $X_1(n)$ 모듈러 곡선에 집중되어 왔으나, 본 논문은 $GL_2(\mathbb{Z}/n\mathbb{Z})$의 부분군 $H$에 의해 정의되는 일반적인 모듈러 곡선 $X_H$ (예: $X_0(n)$, $X_s(p)$ 등) 로 범위를 확장합니다. 이러한 곡선들은 기하학적으로 비연결 (geometrically disconnected) 일 수 있어, 기존 이론을 직접 적용하기 어렵다는 문제가 있었습니다.

2. 주요 방법론 및 이론적 기여

2.1. 기하학적 비연결 다양체 위의 고립 약수 (Isolated Divisors) 이론

기존의 고립점 이론은 기하학적 연결 곡선에 국한되어 있었습니다. 저자는 이를 일반화하여 기하학적 비연결 다양체 위의 고립 약수 개념을 도입했습니다.

• Stein 분해 (Stein Factorization) 활용: 기하학적 비연결 다양체 $X$를 그 Stein 분해 $X \to \text{Spec } K \to \text{Spec } k$를 통해 기하학적 정적 (integral) 인 다양체로 변환하여, 약수 (divisor) 와 Picard 스킴의 성질을 연구했습니다.
• 약수 스킴과 Picard 스킴: 기하학적 비연결 다양체 위의 유효 카르티에 약수 (effective Cartier divisor) 와 Picard 스킴의 관계를 Weil restriction 을 통해 명확히 규명했습니다.
• 고립 약수의 정의: $P_1$-매개화되지 않고, 양의 순위 아벨 부분다양체에 의해 매개화되지 않는 약수를 '고립 약수'로 정의하고, 이 개념이 사상의 푸시포워드 (pushforward) 와 풀백 (pullback) 하에서 잘 작동함을 증명했습니다.

2.2. 점 사이의 사상 정리 (Mapping Theorems)

고립점의 존재성을 다른 곡선으로 전이시키는 두 가지 핵심 정리를 증명했습니다.

• Theorem 1.8 (기존 결과의 일반화): 사상 $f: C \to D$가 있고, 점 $x \in C$와 $y=f(x) \in D$에 대해 $\deg(x) = \deg(y) \cdot \deg(f)$를 만족하면, $x$가 고립점이면 $y$도 고립점입니다.
• Theorem 1.9 (새로운 역방향 정리): $\deg(x) = \deg(y)$를 만족하는 경우, $y$가 고립점이면 $x$도 고립점입니다.
  이 두 정리는 고립점의 존재성을 다양한 모듈러 곡선 간에 연결하는 '고립 그래프 (isolation graph)'를 구성하는 기초가 됩니다.

3. 핵심 결과: 단일 싱크 정리 (Single-sink Theorem)

논문에서 제시된 가장 중요한 이론적 성과는 **단일 싱크 정리 (Theorem 1.1)**입니다.

• 내용: 임의의 모듈러 곡선 $X_H$ 위의 비유일 (non-cuspidal), 비 CM 고립점 $x$가 존재한다고 가정할 때, $x$의 $j$-불변량 $j(x)$에 대응하는 타원곡선 $E$의 아델릭 갈루아 표현 (adelic Galois representation) 의 상 $G$를 고려합니다. 이때, $X_G$ (그룹 $G$에 대응하는 모듈러 곡선) 위에도 $j$-불변량이 $j(x)$이고, $x$와 동일한 체 위에서 정의된 고립점 $y$가 존재합니다.
• 의미: 특정 $j$-불변량을 갖는 고립점이 어떤 모듈러 곡선 $X_H$에 존재한다면, 그것은 반드시 $j$-불변량에 의해 결정되는 단 하나의 특정 곡선 $X_G$에서 기원한다는 것을 의미합니다.
• 응용: 이는 고립점 탐색 문제를 "모든 모듈러 곡선 $X_H$를 검색"하는 것에서 "특정 $j$-불변량에 대한 $X_G$의 고립점 존재 여부만 확인"하는 문제로 축소시킵니다.

4. 적용 사례 및 계산 결과

저자는 개발된 방법론을 두 가지 구체적인 경우에 적용하여 분류 결과를 도출했습니다.

4.1. 레벨 7 모듈러 곡선 ($X_H$, level 7)

• 목표: 레벨 7 인 모든 모듈러 곡선 $X_H$ 위에서 유리수 $j$-불변량을 갖는 비 CM 고립점 분류.
• 과정:
  1. 단일 싱크 정리의 일반화를 이용해 가능한 $j$-불변량을 제한 (유일한 후보: $j = \frac{3^3 \cdot 5 \cdot 7^5}{2^7}$).
  2. '고립 그래프 (isolation graph)'와 켤레 (conjugation) 사상을 이용해 검색 공간을 축소.
  3. 최종적으로 $X(7)$ 곡선 위의 고립점 존재 여부를 확인.
• 결과: Theorem 1.6에 따라, 유리수 $j$-불변량을 갖는 비 CM 고립점은 $j = \frac{3^3 \cdot 5 \cdot 7^5}{2^7}$인 경우에만 존재하며, 이는 9 개의 켤레 클래스에 속하는 부분군 $H$에 대응됩니다.

4.2. $X_0(n)$ 모듈러 곡선

• 목표: $X_0(n)$ ($n \ge 1$) 위에서의 유리수 $j$-불변량을 갖는 비 CM 고립점 분류.
• 가정: Zywina 의 갈루아 표현 상에 대한 추측 (Conjecture 7.4) 을 가정합니다.
• 과정:
  1. 'agreeable closure' 개념을 도입하여 단일 싱크 정리를 $X_0(n)$에 적용.
  2. Zywina 의 계산 결과 (Table 2) 를 기반으로 가능한 $j$-불변량 후보를 제한.
  3. 각 후보 $j$-불변량에 대해 고립점이 존재할 수 있는 최소 레벨 $n$을 결정.
• 결과: Theorem 1.7에 따라, 17 개의 특정 유리수 $j$-불변량 (예: $-121, -24729001, 3375/2$ 등) 만이 고립점의 $j$-불변량으로 가능합니다. 각 $j$-불변량에 대해 최소 레벨 $n$을 명시했습니다 (Table 3).

5. 의의 및 결론

1. 이론적 확장: 모듈러 곡선 연구에서 $X_1(n)$에 국한되었던 고립점 이론을 일반적인 $X_H$로 확장하고, 기하학적 비연결 다양체에 대한 고립 약수 이론을 정립했습니다.
2. 방법론적 혁신: '단일 싱크 정리'와 '고립 그래프'를 통해 고립점 탐색 문제를 체계적이고 계산 가능한 프레임워크로 변환했습니다. 이는 다양한 모듈러 곡선 가족에 대한 통일된 접근법을 제공합니다.
3. 구체적 분류: 레벨 7 의 경우 완전한 분류를 달성했으며, $X_0(n)$의 경우 (가정 하에) 유리수 $j$-불변량을 갖는 고립점의 완전한 리스트를 제시했습니다.
4. 미래 연구: 이 연구는 Mazur 의 프로그램 B (갈루아 표현의 상 분류) 와 고립점 문제 간의 강한 연관성을 보여주며, 향후 $X_1(n)$을 포함한 더 넓은 범위의 모듈러 곡선 연구의 기초를 마련했습니다.

이 논문은 모듈러 곡선 위의 점들의 분포를 이해하는 데 있어 기하학적, 대수적, 계산적 접근을 통합한 중요한 진전을 이루었습니다.