The Euclidean algorithm, lotuses and singularities

技術要約：ユークリッドの互除法、ロータス、および特異点

問題提起
本論文は、二つの異なる数学的領域間の構造的関係を扱っている。それは、古典的な数論的プロセスである「アンティファイレシス（anthyphairesis）」（より小さい量を大きい方から繰り返し減算し、最大公約数を導き出す過程）と、二項平面曲線 $y^a - x^b = 0$ で定義される特異点の「最小埋め込み分解（minimal embedded resolution）」の幾何学的プロセスである。このような曲線の特異性を分解するために必要なブローアップ（blowup）の列が、アンティファイレシスの過程における減算の列を模倣することは確立されているが、本論文は、これら両プロセスの数値データを単一の組合せ論的対象の中に明示的に局在化させる、統一されたグラフィカルな枠組みを提供することを目的としている。

手法
著者は、代数幾何学と組合せトポロジーを組み合わせて、「ロータス（lotus）」と呼ばれる特定の二次元単体的複体（simplicial complex）を構築し、分析する。その手法は以下のステップで進行する。

1. ブローアップの幾何学的分析： 本論文はまず、アフィン平面における原点のブローアップの標準的な表現を復習する。そして、ブローアップによる二項曲線 $C_{a,b}$ の厳密変換（strict transform）が、指数の減少（例えば、$a < b$ の場合に $C_{a,b}$ から $C_{a, b-a}$ への変換）に対応することを示す。これにより、ユークリッドの互除法（減算による）と、最小埋め込み分解に至るブローアップの列との間の直接的な並行関係を確立する。
2. ロータスの構築： 論文は、正の有理数に関連付けられたロータス $\Lambda(b/a)$ を導入する。
   • 標準的な構築法： ユークリッドの互除法から導かれる連分数展開からロータスを構築する既存の手法を回想する。そこでは、商（quotients）が基本三角形の三角形分割を決定する。
   • 代替的な構築法（アンティファイレティック長方形）： 論文は、アンティファイレティック・プロセスによって生成されるペアの列から直接出発する新しい構築法を提案する。これは、プロセスの各ステップにおける「減算長方形」$S(a,b)$ を定義し、それらを積み重ねて「アンティファイレティック長方形」$R(a,b)$ を形成するものである。
3. 縮退と同型性： 著者は、アンティファイレティック長方形 $R(a,b)$ を縮退させて「アンティファイレティック三角形」$T(a,b)$ を生成する操作を定義する。特定の垂直方向のエッジ（頂点が数値的な装飾を共有している箇所）および単位正方形の上端を縮退させることで、$T(a,b)$ が連分数によるロータス $\Lambda(b/a)$ と同型であることが示される。
4. 逆再構成： 論文は、与えられたロータスから互いに素な整数の組を再構成する逆アルゴリズム（命題6.1）を詳述する。これは、上部（単位ペア）から始まり、花弁ごとに下降しながらロータスの頂点に装飾を施し、隣接する頂点の値を加算することで、各三角形の花弁における第三の頂点の値を決定する手順を含む。

主な貢献

• アンティファイレティック長方形： 減算ベースのユークリッドの互除法をグラフィカルに表現する対象として、アンティファイレティック長方形 $R(a,b)$ を導入した。この対象は、アンティファイレティック・プロセスの全履歴を視覚的に符号化する中間構造として機能する。
• 構造の同型性： 連分数によって構築されたロータス $\Lambda(b/a)$ と、アンティファイレティック長方形 $T(a,b)$ が同型であるという証明（命題5.3）である。これは、アルゴリズムの減算ベースの視点と除法ベースの視点を、同一のトポロジカルな枠組みの中で直接結びつけるものである。
• 計算アーキテクチャ： ロータスが「計算アーキテクチャ」として機能することを実証した。論文は、ロータスの花弁内での局所的な操作（頂点の装飾の加算）を反復するだけで、整数の組の列（アンティファイレティックの履歴）や例外因子（exceptional divisor）の交差数を計算できることを示している。
• 分解データの可視化： 例外因子の双対グラフと、その成分の自己交差数を、ロータスの構造から直接読み取る方法を提供している（命題4.5）。具体的には、花弁の付着順序はブローアップの順序に対応し、ある頂点に隣接する花弁の数は、対応する例外因子の自己交差数の負の値となる。

結果

• 論文は、組 $(4, 11)$ に対して、連分数法とアンティファイレティック長方形法の両方を用いてロータス $\Lambda(b/a)$ を構築することに成功し、それらの等価性を実証した。
• 曲線 $C_{a,b}$ の最小埋め込み分解は、$(a, b)$ に対するアンティファイレティック・プロセスを正確に反映した一連のブローアップによって達成されることを確立した。
• 最小埋め込み分解の例外因子の双対グラフが、ロータスの境界エッジ（底部の頂点を除く）と同型であり、自己交差数はロータスの局所的な連結性から導出できることを証明した。
• 逆アルゴリズム（命題6.1）が検証され、元の整数に関する事前知識なしに、ロータスの構造から互いに素なペアの列を回収できることが示された。

意義と主張
本論文は、これらの概念を代数幾何学や特異点論の専門知識を持たない読者にも分かりやすくすることを意図した導入的な論文として位置づけている。その主な意義は以下の通りである：

1. 統一： ユークリッドのアルゴリズムの算術（特にデビッド・ファウラーが好んだアンティファイレティックな視点）を、ロータスの視覚的な言語を通じて、特異点の幾何学的分解と統一している。
2. 計算上の有用性： ロータスが、特異点の複雑な不変量（交差数や分解列など）を、単体的複体上の単純な反復的局所操作を通じて計算できる「計算アーキテクチャ」として機能することを示している。
3. 教育的価値： $(4, 11)$ という特定の事例を典型的な例として用いることで、著者はロータスの一般的な構築法とブローアップ過程との関係を明確にし、従来の文献で確立されていたより抽象的な連分数構築に代わる具体的な手法を提示している。

著者は、これらの結果が基礎となる数学（マックス・ノイターやエンリケスに遡る）の新しい発見ではなく、むしろ、算術的プロセスと幾何学的プロセスの関係を明確にする新しいグラフィカルな形式（ロータスとアンティファイレティック長方形）であることを明記している。