All Questions

Let $X$ and $Y$ be complex projective varieties. Assume there is a finite group $G$ acting on $Y$ and we denote the quotient projective variety by $Y/G$. We have a morphism of $\mathcal{Hom}$-schemes ...

Let $\mathfrak X \rightarrow S$ a smooth projective family over the spectrum of a dvr. We know that $(\mathfrak X _{\eta_R})^{[2]}$ and $(\mathfrak X _{p})^{[2]}$ are smooth, where $p$ is the closed ...