Branch iterated Galois groups with positive fixed-point proportion and positive Hausdorff dimension

기술 요약: 양의 고정점 비율과 양의 하우스도르프 차원을 갖는 분지 반복 갈로아 군

문제 정의
본 논문은 Jones(2008)가 제기한, 수론적 동역학 및 루트 트리(rooted tree) 상에서 작용하는 군의 이론에서의 특정 질문을 다룬다. 핵심 문제는 $d$-정규 루트 트리 $\text{Aut}(T)$의 레벨 전이 부분군(level-transitive subgroups)의 **하우스도르프 차원(Hausdorff dimension)**과 고정점 비율(fixed-point proportion, FPP) 사이의 관계에 관한 것이다.

Jones는 만약 레벨 전이 군 $G \leq \text{Aut}(T)$가 양의 하우스도르프 차원($H(G) > 0$)을 갖는다면, 그 고정점 비율은 반드시 0($FPP(G) = 0$)이어야 한다고 추측했다. 그러나 Boston(2008)이 이진 트리($d=2$)에 대해 이 추측에 대한 반례를 제시했음에도 불구하고, $d > 2$인 트리에 대한 사례나 반복 갈로아 군(산술적 반복 모노드로미 군)으로부터 기원하는 사례는 알려져 있지 않았다. 본 논문은 정규 분지 군(regular branch groups)이 양의 하우스도르프 차원과 양의 고정점 비율을 동시에 가질 수 있는지 여부를 구체적으로 조사한다.

방법론
저자는 군론적 구성과 산술 동역학 분석의 결합을 활용한다:

1. 반복 wreath 곱의 일반화: 본 논문은 반복 wreath 곱 $W_S$의 정의를 임의의 부분 집합 $S \subseteq \text{Sym}(d)$로 확장한다. 저자는 이 집합들의 고정점 비율에 대한 재귀 관계를 확립하고, 특성 다항식 $f_S(x)$를 유도한다. FPP는 $[0, 1]$ 범위 내에서 이 다항식의 가장 큰 고정점으로 나타남을 보인다.
2. 정규 분지 군($G^P_Q$)의 구성: 부분군 $Q \triangleleft P \leq \text{Sym}(d)$에 대하여 $G^P_Q$로 명명된 새로운 군의 가족을 구성한다. 이 군들은 임의의 정점의 자식들에 대한 작용이 $P/Q$의 동일한 잉여류(coset)에 속하는 자기동형사상들로 구성된다. 저자는 $Q$가 전이적(transitive)이면 이 군들이 정규 분지 군(따라서 양의 하우스도르프 차원을 가짐)임을 증명한다.
3. FPP의 명시적 계산: 특성 다항식 방법을 사용하여, 저자는 $G^P_Q$의 FPP를 $P/Q$의 잉여류들과 연관된 반복 wreath 곱들의 평균으로 나타내는 명시적인 공식을 유도한다.
4. 산술적 실현: 구성된 군들을 단일 임계 다항식 $f(x) = x^d + c$의 반복 갈로아 군과 연결한다. 초월적 원소 $t$의 전이미지(preimage)에 대한 갈로아 작용을 분석함으로써, 특정 $K$와 $c$의 선택에 대해 산술적 반복 갈로아 군 $G_\infty(K, x^d+c, t)$가 구성된 군 $G^P_Q$와 동형임을 입증한다.

주요 기여 및 결과

• 정리 1 (주요 결과): 체 $K$ (여기서 $\text{char}(K) \nmid d$) 위에서 포스트-크리티컬 무한(post-critically infinite) 단일 임계 다항식 $f(x) = x^d + c$에 대하여, 산술적 반복 갈로아 군 $G_\infty(K, x^d+c, t)$는 정규 분지 군이다.

  • 그 하우스도르프 차원은 $H(G) = \frac{\log(d)}{\log(d!)}$로 명시적으로 계산된다.
  • 그 고정점 비율은 다음과 같이 주어진다:
    $$FPP(G) = \frac{\#\{a \in I : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$$
    여기서 $I$는 $(\mathbb{Z}/d\mathbb{Z})^\times$ 내의 갈로아 군 $\text{Gal}(K(\xi)/K)$의 상(image)이다.
  • 결정적 발견: 만약 $K = \mathbb{Q}$이고 $d$가 홀수라면, 고정점 비율은 양수이다. 구체적으로 $FPP = \prod_{p|d} \frac{p-2}{p-1}$이다. 이는 레벨 전이 군이 양의 하우스도르프 차원과 양의 FPP를 동시에 갖는 이진 트리 외부의 첫 번째 사례를 제공한다.

• 정리 2 (일반적 가족): 본 논문은 $d = 2^n r$ ($r$은 홀수)이고 $Q = C_2^n \times C_r$인 경우의 정규 분지 군들을 구성한다. 이 군들 또한 양의 하우스도르프 차원을 보이며, $d \not\equiv 2 \pmod 4$인 경우 양의 고정점 비율을 나타낸다.

• 정리 3 (반복 wreath 곱의 고정점 비율): 본 논문은 임의의 반복 wreath 곱 $W_S$ (여기서 $S \subseteq \text{Sym}(d)$)의 FPP를 계산하는 일반적인 알고리즘을 제공한다. 저자는 FPP가 차수가 최대 $d-1$인 다항식 $f_S(x)$의 가장 큰 고정점임을 증명한다. 또한 $S$에 속한 원소들의 전이성과 고정점 성질에 따라 FPP가 0, 1, 또는 0과 1 사이의 값인지 여부를 규명한다.

• 추측의 해결: 본 논문은 정규 분지 반복 갈로아 군의 클래스에 대해 Jones의 질문 1.1에 대해 부정적인 답변을 내놓는다. 즉, "양의 하우스도르프 차원이 양의 고정점 비율을 함의한다"는 조건은 $d$가 홀수인 경우 이러한 군들에 대해 성립하지 않음을 보여준다.

의의
본 논문은 이진 루트 트리($d=2$) 외에서 레벨 전이 군이 양의 하우스도르프 차원과 양의 고정점 비율을 동시에 갖는 첫 번째 사례를 제공한다고 주장한다. 이는 반복 갈로아 군의 맥락에서 "큰" 군들에 대해 두 성질이 상호 배타적이라는 추측을 직접적으로 반박한다.

나아가, 본 연구는 추상적 군론(정규 분지 군)과 산술 동역학(반복 갈로아 군) 사이의 간극을 메운다. 이러한 산술적 군들의 FPP를 명시적으로 계산함으로써, 본 논문은 수론에서 고정점 비율의 주요 응용 분야인 동역학적 수열의 항을 나누는 소수들의 디리클레 밀도(Dirichlet density)를 이해하기 위한 새로운 도구를 제공한다. $G^P_Q$ 군의 구성과 특성 다항식 $f_S(x)$의 유도는, 이전 연구들이 특정 사례나 부분군으로 제한되었던 것을 넘어, 트리에 작용하는 군의 고정점 비율을 분석하기 위한 체계적인 프레임워크를 제공한다.

저자는 이진 트리 케이스($d=2$)가 이전에 Boston에 의해 다루어졌으나, $d \geq 3$인 홀수 차수의 경우 이전 문헌에서 상당한 장애물이 있었으며, 본 논문이 단일 임계 다항식의 특수한 구조와 원분체(cyclotomic fields)의 산술을 활용하여 이를 극복했다고 밝히고 있다.