p-Adically convergent loci in varieties arising from periodic continued fractions

あなたは、数字のリストを受け取り、一つの無限連分数を出力する魔法の数字マシンを持っていると想像してください。通常の数学（「アルキメデス的」な世界）では、このマシンがどのように機能するかを私たちは正確に知っています。もし、繰り返し現れるリストを入力すれば、それは通常、振り子が止まるまで揺れ動くように、特定の数値へと落ち着きます。これは、ラグランジュの古き物語である、連分数の古典的な物語です。

しかし、もし私たちの通常の定規を、奇妙な $p$ 進定規に置き換えたらどうなるでしょうか？ この $p$ 進の世界では、数字は異なる種類の粘土でできているかのように振る舞います：二つの数字が「近い」とは、その差が大きな $p$ の累乗で割り切れる場合を指します。この奇妙な宇宙では、同じ無限連分数マシンが、単一の答えに落ち着くことなく、永遠に激しく回転し続けるかもしれません。

この論文は、これらの $p$ 進連分数マシンが実際に回転を止め、実数へと収束する特定の「住所」（代数多様体）を見つけ出すための探偵小説です。ローラ・カプアーノとそのチームは、繰り返される分数がそれぞれ特定の数値を表すような、代数的形状（多様体）の景観を探索しています。彼らの使命は、どの点が「収束」し、どの点が「混沌とした行き止まり」であるのかを正確にマッピングすることです。

収束の黄金律

チームは、これらの分数に対する交通信号機として機能する、単純で厳格なルール（定理 3.1）を発見しました。$p$ 進の世界で繰り返される分数が落ち着くためには、二つのことが起こらなければなりません：

1. 和が「大きい」こと： 特定の組み合わせの数字が、$p$ 進の意味において「大きい」（つまり、高い $p$ の累乗で割り切れる）こと。
2. ゼロ除算がないこと： 中間ステップにおける一連のチェックにより、誤ってゼロで割ったり、壁にぶつかったりしないことを確実にすること。

これらの条件が満たされない場合、その分数は救いようがありません。それは決して収束せず、永遠に回転し続けます。著者らは、これが単なる推測ではなく、厳然たる数学的事実であることを証明しています。

景観のマッピング：小さな次元

著者らは、この景観の中で最も単純な形状、つまり繰り返しのパターンが短いもの（長さ 1、2、または 3）にズームインします。彼らは地図製作者のように、収束が可能となる境界線を描いています。

• 一ステップのループ (Type 0,1): ここでは、分数は一つの数字を繰り返します。これが機能するためには、その数は非常に特定の有理値でなければならないことを、論文は証明しています。もしループを定義する多項式が $p$ 進の世界に根を持たない場合、そのマップは空集合となります。ここには無理数平方根は隠れておらず、マシンはそれらに収束することはありません。
• 二ステップのループ (Type 0,2): パターンが二つの数字を繰り返すとき、著者らは収束がいまだに極めて稀であることを発見しました。もし収束が起こるとしても、それら二つの数字の積は非常に特定の種類の平方数でなければならないことを示しています。ここでも、無理数平方根が目的地になることはありません。
• 三ステップのループ (Type 0,3): ここで事態は熱を帯びてきます。パターンが三つの数字を持つとき、景観は開けますが、それでもなお砂漠です。著者らは、特定の種類の数（純粋な根号 $\sqrt{d}$ など）に対して、収束する分数の数は有限であることを証明しています。彼らは単に「稀である」と言っているのではなく、複雑な鍵穴に合う数個の特定の鍵を見つけるように、解の数が限られていることを証明しているのです。

ペル方程式との関連

$\sqrt{d}$ を含む三ステップのループについて、著者らはペル方程式への隠れたつながりを明らかにしています。これらは、何世紀にもわたって研究されてきた古代のディオファントス方程式（$x^2 - dy^2 = n$ のような方程式）です。

この論文は、$\sqrt{d}$ に対する収束する $p$ 進分数を求めることが、特定のペル方程式の解を見つけることと全く同じであることを示しています。これは強力なツールです。なぜなら、私たちは「基本単位」（マスターキー）を用いてペル方程式の解の族を生成する方法を知っているからです。しかし、著者らはこれを用いて否定的な結果を導き出します。すなわち、ペル方程式には無限の解の族が存在するものの、厳格な $p$ 進収束ルールを満たすものは有限個しかないということです。

彼らは具体的な例も構築しています。例えば、特定の素数を用いて $\sqrt{10}$ や $\sqrt{5}$ の収束する分数を作る方法を示していますが、これらは広大な大陸ではなく、孤立した成功の島であることを注意深く述べています。

彼らが否定したもの

この論文が何を扱っていないかを理解することが重要です。

• 魔法のアルゴリズムではない： 著者らは、任意の数に対して分数を生成する有名なアルゴリズム（有名な Browkin や Ruban の手法など）を見ているのではないことを明言しています。代わりに、彼らはあらゆる繰り返される数列を見ています。
• 単純なループにおける無理数平方根の不在： 最も単純なループ（長さ 1 および 2）において、無理数平方根に収束することは不可能であることを、論文は証明しています。もし、単純な繰り返される分数を $p$ 進の世界で $\sqrt{2}$ や $\sqrt{3}$ に等しくさせようとしても、それは決して起こりません。
• 単純なケースにおける無限の解の不在： 複雑なケースでは無限の族が存在するかもしれませんが、著者らは「純粋な根号」の場合（三ステップのループを持つ $\sqrt{d}$ など）において、解の数は有限であることを証明しています。

結論：有限かつ精密

著者らは、これらの収束する点が存在することを単に示唆しているのではなく、彼らが研究したケースにおける解集合の有限性を証明しました。彼らは単にコンピュータ・シミュレーションを実行して「いくつかあるようだ」と言っているのではありません。彼らは代数幾何学と数論の深い道具を用い、収束する点の集合が特定の座標の有限な集まりであることを示しました。

例えば、三ステップのループを持つ $\sqrt{10}$ の場合、彼らは $[13, 9/53, -4]$ のような、機能する数少ない特定の分数を明示的にリストアップしています。また、特定の種類の数（4 で割り切れる数や $-1 \pmod 4$ に合同な素数など）については、解の集合は空であることも示しています。つまり、収束する分数は存在しません。

総括

この論文は、数学的宇宙の小さく、トリッキーな片隅を厳密に描き出した地図です。$p$ 進の世界は繰り返されるパターンに満ちていますが、実際に数値へと落ち着くものは、極めて「好みにうるさい」ものであることを教えてくれます。それらは、代数的な条件の完璧な一致を要求します。著者らは境界線を引き、その境界が有限であることを証明し、どこに「安全地帯」があるのかを正確に示しました。彼らはすべての数を収束させる方法を見つけたわけではありませんが、$p$ 進マシンがようやく回転を止め、明確な答えを出す、あの稀で特別なケースを特定することに成功したのです。