[論文レビュー] On the Chow ring of the Hurwitz space of degree three covers of ${\bf P}^{1}$

Anand Patel, Ravi Vakil|arXiv (Cornell University)|May 16, 2015

Algebraic Geometry and Number Theory参考文献 12被引用数 5

ひとこと要約

本稿は、有理係数を用いた $\mathbb{P}^1$ 上の3次被覆をパラメトライズするハーツィット空間のチャウ環を決定し、それが $\mathbb{Q}[\kappa_1]/(\kappa_1^2)$ に同型であることを示し、したがって環がタウトロジカルであることを証明する。この結果は、空のハーツィットストラタとそれらのチャウ環における関係を分析することによって得られ、既知のタウトロジカルクラスと除法的ストラタを活用して変数を削除し、$\kappa_1^2$ の消滅を確立する。これは、3次の場合のタウトロジカル構造に関する疑問に答えている。

ABSTRACT

We determine that the Chow ring (with ${\bf Q}$-coefficients) of the Hurwitz space parametrizing degree three covers of ${\bf P}^{1}$ is tautological. We also compute the rational Picard groups of auxiliary spaces of degree three maps with special marked points.

研究の動機と目的

• 有理係数を用いた $\mathbb{P}^1$ 上の3次被覆をパラメトライズするハーツィット空間 $\mathcal{H}_{3,g}$ のチャウ環を計算すること。
• チャウ環がタウトロジカルであるかどうかを特定し、ペネフとバキルが提起した疑問に答えること。
• 3次写像にマークドポイントを追加した補助空間の有理ピカール群を計算すること。
• 除法的ハーツィットストラタの構造とそれらのチャウ環における関係を分析すること。

提案手法

• チャウ環の生成子として、特に $\kappa_1 = \phi_*(c_1^2(\omega_\phi))$ を含むタウトロジカルクラスの使用。
• カザリアンとランド（2004年）の結果を用い、3次の場合のハーツィットストラタの基本的クラスの既知の公式を活用する。
• 特定のハーツィットストラタ（例：$S_{1^2}, S_{3^1}, S_{1^12^1}$）が $\mathcal{H}_{3,g}$ 内で空であるという事実を応用し、チャウ環における関係を導出する。
• 空のストラタの関係を用いて変数を削除する：$\xi_1 = \frac{1}{6}b(b+2)\psi$ および $-b\psi^2 + 2\xi_1\psi = 0$ から $\psi^2 = 0$ を得る。
• $\sigma_{2^1} = \frac{1}{3}(b^2 - b)\psi$ が非ゼロであることを示して $\psi$ が非自明なクラスであることを確立し、したがって $\psi$ が $\kappa_1$ の非ゼロ倍数であることから $\kappa_1^2 = 0$ を導出する。
• 結論として、$A^*(\mathcal{H}_{3,g}) = \mathbb{Q}[\kappa_1]/(\kappa_1^2)$ が成り立つことを示し、タウトロジカル構造が確認される。

実験結果

リサーチクエスチョン

• RQ1 ハーツィット空間 $\mathcal{H}_{3,g}$ のチャウ環は、$\kappa_1$ のような内在的クラスによって生成されるタウトロジカルであるか、すなわち、$\kappa_1$ を含むか？
• RQ2 有理係数を用いた $\mathbb{P}^1$ 上の3次被覆に対して、チャウ環 $A^*(\mathcal{H}_{3,g})$ の構造は何か？
• RQ3 チャウ環の関係は、たとえば4重分岐点や同じ像に写される複数の単純分岐点を持つようなストラタが空であることから生じるか？
• RQ4 同様の手法を用いて、フレームドハーツィット空間 $\mathcal{H}^\dagger_{3,g}$ の有理ピカール群を計算できるか？
• RQ5 高次の領域（$d \geq 2g+1$）におけるコホホロジーの安定化は、$\mathcal{H}_{3,g}$ におけるチャウ環に対しても類似の安定化を示唆するか？

主な発見

• 有理係数を用いたチャウ環 $A^*(\mathcal{H}_{3,g})$ は $\mathbb{Q}[\kappa_1]/(\kappa_1^2)$ に同型であり、これがタウトロジカルであることを証明する。
• $\kappa_1^2$ は $A^*(\mathcal{H}_{3,g})$ 内で消えることが、空のハーツィットストラタから得られる関係から変数を削除することで示された。
• 除法的クラス $\psi$ は非自明であり、$\kappa_1$ に比例する。なぜなら $\sigma_{2^1} = \frac{1}{3}(b^2 - b)\psi$ が非ゼロであり、かつ $\sigma_{2^1} = [\mathcal{T}_1]$ が非自明な除法的クラスであるからである。
• 関係 $\xi_1 = \frac{1}{6}b(b+2)\psi$ は、$S_{1^2}$ ストラタが空であることに起因し、これは3次被覆では不可能である。
• 関係 $-b\psi^2 + 2\xi_1\psi = 0$ は、$S_{3^1}$ と $S_{1^12^1}$ の空ストラタ条件を組み合わせることで得られ、$\psi^2 = 0$ を導く。
• この結果は、$A^*(\mathcal{H}_{3,g})$ のすべての関係が特定のハーツィットストラタの空であることによって捉えられることを確認し、より広範なタウトロジカル関係に関する予想を支持する。