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

無限に広がる森を想像してみてください。そこでは、あらゆる木の枝が、永遠に、全く同じ数の小さな枝へと分かれていきます。数学の世界では、これは「正則木（regular tree）」と呼ばれます。そこには「自己同型写像（automorphisms）」という名の生き物たちが住んでいます。彼らは、木の構造を壊すことなく枝を入れ替えることができる、魔法のダンサーのような存在です。数学者たちは、これらのダンサーを研究することを好みます。なぜなら、彼らの動きはしばしば数や方程式に関する深い秘密を隠しているからです。この森における最大のパズルの一つは、これら何組ものダンサーのうち、一体どれほどが動きを止めるのかを知ることです。具体的には、ランダムにダンサーを選んだとき、彼らが無限へと続く少なくとも一つの経路において静止する確率はどのくらいでしょうか？この確率は「不動点割合（fixed-point proportion）」と呼ばれます。長い間、多くの専門家は、興味深いダンサーのグループの多くにおいて、この確率はゼロである（つまり、ほとんど誰も立ち止まらない）と考えてきました。しかし、いくつかの稀な例外が存在していましたが、それらは非常に複雑で、誰もその正確な確率を計算することができませんでした。

サンティアゴ・ラディ（Santiago Radi）によるこの論文は、これらの一族のグループを構築するための、新しく巧妙な方法を紹介しています。そして初めて、どれほどの数の彼らが動きを止めるのかを計算しました。著者は単に新しい例を見つけただけではありません。彼はこれらを作るための「工場」を作り上げたのです。「反復入れ子積（iterated wreath products）」（入れ子状に積み重ねられた入れ替え規則という、凝った方法）を用いた特定のレシピを用いることで、ラディは、レベル推移的（treeのあらゆる部分に到達できる）であり、「ハウスドルフ次元（Hausdorff dimension）」が正（森のかなりの部分を埋め尽くすほど大きく複雑である）であり、かつ、確実に非ゼロの停止確率を持つグループを構築しました。さらに優れたことに、この論文は、このように構築されたあらゆるグループに対して、その正確な確率を算出するための明確な公式を提供しています。これは、そのようなグループは存在し得ないとされていた長年の予想を解決する大きな出来事であり、多項式方程式の研究に現れるものを含む、これらの複雑な構造の「停止力」を測定するための精密なツールを数学者に与えるものです。

無限の木の舞踏

すべての枝が永遠に $d$ 個の新しい枝へと分かれる無限の木を想像してください。次に、これらの枝を並べ替えることができるダンサーのグループを想像してください。彼らは厳格なルールに従わなければなりません。もし彼らが一つの枝を動かすなら、それに付随する部分木全体を一貫した方法で動かさなければなりません。数学者はこれらのダンサーを「自己同型写像」と呼び、彼らが形成するグループを「木に作用する群」と呼びます。

この論文が取り組む大きな問いは、**「これら何組ものダンサーが、一体いつ動きを止めるのか？」**ということです。

これを理解するために、木の底から頂上へと向かう特定の経路（「無限の経路」）を思い浮かべてください。ダンサーが経路を「固定（fix）」するとは、シャッフルを行った後も、その特定の経路が以前と全く同じ状態であることを指します。「不動点割合」とは、グループ内のダンサーのうち、少なくとも一つの無限経路を固定するダンサーの割合のことです。

数十年間、数学者たちは、ほとんどの興味深いグループにおいて、この割合はゼロであると考えてきました。それは、大規模で混沌としたダンスパーティーの中で、誰も決して立ち止まらないと信じているようなものでした。いくつかの既知の例外はありましたが、それらは稀であり、その正確な割合を計算することはほぼ不可能でした。これらの例外のいくつかは、「反復ガロア群（iterated Galois groups）」に関連していました。これは、多項式方程式（例えば $x^d + 1 = 0$）の解を何度も繰り返し研究するときに現れるグループです。

ダンサーのための新しい工場

サンティアゴ・ラディの論文は、主に二つのことを行っています。第一に、これらの一部のグループに対する不動点割合を計算するための、新しい一般的な手法を構築することです。第二に、この手法を用いて、レベル推移的（木のあらゆるレベルに到達できる）であり、「ハウスドルフ次元」が正（単なる小さな点ではなく、数学的な意味で「大きい」）であり、そして最も重要なことに、正の不動点割合を持つ、全く新しい一族のグループを構築することです。

著者は、ダンスのルールとして機能する二つの部分群 $Q$ と $P$ を用いたレシピによって、これらのグループを構築しています。これらのグループは $G^P_Q$ と表記されます。論文は、もしこれらのルールを正しく選べば、結果として得られるグループには、間違いなく動きを止めるダンサーが存在することを証明しています。

魔法の公式

この論文の第一の大きな突破口は、「反復入れ子積」に対する不動点割合を計算するための公式です。入れ子積（wreath product）を、層の積み重ねと考えてみてください。底層では、許容される動きの集合（置換）があります。次の層では、それと同じ動きをすべての枝に適用し、以下同様に続けます。

ラディは、許容される動きの集合 $S$ に基づいて、特別な多項式 $f_S(x)$ を定義します。不動点割合は、単に $f_S(x) = x$ という方程式を満たす、0から1の間にある最大の値です。

• もし $S$ の動きが非常に混沌としている（推移的である）場合、答えは 0 です。
• もし動きが非常に制限されている（すべての動きが少なくとも一つの点を固定する）場合、答えは 1 です。
• もし動きがその中間であれば、答えは 0 と 1 の間の特定の数であり、それは正確に計算できます。

これは、計算が不可能であったり、あるいはゼロであることが分かっている程度であったりしたこれまでの研究に対する、大きな進歩です。

新しいグループの一族

この公式を用いて、ラディは、$d$ 個の枝を持つ木（ここで $d \ge 3$ かつ $d \not\equiv 2 \pmod 4$）に作用する特定のグループ $G^P_Q$ を構築します。これらのグループは以下の特性を持ちます：

1. 自己相似的（Self-similar）: 木のどの深さに進んでも、同じように見えます。
2. レベル推移的（Level-transitive）: 木のどのレベルの枝も、そのレベル内の他のどの枝へも動かすことができます。
3. 大きい: 正のハウスドルフ次元を持っており、数学的な意味で「大きい」です。
4. 停止する: 正の不動点割合を持っています。

論文では、二つの具体的な例について、この割合を明示的に計算しています。

例1：モジュラー・ダンス
著者は、整数 $\mathbb{Z}/d\mathbb{Z}$ に基づいてグループを構築しています。不動点割合は以下のようになります：
$$\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$ が偶数の場合、割合はゼロになります。

例2：多項式との繋がり
この構築の最もエキサイティングな部分は、これが単なる抽象的な数学ではないということです。論文は、これらのグループの一つが、多項式 $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$ の対称性が測定可能な「停止力」を持っていることを示しました。

著者は新たな問いを投げかけています。任意の不動点割合を持つグループを見つけることはできるのか？ ランダムにダンサーを選んだらどうなるのか？ しかし、現時点での主要な成果は明白です。私たちはこれらの特別なグループを作るための「工場」を手に入れ、そして、彼らのうちどれほどがダンスを止めるのかを正確に知ったのです。