On Teissier's example of an equisingularity class that cannot be defined over the rationals

大きな絵図：壊れたパズルのピース

想像してみてください。あなたはガラスで作られた複雑な3D彫刻（数学的な「曲面特異点」）を持っています。数学者はこうした形状を研究するのが大好きですが、同時に、これらの形が「有理数」の材料だけで作れるかどうかを知りたいとも考えています（「有理数」とは、1/2、3/4、あるいは5のように、簡単に書き下せる分数のような数のことです）。

この論文は、数学者ベルナール・テイシエールが提示した特定のパズルに取り組んでいます。テイシエールは、その彫刻をどのように形を変えたり滑らかにしたりしようとしても、有理数のみでは構築できない（つまり、$\sqrt{2}$ や $\pi$ のような「無理数」を必要とする）形を見つけたと主張しました。

しかし、この論文の著者であるアダム・パルシンスキとラウレンツィウ・パウネスクは、テイシエールの元のストーリーに2つの問題があることを発見しました。

1. 設計図がわずかに間違っていた： テイシエールが使用した特定の形状は、実際には有理数で構築可能でした。
2. 証明が不安定だった： テイシエールが自身の主張を証明するために用いた数学的ルールは、実は正しくありませんでした。

この論文は、設計図を修正し、テイシエールの主要なアイデアは正しかったものの、彼の元の例には欠陥があったことを示し、新たな強固な証明を提供しています。

---

パート1：「直線配置」のパズル（設計図の修正）

形状を理解するために、著者らはまず、星型の放射状やクモの巣のような、交差する直線からなる2Dの図形から始めます。これは、グリュンバウムによる有名な幾何学問題に由来します。

• 元の間違い： テイシエールは、9本の直線による特定の配置を使用しました。著者らは、注意深く観察すると、この特定の配置は実は有理数を用いて描けることに気づきました。これは、ある家が木でできていると証明しようとしているのに、誤ってプラスチック製の家を選んでしまっているようなものです。
• 修正： 著者らは、この図形に線を一本追加しました。この小さな変更が、形の対称性を崩します。
• 結果： この新しい10本の直線による配置によって、形は「剛性（リジッド）」を持ちます。この形を回転させたり動かしたりして、すべての交差点を有理数の座標に落とし込むことは、数学的に不可能です。この形は、無理数を必要とする状態に固定されてしまうのです。

比喩： 10本の棒をテーブルの上に並べて、特定の点で交差させることを想像してください。9本の棒であれば、すべての交差点を「きれいな」分数になるように配置できます。しかし、特定のやり方で10本目の棒を加えると、その幾材学的な構造によって、少なくとも一つの交差点が「汚い」無理数にならざるを得なくなります。その特定の構成を「きれいな」数学で構築することは、単に不可能なのです。

パート2：「変形」の問題（証明の修正）

テイシエールの元の議論は、形が時間の経過とともにどのように変化するかというルールに基づいています。彼は、もし形をゆっくりと変形させた場合（氷が溶けて水になるように）、その「接錐（せっすい）」（形状の鋭い点や核となる部分）は予測可能で滑らかな挙動を示すと主張しました。

• 壊れたルール： 著者らは、テイシエールがこの主張をするために使用した数学的定理が、実は偽であることを指摘しています。それは、「すべての橋は安全である」という地図を使っているようなものですが、実際にはいくつかの橋は崩落してしまう、という状況です。
• 新しい証明： 著者らは、壊れた地図を使う代わりに、新しい経路を築きました。彼らは「例外的な接線（exceptional tangents）」という概念を用いました。
  • それは何か？： 曲面上にある鋭い点を想像してください。通常、そこに平面（接平面）を触れさせると、その平面は予測可能な方法で触れます。しかし、特定の「例外的な」点では、平面は奇妙で予測不可能な方向に触れることがあります。
  • 論理： 著者らは、この10本の直線による形状において、これらの「例外的な接線」は存在しないことを証明しました。これらが存在しないため、形が変形しても、その核（接錐）は正確に同じ状態を維持しなければなりません。
  • 結論： 核が特定の無理数の構成にロックされているため、形全体を、有理数で構築されたバージョンに変形させることはできません。

パート3：反例（なぜ古いルールが失敗したのか）

古いルールが壊れていることを証明するために、著者らは「モンスター」の例（セクション4）を作成しました。

• 彼らは、例外的な接線を持たない（非常に滑らかで整った外観を持つ）形状を構築しました。
• しかし、その形を変形させようとしたところ、その形は依然として奇妙な形で崩壊しました。
• これにより、「例外的な接線がない ＝ 滑らかな変形」という古いルールが偽であることが証明されました。例外的な接線を持たない形状であっても、変化させようとした時に悪挙動を示すことがあるのです。

まとめ

1. 目的： 複雑な形状の中には、単純な有理数では構築できないものがあることを証明すること。
2. 修正： 元の形状は単純すぎました（有理数で構築可能でした）。著者らは、それを真に「無理数」にするために線を一本追加しました。
3. 新しい証明： 彼らは欠陥のある数学的ルールを破棄し、「例外的な接線」と形状の変形に関する厳密な議論へと置き換えました。
4. 教訓： 「ホイットニー等質的（Whitney equisingular）」（位相的に安定している）でありながら、有理数上で定義できない曲面特異点は確かに存在します。テイシエールは、そのような形状が存在することについては正しかったのですが、この論文は、正しい設計図と正しい数学的メカニズムを提供しています。

要するに、この論文は、壊れた例と壊れた証明を修正する「訂正通知」であり、最終的には、いくつかの数学的な形状は、単純な分数から構築するには根本的に複雑すぎるということを裏付けています。