The Hessian of elliptic curves as a Lattès map

技術要約：ラテス写像としての楕円曲線のヘッセ行列

問題提起
本論文は、ヘッセ変換によって生成される離散力学系を調査している。射影平面三次曲線 $V(F)$ が与えられたとき、そのヘッセ行列の行列式の零点集合がヘッセ行列（Hessian）である。$V(F)$ が滑らかな三次曲線（楕円曲線）である場合、ヘッセ行列は新たな三次曲線を定義し、楕円曲線のモジュライ空間上の変換を誘導する。著者らは、以下の2つの特定の射影写像に焦点を当てている：

1. $j$-不変量に作用する $H: \mathbb{P}^1(k) \to \mathbb{P}^1(k)$。
2. ヘッセ・ペンシル（曲線 $x^3+y^3+z^3+\lambda xyz$）に作用する $\Lambda: \mathbb{P}^1(k) \to \mathbb{P}^1(k)$。

中心となる問題は、任意の体 $k$（ただし $\text{char}(k) \neq 2, 3$）において、および特に有限体 $\mathbb{F}_q$ における、これらの写像（ヘッセ・グラフ）の関数グラフの構造と対称性を特徴付けることである。有理関数の力学系自体は広範な分野であるが、ヘッセ・グラフの具体的な構造、特にその対称性や、楕円曲線へのこれらの力学系の持ち上げ（lifting）に関する詳細な調査はこれまで行われていなかった。

手法
著者らは、ヘッセ変換を**ラテス写像（Lattès map）**として再構成するという、幾何学的および算術的なアプローチを採用している。ラテス写像とは、楕円曲線 $E$、端道 $\psi: E \to E$、および有限な射影 $\pi: E \to \mathbb{P}^1$ を含む可換図式に適合する有理関数 $\phi: \mathbb{P}^1(k) \to \mathbb{P}^1(k)$ のことである。

手法は以下のステップで進行する：

1. ラテス同定： 著者らは、$H$ と $\Lambda$ がともに**剛なラテス写像（rigid Lattès maps）**であることを証明している。これらは、柔軟なラテス写像（$m$ 倍写像から生じるもの）とは異なり、複素乗法（CM）を持つ曲線（$j=0$ の曲線 $E$）の端道から生じる。著者らは、基礎となる曲線が $j$-不変量 0 の曲線 $E: y^2 = x^3 - 1728$ であるような簡約されたラテス図式を明示的に構成している。持ち上げられた写像 $\psi$ は、$\sqrt{-3}$ による複素乗法に対応する次数3の端道として特定されている。
2. 群論的解析： 本論文では、素数核（具体的には核のサイズ3）を持つ群端道の力学系を分析している。これらの関数グラフの連結成分を、サイクル、有向線、または有向半直線へと分類し、頂点は正則なアルボレセンス（根付き木）を形成する。
3. 射影解析： 楕円曲線 $E$ 上の $\psi$ の正則な力学系が、射影 $\pi$ を通じてラテス写像 $\phi$ の関数グラフ上にどのように投影されるかについての理解に、多大な労力が割かれている。著者らは、投影の「ファイバー（fiber）」を特徴付け、それらがツイストされた楕密曲線の和集合であることを示している。また、どの祖先木の枝が投影の下で同一視されるかを正確に決定しており、特にゼロ座標を持つ点（捩率点）において顕著である。
4. 算術的特殊化： 結果は有限体 $\mathbb{F}_q$ に特殊化される。著者らは、楕円曲線のトレースと有理点の個数のパリティを利用して、ファイバーの構造と結果としてのグラフのトポロジーを決定している。

主要な貢献と結果

• 剛なラテス構造： 本論文は、ヘッセ変換が剛なラテス写像であることを確立している（定理 3.19）。柔軟なラテス写像（$m$ 倍写像から生じるもの）とは異なり、これらの写像は複素乗法（CM）を持つ曲線（$j=0$ の $E$）の端道から生じる。
• 逆ヘッセと2-捩率点： 逆像 $H^{-1}(j)$ と、$j$-不変量 $j$ を持つ楕円曲線の $k$ 有理の2次捩率点の集合との間に全単射が確立されている（命題 2.13）。これは、逆ヘッセを計算することが2次捩率点を見つけることと同等であることを意味する。
• グラフの構造的分類：
  • 一般の体： ヘッセ・グラフの連結成分は、$E$ のツイスト上での $\psi$ の作用から導かれることが示されている。射影 $\pi$ は、特定の枝、特に2次捩率点に到達する枝、および写像 $H$ においては点 $\pm T_k$（3次捩率点）を同一視する。
  • 有限体： 本論文は、$\mathbb{F}_q$ 上のヘッセ・グラフの完全な分類を提供している。
    • $q \equiv 1 \pmod 3$ の場合、グラフは、特定の枝で刈り取られた、既知の群端道の6つの関数グラフの和集合となる（定理 7.8）。
    • $q \equiv 2 \pmod 3$ の場合、曲線 $E$ は超特異となる。グラフは、2つの同型なグラフの順序付けられたマージから生じ、その深さとサイクルは完全に決定されている（定理 7.13）。
• リーフ（葉）の特性： 本論文は、ヘッセ・グラフの「リーフ」（前像が空である要素）を特徴付けている。有限体において、要素 $j$ がリーフであるための必要十分条件は、対応する楕円曲線のトレースが偶数であることである（補題 7.4）。
• アルゴリズムの効率性： 著者らは、$\mathbb{F}_q$ 上のヘッセ変換の任意の反復が、$q$ のサイズに対して多項式時間で計算可能であることを示している（命題 8.1）。

意義と主張
本論文は、問題を特定の楕円曲線の算術へと持ち上げることで、ヘッセ変換の力学系を調査するための「効果的なツール」を提供すると主張している。主な意義は以下の通りである：

1. 統一された枠組み： ヘッセの力学系をラテス写像の理論の下に統合し、楕円曲線の端道のよく理解された構造を活用している。
2. 完全な分類： 有限体におけるヘッセ関数グラフの完全な構造的記述を提供しており、これは文献にはこれまで存在しなかった結果である。
3. 計算上の有用性： ヘッセ写像の反復を基礎となる楕円曲線の演算に還元することで、効率的な計算手法を提供している。
4. 暗号学的ポテンシャル： 著者らは、これらの結果が潜在的な暗号応用への道を開くと述べている。具体的には、超特異な $j$-不変量が、3を法とする特定のトレース特性を持つ既定の連結成分内に存在することを証明しており、これらの構造がイソジェニーや力学系を扱う暗号プロトコルに関連する可能性があることを示唆している。

論文は、結果が暗号への使用への道を開くものであると述べるにとどまり、即時の展開を断言することなく、控えめなトーンを維持しており、主に力学系の理論的特性化に焦点を当てている。