Tautological families of stacks of cyclic covers of projective spaces
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$, 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$. 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 we obtain results on rationality of the above stacks when $n=1$ or $n=2$. Our study is motivated by the study of stacks of hyperelliptic curves by Gorchinskiy and Viviani.