Abstract:In this article, we study the existence of tautological families on a Zariski open set of the coarse moduli space parametrizing certain Galois covers over projective spaces. More specifically, let ($1$) $\mathscr{H}_{n.r.d}$ (resp. $M_{n,r,d}$) be the stack (resp. coarse moduli) parametrizing smooth simple cyclic covers of degree $r$ over the projective space $\mathbb{P}^n$ branched along a divisor of degree $rd \geq 4$, and ($2$) $\mathscr{H}_{1,3,d_1,d_2}$ (resp. $M_{1,3,d_1,d_2}$) be the stack (resp. coarse moduli) of smooth cyclic triple covers over $\mathbb{P}^1$ with $2d_1-d_2 \geq 4$ and $2d_2-d_1 \geq 4$. In the former case, we show that such a family exists if and only if $\textrm{gcd}(rd, n+1) \mid d$ while in the latter case, we show that it always exists. We further show that even when such a family exists, often it cannot be extended to the open locus of objects without extra automorphisms. The existence of tautological families on a Zariski open set of its coarse moduli can be interpreted in terms of rationality of the stack if the coarse moduli space is rational. Combining our results with known results on the rationality of the coarse moduli of points on $\mathbb{P}^1$ and the coarse moduli of plane curves, we determine the rationality of $\mathscr{H}_{1,r,d}$ (resp. $\mathscr{H}_{2,r,d}$) for $rd \geq 4$ (resp. $rd\geq 49$). On the other hand $\mathscr{H}_{1,3,d_{1},d_{2}}$ is unirational, and we show that its coarse moduli $M_{1,3,d_1,d_2}$ is unirational and fibred over a rational base by homogeneous varieties which are rational if $\textrm{char}(\mathbb{k}) = 0$. Our study is motivated by the work of Gorchinskiy and Viviani on the moduli of hyperelliptic curves.

Crystallizations of small covers over the $n$-simplex $Δ^n$ and the prism $Δ^{n-1} \times I$

Small covers over prisms

On $C_n^{(1)}$-Geometric Crystal and its Ultradiscretization

Covering Maps and Periodic Functions on Higher Dimensional Sierpinski Gaskets

Three-Dimensional Small Covers and Links

Tschirnhausen bundles of covers of the projective line

On Covering Simplices by Dilations in Dimensions 3 and 4

Cyclic coverings of genus curves of Sophie Germain type

On the prismatization of $O_K$ beyond the Hodge-Tate locus

Triangulations of Prisms and Preprojective Algebras of Type A

Cyclic Coverings of genus 2 curves of Sophie Germain type

Prismatic crystals and $p$-adic Riemann--Hilbert correspondence

Crystals from 5-vertex ice models

Heaps, crystals, and preprojective algebra modules

Tautological families of cyclic covers of projective spaces

Simplicial cell decompositions of $\mathbb{CP}^{\hspace{.3mm}n}$

Coverings of Groups, Regular Dessins, and Surfaces

Simple lift of non-simple closed curves

PROJECTIVE BUNDLES OVER SMALL COVERS AND THE BUNDLE TRIVIALITY PROBLEM

Abelian covers and second fundamental form

Crystal monoids \& crystal bases: rewriting systems and biautomatic structures for plactic monoids of types $A_{n}$, $B_{n}$, $C_{n}$, $D_{n}$, and $G_2$