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

あなたは、都市ではなく、数と図形の隠された世界で起こる謎を解こうとしている探偵だと想像してください。この領域は、単純なルールがどのように数に何度も繰り返し変化を与えるかを観察する数学の一分野、**算術力学（arithmetic dynamics）です。「ある数を取り、それを2乗して1を足す」というルールを考えてみましょう。もし5から始めれば、26になり、次に677になり、次には巨大な数へと続いていきます。これは反復（iteration）**と呼ばれます。

ここで、特定の数の「先祖」をすべて探そうとしていると想像してください。「私のルールを適用したとき、5を与える数は何ですか？」と尋ねれば、2つの答えが見つかるかもしれません。それらの答えの先祖を尋ねれば、さらに多くの答えが見つかります。このように時間を遡り続けることで、巨大で枝分かれした家系図が出来上がります。数学では、これを**前像の木（tree of preimages）**と呼びます。

この論文が扱う大きな謎は、これらの木の**対称性（symmetry）**についてです。それぞれの木には、その構造を壊すことなく枝を入れ替える方法があります。これらの入れ替えは「群（group）」と呼ばれるものを形成します。これは、対称性の数学的なクラブのようなものです。数学者たちが数十年にわたって問い続けてきたのは、「このクラブはどれほど大きく、複雑なのか？」ということです。それは小さく単純なクラブなのか、それとも、ほぼあらゆることを成し遂げることができる、巨大で混沌とした組織なのか？ これが重要なのは、この対称性のクラブの大きさや形が、素数の分布や、異なる数体系においてパターンがどの程度繰り返されるかという深い秘密を教えてくれるからです。

---

大いなる自己複製の謎

この論文において、著者であるサンティアゴ・ラディ（Santiago Radi）は、これらの対称性のクラブが正確にどのように振る舞うのかを解明するために、この謎の核心へと飛び込みます。彼は、**「仮想的混合（virtually mixing）」**という、新しく非常に強力な概念を導入しています。

「混合（mixing）」を理解するために、巨大で多層構造になったケーキ（木）を想像してみてください。「混合」する群とは、ケーキの最上部から小さな一切れを取り出し、それを完璧にコピーして、どれほど深い層であっても、ケーキのあらゆる層に貼り付けることができるパン屋のようなものです。もしある群が「混合」しているならば、それは完全なコントロール権を持っていることを意味します。それは自分自身をいたるところに複製することができ、木の対称性を信じられないほど豊かで複雑なものにします。

しかし、ラディは、すべての群が完璧なパン屋になれるわけではないことを発見しました。一部の群は、すぐに自分自身をあらゆる場所にコピーすることはできません。しかし、ここが面白いところなのですが、たとえすぐに完璧にコピーできなくても、それらは**「仮想的に混合（virtually mixing）」**していることを彼は証明しました。これは、もし少しだけ「待ち時間（遅延）」を設ければ、彼らは自分たちの巨大で重要な断片（有限指数の部分群）を、木のどの層にもコピーできることを意味します。それは、即座にケーキ全体をコピーすることはできないものの、数分間の準備時間を経れば、建物のどのフロアにも、自分たちの巨大で美味しい塊を完璧に複製できるパン屋のようなものです。

「例外的な」犯人たち

この論文は、木を生成するために使用される2種類の数学的関数（ルール）の間に、明確な境界線を引いています。

1. 「通常の」関数： ほとんどのルールは、混沌としたパン屋のようです。これらは、対称性の群が「仮想的に混合」している木を作り出します。これは、その群が巨大で複雑であり、ほぼあらゆることを成し遂げられることを意味します。
2. 「例外的な」関数： 円や正方形に関連する特定の多項式のような、ごく一部の特別なルールが存在します。これらは「動的プルバック（dynamical pullbacks）」です。これらは、より単純な基礎構造（例えば曲線）から導かれるルールです。これらの特別なルールの場合、対称性の群は完全に混沌としているわけではありません。それは、自身が同じような方法で「混合」することを妨げる、硬直した構造を持っています。

ラディは驚くべき事実を証明しました。もしあなたのルールが、これらの特別な「例外的な」ものでなければ、その対称性の群は「仮想的に混合」している。 つまり、ほとんどすべてのルールにおいて、結果として得られる対称性のクラブは巨大で複雑なのです。クラブが小さかったり単純であったりするのは、そのルールがその下に、密かに、より単純な幾材的な形状を隠している場合に限られます。

「ゼロ」の驚き：なぜパターンは消えるのか

次に、この発見を用いて、彼は**不動点（fixed points）**に関する古いパズルを解決します。「不動点」とは、ルールを適用しても変化しない数のことです（例えば、$x^2 = x$ であれば、$x$ は不動点です）。数学者たちは、「これらの木を見たとき、あらゆるレベルにおいて留まり続ける要素をどのくらいの頻度で見つけることができるのか？」という疑問を抱いてきました。

「仮想的混合」の概念を用いることで、ラディは、すべての「通常の」ルール（例外的なものではないルール）において、その答えはゼロであることを証明しました。

人々が絶えず入れ替わり、変化している群衆の中で、特定の人物を探していると想像してください。もし群衆が「混合（混沌としていて自己複製的な状態）」していれば、誰かが永遠に全く同じ場所に留まり続ける確率はゼロになります。ラディは、ルールがそれらの特別な「例外的な」ものでない限り、これら「留まり続ける」要素の割合は正確にゼロであることを示しました。

なぜこれが重要なのか？

これは単なる抽象的な木の理論ではありません。この結果は、素数の理解における現実世界への影響を持っています。

• 素数の密度： この論文は、もし「通常の」ルールによって生成される数の数列を取るならば、ある素数がそれらの一つを割り切る確率は、極めて低い（具体的には、密度はゼロである）ことを示しています。それは、無限の面を持つサイコロを振るようなもので、特定の素数に当たる確率は限りなくゼロに近いのです。
• 周期点： また、これらを異なる「世界（有限体）」で見たときに、パターンがどの程度繰り返されるかについても教えてくれます。通常のルールの場合、世界が大きくなるにつれて、繰り返されるパターンの割合はゼロに減少します。

結論

サンティアゴ・ラディは単に推測したのではなく、群論、確率論、そして複素幾何学を組み合わせて、これらを証明しました。彼は、これらの数学的な木の宇宙は、ほとんどが混沌としており、自己複製的なもの（仮想的に混合しているもの）であり、硬直していて単純なものはごく稀な特別なケースのみであることを示しました。

この論文は、数学界の長年の信念を裏付けています。もしルールがその下に単純な幾何学的形状を隠していないのであれば、その対称性の群は巨大であり、「留まり続ける」要素を見つける確率はゼロである。 これは、1985年から数学者を悩ませてきた主要な未解決問題を解決し、漠然とした疑念を確固たる数学的事実へと変えたのです。