The inverse Galois problem of iterated Galois groups and their fixed-point proportion

당신이 도시가 아닌, 숫자와 도형의 숨겨진 세계에서 사건을 해결하려는 탐정이라고 상상해 보십시오. 이 영역은 **산술 역학(arithmetic dynamics)**이라는 수학의 한 분야로, 단순한 규칙이 숫자를 반복해서 어떻게 변화시키는지 관찰하는 곳입니다. 예를 들어 "숫자를 가져와서, 제곱하고, 1을 더하라"는 규칙을 생각해 봅시다. 만약 5에서 시작한다면, 26이 되고, 그다음은 677이 되며, 그다음은 거대한 숫자가 되는 식입니다. 이것을 **반복(iteration)**이라고 부릅니다.

이제, 당신이 특정 숫자의 모든 "조상"을 찾으려고 한다고 상상해 보십시오. 만약 당신이 "어떤 숫자를 내 규칙에 적용했을 때 5가 나오는가?"라고 묻는다면, 두 개의 답을 찾을 수도 있습니다. 그 답들의 조상을 다시 묻는다면, 훨씬 더 많은 답을 찾게 될 것입니다. 계속해서 시간을 거슬러 올라가면, 거대하고 가지가 뻗어 나가는 가계도를 만들게 됩니다. 수학에서는 이를 **전사 이미지 트리(tree of preimages)**라고 부릅니다.

이 논문이 다루는 거대한 미스터리는 이 트리들의 **대칭성(symmetry)**에 관한 것입니다. 매번 트리가 생길 때마다, 구조를 깨뜨리지 않으면서 그 가지들을 재배열할 수 있는 방법들이 존재합니다. 이러한 재배열은 하나의 '군(group)', 즉 대칭성을 가진 수학적 클럽을 형성합니다. 수학자들이 수십 년 동안 던져온 질문은 이것입니다: "이 클럽은 얼마나 크고 복잡한가?" 이 클럽은 작고 단순한 모임일까요, 아니면 거의 무엇이든 할 수 있는 거대하고 혼란스러운 조직일까요? 이 질문이 중요한 이유는 이 대칭성 클럽의 크기와 모양이 소수의 분포와 서로 다른 수 체계에서 패턴이 얼마나 자주 반복되는지에 대한 깊은 비밀을 알려주기 때문입니다.

---

거대한 자기 복제 미스터리

이 논문에서 저자인 산티아고 라디(Santiago Radi)는 이 미스터리의 핵심으로 뛰어들어 이 대칭성 클럽들이 정확히 어떻게 행동하는지 밝혀냅니다. 그는 **"버추얼리 믹싱(virtually mixing, 실질적 혼합)"**이라는 새롭고 매우 강력한 개념을 도입합니다.

"혼합(mixing)"을 이해하기 위해, 당신이 거대하고 여러 층으로 된 케이크(트리)를 가지고 있다고 상상해 보십시오. "혼합"하는 군은 케이크의 맨 윗부분에서 아주 작은 조각을 가져와 완벽하게 복사한 뒤, 아래로 아무리 깊이 내려가더라도 케이크의 어느 층에나 붙여넣을 수 있는 제빵사와 같습니다. 만약 어떤 군이 혼합(mixing)된다면, 그것은 그 군이 완전한 통제력을 가졌음을 의미합니다. 즉, 스스로를 어디에나 복제할 수 있어 트리의 대칭성을 믿을 수 없을 정도로 풍부하고 복잡하게 만듭니다.

하지만 라디는 모든 군이 완벽한 제빵사는 아니라는 사실을 발견했습니다. 어떤 군들은 자신을 모든 곳에 즉시 복사할 수 없습니다. 하지만 흥미로운 점은, 설령 즉시 완벽하게 복사하지 못하더라도, 그들은 **"버추얼리 믹싱(virtually mixing)"**하다는 것입니다. 이는 약간의 "지연(delay)"만 있다면, 그들이 자신들의 거대하고 중요한 부분(유한 지수를 가진 부분군)을 트리의 어떤 층에도 복제할 수 있음을 의미합니다. 이는 마치 전체 케이크를 즉시 복사할 수는 없지만, 몇 분간의 준비 시간을 거치면 건물의 어느 층에서든 자신들의 거대하고 맛있는 덩어리를 완벽하게 복제해낼 수 있는 제빵사와 같습니다.

"예외적인" 범인들

이 논문은 두 종류의 수학적 함수(트리를 생성하는 데 사용하는 규칙) 사이에 명확한 선을 긋습니다.

1. "일반적인" 함수들: 대부분의 규칙은 혼란스러운 제빵사와 같습니다. 이들은 대칭 군이 "버추얼리 믹싱"되는 트리를 만들어냅니다. 이는 그 군이 거대하고 복잡하며, 거의 무엇이든 할 수 있다는 것을 의미합니다.
2. "예외적인" 함수들: 원이나 사각형과 관련된 특정한 다항식처럼, 더 단순한 기저 구조(곡선 등)로부터 유래한 특수한 규칙들이 존재합니다. 이 "예외적인" 규칙들의 경우, 대칭 군은 완전히 혼란스럽지 않습니다. 이들은 동일한 방식으로 "혼합"되는 것을 방해하는 경직된 구조를 가지고 있습니다.

라디는 놀라운 사실을 증명합니다: 만약 당신의 규칙이 이러한 특수한 "예외적인" 것들이 아니라면, 그 대칭 군은 "버추얼리 믹싱"됩니다. 즉, 당신이 고르는 거의 모든 규칙에 대해, 결과로 나타나는 대칭 클럽은 거대하고 복잡합니다. 클럽이 작거나 단순해지는 유일한 때는 그 규칙이 밑바탕에 비밀리에 더 단순한 기하학적 형상을 숨기고 있을 때뿐입니다.

"제로(0)"의 놀라움: 왜 패턴이 사라지는가

그 후, 논문은 이 발견을 사용하여 **고정점(fixed points)**에 관한 오래된 퍼즐을 해결합니다. "고정점"이란 규칙을 적용해도 변하지 않는 숫자입니다 (예: $x^2 = x$라면, $x$는 고정점입니다). 수학자들은 알고 싶어 했습니다: "우리가 이 트리들을 살펴볼 때, 모든 단계에서 그대로 머물러 있는 요소들을 얼마나 자주 발견하게 될까?"

"버추얼리 믹싱" 개념을 사용하여, 라디는 모든 "일반적인" 규칙(예외적이지 않은 규칙들)에 대해 그 답이 **제로(0)**임을 증명합니다.

당신이 끊임없이 섞이고 변화하는 군중 속에서 특정 인물을 찾고 있다고 상상해 보십시오. 만약 군중이 "혼합(mixing)" 상태라면(즉, 혼란스럽고 자기 복제적이라면), 누군가가 영원히 정확히 같은 자리에 머물러 있을 확률은 제로입니다. 라디는 저 예외적인 규칙들을 제외한 모든 일반적인 규칙에 대해, 이러한 "머물러 있는" 요소들의 비율이 정확히 제로임을 보여줍니다.

왜 관심을 가져야 하는가?

이것은 단지 추상적인 트리에 관한 이야기가 아닙니다. 이 결과는 **소수(prime numbers)**를 이해하는 방식에 실질적인 영향을 미칩니다.

• 소수의 밀도: 이 논문은 만약 "일반적인" 규칙에 의해 생성된 숫자 수열을 취한다면, 그중 하나를 나누는 소수가 존재할 확률이 매우 낮다는 것(구체적으로 밀도가 제로라는 것)을 보여줍니다. 이는 무한한 면을 가진 주사위를 던지는 것과 같아서, 특정 소수에 착륙할 확률은 사라질 정도로 작습니다.
• 주기적 점(Periodic Points): 또한, 우리가 이 숫자들을 서로 다른 "세계들(유한체)"에서 바라볼 때 패턴이 얼마나 자주 반복되는지에 대해서도 알려줍니다. 일반적인 규칙의 경우, 세계가 커질수록 반복되는 패턴의 비율은 제로로 떨어집니다.

결론

산티아고 라디는 단순히 추측한 것이 아니라, 군론, 확률론, 그리고 복잡 기하학을 결래하여 이 모든 것을 증명했습니다. 그는 이 수학적 트리들의 우주가 대부분 혼란스럽고 자기 복제적("버추얼리 믹싱")이며, 오직 몇몇 드물고 특별한 경우만이 경직되고 단순하다는 것을 보여주었습니다.

이 논문은 수학계의 오랜 믿음을 확인시켜 줍니다: 만약 어떤 규칙이 밑바탕에 단순한 기하학적 형상을 숨기고 있지 않다면, 그 대칭 군은 거대하며, "머물러 있는" 요소를 발견할 확률은 제로입니다. 이는 1985년부터 수학자들을 괴롭혀온 주요 미결 문제를 해결하며, 막연한 의구심을 견고한 수학적 사실로 바꾸어 놓았습니다.