Cohomological invariants of the stack of hyperelliptic curves of odd genus
The author computes the cohomological invariants of the moduli stack \(\mathcal{H}_g\) of smooth hyperelliptic curves of odd genus \(g.\) Let \(p\) be a positive number, \(k_0\) a field whose characteristic does not divide \(p\) and let \(G\) be an algebraic group. A cohomological invariant of the classifying stack \(\mathcal{B}G\) with coefficients in \(\mathbb{F}_p\) is defined as a natural transformation of functors \[P_{\mathcal{B}G}\rightarrow \operatorname{H}^\bullet:=\oplus_iH^i_\text{ét}(-,\mu_p^{\otimes i}),\] where \(P_{\mathcal{B}G}\) is the functor of points of \(\mathcal{B}G\) and \(\mu_p\) is the group of \(p\)th roots of unity. Cohomological invariants first appeared in [\textit{E. Witt}, J. Reine Angew. Math. 176, 31--44 (1936; Zbl 0015.05701)], while the above formulation is by [\textit{S. Garibaldi} et al., Cohomological invariants in Galois cohomology. Providence, RI: American Mathematical Society (AMS) (2003; Zbl 1159.12311)]. More recently, the notion of cohomological invariants has been exteded from classifying stacks to smooth algebraic stacks over \(k_0\) by [\textit{R. Pirisi}, Trans. Am. Math. Soc. 370, No. 3, 1885--1906 (2018; Zbl 1421.14002) ]: a cohomological invariant for a smooth algebraic stack \(\mathcal{X}\) over \(k_0\) is a natural transformation \[P_\mathcal{X}\rightarrow\operatorname{H}^\bullet,\] which satisfies a certain continuity condition. The main result of the present paper is the computation of the graded-commutative ring of cohomological invariants \(\operatorname{Inv}^\bullet(\mathcal{H}_g)\), over a field of characteristic \(\neq 2\) and with \(p=2.\) This also represents an important case because for \(p=2\) the cohomological invariants present a richer structure and the reasons behind this are inspected in another work by the author, together with \textit{Pirisi}, in preparation. The computation uses a similar strategy to the one in [\textit{R. Pirisi}, Doc. Math. 23, 969--996 (2018; Zbl 1401.14069)]. It is based on the isomorphism between \(\operatorname{Inv}^\bullet(\left[X/G\right]),\) with \(X\) a smooth scheme and \(G\) an algebraic group acting on it, and the equivariant Chow group with coefficients \(A^0_G(X,\operatorname{H}^\bullet),\) first introduced by [\textit{M. Rost}, Doc. Math. 1, 319--393 (1996; Zbl 0864.14002)] as a generalization of ordinary Chow groups.
- Cohomological invariants of genus three hyperelliptic curves
- Cohomological invariants of hyperelliptic curves of even genus
- Brauer groups of moduli of hyperelliptic curves via cohomological invariants
- A complete description of the cohomological invariants of even genus hyperelliptic curves
- Cohomological invariants of algebraic stacks
- Chow groups with coefficients
- Cohomological invariants of algebraic stacks
- Cohomological invariants of genus three hyperelliptic curves
- Cohomological invariants of hyperelliptic curves of even genus
- Equivariant intersection theory (With an appendix by Angelo Vistoli: The Chow ring of \({\mathcal M}_2\))
- Geometric methods for cohomological invariants
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 1027930 (Why is no real title available?)
- scientific article; zbMATH DE number 1959122 (Why is no real title available?)
- scientific article; zbMATH DE number 1421299 (Why is no real title available?)
- scientific article; zbMATH DE number 3023391 (Why is no real title available?)
- Stacks of cyclic covers of projective spaces
- The Chow ring of the stack of smooth plane cubics
- The integral Chow ring of the stack of hyperelliptic curves of even genus
- Cohomological invariants of genus three hyperelliptic curves
- Cornalba-Harris equality for semistable hyperelliptic curves in positive characteristics
- A complete description of the cohomological invariants of even genus hyperelliptic curves
- Cohomological invariants of algebraic stacks
- Cohomological invariants of hyperelliptic curves of even genus
- The Chow Ring of the Stack of Hyperelliptic Curves of Odd Genus
- Brauer groups of moduli of hyperelliptic curves via cohomological invariants
- Introduction to the Ekedahl invariants
- The integral Chow ring of , for odd
- Intersection theory on moduli of smooth complete intersections
- Stable cuspidal curves and the integral Chow ring of \(\bar{\mathcal{M}}_{2,1}\)
This page was built for publication: Cohomological invariants of the stack of hyperelliptic curves of odd genus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2040588)
