Plane rectifiable curves: old and new

技術的サマリー：平面可長曲線：古と新

問題提起
本論文は、平面代数曲線に対する古典的な代数的可長性の問題を扱っている。曲線が代数的に可長であるとは、その弧長が端点の関数として見たとき、代数的関数となることを意味する。歴史的に重要な例（半立方放物線など）は存在するが、任意の代数曲線がこの性質を持つかどうかを決定するための一般的な基準は、主に evolutes（漸屈線）のような幾何学的構成を通じて定式化されてきた。著者らは、この問題を代数曲線の正規化上の有理型微分形式の言語を用いて再構成し、内在的な基準を提供するとともに、微分形式の層（strata）の研究との理論を統一することを目的としている。

手法
著者らは、コンパクトなリーマン面上における有理型微分形式の理論を採用する。彼らの主要な方法的転換は、代数平面曲線 $\Gamma$ を、その正規化 $\tilde{\Gamma}$ 上で定義された特定の二次微分形式 $ds^2 = dx^2 + dy^2$ と関連付けることにある。

1. 微分形式による定式化: 彼らは正規化上の弧長 1 形式 $ds$と関連する二次微分形式$ds^2$ を定義する。彼らはこの微分形式の零点と極の除数（divisor）を解析し、無限遠の円点を通る接線（等方接線）や無限遠における挙動と関連付ける。
2. 実現可能性の基準: 本論文は、実リーマン面 $(X, \rho)$ 上のどの二次微分形式が、実有理型平面写像の弧長微分形式として実現可能かを調査する。これには、二次微分形式 $q$ を共役な 1 形式 $q = \omega \rho^*\omega$ に分解し、$\omega$ に完全性条件（周期の消滅）を課すことが含まれる。
3. 高次への一般化: この枠組みは $k$ 次微分形式へと拡張される。著者らは、標準的な $k$ 重被覆の完全性を通じて「完全」な $k$ 次微分形式を定義し、これをアーベル積分 $\int \phi^{1/k}$ の代数的性質と関連付ける。
4. アフィン類似: 手法は特殊アフィン幾何学に適応され、ユークリッド二次微分形式に代わってアフィン三次微分形式 $(\gamma' \wedge \gamma'')dt^3$ が用いられる。

主要な貢献と結果

• 内在的実現可能性基準（定理 4）: 著者らは、コンパクトな実リーマン面 $X$ 上の $\rho$-実二次微分形式 $q$ が、実有理型平面写像によって誘導されるための必要十分条件は、$q$ が「完全な許容半除数」を持つことであると確立する。これは、$q$ が $\omega \rho^*\omega$ と分解され、ここで $\omega$ が完全な有理型 1 形式（すなわち、有理型関数 $z$ に対して $\omega = dz$）であることを意味する。これにより、存在問題は除数論的条件と周期条件に分離される。
• 一意性（命題 5）: 固定された分解（除数）に対して、実現は直接ユークリッド運動まで一意である。微分形式が正の定数でスケーリングされる場合、実現はユークリッド相似変換まで一意である。
• 可長性条件の同等性（定理 12）: 本論文は、非線形な平面代数曲線について、以下の条件が同等であることを証明する：
  1. 曲線は代数的に可長である。
  2. 弧長二次微分形式の標準的な二重被覆は完全である。
  3. 曲線の漸開線（involutes）は代数曲線である。
  4. 曲線はある代数曲線の漸屈線（evolute）である。
     この結果は、曲線が可長であることと漸屈線であることが同値であるとする Humbert の古典的定理を、弧長微分形式の完全性基準の幾何学的現れとして再解釈するものである。
• 有理曲線の分類（定理 13）: 非線形な有理実平面曲線について、弧長二次微分形式がちょうど 2 つの特異点を持つ場合、その曲線は（ユークリッド相似と再パラメータ化を除いて）円でなければならない。特異点が実である場合、曲線は直線である。
• 高次微分形式の完全性（定理 7）: 著者らは、有理型 $k$ 次微分形式 $\phi$ について、その標準的な $k$ 重被覆の完全性は、アーベル積分 $\int \phi^{1/k}$ の代数的性質および、ある有理型関数 $f$ に対する表現 $\phi = f (df/f)^k$ と同等であることを証明する。
• アフィン可長性（命題 15）: アフィン幾何学についても同様の結果が提供される：アフィン漸開線が代数曲線であることと、アフィン三次微分形式が完全な標準被覆を持つことは同値である。

例と計算
本論文は、いくつかの特定の曲線に対する弧長微分形式を計算・分類し、それらを有理型微分形式の適切な層（$\Omega^2 M_g$）の中に位置づける：

• 二次曲線: 円は可長な二次曲線の中で唯一のものである。双曲線と円以外の楕円は、4 つの単純な零点と位数 4 の 2 つの極を持つ微分形式を与える。放物線は、2 つの単純な零点と位数 6 の 1 つの極を持つ微分形式を与える。
• ベルヌーイのレムニスケート: 弧長微分形式は 4 つの単純な極を持ち、零点を持たず、「ピローケース」型の平坦曲面に対応する。
• 半立方放物線: 微分形式が完全である古典的な可長例であり、位数 2 の零点と位数 8 の極を持つ特定の層に属する。
• ピタゴラス接線曲線（Pythagorean-Hodograph Curves）: 本論文は、非線形な恒等式から生じる滑らかで可長な曲線である 5 次ピタゴラス接線曲線について論じ、特異な半立方放物線とは区別されることを示す。

重要性
本論文は、古典的射影幾何学と現代の有理型微分形式の層の理論との間の「有用な架け橋」を提供すると主張している。代数的可長性を完全微分形式の言語で再構成することにより、著者らは以下の点において均一な枠組みを提供する：

1. 可長性、漸屈線、漸開線との関係を明確化する。
2. 概念を高次微分形式およびアフィン幾何学へ一般化する。
3. 純粋な幾何学的特徴付けを超えて、可長性を決定するための内在的・除数論的基準を提供する。

この研究は新しい実験的応用を提案するものではなく、代数曲線に制限されたユークリッド（またはアフィン）計量が代数的に積分可能となる条件に関する理論的理解を洗練させるものである。それは Serret、Laguerre、Humbert による歴史的な結果を、微分形式のモジュライ空間およびピタゴラス接線曲線に関する現代の発展と結びつけている。