Hilbert's 16th problem for arrangements of curves on a surface

大きな全体像：トポロジーのパズル

あなたが、巨大で平らな円形のキャンバス（数学では実射影平面、$\mathbb{P}^2(\mathbb{R})$ と呼びます）の上で作業しているアーティストだと想像してください。あなたには、いくつかのルールがあります：

1. キャンバスに3本の直線を描きます。
2. 次に、それらの直線と交差するものの、同じ場所では決して二度と触れず、かつ「折れ目」や鋭い点を持たない曲線的な形（円や、フィギュアエイト、あるいはもっと複雑な塊のようなもの）を描きます。

この論文が問いかけているのは、これらの直線と曲線的な形は、互いにどのような関係で配置される可能性があるのか？ その組み合わせは何通りあるのか？ ということです。

数学において「異なる」とは、キャンバスを切ったり貼り付けたりすることなく、キャンバスを伸ばしたり、押しつぶしたり、ねじったりしても、ある配置を別の配置に変えることができないことを意味します。これは、もともと「曲線が1つだけ」の場合の分類を求めた、100年前の有名なパズルであるヒルベルトの第16問題の現代版です。この論文は、このパズルを、曲線の一つの「ファミリー」（直線 ＋ 一つの大きな曲線）を同時に見る形へと拡張しています。

解決策：形をレゴの組み立て説明書に変える

著者の主な画期的な成果は、これらの一見乱雑な曲線の配置を、シンプルで硬固なコードを使って記述する新しい方法を見出したことです。これは、複雑な3D彫刻を、一連のレゴの組み立て説明書に変換するようなものだと考えてください。

曲線を直接描こうとする代わりに、著者は3本の直線によって作られたグリッド（地図のようなもの）を用いて、キャンバスを細分化します。そして、3つの特定のデータを用いて、その曲線的な形を**「組合せ論的曲線（Combinatorial Curve）」**として記述します。

1. カウント ($n$): 曲線の形が、グリッドの各線分を何回横切るか？（例：「左の線を2回、右の線を0回……」）。
2. ダンスのステップ ($W$): キャンバスの特定の区画の縁に沿って歩いていくとき、曲線は中に入ってくるのか、それとも出ていくのか？ 著者は、**ディック・ワード（Dyck word）**と呼ばれる特別なコード（開き括弧 ( と閉じ括弧 ) の数列）を使用して、これを記録します。
   • 比喩: 部屋の周りを歩いていると想像してください。新しい曲線のパーツが部屋に入ってくるたびに ( を書き、出ていくたびに ) を書きます。これにより、曲線が「行き詰まったり」、あるいは不可能な方法で自分自身と交差したりしないことが保証されます。
3. 入れ子構造のマッピング ($T$): 時には、曲線が直線の間の空いているスペースの中に、線に触れることなく浮かんでいる小さなループ（オーバル）を作ることがあります。著者はこれらをマッピングするために、**根付き木（Rooted Tree）**を使用します。
   • 比喩: 家系図を思い浮かべてください。「根（ルート）」は大きな空のスペースです。もしそのスペースの中に小さなループがあれば、それは「子供」です。もしそのループの中にさらに別のループがあれば、それは「孫」です。この木は、ループがどのように互いの内部に重なっているかを正確に伝えます。

黄金律（定理A）: この論文は、もし手元にこのコード ($n, W, T$) があれば、その配置の正確な形がわかることを証明しています。異なる形が同じコードを共有することはありませんし、コードから漏れてしまう形もありません。

コンピュータ・ラボ：「NWT」ライブラリ

コードの組み合わせは数千通りにも及ぶため、著者はこれを紙の上だけで行いませんでした。彼は NWT と呼ばれるソフトウェア・ライブラリ（Juliaプログラミング言語で記述）を構築しました。

• このライブラリは、巨大なデジタル・ファイリング・キャビネットのようなものです。
• これにより、何百万もの「レゴの組み立て説明書」を生成できます。
• また、特定の指示セットが「法的（数学的に可能）」であるか、あるいは「違法（描くことが不可能）」であるかをチェックできます。
• さらに、コードに基づいて曲線の図を描くことも可能です。

探偵の仕事：本物を見つけ出す

単にコードが存在するからといって、それが実際の代数曲線（特定の数学の方程式によって定義される曲線）として作れるとは限りません。著者は、すべてのコードのリストから、実際に「実現可能（realizable）」なものを絞り込むために、2つの主要な探偵ツールを使用しました。

1. 「ベズート（Bézout）」の法則: これは数学的な保存則です。直線と、ある程度の複雑さを持つ曲線がある場合、それらは互いに最大で決まった回数しか交差できません。もしコードが「10回交差する」と言っており、数学的な最大値が「4回」であれば、そのコードは偽物です。著者はこれを利用して、何千もの不可能なコードを排除しました。
2. ヴィロのパッチワーク（Viro's Patchworking）: これは構築技術です。小さな単純なパーツを貼り合わせて複雑な彫刻を作る様子を想像してください。著者はこの手法を用いて、多くのコードが実際に「構築可能」であることを証明しました。

結果：何が見つかったのか？

著者はこのシステムを、2つの特定のパズルに適用しました。

1. 3本の直線 ＋ 3次曲線（Degree 3）:

   • 結果: これらの配置には、正確に 119通り のユニークな方法があることを発見しました。
   • ボーナス: 以前の構築手法（ヴィロのパッチワーク）では「欠けていた」3つの特定の配置を見つけ出し、実際の数学の方程式を見つけることで、それらが存在することを証明しました。

2. 3本の直線 ＋ 4次曲線（Degree 4）:

   • これはより複雑です。
   • 結果: 曲線がちょうど1つのループ（オーバル）を持つケースを完全に分類しました。これらは 619通り あります。
   • 「浮遊なし」のケース: 曲線が「浮いている」ループ（直線に触れていないループ）を持たないケースについても調査しました。その範囲を 1,834 から 1,883 通り の間に絞り込みました。
   • 未知の領域: 一般的なケース（すべての可能な4次曲線）については、分類を完了できませんでした。答えが 9,426 から 17,624 の間にあることは分かっていますが、リストがあまりに膨大であるため、まだすべてをチェックし終えていません。

まとめ

要するに、この論文は、直線と曲線がどのように絡み合うかを理解するという非常に難しい幾何学の問題を、形をコンピュータが読み取れるコードに変換することで解決しています。

• 問題: 3本の直線と1つの曲線的な形を配置する方法は何通りあるか？
• 道具: 数値、括弧、そして木（ツリー）で作られたコード。
• 成果: より単純な形（3次曲線）については完全なリストを作成し、より複雑な形（4次曲線）については、カスタム構築されたコンピュータプログラムによって検証された、大規模かつ部分的に完成したリストを作成しました。

この論文は、医療問題を解決したり橋を建設したりすることを主張しているのではなく、純粋な数学の成果であり、ありとあらゆる曲線形状の「動物園」を整理し、どの形が存在し、どの形が存在し得ないのかを正確に証明しているのです。