I'm stuck on a technicality concerning singularities.
Basically, I have to show that the singularities of a $\mathbf{certain}$ normal projective variety over $\mathbf{C}$ are rational. (I won't bother you with the exact set-up. For, it's possible that I'm even wrong.)
My idea was to use a theorem of Viehweg and show that all singularities are quotient. But I don't have a clue of how to do the latter. What are the standard techniques used in such a proof? That is, say you want to show that all singularities are quotient. What would be your first idea to apply? Do problems like this become easier in low dimensions or does it really not matter?
Note. Forgive me if the question is ill-posed/vague.
Added later.
In view of Karl's remark, I decided to give the set-up.
Let $X$ be a smooth projective variety over $\mathbf{C}$ (of any dimension). Let $\pi:Y\longrightarrow X$ be a finite morphism, where $Y$ is a normal projective variety over $\mathbf{C}$. We also are given a flat morphism $h:X\longrightarrow C$, where $C$ is a smooth projective curve. Of course, it can happen that $Y$ has singularities that are not rational. (Example?) But I would like to show that the singularities of $Y$ are rational in the situation I will describe now.
Let $V\longrightarrow U$ be a connected finite etale covering of $U=X-D$, where $D$ is a simple normal crossings divisor on $X$. Define $Y$ to be the normalization of $X$ in the function field of $V$.
So the set-up is quite general, i.e., I don't have any equations. Maybe one could try to apply arguments based on fundamental groups to show that the singularities of $Y$ are quotient? I think I can show that the singularities of $Y$ occur in the inverse image under $\pi$ of $D^{sing}$, where $D^{sing}$ is the singular locus of $D$.
And Karl, what are the techniques in characteristic $p>0$ that you mention below?
Best Answer
Say $X=\mathbb A^n$ and $D_1,\dots, D_n$, the components of $D$, are the coordinate hyperplanes $x_i=0$, for simplicity. You can assume that WLOG, because your $(X,D)$ is isomorphic to this one in étale topology.
$\pi_1(X\setminus D) = \mathbb Z^n$. So the cover $V\to U$ corresponds to a finite quotient of $\mathbb Z^n$, which is a finite abelian group $G$. So the ring of regular functions on $V$ is generated by the roots of monomials in $x$. You can write these as $x^m$ for some $m\in \mathbb Q^n$. The lattice $H$ generated by $m_i$ contains $\mathbb Z^n$, and the quotient $H/\mathbb Z^n$ is the dual abelian group $G^{\vee}$.
So what is $Y$ now? It is the normalization of the ring $k[x_1,\dots,x_n]$ in the bigger field $k(x^{m_i})$. So it is a toric problem now. The normalization is generated by monomials in the lattice $H$ which lie in the cone $(\mathbb R_{\ge0})^n$.
So $Y$ is toric and simplicial, and every such singularity is an abelian quotient singularity.
The condition $\pi_1(X\setminus D) = \mathbb Z^n$ fails in char $p$ (indeed, the fundamental group in that case is huge), so this argument and the statement both fail in char $p$.