Continuity of the tropical Prym-Torelli map

技術的要約：トロピカル・プリム–トーリ・マップの連続性

問題提起
本論文は、トロピカル・プリム多様体の理論における根本的な不連続性に対処するものである。古典的なプリム多様体は滑らかな代数曲体のエタール二重被覆に関連しているが、そのトロピカルな対応物は、計量グラフの調和射（harmonic morphisms）から生じる。JensenとLenによる先行研究では、トロピカル・プリム多様体の「標準的」な定義が確立された。しかし、[GZ24]において、この定義の下では、プリム多様体の体積が族の中で連続的に変化せず、その結果、トロピカル・プリム–トーリ・マップ（二重被覆にプリム多様体を割り当てる写像）が連続ではないことが示された。

その後のRöhrleとZakharov ([RZ25]) による研究では、「連続的な」プリム多様体（$Prym_c$）と「有理的（divisorial）」プリム多様体（$Prym_d$）が導入された。彼らは、拡張部分グラフの種数を増加させるエッジ収縮の下で、$Prym_c$ が連続的に変化することを、二重被覆が自由（free）であるか、あるいは拡張部分グラフが連結である場合に限定して示した。しかし、彼らの構成は純粋にトロピカルな組合せ論に依存しており、正の頂点重み（重み付き計量グラフ）が存在する場合に複数のサイクルを収縮させることで起こる次元の低下を考慮していない。具体的には、プリム・トーラスの標準的な次元（$b_1(\tilde{\Gamma}) - b_1(\Gamma)$）は、重みが関与する場合、重みの存在によって総種数が変化するため、連続性を維持するには不十分である（「拡張された」定義が必要となる）。

手法
著者は、重み付き計量グラフの調和二重被覆に対する、新しい、本質的な連続プリム多様体の構成を提案する。手法は以下のステップに従う：

1. 定義と準備： 本論文は、重み付き計量グラフに対する調和射を定式化し、拡張部分グラフ（$\Gamma_{dil}$）と拡張指数（dilation index）を定義する。また、基底グラフの重み（$w$）と被覆の重み（$\tilde{w}$）の関係を確立し、被覆の第一ベッチ数は一定ではなく、拡張構造に依存することを指摘する。
2. 拡張プリム多様体： 著者は、「拡張されたプリム多様体」（$Prym_c(\pi_w)$）を、次元 $g_{\tilde{\Gamma}} - g_{\Gamma}$ の整数トーラスとして定義する。これは、標準的な連続プリム・トーラス（$Id - \iota^*$ の像として定義されるもの）に対し、1形式の格子とホモロジーサイクルの格子の両方に $|\tilde{w}| - |w|$ 個の次元を加えることで達成される。この拡張により、重みが存在する場合でも、次元が期待される種数の差と一致するようにしている。
3. 本質的な基底の構成： 本論文の中心的な技術的貢献は、反対称サイクル（$Im(Id - \iota^*)$）の格子のための本質的な基底の構成である。
   • [LZ22] や [RZ25] のような、自由な被覆から退化する基底や、適切に退化しない可能性のある特定の生成木（spanning tree）の選択を必要とする先行研究の構成とは異なり、本論文は 構成1（Construction 1） を導入する。
   • この構成では、基底グラフ $\Gamma$ の生成木 $T$ に対する、被覆 $\tilde{\Gamma}$ の「許容可能な（admissible）」生成木 $\tilde{T}$ を選択する。$\tilde{T}$ の選択は柔軟であり、それは $T$ の「正の」側（$\pi^{-1}(T)^+$）の全逆像を含まなければならないが、拡張されていない $T$ のエッジの逆像については特定の選択を許容する。
   • 基底要素 $\beta_e$ は、$\tilde{T}$ に含まれないエッジに関連する反対称サイクル（$\tilde{\gamma}_e^- - \iota \tilde{\gamma}_e^-$）として定義される。
4. 連続性の証明： この特定の基底の選択が、エッジ収縮の下で良好に振る舞うことを著者は証明する。部分グラフ $S$ の任意の収縮に対して、収縮前のグラフにおける許容可能な生成木の選択が、収縮後のグラフの許容可能な生成木へと正確に収縮することを示すことで、反対称サイクルの基底が連続的に変形することを確立する。

主要な貢献と結果

• 定理A（写像の連続性）： トロピカル・プリム–トーリ・マップ $P_g^{trop}: R_g^{trop} \to A_{g-1}^{trop, V}$ は、調和二重被覆に対してその拡張連続プリム多様体を割り当てるものであり、連続である。この結果は、重み付き計量グラフの一般的な設定において成立し、従来の定義で見られた不連続性の問題を解決する。
• 定理B（定理3.1）： 構成1を通じて構築されたサイクルの集合は、連続プリム多様体（$Im(Id - \iota^*)$）を定義する格子の基底を形成する。この基底は、任意の許容可能な生成木の選択に対して独立であり、かつ格子を生成することが証明されている。
• 本質的な構成： 本論文は、二重被覆に本質的な基底の構成を提供しており、自由な被覆からの退化に依存しない。これは、拡張されたエッジや $\pi$-平行ループ（$\pi$-parallel loops）のケースを明示的に扱い、自由な被覆と拡張された被覆の扱いを統一するものである。
• 次元の一貫性： 拡張プリム多様体の定義は、拡張部分グラフの種数を増加させるエッジの収縮に伴う次元の変化を正しく考慮しており、得られる対象が正しい次元を持つ主極化トロピカル・アーベル多様体であり続けることを保証している。

意義と主張
本論文は、重み付き計量グラフの一般的な設定において、トロピカル・プリム–トーリ・マップの連続性を証明した最初の例であると主張している。著者は、この結果が「専門家には既知」であると述べているが、文献にはまだ登場していなかった。その意義は以下の点にある：

1. 不連続性の解消： 標準的なプリムの定義の失敗を修正し、正の重みや複数のサイクルの収縮を含むケースへと、RöhrleとZakharovの連続性の結果を拡張した。
2. 本質的な基底： 反対称サイクルの基底の構成は、以前の手法よりも柔軟で堅牢であり、自由な被覆からの極限引数に頼ることなく、直接的な連続性の証明を可能にしている。
3. 基礎的な安定性： トロピカル・プリム–トーリ・マップの連続性を確立することで、本論文は、調和二重被覆のモジュライ空間が、主極化トロピカル・アーベル多様体のモジュライ空間へ連続的に写ることを保証する。これは、トロピカル幾何学における写像がウェルディファインドな射（morphism）であるための必要条件である。

本研究は、新しい応用や実験的なセットアップを提案するものではなく、トロピカル・プリム多様体の研究のための厳密な理論的基礎を提供するものであり、幾何学的不変量がモジュライ空間の自然な操作（エッジ収縮）の下で一貫して振る舞うことを保証するものである。