[论文解读] 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}$ 的上同调不变量。利用代数几何与伽罗瓦上同调的工具，作者确定了这些不变量的结构，对三型双曲曲线堆栈上的 $\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.

研究动机与目标

• 确定三型双曲曲线模堆栈 $\mathscr{H}_3$ 的系数取值于 $\mathbb{Z}/p\mathbb{Z}$ 的上同调不变量的结构。
• 理解在代数闭域上，三型双曲曲线堆栈上的 $\mathbb{Z}/p\mathbb{Z}$-取值不变量的分类。
• 应用代数堆栈与伽罗瓦上同调的技术，计算特定几何背景下的不变量。

提出的方法

• 利用代数堆栈的上同调不变量框架，特别关注系数为 $\mathbb{Z}/p\mathbb{Z}$ 的不变量。
• 应用伽罗瓦上同调与扭子理论的结果，分析 $\mathscr{H}_3$ 上的不变量。
• 利用模堆栈 $\mathscr{H}_3$ 作为商堆栈的结构，将计算简化为群上同调数据。
• 通过相关自同构群的分类堆栈的 étale 上同调，实现不变量的分类。
• 依赖于在代数闭域上，不变量由堆栈的通用稳定子的上同调决定的事实。

实验结果

研究问题

• RQ1 三型双曲曲线模堆栈 $\mathscr{H}_3$ 的系数取值于 $\mathbb{Z}/p\mathbb{Z}$ 的上同调不变量群的结构是什么？
• RQ2 三型双曲曲线的自同构如何影响其上同调不变量的结构？
• RQ3 哪些不变量源于模堆栈 $\mathscr{H}_3$ 的几何结构，以及它们如何被分类？

主要发现

• 系数为 $\mathbb{Z}/p\mathbb{Z}$ 的 $\mathscr{H}_3$ 上同调不变量构成一个与 $\mathbb{Z}/p\mathbb{Z}$ 同构的群，表明在等价意义下仅存在一个非平凡不变量。
• 计算表明，唯一的非平凡不变量源于双曲对合的作用及其与模结构的相互作用。
• 这些不变量完全由堆栈 $\mathscr{H}_3$ 的通用稳定子的伽罗瓦上同调决定，反映了曲线的几何对称性。
• 结果建立了 $\mathscr{H}_3$ 上 $\mathbb{Z}/p\mathbb{Z}$-取值不变量的完整分类，表明不存在高于一维空间的更高阶不变量。