[논문 리뷰] Finitely ramified iterated extensions

Wayne Aitken, Farshid Hajir외 1명|ArXiv.org|2004. 08. 12.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 8

한 줄 요약

이 논문은 유한하게 분할된 수체의 반복 확장을 후기적으로 유한한 다항식을 통한 반복 모노드로미 군의 전문화를 통해 유도할 수 있음을 증명한다. 이러한 확장이 전문화하더라도 여전히 유한하게 분할된다는 것을 보이며, 유한한 분할을 가진 갈루아 군을 유리 함수 위의 산술 동역학을 통해 연구할 수 있는 새로운 방법을 제공한다.

ABSTRACT

Let K be a number field, t a parameter, F=K(t) and f in K[x] a polynomial of degree d. The polynomial P_n(x,t)= f^n(x) - t in F[x] where f^n is the n-fold iterate of f, is absolutely irreducible over F; we compute a recursion for its discriminant. Let L=L(f) be the field obtained by adjoining to F all roots, in a fixed algebraic closure, of P_n for all n; its Galois group Gal(L/F) is the iterated monodromy group of f. The iterated extension L/F is finitely ramified if and only if f is post-critically finite (pcf). We show that, moreover, for pcf polynomials f, every specialization of L/F at t=t_0 in K is finitely ramified over K, pointing to the possibility of studying Galois groups with restricted ramification via tree representations associated to iterated monodromy groups of pcf polynomials. We discuss the wildness of ramification in some of these representations, describe prime decomposition in terms of certain finite graphs, and also give some examples of monogene number fields.

연구 동기 및 목표

• 유한한 분할을 가진 수체의 갈루아 군을 유리 함수 위의 산술 동역학을 통해 탐구한다.
• 후기적으로 유한한 다항식의 반복 모노드로미 군이 전문화될 경우 유한하게 분할된 확장을 유도할 수 있는지 조사한다.
• 이러한 구성이 수체의 무한한, 온화하게 분할된, 유한하게 분할된 확장을 생성할 수 있는지 결정한다.
• 유한한 그래프를 사용하여 이러한 표현에서 분할의 야수성과 소수 분해를 분석한다.
• 이러한 확장이 단일 생성자 수체를 유도하는지, 그리고 판별식의 渐近적 행동은 어떻게 되는지 조사한다.

제안 방법

• 수체 $K$ 위의 차수 $d$의 다항식 $\varphi$에 대해, $F = K(t)$ 위에서 반복 다항식 $\Phi_n(x,t) = \varphi^{\circ n}(x) - t$ 를 정의한다.
• 모든 $\Phi_n(x,t)$ 의 분할체의 합성체의 갈루아 군으로서 반복 모노드로미 군 $\text{Gal}(\mathscr{F}_\varphi/F)$ 을 구성한다.
• 분할을 제어할 수 있도록 $\Phi_n(x,t)$ 의 판별식을 재귀적 공식으로 계산한다.
• $t$ 를 $K$ 내의 $t_0$ 로 전문화하여 수체 확장 $K_{n,t_0}$ 를 얻고, 그들의 분할 행동을 연구한다.
• 다이나믹 시스템에 대한 $\mathbb{P}^1$ 상의 유한한 그래프를 활용하여 분할과 소수 분해를 모델링한다.
• $\Phi_n(x,t_0)$ 의 루트 판별식을 분석하여 渐近적 행동과 渐近적 우수성 잠재력을 평가한다.

실험 결과

연구 질문

• RQ1 후기적으로 유한한 다항식의 반복 모노드로미 군의 전문화를 통해 유한하게 분할된 수체의 반복 확장을 구성할 수 있는가?
• RQ2 이러한 다이나믹 시스템을 통해 무한한, 온화하게 분할된, 유한하게 분할된 수체 확장을 구성할 수 있는가?
• RQ3 만약 $\varphi$ 가 후기적으로 유한하다면, 전문화된 확장 $K_{n,t_0}$ 는 항상 고정된 유한 집합 $S$ 이외의 곳에서 분할되지 않는가?
• RQ4 $n \to \infty$ 일 때 $\Phi_n(x,t_0)$ 의 루트 판별식은 어떻게 행동하는가? 특히 $\varphi$ 가 소수 $p$ 에서 양호한 환원을 가지며 $p \mid \deg \varphi$ 라면 어떻게 되는가?
• RQ5 이러한 구성이 단일 생성자 수체를 유도할 수 있으며, 루트를 통해 생성된 순서에서 정수환의 지표는 어떻게 되는가?

주요 결과

• 반복 확장 $\mathscr{F}_\varphi/F$ 는 다항식 $\varphi$ 가 후기적으로 유한할 때이고 그때에만 유한하게 분할된다.
• 후기적으로 유한한 $\varphi$ 에 대해, 모든 전문화 $t \mapsto t_0 \in K$ 는 유한하게 분할된 확장 $K_{n,t_0}/K$ 를 유도한다.
• $\Phi_n(x,t)$ 의 $F$ 위에서의 판별식은 재귀적 계산이 가능하여 분할을 명시적으로 제어할 수 있다.
• 만약 $\varphi$ 가 후기적으로 유한하고, 소수 $p$ 로 나누어지며, $p$ 에서 양호한 환원을 가진다면, $\Phi_n(x,t_0)$ 의 $p$-부분 루트 판별식은 $n$ 이 증가함에 따라 무한히 커진다.
• 이 구성은 $\Phi_n(x,t_0)$ 의 전문화를 통해 단일 생성자 수체의 예를 제공한다.
• 만약 $\varphi$ 가 소수 $p$ 에서 양호한 환원을 가지며 $p \mid \deg \varphi$ 라면, $\Phi_n(x,t_0)$ 의 루트 판별식은 渐近적으로 악화되며, 이는 이러한 확장이 유계된 루트 판별식을 갖는다는 의미에서 渐近적으로 우수하지 않음을 시사한다.