ヤコビ予想入門

これは完全に元に戻すことができます。このアニメーションを見てください。平らなグリッドが奇妙な湾曲した形に曲げられます。グリッドが台無しになったように見えます。しかし、そうではありません。この曲がりは完全に元に戻すことができます。すべての点を元の場所に戻す第二の簡単な規則があります。何も失われていません。 1939年、オット＝ハインリヒ・ケラーという数学者が、このような写像について簡単な質問をしました。その質問は、数学における最も有名な未解決問題の一つとなりました。多くの数学者が証明を発表しました。しかし、すべての証明は間違っていることが判明しました。この問題は87年間未解決のままでした。そして、2026年7月、それは解決されました。ただし、部分的に、そして誰も予想しなかった方法で。（元の2次元ケースはまだ未解決です。） この記事は、ゼロから全体の物語を説明します。数学の背景知識は一切必要ありません。各章は一つの小さなアイデアであり、まず絵で説明されます。最後に、簡単な算術を使って、2026年の発見を自分の手で確認できます。（ここにあるすべては、オープンリポジトリ（github.com/muchmirul/conjectures）で裏付けられています。そこには、すべてのアニメーションのコードと、すべての数学的主張を再検証するテストスイートが含まれています。） 計画は以下の通りです。第1章から第8章でアイデアを一つずつ構築します。第9章で有名な質問を述べます。第10章から第12章で、その質問に何が起こったかを語ります。 1 · 関数は機械です 私たちは最も小さなアイデアから始めます。「関数」とは何かということです。関数は機械です。数値を入力すると、数値を返します。それだけです。一度に一つの数：3から7へ、0から1へ、10から21へ。上の機械は「数値を2倍してから1を加える」という規則を使っています。3を入力すると7が得られます。0を入力すると1が得られます。10を入力すると21が得られます。 機械が関数であるための二つの規則があります。第一に、常に答えを返します。第二に、同じ入力は常に同じ出力を生成し、ランダム性や「状況による」ということはありません。 ここで視点を変えます。この新しい絵が記事の残りの部分を支えます。一度に一つの数値を機械に入力する代わりに、数直線上のすべての数値を同時に動かしていると想像してください。同じ機械、新しい絵：関数は数直線全体を動かします。 私たちが唯一必要とする記法が一つあります。数学者は機械を$f$のような文字で名付け、その規則を次のように書きます。 $$ f(x) = 2x + 1. $$ これは「$f$は数値$x$を取り、$2x + 1$を返します」と読みます。文字$x$は単に入力のためのプレースホルダーです。 覚えておくべきこと：関数とは、各入力を正確に一つの出力に変換する機械であり、すべての数値を一度に動かしていると想像できます。 2 · 逆さまにする機械 機械はすべての数値を動かします。次の質問は、その動きを元に戻せるかどうかです。この小さなアイデアが、物語全体の種です。「2倍する」という機械は3を6に送ります。「半分にする」という機械は6を3に戻します。これらを連続して実行すると、すべての数値は元の場所に戻ります。 第二の機械がすべての出力を元の入力に戻すとき、それは逆関数、または逆さまにする機械と呼ばれます。2倍することと半分にすることは互いに打ち消し合います。「5を加える」と「5を引く」も同様です。 次に、「2乗する」という、数値をそれ自身に掛ける機械を元に戻そうとします。左：-3と3は同じ出力に着地するため、元に戻すことは不可能です。右：二つの矢印が出会わないため、すべての矢印をたどることができます。 -3を入力すると9が得られます。3を入力しても、やはり9が得られます。今、9に立って、戻ろうとします。どの入力から来たのでしょうか？知ることはできません。「負だったかどうか」という情報が失われています。 次のいずれかが発生した場合、逆さまにする機械は存在できません。 衝突：二つの異なる入力が同じ出力に着地する。（-3と3は両方とも9に着地します。） ギャップ：一部の出力は決して生成されないため、逆さまにする機械はそこについて何も言うことができません。（2乗は決して-4を出力しません。） 衝突がなく、ギャップもない場合、すべての出力にはただ一つの起源があります。したがって、「どこから来たのかをたどる」ということもそれ自体が機械になります。（公式な言葉遣いですが、必要なら：衝突がないことは単射、ギャップがないことは全射、両方揃っていることは全単射と呼ばれます。これらの言葉は忘れても構いません。「衝突なし、ギャップなし」がすべてです。） 覚えておくべきこと：二つの入力が同じ出力を共有せず、出力が欠けていない場合にのみ、機械は元に戻すことができます。情報が破壊された瞬間に、元に戻すことは失敗します。 3 · 多項式 これまでは、機械は何らかの規則を使用できました。有名な問題は、特定の種類の機械、つまり、何もないところから、足し算と掛け算だけで作られた機械に関するものです。入力$x$を取ります。足し算と掛け算という二つの操作だけを、数値や既に構築したピースを使って行うことを許可します。このようにして構築できるあらゆる機械は多項式と呼ばれます。 $2x + 1$は数値を2倍してから1を加えます。これは多項式です。$x^2$は$x$かける$x$です。これは多項式です。なぜなら、べき乗は単なる繰り返し掛け算だからです。$x^3 - 2x$は$x imes x imes x$を構築し、$2x$を構築し、引き算をします。これは多項式です。なぜなら、引き算は負の数を加えることだからです。 それらのグラフを以下に示します。下の各入力$x$に対して、曲線の高さが出力を示します。足し算と掛け算だけで作られた機械は、単一の途切れない曲線を描きます。 破線は多項式ではありません。破線の灰色の曲線、$\sin x$、$1/x$、および$\sqrt{x}$は多項式ではありません。それぞれが、許可されていない操作、つまり入力による割り算や無限のプロセスを必要とします。 なぜ多項式に焦点を当てるのでしょうか？それらは、鉛筆と紙を使って、有限回のステップで正確に実行できる機械だからです。近似はなく、「ゼロで未定義」もなく、無限の合計もありません。それらは数学における最も具体的で最も検証可能な機械です。それが、これから述べる問題がそれほど驚くべきものである理由です。それは、私たちが持つ最も単純な機械に関する質問であり、87年間すべての人々を打ち負かしました。 もう一つの言葉：「多項式の次数」はその最大のべき乗です。したがって、$x^3 - 2x$の次数は3です。この言葉は第10章で重要になります。 覚えておくべきこと：多項式とは、足し算と掛け算だけを使って構築されたあらゆる機械です。これらは最も有限で、最も検証可能な機械です。 4 · 平面上の写像 一つの数値を扱う機械はウォーミングアップでした。今度は、私たちの機械は点を受け取ります。平面上の点は数値のペア$(x, y)$です：右にどれだけ、上にどれだけ。平面写像は、点を受け取って点返す機械です。点は二つの数値なので、機械には二つの出力スロットがあります。各スロットは両方の入力を利用できます。 $$ F(x, y) = (\;\underbrace{\text{rule using } x, y}_{\text{first slot}}\;,\;\; \underbrace{\text{rule using } x, y}_{\text{second slot}}\;) $$ 第1章では、機械が数直線全体を動かしました。平面写像は平面全体を動かします。それを見るために、平面上にグリッドを描き、写像がそれをどのように運ぶかを見てください。平面はゴムシートのように動きます。二つの点は例です：それぞれが点$(x, y)$で拾われ、点$F(x, y)$に置かれます。 これらは六つの基本的な平面写像で、すべて同時に動いています。スライド、回転、拡大、傾きはすべてグリッド線をまっすぐに保ちます。最後の「曲げる」はそうしません。なぜなら、その規則は$y^2$と$x^2$を使用しており、2乗することが線を曲げるからです。これは第3章に戻ります。 平面上の多項式写像とは、両方の出力規則が$x$と$y$から、足し算と掛け算だけを使って構築された多項式であるような写像です。例えば、$F(x, y) = \left(x + \tfrac{1}{4}y^2,\; y + \tfrac{1}{4}x^2\right)$は、上の「曲げる」パネルです。 この記事の残りの部分は、まさにこれら、つまり平坦な空間上の多項式写像についてです。 覚えておくべきこと：平面写像は、ゴムシートのように、平面上のすべての点を一度に動かします。その二つの規則が足し算と掛け算だけを使用する場合、それは多項式写像です。 5 · 直線的な写像と面積係数 写像に何かを曲げさせる前に、最も単純な写像から一つの数値を得る必要があります。それはこの物語で最も役立つ数値です。いくつかの平面写像は完全に規則的です。グリッド線はまっすぐで、平行で、均等に間隔が空いたまま保たれ、中心点は動きません。これらは線形写像と呼ばれ、直線的な写像と呼びます。前の章の回転、拡大、縮小、傾きはすべて直線的な写像です。 それぞれが黄色い正方形に何をするか見てみましょう。この正方形は面積1から始まります。ここにはパターンがあります。直線的な写像は、黄色い正方形の面積をある係数だけスケールし、それは