[論文レビュー] The Hurwitz space Picard rank conjecture for $d>g-1$

Scott Mullane|arXiv (Cornell University)|Sep 21, 2020

Algebraic Geometry and Number Theory参考文献 31被引用数 6

ひとこと要約

本稿は、$d > g - 1$ の場合に、単純なヒルベルト空間 $H_{g,d}$ の有理ピカール群が自明であることを証明する。これは、$d \leq 5$ および $d > 2g - 2$ の場合に既に得られていた結果を拡張するものである。著者らは、正確な微分形式のねじれたホッジバンドルを用いたコンパクト化を構成し、テスト曲線と被約写像を用いて境界成分を分析し、境界除集合の線形独立性を確立することで、コンパクト化された空間の有理チャウ群およびピカール群のランクがゼロであることを結論づけ、$d > g - 1$ のすべてのケースにおいて予想が完全に解決されることを示した。この結果は、$d > g + 1$ の場合に空間が有理被覆であることを示唆し、$g \geq 10$ の場合には有理被覆ではないことを示す。主な貢献は、$d > g - 1$ の範囲においてピカール群のランク予想が完全に解決されたことにある。

ABSTRACT

We show the simple Hurwitz space $\mathcal{H}_{g,d}$ has trivial rational Picard group for $d>g-1$ and is uniruled for $d>g+1$.

研究の動機と目的

• . 本稿の目的は、$d > g - 1$ の場合に、単純なヒルベルト空間 $H_{g,d}$ の有理ピカール群が自明であるという長年の予想を解決することである。
• . 本研究は、ヒルベルト空間のグローバルな幾何構造、特にその被約分類とピカール群の構造に焦点を当てており、これらは曲線のモジュライ空間において中心的な役割を果たすが、依然として十分に理解されていない。
• . 目的には、マークされた分岐点を持つ空間 $H_{g,d}^+$ の自然なコンパクト化を、固定シグネチャの正確な微分形式の射影化されたねじれたホッジバンドルを用いて構成することを含む。
• . 本研究は、コンパクト化された空間の有理チャウ群およびピカール群のランクが境界成分によって完全に説明可能であることを示し、その結果 $\operatorname{Pic}_{\mathbb{Q}}(H_{g,d}) = 0$ が得られることを目的としている。
• . 本稿は、従来の手法が非支配的となるため失敗する最後のケース $d = g$ を取り扱うことで、分類を完全に完了する。

提案手法

• . 著者らは、次数 $d$ の単純分岐被覆と固定シグネチャの正則微分形式の間の対応を用いて、$H_{g,d}^+$ が $\mathcal{M}_{g,1+[d-2]}$ 上のねじれたホッジバンドルの射影化内に開部分多様体として同定されることを特定する。
• . 彼らは、射影化されたねじれたホッジバンドル内での閉包をとることで、部分的コンパクト化 $\widetilde{\mathbb{P}H}_{g,d}^X$ を構成し、$\mathcal{M}_{g,1+[d-2]}$ 上の安定微分形式を用いて、完全なコンパクト化 $\mathbb{P}H_{g,d}^X$ を構築する。
• . $d > g + 1$ の場合、境界 $\widetilde{\mathbb{P}H}_{g,d}^X \setminus \widetilde{\mathbb{P}H}_{g,d}^X$ は、$\mathcal{M}_{g,1+[d-2]} \setminus X$ 上の射影バンドルであり、$X$ と $\widetilde{X}$ はともに余次元2以上であるため、$\rho(\widetilde{\mathbb{P}H}_{g,d}^X) = 4$ が成り立つ。
• . $d = g + 1$ の場合、$\widetilde{\mathbb{P}H}_{g,g+1}^X \to \mathcal{M}_{g,1+[g-1]}$ なる正則な被約写像 $\pi$ を用い、$\mathcal{M}_{g,1+[g-1]}$ のコルダ・次元に関する結果を活用して、有理チャウランクの上限を得る。
• . $d = g$ の場合、$H_{g,g} \dashrightarrow C_{g,g-2}$ なる被約写像を構成し、$H_{g,g}$ の部分的コンパクト化 $H_{g,g} \setminus Y$ を用いて、有理チャウ群を $C_{g,g-2}$ と関連づける。ここで $\rho(C_{g,g-2}) = 3$ である。
• . 有理チャウ群内での境界成分の線形独立性は、引き戻しの議論とテスト曲線を用いて証明され、有理チャウ群内に非自明な関係が存在しないことが保証される。

実験結果

リサーチクエスチョン

• RQ1 . $d > g - 1$ の場合に、単純なヒルベルト空間 $H_{g,d}$ の有理ピカール群は常に消えるか？
• RQ2 . $H_{g,d}^+$ のコンパクト化の有理チャウ群は、境界成分によって完全に説明可能か？
• RQ3 . $d > g + 1$ の場合、$H_{g,d}$ の被約幾何は、特に有理被覆性とコルダ次元に関してどのように振る舞うか？
• RQ4 . $d = g$ の臨界ケースでは、自然な写像が $\mathcal{M}_{g,1+[d-2]}$ に支配的でなくなるため、有理ピカール群はどのように振る舞うか？
• RQ5 . コンパクト化されたヒルベルト空間の境界は、有理チャウ群内で線形独立であるか？ これによりピカール群が自明であることが保証されるか？

主な発見

• . $d > g - 1$ のすべてのケースにおいて、有理ピカール群 $\operatorname{Pic}_{\mathbb{Q}}(H_{g,d})$ は自明であることが確認され、長年の予想が正当化された。
• . $d > g + 1$ の場合、空間 $H_{g,d}^+$ は有理被覆である。これは、コンパクト化 $\widetilde{\mathbb{P}H}_{g,d}^X$ が $\mathcal{M}_{g,1+[d-2]} \setminus X$ 上にルーリングをもつことによる。
• . $d > g + 1$ の場合、$\widetilde{\mathbb{P}H}_{g,d}^X$ の有理チャウランクは正確に4であり、境界成分によって完全に説明される。
• . $d = g + 1$ の場合、$\widetilde{\mathbb{P}H}_{g,g+1}^X$ の有理チャウランクは $\rho(\widetilde{\mathbb{P}H}_{g,g+1}^X) = \rho(\mathcal{M}_{g,1+[g-1]}) + 1$ を満たし、境界成分は線形独立である。
• . $d = g$ の場合、$H_{g,g} \setminus Y$ の有理チャウ群は $\rho(H_{g,g} \setminus Y) = \rho(C_{g,g-2}) = 3$ を満たし、$H_{g,g}$ の境界成分は線形独立であるため、$\operatorname{Pic}_{\mathbb{Q}}(H_{g,g}) = 0$ が導かれる。
• . 最終ケース $d = g$ は、$C_{g,g-2}$ への被約写像を構成し、特異性の存在領域が余次元2であることを示すことにより解決された。このことは、有理チャウ群のランクが保存されることを示している。