The Quadratic and Cubic Characters of 2

あなたは、ある数字の謎を解こうとしている探偵だと想像してください。具体的には、ある特定の数学パズルが解けるかどうかを判断する、隠されたパターンを探しています。パズル自体は非常にシンプルです。**「ある数（$x$）を3回掛け合わせたとき、特定の素数で割った余りが2になるような数は存在するか？」**というものです。

例えば、素数が7の場合、$x \times x \times x = 2$（プラス、7の倍数）となるような $x$ は見つかるでしょうか？ 時には答えは「イエス」であり、時には「ノー」となります。この論文は、まさにいつ答えが「イエス」になるのかを解き明かすためのものです。

以下は、マティアス・C・レリエア（Matias C. Relyea）がこの謎をどのように解いたのかを、日常的な言葉で説明した物語です。

セットアップ：「黄金の定理」とその親戚たち

論文は、**「2の二次剰余性（Quadratic Character of 2）」**という、より古く有名な謎から始まります。これは、数を3回掛ける（$x^3$）代わりに、2回だけ掛ける（$x^2$）という、同じ種類のパズルです。

• 古い謎： $x^2 \equiv 2 \pmod p$ となる $x$ を見つけることはできるか？
• 解決策： ガウスのような数学者たちは、シンプルなルールを見つけ出しました。もし素数 $p$ が $8n+1$ または $8n+7$ の形をしていれば、答えは「イエス」です。もし $8n+3$ または $8n+5$ の形であれば、答えは「ノー」です。

著者は、この解決済みの古い謎を訓練場として利用しています。彼は、このロジックをより難しく、新しい謎である**「2の三次剰余性（Cubic Character of 2）」（$x^3$ のバージョン）**に応用しようとしています。

問題：パズルはより難解に

昔々、オイラーやフェルマーといった数学者たちは、三次の場合（$x^3 \equiv 2$）にも同様のシンプルなルールがあるのではないかと推測しました。彼らは、もし素数 $p$ が非常に特定の形をしているなら、そのパズルは解けるということに気づきました。

大きな推測（オイラーの予想）：
もし素数 $p$ を $C^2 + 27D^2$（$C$ と $D$ は整数）という形で書くことができるなら、パズル $x^3 \equiv 2$ は解けます。もしそのような形で書けないのであれば、それは解けません。

オイラーは純粋な直感に基づいてこの推測を行いましたが、それを証明することはできませんでした。後にガウスが、彼が証明を知っていたことを示唆するノートを見つけたと言われていますが、それはずっと後になるまで完全には形になりませんでした。この論文は、この特定のルールを明確かつステップ・バイ・ステップで証明することを目指しています。

ツールキット：新しい世界を構築する

三次パズルを解くために、著者は単なる普通の整数（1, 2, 3など）だけでは不十分であることを説明します。私たちは新しい「数の世界」を構築しなければなりません。

1. アイゼンシュタイン整数（新しい近所界）：
   通常の数字が直線上に住んでいると想像してください。三次問題を解くには、2次元平面へと移動する必要があります。ここで、$\omega$（オメガ）と呼ばれる特別な数、「1の立方根」を導入します。$\omega$ を「魔法の鍵」だと考えてください。これを3回回すと、元の場所に戻ってきます。
   この新しい近所界では、数字は $a + b\omega$ という形になります。著者はこれらをアイゼンシュタイン整数と呼びます。この新しい世界には独自の乗算と除法のルールがありますが、数学を行うのに十分な構造を持っています。

2. 魔法の和（ガウス和とヤコビ和）：
   この新しい近所界でパターンを見つけるために、著者はガウス和やヤコビ和と呼ばれるツールを使用します。

• 比喩： あなたが色とりどりのビー玉（数字）が入った巨大な袋を持っていると想像してください。特定のパターンが存在するかどうかを知りたいとき、一つずつ数える代わりに、袋を振って音を聞きます。もし音が特定の音程であれば、そのパターンが存在することがわかります。これらの「和」は、まさにその特別な音程のようなものです。これらは、一つ一つの数字をチェックすることなく、数字の隠れた性質を明らかにする複雑な計算です。

3. 「主（プライマリー）」フィルター：
   この新しい世界では、数字は見た目は違っても、働きは同じであることがあります（1と-1が関連しているように）。混乱を避けるため、著者は**主数（Primary Numbers）**と呼ばれるフィルターを使用します。これは、郵便物を特定の箱に仕分けして、各グループから代表的なものだけを見るようなものです。これにより、数学が非常にすっきりします。

解決策：点と点を結ぶ

論文は、オイラーの予想を証明するための論理的な旅を進めていきます。

1. ステップ1：単純なケース。 まず、著者は、選んだ素数が「奇妙な（weird）」場合（具体的には、3で割った余りが2になる場合）、そのパズルは常に解けることを示します。これは、いわば「フリーパス」のようなものです。
2. ステップ2：複雑なケース。 本当の挑戦は、素数が「普通（normal）」な場合（3で割った余りが1の場合）です。ここで著者は、アイゼンシュタイン整数と魔法の和を用いて、パズルの解けるかどうかが完全に素数の形に依存していることを示します。
3. ステップ3：形の変化。 新しい数の世界の特性を用いて、もしパズルが解けるならば、素数 $p$ は必ず $C^2 + 27D^2$ という形に並べ替えられる必要があることを証明します。
   • 比喩： これは、「もしあなたがそのドアを開けられるなら、あなたの鍵は金で作られていなければならない」と言うようなものです。著者は、もしドアが開く（方程式に解がある）ならば、鍵（素数）はその特定の形 $C^2 + 27D^2$ を持っていなければならないことを証明します。
4. ステップ4：逆の証明。 彼は反対のことも証明します。もし $C^2 + 27D^2$ という形をした素数を持っているなら、そのドアは開く（解が存在する）ということです。

結論

論文は、数百年にわたる数学者たちの頭を悩ませてきたパズルを解くことで、オイラーの数百年前の予想を裏付ける形で締めくくられます。これは、三次方程式 $x^3 \equiv 2 \pmod p$ の可解性がランダムではないことを教えてくれます。それは、素数 $p$ が「平方数と27倍の別の平方数の和」として書けるかどうかに厳密に決定されています。

要約すると：

• 謎： 与えられた素数に対して $x^3 = 2$ は解けるか？
• 手がかり： 素数の「形」を見る。
• 答え： もし素数が公式 $C^2 + 27D^2$ に適合するなら、答えは 「イエス」。適合しないなら、答えは 「ノー」。

著者は、過去の道具（ガウスの帰納法）を借り、新しい数学的近所界（アイゼンシュタイン整数）を構築し、そして複雑な「魔法の和」を用いて、数字の隠れた幾何学を明らかにすることで、この目的を達成しました。これは、単純な算術から複雑な代数学への架け橋を、数学者たちがどのように築き上げ、何世紀もの間人々を困らせてきたパズルを解決したかを描いた物語なのです。