Rational Preperiodic Points of Quadratic Rational Maps over $\mathbb{Q}$ with Nonabelian Automorphism Groups

이 논문은 비가환 자기동형군을 갖는 $\mathbb{Q}$ 상의 2 차 유리 사상에 대해 1, 2, 3 주기의 $\mathbb{Q}$-유리 주기점을 완전히 분류하고, 4 또는 5 주기의 존재를 부정하며, 3 을 초과하는 주기가 없을 때 $\mathbb{Q}$-유리 비주기점의 개수가 최대 6 임을 증명합니다.

핵심

🎮 게임의 규칙: "숫자 변신 게임"

상상해 보세요. 무한한 숫자 세상 (우주) 이 있습니다. 이 세상에는 **'변신 마법 (함수)'**이 하나 있습니다.

• 숫자 $A$가 마법을 받으면 $B$로 변합니다.
• $B$가 다시 마법을 받으면 $C$로 변합니다.
• 이 과정을 계속 반복하면 숫자들은 어디로 가게 될까요?

이 논문은 2 차 (Quadratic) 변신 마법을 사용하는 경우를 연구합니다. 특히, 이 마법에는 **특별한 대칭성 (자율 군, Automorphism Group)**이 있는 경우를 다룹니다.

• 대칭성이란? 마법 규칙이 어떤 방향으로 뒤집어도 똑같이 작동하는 '완벽한 균형'을 말합니다. 이 논문은 그 균형이 매우 복잡하고 대칭적인 (비아벨 군 $S_3$) 경우를 다룹니다.

🔍 연구자들의 목표: "숫자들의 여정 기록하기"

연구자들은 이 마법을 받은 숫자들이 어디로 가는지, 그리고 어디서 멈추는지를 기록하려고 합니다.

1. 주기 (Periodic Points): 숫자가 $A \to B \to C \to A$처럼 순환하며 돌아다니는 경우입니다. (예: 1 주일, 2 주일, 3 주일마다 제자리로 돌아옴)
2. 준주기 (Preperiodic Points): 처음에는 $A \to B \to C$로 이동하다가, $C$에 도착한 후부터는 순환을 시작하는 경우입니다. (예: 진입로에 있다가 회전로에 들어가는 차)

연구자들은 **"유리수 (분수)"**로만 이루어진 숫자들만 대상으로 합니다. 즉, $\sqrt{2}$나 $\pi$ 같은 복잡한 숫자는 제외하고, $1/2, 3/4$ 같은 깔끔한 분수들만 봅니다.

🚫 발견한 놀라운 사실들 (주요 결과)

이 논문은 이 복잡한 마법 게임에서 다음과 같은 규칙들을 찾아냈습니다.

1. "4 주기와 5 주기는 없다!" (The No-Go Zone)

가장 흥미로운 발견은 **"분수 숫자들은 4 번이나 5 번 돌아서 제자리로 돌아오는 일이 절대 없다"**는 것입니다.

• 비유: 마치 어떤 놀이공원에 4 번 회전하는 회전목마나 5 번 회전하는 그네가 아예 존재하지 않는 것과 같습니다. 규칙상 불가능한 구조입니다.
• 연구자들은 수학적으로 증명했습니다. 만약 4 번이나 5 번 돌아오는 분수 숫자가 있다면, 그건 마법 규칙 자체를 어기는 것이기 때문에 존재할 수 없습니다.

2. "6 번 이상은 드물다" (The Rarity)

6 번 이상 돌아다니는 숫자가 아예 없는 것은 아니지만, 그 수가 **유한 (Finite)**하다는 것을 보였습니다.

• 비유: 6 번 이상 도는 숫자는 마치 '운이 좋은 사람'처럼 아주 드물게 나타날 뿐, 무한히 많이 나올 수는 없습니다.

3. "최대 6 명까지만 모일 수 있다" (The Limit)

만약 4 번, 5 번, 6 번 이상 도는 숫자가 없다고 가정하면 (이는 아직 가설이지만), 이 게임에 참여하는 모든 분수 숫자의 총 개수는 최대 6 명입니다.

• 비유: 이 놀이공원에 분수 숫자라는 손님들이 들어올 수 있는데, 4~5 번 회전하는 놀이기구가 없다면, 동시에 놀이를 즐길 수 있는 손님은 고작 6 명을 넘을 수 없습니다. 그 이상이면 규칙이 깨집니다.

🧩 어떻게 이걸 증명했을까? (수학자의 탐정 도구)

연구자들은 단순히 숫자를 대입해 보는 게 아니라, **'수학적 지도 (대수 곡선)'**를 그렸습니다.

• "4 번 돌아오는 숫자가 있다면, 이 지도 위의 점에 있어야 한다"라고 가정한 후, 그 지도를 자세히 조사했습니다.
• 그랬더니 그 지도는 여러 조각으로 나뉘어 있었고, 그 조각들이 만나는 곳은 모두 '숫자가 존재할 수 없는 곳 (특이점)'뿐이었습니다.
• 마치 "보물 지도를 찾았더니, 보물이 있는 곳은 다 바다 속이라 실제로는 보물이 없다"는 것을 발견한 것과 같습니다.

💡 이 연구가 왜 중요할까요?

이 연구는 **'균일 유계성 추측 (Uniform Boundedness Conjecture)'**이라는 거대한 수학 미스터리 해결을 위한 중요한 퍼즐 조각입니다.

• 수학자들은 "어떤 규칙을 가진 숫자 놀이에서도, 특정 조건을 만족하는 숫자의 개수는 항상 일정하게 제한된다"라고 믿고 있습니다.
• 이 논문은 그중에서도 규칙이 아주 대칭적이고 복잡한 경우를 완벽하게 분석하여, "그 제한이 6 명 이하일 것이다"라고 강력하게 주장하고 있습니다.

📝 한 줄 요약

"분수 숫자들이 복잡한 변신 마법 (2 차 유리함수) 을 할 때, 4 번이나 5 번 돌아다니는 숫자는 절대 없으며, 전체 숫자의 수는 최대 6 명을 넘지 않는다!"

이 논문은 수학자들이 복잡한 숫자 세계의 규칙을 찾아내고, 그 세계의 '한계'를 정확히 그려낸 훌륭한 탐정 보고서라고 할 수 있습니다.

기술 요약

이 논문은 유리수체 $\mathbb{Q}$ 위에서 정의된 비가환 (nonabelian) 자동사상군을 갖는 2 차 유리 사상 (quadratic rational maps) 의 $\mathbb{Q}$-유리수 전주기적 점 (preperiodic points) 을 완전히 분류하고 그 수를 제한하는 것을 목표로 합니다. 하산 빌길리 (Hasan Bilgili) 와 모하마드 사덱 (Mohammad Sadek) 의 이 연구는 산술 역학 (arithmetic dynamics) 의 균일 유계성 추측 (Uniform Boundedness Conjecture) 의 특수한 경우를 다루며, 구체적인 결과와 증명을 제공합니다.

다음은 논문의 상세한 기술적 요약입니다.

1. 연구 문제 및 배경

• 배경: 모트론 (Morton) 과 실버먼 (Silverman) 이 제안한 균일 유계성 추측에 따르면, 수체 $K$ 위에서 정의된 차수 $d$인 사상의 $K$-유리수 전주기적 점의 개수는 일정한 상수 $C$로 유계입니다. 이는 타원곡선의 꼬임점 (torsion points) 에 대한 유계성 추측의 아날로그입니다.
• 구체적 대상: 차수가 2 인 유리 사상 $f: \mathbb{P}^1 \to \mathbb{P}^1$ 중, 비가환 자동사상군 (automorphism group) 을 갖는 경우를 연구합니다.
  • 2 차 유리 사상이 비자명한 자동사상을 가지려면, $\mathbb{C}$ 위에서 $f(z) = k(z + 1/z)$ 형태와 켤레 (conjugate) 여야 합니다.
  • 이때 $k = -1/2$인 경우, 자동사상군은 순서 6 의 비가환군 $S_3$ (대칭군) 이 됩니다.
• 연구 목표: 자동사상군이 $S_3$인 2 차 유리 사상 $f$에 대해, $\mathbb{Q}$-유리수 주기적 점 (periodic points) 의 존재 여부와 전주기적 점 (preperiodic points) 의 최대 개수를 규명합니다.

2. 방법론

• 정규형 (Normal Form) 사용: $S_3$ 자동사상군을 갖는 모든 2 차 유리 사상은 $\mathbb{Q}$ 위에서 다음과 같은 형태 $\theta_{d,k}(z)$ 로 켤레 변환됩니다.
  $$\theta_{d,k}(z) = \frac{kz^2 - 2dz + dk}{z^2 - 2kz + d}$$
  여기서 $k, d \in \mathbb{Q}$, $d \neq 0$, $k^2 \neq d$입니다.
• 디나토믹 다항식 (Dynatomic Polynomials) 활용:
  • 주기 $n$인 점들을 찾기 위해 $n$-번째 디나토믹 다항식 $\Phi^*_{f,n}$을 계산합니다.
  • $\Phi^*_{f,n}(P) = 0$인 점 $P$는 형식적 주기 $n$을 가집니다.
• 대수 곡선 (Algebraic Curves) 분석:
  • 주기 $N$을 갖는 유리수 점 $(f, P)$의 존재는 특정 대수 곡선 위의 유리수 점 존재 문제로 환원됩니다.
  • 이 곡선들이 기하학적으로 기약 (geometrically irreducible) 이 아닌 경우, 이를 유한 개의 기약 성분으로 분해하고, 각 성분의 유리수 점이 유한 개의 다항식 방정식 체계의 교점인지 확인합니다.
  • Magma 및 Mathematica를 사용하여 고차 다항식의 기약성, 곡선의 기하학적 성질 (종수, 특이점), 그리고 유리수 점의 존재 여부를 계산적으로 검증했습니다.

3. 주요 결과 (Theorems)

A. 주기적 점 (Periodic Points) 의 분류

1. 주기 1, 2, 3 의 완전 분류:
   • 주기 1 (고정점): $k=0$인 경우 항상 0 이 고정점이며, $k \neq 0$인 경우 특정 파라미터 조건 하에 유리수 고정점이 존재합니다.
   • 주기 2: $d$가 $\mathbb{Q}$의 제곱수일 때만 존재하며, 두 점 $\pm \sqrt{d}$가 2-사이클을 이룹니다.
   • 주기 3: $k \neq 0$일 때, $-3d$가 $\mathbb{Q}$의 제곱수일 경우에만 존재합니다.
2. 주기 4, 5 의 부재 (Theorem 1.1, 4.1, 4.2):
   • 주기 4: $\theta_{d,k}$는 $\mathbb{Q}$-유리수 정확 주기 4 를 갖는 점을 가지지 않습니다. (관련 곡선 $C_4$의 유리수 점은 모두 특이점이며, 이는 유효한 사상을 주지 않음)
   • 주기 5: $\theta_{d,k}$는 $\mathbb{Q}$-유리수 정확 주기 5 를 갖는 점을 가지지 않습니다. (관련 곡선 $C_5$의 유리수 점 역시 특이점만 존재)
3. 주기 6 의 유한성 (Theorem 1.1, 4.3):
   • 주기 6 을 갖는 사상은 유한 개수만 존재합니다. 이는 관련 곡선 $C_6$의 일부 성분이 종수 433 의 매끄러운 곡선으로, 팔팅스 정리 (Faltings' Theorem) 에 의해 유리수 점이 유한하기 때문입니다.

B. 전주기적 점 (Preperiodic Points) 의 개수 제한

• 가정: Poonen 의 추측과 유사한 Conjecture 1.2를 가정합니다. 즉, $S_3$ 자동사상군을 갖는 사상은 정확 주기 3 보다 큰 유리수 주기적 점을 갖지 않는다는 것입니다.
• 주요 정리 (Theorem 1.3):
  • 만약 $f$가 정확 주기 6 이상을 갖지 않는다면 (즉, Conjecture 1.2 가 성립한다면), $f$의 $\mathbb{Q}$-유리수 전주기적 점의 개수는 최대 6 개입니다.
  • 이 경계 (6) 는 최적 (sharp) 임이 예시를 통해 보였습니다.

C. 서로 다른 사이클의 공존 불가능성

• Theorem 5.3:
  • 정확 주기 2 와 정확 주기 3 은 동시에 존재할 수 없습니다.
  • 정확 주기 2 와 고정점 (주기 1) 이 동시에 존재할 수 있는 경우는 특정 파라미터 조건 하에 가능하지만, 3 개의 고정점과 주기 2 는 공존할 수 없습니다.
  • 일반적으로 $m$개의 서로 다른 $m$-사이클 ($m=2, 3$) 을 동시에 가질 수 없습니다.

4. 구체적인 예시 및 그래프

논문은 Conjecture 1.2 가 성립한다고 가정할 때, 가능한 모든 전주기적 점의 방향 그래프 (directed graph) 구조를 나열했습니다.

• 예시 6.7: $(d, k)$의 특정 값에 대해 전주기적 점의 구조를 시각화했습니다.
  • 예를 들어, $k=0$인 경우 ($\theta_{d,0}$) 에는 고정점 0 과 2-사이클, 혹은 11-타입 전주기적 점 등이 나타납니다.
  • $k \neq 0$인 경우에도 다양한 파라미터 조합에 따라 최대 6 개의 전주기적 점을 갖는 구조들이 확인되었습니다.

5. 의의 및 결론

• 산술 역학의 발전: 2 차 다항식 (quadratic polynomials) 에 대한 Poonen 의 결과와 $C_2$ 자동사상군을 갖는 유리 사상에 대한 Manes 의 연구를 확장하여, **비가환 자동사상군 ($S_3$)**을 갖는 경우의 완전한 분류를 제시했습니다.
• 계산적 증명: 고차 디나토믹 다항식과 복잡한 대수 곡선의 유리수 점 분석을 위해 컴퓨터 대수 시스템 (Magma) 을 광범위하게 활용하여 엄밀한 증명을 수행했습니다.
• 유계성 확인: 이 연구는 유리수체 위에서 정의된 2 차 유리 사상의 전주기적 점 개수가 유계임을 강력하게 지지하며, 구체적인 상수 (최대 6) 를 제시함으로써 균일 유계성 추측에 대한 중요한 증거를 제공합니다.

요약하자면, 이 논문은 비가환 대칭성을 가진 2 차 유리 사상의 동역학적 행동을 완전히 규명하여, 유리수 주기적 점의 존재를 3 이하로 제한하고, 전주기적 점의 최대 개수를 6 으로 확정지은 획기적인 연구입니다.