## Return to Question

3 typo

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 surface 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?

2 I decided to add the set-up.

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 surface 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?

1

# Is there an obvious way for showing singularities are quotient?

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.