Theorems of Bertini and Chevalley

あなたは、代数群と呼ばれる神秘的な多次元の建物の形状を理解しようとする建築家だと想像してください。この建物は純粋な数学で構成されていますが、著者のヨナシュ・コラーは、これらの建物がどのように構築され、それらを切断したときにどのように振る舞うかについて、2 つの大きなことを証明したいと考えています。

以下は、重い数学用語を排して解説した、この論文の物語です。

2 つの大きな規則（定理）

この論文は、形状（多様体）と対称性（群）の世界における 2 つの有名な規則に焦点を当てています。

1. 「切断」の規則（ベルトゥーニの定理）
巨大で、固体の、一枚岩の彫刻（幾何学的既約多様体）が空間に浮かんでいると想像してください。あなたは、この彫刻を切断できる魔法のレーザーカッター（超平面）を持っています。

• 規則: もし、この彫刻をランダムで一般的な方法で切断すれば、切り取られた部分は、まだ一枚の、壊れていない単一の塊のままです。それは 2 つの別々の島に分かれて崩れ落ちることはありません。
• 注意点: これは、数学が存在する「宇宙」である体（field）が実数のような無限体であり、かつ、奇妙で特殊な方法で切断しない場合にのみ機能します。
• 重要性: これは、「一般的な」切断が、良い形状であれば、それらを良い状態のまま保つことを教えてくれます。それらは偶然に破片に分かれることはありません。

2. 「建築ブロック」の規則（シュヴァレの定理）
次に、移動し、自身を変換できる複雑な機械（代数群）を想像してください。シュヴァレの定理は、この機械がどれほど複雑に見えたとしても、実際には 2 種類のレゴブロックだけで作られていると述べています。

• ブロック A（線形/平坦）: これらは、格子や紙のシートのような「平坦な」部分です。扱いやすく、簡単に伸ばしたり潰したりできます。
• ブロック B（固有/コンパクト）: これらは、球面やトーラス（ドーナツ）のような「丸い」または「閉じた」部分です。有限であり、閉じられています。
• 規則: この定理は、そのような機械のいずれも、単に「閉じた」部分の上に「平坦な」部分が乗っているに過ぎないことを証明します。これらを剥ぎ取ることで、機械全体を理解することができます。

著者がどのように証明するか（道具箱）

コラーのこの論文における主な目標は、非常に特定された、限られた道具箱を使ってこれらの規則を証明することです。彼は、最も高度で近代的な機械を必要とせず、標準的な教科書（シャファレヴィチの本）に見られる基本的な道具だけでこれを行えることを示したいと考えています。

以下は、彼の手法に関する主要な比喩です。

1. 「ウェイル除数」の懐中電灯
数学において、形状の表面を見るには 2 つの方法があります。

• カルティエ除数: 滑らかで磨かれた大理石の表面を見るようなものです。
• ウェイル除数: 粗い、下地の岩石構造を見るようなものです。
  コラーは、時には滑らかな表面だけでなく、「粗い岩石（ウェイル除数）」に懐中電灯を当てる必要があると主張します。彼は、これらのより粗く、柔軟な道具を使うことで、証明が実際には「より短く」明確になると述べています。それは、ねじ回しでは引っかかってしまうような堅いナットを、金槌で割るようなものです。

2. 「有理写像」と「準同型写像」

• 準同型写像: あらゆる場所で定義された完璧なマップです。駅 A から駅 B まで、決して止まったり壊れたりすることなく続く鉄道の線路のようなものです。
• 有理写像: ほぼすべての場所で機能しますが、いくつかの「工事区域」で定義されていない可能性があるマップです。
  コラーは、たとえ「有理写像」（いくつかの隙間があるマップ）から始めても、それを「閉じた」形状（球面など）に送ろうとすると、その隙間は魔法のように消え、完璧な「準同型写像」になると示しています。これは、機械の「平坦な」部分が実際に群であることを証明するための重要なステップです。

3. 「ヤコビアン」（形状の記憶）
「建築ブロック」の規則を証明するために、コラーはヤコビアンと呼ばれるものを使用します。これは、曲線（線または円）のための「記憶バンク」と考えてください。

• 曲線上を点を動かすと、ヤコビアンはそれがどこから始まり、どこで終わったかを記憶します。
• コラーは、この記憶バンクを使って代数群の動きを追跡します。彼は、群の動きがこれらの記憶バンクによって記録できることを示し、それが群が前述の「平坦な」ブロックと「閉じた」ブロックで構成されていることを証明するのに役立つと示しています。

証明の「秘密のソース」

この論文で最も興味深い部分は、コラーが「切断」の規則（ベルトゥーニ）をどのように扱うかです。

• 問題: 形状を切断すると、不注意であれば、切断面が分かれてしまうことがあります。
• 解決策: コラーは、「ペンシル（切断面の族）」に関する巧妙なトリックを使用します。彼は、形状上に滑らかな点があれば、それを通過し、かつ連結したままとなる切断面を見つけることができることを示します。
• 「フロベニウス」のトリック: 数学の宇宙が「奇妙な」（標数 $p$ の）場合、彼は特別な「フロベニウス」レンズを使用して、切断する前に滑らかさの問題を修正するためにズームインします。それは、切断する前にぼやけた写真を鮮明にするために特別なフィルターを使うようなものです。

結論

この論文は、単純化の傑作です。

• 古い方法: これらの古くから有名な定理を証明するために、巨大で複雑な現代理論を使用する。
• コラーの方法: 基本に戻る。「粗い」道具（ウェイル除数）と単純な論理を使って、定理が真であることを示す。

彼は本質的にこう言っています。「数学の粗く、散らかった部分（ウェイル除数）を恐れてはいけません。それらを正しい方法で見れば、実際にはこれらの問題を解決するための最良の道具であり、他の人々が歩んできた長く曲がりくねった道よりも、証明をずっと短くするのです。」

要約すると: この論文は、複雑な数学的機械が、シンプルで理解しやすい部分から構築されており、これらの形状を切断することは通常、それらを一体のまま保つことを証明しています。これは、数学に対する「より粗く」、より直接的なアプローチを使用することで達成され、時には最も単純な道具が最も強力であることを証明しています。