Arithmetic exceptionality of Lattès maps

논문 개요

이 논문은 타원곡선 $E/\mathbb{Q}$ 에 부착된 $k$-번째 라테스 (Lattès) 사상 $L_k$가 '산술적 예외성 (arithmetically exceptional)'을 가지는 조건을 규명하는 것을 목표로 합니다. 산술적 예외성이란 유리함수가 무한히 많은 소수 $p$에 대해 유한체 $\mathbb{F}_p$의 사영직선 $P^1(\mathbb{F}_p)$ 위에서 치환 (permutation) 을 유도하는 성질을 의미합니다.

저자들은 오다바스 (Odabaş) 가 제안한 추측을 검증하고, 복소곱 (Complex Multiplication, CM) 을 갖는 타원곡선과 비-CM 곡선에 대한 반례를 제시하며, 이 추측의 정확한 범위를 규명했습니다.

---

1. 연구 문제 및 배경

• 산술적 예외성 (Arithmetic Exceptionality): 유리함수 $r(x) \in \mathbb{Q}(x)$가 무한히 많은 소수 $p$에 대해 $P^1(\mathbb{F}_p)$를 치환하는 경우를 말합니다. 다항식의 경우 (슈르 다항식) 는 잘 알려져 있으나, 유리함수 (특히 라테스 사상) 의 경우 분류가 훨씬 복잡합니다.
• 라테스 사상 (Lattès Map): 타원곡선 $E$와 정수 $k$에 대해, $E$ 위의 $k$-배수 사상 $[k]$를 사영 좌표 $x$로 투영한 사상 $L_k$를 의미합니다 ($\text{proj} \circ [k] = L_k \circ \text{proj}$).
• 오다바스 추측 (Odabaş's Conjecture):

  임의의 양의 정수 $k$에 대해, $k$-번째 라테스 사상 $L_k$가 산술적 예외성을 갖기 위한 필요충분조건은 $E$가 유리수 좌표를 가진 $k$-비점 (torsion point) 을 갖지 않는 것이다.

  • 즉, $E(\mathbb{Q})$에 $x(P) \in \mathbb{Q}$인 $k$-비점 $P$가 존재하면 $L_k$는 예외적이지 않고, 그렇지 않으면 예외적이다.

---

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구들을 활용하여 문제를 접근했습니다.

1. 치환 판정 기준 (Permutation Criterion):

   • Proposition 3 에 따르면, $L_k$가 $P^1(\mathbb{F}_p)$에서 치환이 되기 위한 필요충분조건은 $\gcd((p+1)^2 - a_p^2, k) = 1$입니다. 여기서 $a_p$는 $p$에서의 프로베니우스 트레이스입니다.
   • 이는 $|E(\mathbb{F}_p)| \cdot |E'(\mathbb{F}_p)|$가 $k$와 서로소임을 의미합니다 ($E'$는 2 차 꼬임 곡선).

2. 복소곱 (CM) 이론과 프로베니우스 분포:

   • CM 을 갖는 타원곡선의 경우, Deuring 의 정리를 통해 $a_p$의 값을 명시적으로 계산할 수 있습니다.
   • $p$가 분해 (split) 되는 경우와 불변 (inert) 하는 경우에 따라 $a_p$가 결정되며, 이를 통해 $A_p(E) = (p+1)^2 - a_p^2$의 소인수 분해 구조를 분석합니다.

3. 수체론적 도구:

   • 체보타레프 밀도 정리 (Chebotarev Density Theorem): 특정 합동 조건을 만족하는 소수 $\pi$가 무한히 많이 존재함을 보장하여, $\gcd(A_p(E), k) = 1$이 되는 소수 $p$의 존재성을 증명합니다.
   • 상호성 법칙 (Reciprocity Laws): 3 차 및 6 차 상호성 법칙을 사용하여, 특정 소수가 $A_p(E)$를 나누지 않도록 하는 합동식 시스템을 구성합니다.
   • 올슨의 정리 (Olson's Theorem): 타원곡선 $E(\mathbb{Q})$의 비점 부분군의 분류를 활용하여 $k$의 조건을 제한합니다.

---

3. 주요 결과 (Key Results)

가. CM 타원곡선에 대한 오다바스 추측의 증명 (Theorem 2)

• 결과: 허수 2 차체 $K$의 판별식이 $-11$이 아닌 모든 CM 타원곡선 $E/\mathbb{Q}$에 대해 오다바스 추측은 참입니다.
• 증명 전략:
  • $E$가 유리수 $x$-좌표를 가진 $k$-비점을 갖지 않는다고 가정합니다.
  • $k$의 판별식 $D$에 따라 경우를 나누어 (예: $D \in \{-4, -8, -16\}, \{-7, -28\}, \{-19, -43, -67, -163\}, \{-12, -27, -3\}$ 등) 적절한 소수 $p$를 선택합니다.
  • Dirichlet 의 산술급수 정리나 체보타레프 정리를 사용하여, $\gcd(A_p(E), k) = 1$을 만족하는 소수 $p$가 무한히 많음을 보입니다.

나. 예외적인 경우: $K = \mathbb{Q}(\sqrt{-11})$ (Section 4)

• 발견: $K = \mathbb{Q}(\sqrt{-11})$인 CM 타원곡선에서 오다바스 추측은 거짓입니다.
• 구체적 반례:
  • $6 \mid k$ (즉, $k$가 6 의 배수) 인 경우, $E$가 유리수 $x$-좌표를 가진 $k$-비점을 갖지 않더라도 $L_k$는 산술적 예외성이 아닙니다.
  • 원인: $K$에서 3 이 분해 (split) 되고, 2 는 불변 (inert) 하는 성질 때문입니다.
    • $p$가 불변이면 $A_p(E)$는 짝수 ($2 \mid A_p(E)$).
    • $p$가 분해되면 Lemma 10 에 의해 $3 \mid A_p(E)$.
    • 따라서 $k$가 6 의 배수이면, 모든 좋은 감소 소수 $p$에 대해 $\gcd(A_p(E), k) \ge 2$가 되어 치환이 불가능합니다.
  • Proposition 12: 만약 $6 \nmid k$라면, 이 경우에도 오다바스 추측은 성립합니다.

다. 비-CM 타원곡선에 대한 반례 (Section 6)

• Proposition 18: CM 을 갖지 않는 타원곡선 $E_u: y^2 = x^3 - 9u^2x + 12u^3$에 대해, $6 \mid k$인 경우 오다바스 추측이 성립하지 않음을 보였습니다.
  • 이 곡선은 유리수 $x$-좌표를 가진 2-비점이나 3-비점을 갖지 않지만, $6 \mid k$일 때 $L_k$는 산술적 예외성이 아닙니다.
  • 이는 $p$에 따라 2 또는 3 이 $A_p(E)$를 나누는 구조적 장애물이 존재하기 때문입니다.

라. 새로운 추측 (Conjecture 20)

• 기존 오다바스 추측을 수정하여 다음과 같이 제안합니다:

  $6 \nmid k$인 양의 정수 $k$에 대해, $L_k$가 산술적 예외성을 갖기 위한 필요충분조건은 $E$가 유리수 $x$-좌표를 가진 $k$-비점을 갖지 않는 것이다.

  • 즉, $k$가 6 의 배수일 때만 예외적인 장애물이 발생할 수 있습니다.

---

4. 의의 및 결론

1. 이론적 완성도: 라테스 사상의 산술적 예외성에 대한 오다바스의 추측을 CM 타원곡선 클래스에 대해 거의 완전히 해결했습니다. 특히 $K=\mathbb{Q}(\sqrt{-11})$에서 발견된 $6 \mid k$에 대한 새로운 장애물은 기존 연구에서 간과되었던 중요한 발견입니다.
2. 갈루아 표현 관점: 논문의 마지막 부분에서는 갈루아 표현 (Galois representation) $\rho_{E, m}$을 사용하여 문제를 재해석했습니다. $L_m$이 산술적 예외성을 갖는 것은 갈루아 군의 특정 부분집합 $C_m$이 공집합이 아니라는 조건과 동치임을 보였습니다. 이는 비-CM 곡선에 대한 일반화된 접근의 기초를 제공합니다.
3. 실증적 데이터: SageMath 를 사용하여 다양한 CM 판별식에 대한 구체적인 라테스 사상의 치환 행동을 표 (Tables 2-16) 로 정리하여 이론적 결과를 검증했습니다.

요약하자면, 이 논문은 라테스 사상의 산술적 예외성 문제를 타원곡선의 비점 구조와 소수의 분해 성질을 연결하여 심층적으로 분석했으며, $k$가 6 의 배수일 때 발생하는 구조적 장애물을 규명함으로써 해당 분야의 중요한 진전을 이루었습니다.