Disconnected multigraded Hilbert schemes on $\mathbb{P}^2\times\mathbb{P}^1$

数学の世界を、目に見えないレゴブロックから形や空間が組み立てられる、巨大で無限の遊び場だと想像してみてください。この遊び場において、数学者たちは「ヒルベルト・スキーム」と呼ばれる特別な道具を持っています。ヒルベルト・スキームを、単一の建物としてではなく、巨大で魔法のような地図と考えてください。この地図上のあらゆる点は、特定のルールと特定の数のブロックを使って組み立てることができる、異なる可能性のある形を表しています。もし、すべての点が道路でつながっている地図であれば、それはある形から別の形へと、形が壊れたり消滅したりすることなく、滑らかに変形できることを意味します。かつて数学者たちは、ある特定の種類の空間（「射影空間」と呼ばれるもの）において、この地図は常に一つの大きな連結した島であると信じていました。あなたは単純な立方体から出発し、ブロックをゆっくりとねじったり引き伸ばしたりすることで、その地図上の場所を見失うことなく、複雑な球体に作り変えることができるのです。

しかし、この論文は、もう少し複雑なバージョンのこの遊び場を探求しています。それは、3Dのグリッドの上に2Dのグリッドを積み重ねるように、二つの異なる射影的世界を組み合わせた空間です。著者が投げかける問いは単純ですが、非常に深遠です。これらの組み合わせ空間における地図は、依然として一つの大きな連結した島なのでしょうか？ それとも、地図をバラバラに分断してしまう、隠れた崖や裂け目が存在するのでしょうか？ これは重要です。なぜなら、もし地図が非連結であれば、それは、紙の上では似ているように見えても、根本的に互いに変形させることが不可能な形が存在することを意味するからです。それは、幾何学の宇宙における隠れた「断層」を明らかにすることになります。

---

発見：裂け目のある地図

この論文において、著者であるヤイロン・シド＝ルイス（Yairon Cid-Ruiz）は、答えが明確な「ノー」であることを証明しています。地図は常に一つの大きな島ではありません。実際、著者は、少なくとも二つの別々の破片に分断されている、これらの一連の地図の無限のファミリーを見つけ出しました。

これがどのように機能するかを理解するために、特定の色のブロックがいくつ必要かを正確に指示するレシピに従って、特定の種類の彫刻を作ろうとしていると考えてみてください。この数学の世界における「レシピ」は、「ヒルベルト多項式」と呼ばれます。それは形にとっての栄養ラベルのようなもので、その形が持つサイズや複雑さを教えてくれます。著者は、特定のレシピ（$a$を2以上の数とする、$2az_1 + az_2 + 3a - 2a^2$という式で定義される「pa-レシピ」と呼びましょう）に焦点を当てています。

著者は、このレシピを使って組み合わせ空間（$\mathbb{P}^2 \times \mathbb{P}^1$）の上に形を作る場合、互いに接続できない、極めて異なる二種類の彫刻が出来上がることを示しています。

二つの島

地図上の第一の島は、「完全交差（complete intersections）」と呼ばれる彫刻で満たされています。これらは、二枚の巨大で透明なガラス板（方程式によって定義される）を取り、それらが交差する部分だけを見ているものだと想像してください。これらの形は非常に秩序立っており、予測可能です。著者は、これら秩序ある形がすべて、地図上の安全で連結された近隣領域を形成することを証明しています。あなたは、これらガラスが交差する形の間を、問題なく歩き回ることができます。

第二の島は、全く異なる種類の彫刻で満たされています。これらは、ブロックが単純な二枚のシートの交差のように見えないような、「不具合のある」レシピを用いて作られています。著者は、これの具体的な例（$x_0^{2a}, x_0y_0, x_1^ay_0$のような方程式のセットを使用）を構築し、それが「街の余所者」として振る舞うことを示します。

ここが決定的なポイントです。著者は、この「不具合のある」彫刻が特定の性質を持っていることを証明しました。すなわち、それは特定の種類の「隠れた線」を持たない（数学的には、そのイデアル層のセクションの空間がゼロである）ということです。一方で、秩序あるガラス交差の彫刻は、常に少なくとも一つのそのような隠れた線を持っています。この根本的な違いゆえに、「不具合のある」彫刻を、秩序あるものへと滑らかに変形させることはできません。もし一方を他方へと変形させようとすれば、形は「パチン」と折れるか、あるいは壊れなければなりませんが、この数学の世界ではそれは許されません。

証明と結果

この論文は単に推測しているのではなく、厳密に証明しています。「コホモロジー」（隠れた構造的特徴をチェックするための数学的なX線のようなもの）と呼ばれるツールを用いることで、著者は、秩序ある形の集合が「開かつ閉」であることを示しました。地図の言葉で言えば、これは秩序ある形の近隣領域が、自己完結したバブル（泡）であることを意味します。あなたは、その端から落ちることなしに、その外へ歩き出すことはできません。この「不具合のある」彫刻は地図上に存在しますが、そのバブルの中には入っていないため、地図は少なくとも二つの別々のピースに分断されていなければなりません。

この発見は、これらの地図が常に連結しているという希望を打ち砕くため、重要です。著者は、任意の整数 $a \ge 2$ に対して、非連結な地図を作成できることを示しています。例えば、$a=2$ を選べば、間違いなく壊れている特定のレシピの地図が得られます。

なぜそれが重要なのか（ティーンエイジャーにとっても）

「だから何？ ただの図形に関する数学じゃないか」と思うかもしれません。しかし、これは物理法則が宇宙の場所によって変わることを発見するようなものです。結局のところ、幾何学の「滑らかさ」はどこでも保証されているわけではないのです。論文はまた、この結果が副作用を持つことも述べています。それは、わずか5つの変数（5つの文字を持つ多項式環のような）を持つシステムにおいてさえ、無限に多くの非連結な地図が存在することを証明しているということです。これは、この「断層」が珍しい偶然ではなく、一般的な特徴であることを意味しています。

著者は、この壊れた地図の最初の例（$a=2$ のとき）を見つけるために、コンピュータ（具体的には OpenAI Codex のような AI ツール）を使用しましたが、その証明の重労働（なぜそれが壊れているのか、そして他のすべての数字に対してどのように証明できるのかという論理）は、人間の数学者によって行われました。論文は、これらのマルチグレード・ヒルベルト・スキームの世界は驚きに満ちており、一見すると似ているように見える形を、隠れた裂け目が隔てていると結論付けています。地図は単一の島ではありません。それは群島であり、中には決して到達できない島が存在するのです。