A family of level-transitive groups with positive fixed-point proportion and positive Hausdorff dimension

무한히 펼쳐진 거대한 숲을 상상해 보십시오. 이 숲의 모든 나뭇가지는 영원히 똑같은 수의 작은 가지로 갈라집니다. 수학의 세계에서 이것은 '정규 트리(regular tree)'라고 불립니다. 그리고 이곳에 사는 생명체들은 '자기동형사상(automorphisms)'이라는 그룹입니다. 이들은 나무의 구조를 결코 깨뜨리지 않으면서 가지들을 재배치할 수 있는 마법 같은 무용수들과 같습니다. 수학자들은 이 무용수들을 연구하는 것을 매우 좋아하는데, 그들의 움직임 속에 숫자와 방정식에 관한 깊은 비밀이 숨겨져 있는 경우가 많기 때문입니다. 이 숲의 가장 큰 수수께끼 중 하나는, 얼마나 많은 무용수가 움직임을 멈추느냐 하는 것입니다. 구체적으로, 수학자들은 다음과 같이 묻습니다. 만약 당신이 무작위로 한 명의 무용수를 뽑는다면, 그들이 적어도 하나의 무한한 경로 위에서 멈춰 서 있을 확률은 얼마인가? 이 확률을 '고정점 비율(fixed-point proportion)'이라고 부릅니다. 오랫동안 많은 전문가들은 흥미로운 대부분의 그룹에 대해 이 확률은 0이라고 믿었습니다. 즉, 거의 아무도 멈추지 않는다는 뜻입니다. 물론 몇몇 드문 예외는 존재했지만, 그것들은 너무나 복잡해서 아무도 정확한 확률을 계산해내지 못했습니다.

산티아고 라디(Santiago Radi)가 작성한 이 논문은 이러한 수학적 무용수들의 가문을 만들어내는 새롭고 영리한 방법을 소개하며, 처음으로 얼마나 많은 이들이 움직임을 멈추는지 계산해 냅니다. 저자는 단순히 몇 가지 새로운 예시를 찾는 데 그치지 않고, 이들을 위한 전체 공장을 건설합니다. '반복된 wreath 곱(iterated wreath products)'(층층이 쌓인 셔플 규칙을 만드는 세련된 방식)이라는 특정 레시피를 사용하여, 라디는 레벨 전이적(level-transitive, 트리의 어떤 부분에도 도달할 수 있는)이면서도 '양의 하우스도르프 차원(positive Hausdorff dimension, 숲의 상당 부분을 채울 만큼 크고 복잡함)'을 가진 그룹들을 구축합니다. 더욱 놀라운 점은, 이 그룹들이 멈춰 설 확률이 반드시 0보다 크다는 것을 보장한다는 것입니다. 게다가 이 논문은 이렇게 만들어진 모든 그룹에 대해 그 정확한 확률을 계산할 수 있는 명확한 공식을 제공합니다. 이는 그러한 그룹들이 존재할 수 없다고 믿었던 오랜 추측을 해결하는 큰 성과이며, 다항 방정식 연구에서 나타나는 구조들을 포함하여, 이러한 복잡한 구조들의 '정지 능력(stopping power)'을 측정할 수 있는 정밀한 도구를 수학자들에게 제공합니다.

무한한 트리의 춤

모든 가지가 $d$개의 새로운 가지로 영원히 갈라지는 무한한 트리를 상상해 보십시오. 이제 이 가지들을 재배치할 수 있는 무용수들의 그룹을 상상해 보십시오. 이들은 엄격한 규칙을 따라야 합니다. 만약 그들이 한 가지를 움직인다면, 그 가지에 붙어 있는 전체 서브트리(subtree)도 일관된 방식으로 함께 움직여야 합니다. 수학자들은 이 무용수들을 '자기동형사상'이라 부르며, 이들이 형성하는 그룹을 '트리 위에서 작용하는 그룹(group acting on a tree)'이라고 합니다.

이 논문이 다루는 핵심 질문은 이것입니다: 이 무용수들 중 얼마나 많은 이가 움직임을 멈추는가?

이를 이해하기 위해, 트리의 바닥에서 꼭대기까지 올라가는 특정한 경로(무한 경로)를 그려보십시오. 무용수가 어떤 경로를 '고정(fix)'한다는 것은, 그 무용수가 셔플을 마친 후에도 그 특정 경로가 이전과 똑같이 유지됨을 의미합니다. '고정점 비율'은 그룹 내의 무용수 중 적어도 하나의 무한 경로를 고정하는 무용수의 백분율을 말합니다.

수십 년 동안 수학자들은 흥러로운 대부분의 그룹에 대해 이 비율이 0이라고 생각했습니다. 그것은 마치 거대하고 혼란스러운 댄스 파티에서 아무도 멈춰 서지 않는다고 믿는 것과 같았습니다. 몇몇 알려진 예외가 있었지만, 그것들은 매우 희귀했고 정확한 비율을 계산하는 것은 거의 불가능했습니다. 이러한 예외 중 일부는 '반복된 갈루아 군(iterated Galois groups)'과 관련이 있는데, 이는 다항 방정식(예: $x^d + 1 = 0$)의 해를 반복해서 구할 때 나타나는 그룹입니다.

무용수들을 위한 새로운 공장

산티아고 라디의 논문은 두 가지 주요 성과를 냅니다. 첫째, 이 거대한 클래스의 그룹들에 대한 고정점 비율을 계산하는 일반적인 방법을 구축합니다. 둘째, 이 방법을 사용하여 '레벨 전이적'이고 '양의 하우스도르프 차원'을 가지며, 무엇보다도 양(+)의 고정점 비율을 갖는 완전히 새로운 그룹의 가문을 만들어냅니다.

저자는 춤의 규칙 역할을 하는 두 개의 부분군 $Q$와 $P$를 이용한 레시피를 통해 이 그룹들을 구축합니다. 이 그룹들은 $G^P_Q$로 표기됩니다. 논문은 만약 이 규칙들을 올바르게 선택한다면, 결과적으로 만들어지는 그룹에는 반드시 움직임을 멈추는 무용수들이 존재함을 증명합니다.

마법의 공식

이 논문의 첫 번째 주요 돌파구는 '반복된 wreath 곱'에 대한 고정점 비율을 계산하는 공식입니다. wreath 곱을 층층이 쌓인 레이어라고 생각해 보십시오. 맨 아래 층에는 허용된 움직임의 집합(치환)이 있습니다. 그다음 층에서는 그 동일한 움직임을 모든 가지에 적용하며, 이런 식으로 계속됩니다.

라디는 허용된 움직임의 집합 $S$를 기반으로 특별한 다항식 $f_S(x)$를 정의합니다. 이때 고정점 비율은 방정식 $f_S(x) = x$를 만족하는 0과 1 사이의 가장 큰 수입니다.

• 만약 $S$의 움직임이 매우 혼란스럽다면(transitive), 답은 0입니다.
• 만약 움직임이 매우 제한적이라면(모든 움직임이 적어도 한 곳을 고정한다면), 답은 1입니다.
• 만 만약 움직임이 그 중간 단계라면, 답은 0과 1 사이의 특정한 수이며, 이는 정확하게 계산될 수 있습니다.

이는 기존 연구들에 비해 엄청난 발전입니다. 이전에는 이러한 계산이 불가능하거나 단지 0이라는 것만 알려져 있었기 때문입니다.

새로운 그룹의 가문

이 공식을 사용하여, 라디는 $d$개의 가지($d \ge 3$ 이고 $d \equiv 2 \pmod 4$ 가 아닌 경우)를 가진 트리에서 작용하는 특정한 그룹 $G^P_Q$를 구축합니다. 이 그룹들은 다음과 같은 특징을 갖습니다:

1. 자기 유사성(Self-similar): 트리의 깊이와 상관없이 구조가 동일하게 보입니다.
2. 레벨 전이성(Level-transitive): 트리의 어떤 레벨에 있는 가지라도 다른 가지로 이동시킬 수 있습니다.
3. 거대함(Large): 양의 하우스도르프 차원을 가지며, 수학적 의미에서 '큽니다'.
4. 정지성(Stopping): 양의 고정점 비율을 가집니다.

논문은 두 가지 구체적인 예시를 통해 이 비율을 명시적으로 계산합니다.

예시 1: 모듈러 댄스 (The Modular Dance)
저자는 정수 modulo $d$를 기반으로 한 그룹을 구축합니다. 고정점 비율은 다음과 같습니다:
$$\frac{\#\{a \in (\mathbb{Z}/d\mathbb{Z})^\times : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$$
이는 $d$의 소인수들을 포함하는 곱으로 단순화됩니다:
$$\prod_{p|d} \frac{p-2}{p-1}$$
이 공식은 $d$가 홀수일 때 완벽하게 작동합니다. 만약 $d$가 짝수라면 비율은 0입니다.

예시 2: 다항식과의 연결 (The Polynomial Connection)
가장 흥미로운 부분은 이 구축법이 단순히 추상적인 수학에 머물지 않는다는 점입니다. 논문은 이 중 하나의 그룹이 다항식 $f(x) = x^d + 1$의 '반복된 갈루아 군'임을 보여줍니다.
이는 다항식 $x^d + 1$의 무한한 근의 대칭성을 가진 그룹의 고정점 비율을 계산할 수 있음을 의미합니다. 논문은 $d \ge 3$ (그리고 $d \not\equiv 2 \pmod 4$)인 경우, 이 비율이 다음과 같음을 증명합니다:
$$\prod_{p|d} \frac{p-2}{p-1}$$
이것은 이전에는 미스터리였던 것을 이제는 수학자들이 사용할 수 있는 구체적이고 명시적인 숫자로 만들어준 결과입니다.

"불가능한" 경우들은 어떻게 되었나?

이 논문은 $d \equiv 2 \pmod 4$ (예: $d=2, 6, 10, \dots$)인 특수한 경우도 다룹니다. 저자는 이 값들에 대해 그룹을 구축하려고 시도했으나 '차단(blockage)'을 발견했습니다. 컴퓨터 소프트웨어(GAP)를 사용하여 $d$가 30이 될 때까지의 모든 전이적 그룹을 조사한 결과, 양의 고정점 비율을 충족하는 그룹을 찾을 수 없었습니다. 이는 이러한 특정 숫자들에 대해서는 그러한 그룹이 존재하지 않거나, 적어도 저자가 구축한 방식으로는 존재할 수 없음을 강력히 시사합니다. 이 논문이 그들이 존재하지 않는다는 것을 증명한 것은 아니지만, 장애물이 존재함을 강력하게 암시합니다.

결론

이 논문은 많은 수학자가 풀 수 없다고 생각했던 퍼즐, 즉 양의 확률로 움직임을 멈추는 크고 복잡한 트리 무용수 그룹을 찾아내고 그 확률을 실제로 계산하는 문제를 해결했습니다. 이 논문은 이러한 값들을 위한 명확하고 명시적인 공식을 제공함으로써, 모호한 개념을 정밀한 도구로 바꾸어 놓았습니다. 또한 이 추상적인 군론을 다항 방정식 연구와 직접 연결하여, $x^d + 1$의 대칭성이 측정 가능한 '정지 능력'을 가지고 있음을 보여주었습니다.

저자는 새로운 질문을 던지며 끝을 맺습니다: 우리가 원하는 어떤 고정점 비율이라도 가질 수 있는 그룹을 찾을 수 있을까? 만약 우리가 무용수를 무작위로 뽑는다면 어떤 일이 벌어질까? 하지만 현재로서는 주요한 업적이 명확합니다: 우리는 이제 이 특별한 그룹들을 위한 공장을 갖게 되었으며, 그들 중 정확히 몇 명의 무용수가 춤을 멈추는지 알게 되었습니다.