Steady Gradient Ricci Solitons with $O(p)\times O(q)$ Symmetry

宇宙を、巨大で引き伸ばされることのある布地だと想像してみてください。物理学や数学の世界において、この布地はただそこに置かれているわけではありません。それは、まるでシワの寄った紙をアイロンで平らにしていくように、常に自らを滑らかにしようとしています。この滑らかにするプロセスを「リッチフロー」と呼びます。これは、自然界が空間のシワをアイロンで伸ばそうとする方法だと考えてください。時として、布地が滑らかになる過程で、単に平らになるだけでなく、ちぎれたり、裂けたり、あるいは、どれだけズームイン・アウトしても同じ形に見えるような、奇妙な自己相似形を形成したりすることがあります。これらの特別な、変化しない形を「リッチ・ソリトン」と呼びます。

これらの形の中でも、特に扱いにくいグループが「定常（steady）」ソリトンです。膨らんだり萎んだりする風船とは異なり、定常ソリトンはサイズを永遠に一定に保ちながら、流れの中で位置をわずかに移動させるだけです。数学者たちは、これらの形が、空間が極限状態においてどのように崩壊したり変化したりするかを示す「設計図」となるため、それを見つけ出すことに執着しています。大きな疑問は、これらの形がどのような見た目をしているのか？ ということです。私たちは、異なるサイズや異なる対称性を持って、これらを構築できるのでしょうか？ 例えば、単に6つの角を持つだけでなく、もっと多くの対称性を持つ雪の結晶のように作れるのでしょうか？

この論文の中で、ルーカス・ラヴォワイエとルーク・T・ピーチーはその問いに対し、「イエス」という力強い答えを出しました。彼らは、これら一連の新しい「定常な形」を発見したのです。球体を取り出し、それを二つの異なる方向に同時に引き伸ばすと、細長い翼や、ねじれたトンネルのような形ができる様子を想像してください。著者たちは、これらの形を、任意の次元（4次元以上であれば）で、かつ $O(p) \times O(q)$ と呼ばれる特定の種類の二重対称性を持って構築できることを示しました。彼らは、どのような数字のペア（例えば2と3、あるいは5と10）を選んでも、どこでも正の曲率を持つ、一意で完全に滑らかな形状を構築できることを証明したのです。

この発見が刺激的な理由は、彼らが単に一つの例を見つけたのではなく、一つの「メニュー」を見つけたからです。一つのダイヤル（0から1までの数値）を調整することで、形の「風味」を変え、一方の方向にもう一方の方向よりも、より引き伸ばされた形にすることができるのです。彼らはまた、これらの形の端（エッジ）で何が起きているのかについても解明しました。もし、これらの形の端が $p$ 次元の平坦なディスクのような形をしているならば、中心から十分に遠くへズームアウトしたとき、これらの形は、平坦な $p$ 次元のシートが、丸い $q$ 次元の球体に付着したもののように見え始めることを彼らは示しました。これは、数学者が空間が非常に大きく、かつ非常に曲がっているときにどのように振る舞うかを理解するための、新しいツールを提供します。

「フライング・ウィング」と新しい形たちの物語

これらの著者が何をしたのかを理解するために、まず「フライング・ウィング（空飛ぶ翼）」を紹介する必要があります。数年前、ライという数学者が、これらの定常な形の最初の例を発見しました。彼は、3次元において、無限に伸びる細長い翼のような形を持つことが可能であることを発見しました。翼の先端は丸みを帯びていますが、外側へ進むにつれて、それは長い帯状へと平坦化していきます。これらの形は、「正の曲率」を持っているという点で特別でした。つまり、常に球体のように内側に曲がっており、鞍型（サドル型）や平坦な形には決してならないのです。

ライの研究は画期的でしたが、限定的でした。彼は特定の種類の対称性（一つの方向の対称性）を持つ形しか作ることができませんでした。大きな未解決の問いは、「より複雑な対称性を持つ形を作れるのか？」ということでした。二つの異なる方向に対して、同時にねじったり引き伸ばしたりできるのでしょうか？

それこそが、ラヴォワイエとピーチーが取り組んだ課題でした。彼らは、$O(p) \times O(q)$ と呼ばれる二重の対称性を持つ「フライング・ウィング」を作りたいと考えました。簡単に言えば、これは、一つの軸を中心に回転させたとき（地球儀を回すように）も、そしてそれと垂直な第二の軸を中心に回転させたとき（地球儀を横向きに回すように）も、形が変わらないことを意味します。彼らは、これらの形を3次元よりも高い次元で構築できるのか、そして、形がそれぞれの方向に対してどれほど「引き伸ばされているか」を正確に制御できるのかを知りたかったのです。

レシピ：丸まったボールを滑らかにする

著者たちは、これらの形を作るために巧妙なトリックを用いました。定常な形を直接作ろうとするのではなく（それは、形が崩れ続けてしまう濡れた粘土から彫像を作るようなものです）、より簡単なもの、すなわち「膨張する（expanding）」形から始めました。

粘土の玉を想像してください。それを膨らませると、どんどん大きくなります。数学には、形を維持しながら永遠に膨張し続ける形が存在します。著者たちは、これらの膨張する形の「リンク（接続部）」（膨張する形の表面）が、どんどん小さくなり、ほとんど平坦なディスクへと崩壊していくようにすれば、数学的な「ズーム」を用いて、その膨張する形を定常な形へと変えることができると考えて出発しました。

ここで魔法のステップがあります。彼らは、一方向にはほぼ平坦であるが、もう一方の方向には依然として曲がっている、特別な球体のファミリーを構築しました。これは、標準的な球体を取り出し、二つの手でビーチボールを押しつぶすように、一方向に向かって押しつぶすことで行われました。しかし、彼らは非常に注意深く行わなければなりませんでした。もし押しつぶしすぎれば、形に鋭い角や裂け目ができてしまい、数学が破綻してしまうからです。形が完璧に丸く、あらゆる場所で曲がったままであるように、彼らはその遷移を「滑らかに」しなければなりませんでした。

彼らは、任意の次元のペア $p$ と $q$（どちらも2以上）に対して、これが可能であることを証明しました。彼らは、これらの押しつぶされた球体の連続的なファミリーを作成しました。次に、既知の数学的ツール（デリュエルという数学者によって開発されたもの）を使用して、これらの押しつぶされた球体を、膨張する形へと変換しました。最後に、押しつぶしが極限まで進んだ一連の膨張する形を、中心に向かって「ズームイン」することで、彼らが探していた定常な形へと落ち着かせたのです。

結果：新しい形の動物園

この論文の主要な結果は、次のような定理です。「任意の $p$ と $q$（共に2以上）および、0から1の間にある任意の $\theta$ に対して、$O(p) \times O(q)$ 対称性を持つ『フライング・ウィング』のような定常な形が存在する」。

$\theta$ は何をするものなのでしょうか？ それは、二つの対称性の方向のバランスを制御するダイヤルのようなものです。

• $\theta$ を特定の場所に設定すると、形は両方の方向に対して完璧なバランスを取ります。
• ダイヤルを回すと、形は $p$ 方向により引き伸ばされ、$q$ 方向にはあまり引き伸ばされなくなります。
• 著者たちは、どのような比率でも実現できることを証明しました。中心（頂点）において、一方の方向の曲率は、もう一方の曲率のちょうど $\theta$ 倍になることを示したのです。

これは非常に重要なことです。なぜなら、これまでは、これほど幅広い種類の形が実際に存在するのかどうかさえ分からなかったからです。彼らは、これらの定常な形の宇宙が、私たちが考えていたよりもはるかに豊かであることを証明しました。

端では何が起きているのか？

著者たちはまた、中心から無限に遠くへ旅をしたときに、これらの形がどのように見えるかについても調査しました。これは「無限遠における幾何学」と呼ばれます。

彼らは、これらの形の端が非常に特定の構造を持っていることを見出しました。それは「二重に歪んだ積（doubly warped product）」のような形をしています。これは、二つの異なる方法で線に沿って球体を引き伸ばした形であるという、専門的な言い方です。

• 端の一部分は、平坦な $p$ 次元のディスクのように見えます。
• もう一方の部分は、曲がった $q$ 次元の球体のように見えます。

彼らは、もし 形の端が実際に平坦な $p$ 次元のディスクであるならば、その形（$O(q)$ 対称性によって固定された方向）に沿って進んでいくと、形は最終的に分裂する、ということを証明しました。それは、平坦な無限のシート（紙のようなもの）が、永遠に流れ続けてきた古の丸い形に付着しているように見えます。この「分裂」は、これらの形の特徴的な性質であり、それらが非常に大きくなったときにどのように振る舞うかを理解する助けとなります。

なぜこれが重要なのか？

「なぜ、こんな奇妙な高次元の形を気にする必要があるのか？」と思うかもしれません。

その答えは「タイプII特異点」にあります。リッチフロー（アイロンがけのプロセス）が問題に直面したとき、必ずしも単に平らになるわけではありません。時には、数学が破綻する点、すなわち「特異点」を形成することがあります。これらの特異点は、理論の中で最も謎めいた部分です。著者たちが見つけたこれらの「定常」な形は、それらがどのような姿をしているのかを示す、最も有力な候補なのです。

これらの新しい形を発見することで、著者たちは、空間がどのように「壊れる」かを研究するための新しいツールを数学者に提供しました。空間がどのように「翼」や「トンネル」を形成するのかには多くの方法があり、その形の対称性が、その振る舞いに大きな役割を果たすことを彼らは示しました。

この論文は、単に「これらの形が存在する」と言っているだけではありません。彼らは実際にそれらを構築し、それらが滑らかであることを証明し、正の曲率を持つことを証明し、中心と端でどのように見えるかを正確に記述しました。彼らは推測したのではなく、厳密な数学的証明を構築したのです。

最後に

橋を設計している建築家を想像してみてください。あなたは、その橋が重さに耐えられるか、風で揺れるか、そして長く、あるいは広くした場合にどうなるかを知る必要があります。この論文の著者たちは、まさにそのような新しい種類の材料を発見した建築家のようなものです。彼らは、これらの「定常な」橋を、任意の次元で、望む対称性のバランスを持って構築できることを示しました。そして、それらは完璧に持ちこたえます。

彼らは単に一つの橋を見つけたのではありません。彼らは、それらを製造するための工場全体を見つけたのです。そして最も素晴らしいことは、その工場を調整して、あなたが望む通りに、どれほど引き伸ばされた、あるいは丸い橋でも作れるようにできることを示した点です。これは、空間そのものの最も深く、最も極端な振る舞いを理解するための扉を開くものです。

次に、もしあなたが丸まった紙を見たときは、思い出してください。宇宙の数学の奥深くでは、その丸まりの中に、無限に広がり、発見されるのを待っている、美しく定常な形が隠れているかもしれないということを。そして、ラヴォワイエとピーチーのおかげで、私たちは今、それらをどのように見つけるべきかを正確に知っているのです。