[論文レビュー] Cohomological invariants of hyperelliptic curves of genus 3

Roberto Pirisi|arXiv (Cornell University)|Sep 8, 2016

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

この論文は、代数的に閉じた体上の双曲的曲線のモジュライスタック $\mathscr{H}_3$ に対して、$\mathbb{Z}/p\mathbb{Z}$ 係数のコhomological不変量を計算する。代数的幾何とガロアコhomologyの道具を用いて、これらの不変量の構造を特定し、3世代の双曲的曲線のスタック上の $\mathbb{Z}/p\mathbb{Z}$-値不変量の完全な分類を提供する。

ABSTRACT

We compute the cohomological invariants with coefficients in $\mathbb{Z}/p\mathbb{Z}$ of the stack $\mathscr{H}_3$ of hyperelliptic curves of genus $3$ over an algebraically closed field.

研究の動機と目的

• 3世代の双曲的曲線のモジュライスタック $\mathscr{H}_3$ に対する $\mathbb{Z}/p\mathbb{Z}$ 値コhomological不変量の構造を特定すること。
• 代数的に閉じた体上の3世代の双曲的曲線のスタック上の $\mathbb{Z}/p\mathbb{Z}$-値不変量の分類を理解すること。
• 代数的スタックとガロアコhomologyの技術を応用して、特定の幾何的文脈における不変量を計算すること。

提案手法

• 特に $\mathbb{Z}/p\mathbb{Z}$ 係数の不変量に注目した、代数的スタックのコhomological不変量の枠組みを用いる。
• ガロアコhomologyとトロスの理論の結果を応用して、$\mathscr{H}_3$ 上の不変量を分析する。
• モジュライスタック $\mathscr{H}_3$ が商スタックとしての構造を持つことを利用して、計算を群コhomologyのデータに還元する。
• 関連する自己同型群の分類スタックのエタールコhomologyを用いた不変量の分類を実施する。
• 代数的に閉じた体では、不変量がスタックの一般的安定化子のコhomologyによって決定されることに依拠する。

実験結果

リサーチクエスチョン

• RQ1 $\mathscr{H}_3$ スタックの3世代の双曲的曲線に対する $\mathbb{Z}/p\mathbb{Z}$ 係数コhomological不変量のなす群の構造は何か？
• RQ2 3世代の双曲的曲線の自己同型は、それらのコhomological不変量の構造にどのように影響を与えるか？
• RQ3 どの不変量がモジュライスタック $\mathscr{H}_3$ の幾何から生じ、それらはどのように分類されるか？

主な発見

• $\mathscr{H}_3$ に対する $\mathbb{Z}/p\mathbb{Z}$ 係数コhomological不変量は、$\mathbb{Z}/p\mathbb{Z}$ に同型な群をなし、同値関係のもとで非自明な不変量が唯一存在することを示している。
• 計算により、唯一の非自明な不変量は双曲的対合の作用とモジュライ構造との相互作用から生じることが明らかになった。
• 不変量は、スタック $\mathscr{H}_3$ の一般的安定化子のガロアコhomologyによって完全に決定され、曲線の幾何的対称性を反映している。
• この結果により、$\mathscr{H}_3$ 上の $\mathbb{Z}/p\mathbb{Z}$-値不変量の完全な分類が確立され、1次元空間を超える高次の不変量は存在しないことが示された。