球面の回転対称Zoll計量で三次の保存量を持つ計量を二つのパラメータで記述
この論文は、すべての測地線(最短経路)が閉じる特殊な計量のうち、回転対称で「運動量に対して三次の多項式」で表される保存量(三次積分)を持つものを完全に記述します。こうした計量は「Zoll計量」と呼ばれます。著者らは新しい方法で、該当する計量を明示的に構成し、任意の回転対称な例がある二つの実パラメータの族に同型であることを示しました。要するに、このクラスの計量はすべてその族に含まれる、という全体的な分類結果です。
研究者たちはまずFunk(フンク)が与えた回転対称の場合の計量の形を用いました。ここでは球面の緯度に相当する変数x上の関数h(x)が計量を決めます。測地線の流れは通常の運動エネルギー(ハミルトニアン H)と回転に対応する角運動量 L を保存しますが、これに加えて三次の多項式で表される保存量Fを要求します。著者らは座標yに指数因子e^{±y}を持つ候補(F_+とF_-)を構成し、その積P=F_+F_-がyに依存しない量になることを利用しました。Pはハミルトニアンと角運動量だけの多項式(いわゆるCasimir式)として書けるため、この代数的関係から未知の関数h(x)と係数を代数方程式として解けるようになります。
その結果、h(x)は二つの実パラメータσ1, σ2で表せる明示的な多項式形に与えられます。具体的にはh(x)=x Q_1(x) - 2 Q_2(x)^2で、Q_1とQ_2はσ1, σ2に依存する多項式で、Q_1(x)=-(2σ1+1)x^2+2σ1+3、Q_2(x)=(2σ1+4σ2+1)x^4-(6σ1+8σ2+3)x^2+4σ1+4σ2+3です。パラメータはσ1>-3/2かつ-(σ1+3/4)<σ2< (2σ1+1)(2σ1-3)/16という不等式を満たす必要があります。逆に、その範囲の任意の(σ1,σ2)に対して得られる計量は回転対称なZoll計量であり、非自明な三次積分を持つことが証明されています。
この仕事の意義は二点あります。第一に、一般に非線形常微分方程式を解く必要がある問題を、積の形で表した代数方程式へと還元する手法を示したことです。これにより回転対称かつ三次積分を持つZoll計量の完全分類が得られました。第二に、得られた族は以前に報告されたValentやDuval・Shevchishinらの結果と比較されており、一致性が示されています。著者らはこの代数的方法がより高次の積分の場合にも拡張可能だと考えています。
重要な注意点もあります。今回の結果は回転対称(曲面の回転体)という仮定に基づいています。非回転対称なZoll計量や、三次以外の次数の保存量を持つ一般の場合については本稿の扱い外です。また、保存量が「非自明」とは、既知の低次の保存量(例えばHやL)から機能的に独立であることを意味します。最後に、ここで参照しているのは論文の抜粋であり、詳細な証明や補題は本文の該当節に示されています。