A non-linear differential equation for the periods of elliptic surfaces

技術的要約：楕円曲面のド・ラーム・コホモロジーに関する非線形微分方程式

問題設定
本論文は、複素数体 $\mathbb{C}$ 上のヤコビ型楕円曲面 $f: X \to C$ のモジュライ空間の構造、特にその幾何学的構造、分類射の分岐、およびホッジ構造の変化に焦点を当てて取り組んでいる。中心となる問題は、原始的な $(1,1)$-コホモロジー $H^{1,1}_{\text{prim}}(X)$ の周期写像を特徴付け、その周期行列を支配する微分方程式を導出することである。ガウス・マネーニ接続は、ホッジ構造の変化に対して線形な枠組みを提供するが、著者は、モジュライ・スタックの局所座標を用いて $(1,1)$ クラスを明示的に制約する非線形偏微分方程式（PDE）系を求めている。

手法
アプローチは、モジュライ・スタックの幾何学、楕円曲面の理論、およびガウス・マネーニ接続の解析を組み合わせたものである。

1. モジュライと座標: 著者は、既約な結節特異ファイバーを持つヤコビ型楕円曲面のスタック $\mathcal{J}\mathcal{E}$ を考察する。このスタックは、幾何学的種数 $h$ および不規則度 $q$ を用いて、次元 $N = 10h + 8(1-q)$ の滑らかな多様体であることが示されている。分類射 $\phi: C \to \mathcal{E}\ell\ell$（ここで $\mathcal{E}\ell\ell \cong \mathbb{P}(4,6)$ は一般化された楕円曲線のスタック）の分岐層を通じて、モジュライ・スタック上の局所座標系が構成される。具体的には、$Z = \text{Ram}(\phi)$ を分岐集合とすると、分岐因子 $B = \phi^*Z$ がエタール局所座標 $(t_i)_{i \in [1,N]}$ を提供する。
2. コホモロジー基底: 各分岐点 $P_i \in Z$ に対して、第2種の特定の有理2形式 $\tilde{\eta}_i \in H^0(X, \Omega^2_X(2E_i))$ （ただし $E_i = f^{-1}(P_i)$）が構成される。これらの形式は、特定の等長部分格子 $L \subset H^2(X, \mathbb{Z})_{\text{prim}}$ 上で消えるように正規化されている。それらの $H^{1,1}_{\text{prim}}(X)$ への射影 $\eta_i$ は、直交基底を形成する。
3. 周期行列: 行列 $H = [\eta_1, \dots, \eta_N]$ は、直交フレームのトーション（ねじれ）空間への多価周期写像を表す、複素直交群 $O_N$ の元として扱われる。
4. PDEの導出: 単一の分岐点の変化に伴う周期写像の微分を分析することにより、著者は基底形式 $\eta_i$ の変化をガウス・マネーニ接続に関連付ける。鍵となるステップは、ガウス・マネーニ接続の線形系を「切断（truncate）」して、$(1,1)$ クラスに対する非線形な制約を孤立させることである。

主要な貢献と結果

• 「エクリプティック（Ecliptic）」方程式: 主要な結果は、周期行列 $H$ が満たす非線形PDE系の導出である。この系は次のように与えられる：
  $$\{ \partial_i H = (\partial_i \eta_i \wedge \eta_i) H \}_{i \in [1,N]}$$
  ここで $\partial_i = \partial/\partial t_i$ である。項 $\partial_i \eta_i \wedge \eta_i$ は、粒子 $\eta_i$（その位置と速度によって定義される2平面）のエクリプティックとして幾何学的に解釈される。この方程式は、標準的な線形系 $|K_X|$ が基点を持つ場合でも一般に成立し、基点の不在を要求していた従来の知見を拡張している。
• 直交性と基底構成: 本論文は、第2種の有理2形式を用いた $H^{1,1}_{\text{prim}}(X)$ の正規直交基底の厳密な構成を提供している。これらのクラスが互いに直交することを証明しており、この性質は以前は制限的な仮定（基点がないこと）の下でのみ確立されていた。
• 無限小 Torelli 定理: 写像 $H$ に対する一般的な無限小 Torelli 定理が証明されている。周期写像の微分は、生成的（generic）には埋め込みであることが示されている。著者は、基点が存在する場合（具体的には $h=q$ であり、基点 $Q$ が分岐集合 $Z$ に含まれる場合）のケースを分析し、その際、周期写像の微分は余次元1となり、無限小 Torelli が成立しないことを示している。
• 有理曲面に対する明示的な計算: 有理楕円曲面（$q=0, h=1$）について、周期行列を計算するための明示的なアルゴリズムの概要が述べられている。これには以下が含まれる：
  • 曲面を9点のブローアップによる $\mathbb{P}^2$ と構成すること。
  • アンチ標準モデルと重み付き射影空間における6次方程式を用いること。
  • 形式の局所展開から導かれる残留公式を用いて、特定の曲線 $D$（ファイブレーションのセクション）との交点数 $[\eta_i] \cup_{dR} [D]$ を計算すること。
  • 基底を正規直交にするために必要なスカラーを決定すること。

意義
本論文は、楕円曲面の $(1,1)$-コホモロジーを支配する具体的な非線形微分方程式を提供することで、その重要性を主張している。この領域は、$(2,0)$ や $(0,2)$ 部分よりもアクセスが困難なことが多い。周期写像をこの「エクリプティック」方程式の解として解釈することにより、本研究は、分岐因子を介したモジュライ空間の幾何学をホッジ構造に直接結びつけている。有理曲面に対する明示的な計算は、これらの抽象的な構成が計算可能であることを示しており、算術幾何学における明示的な周期計算への潜在的な経路を提示している。また、基点が存在する場合の無限小 Torelli 定理に関する理解を洗練させ、周期写像が退化する正確な幾何学的条件を明らかにしている。