Let $X\subset \mathbb P^n$ be a surface (possibly singular) and $\omega\_X$ be its dualizing sheaf.
Let $G$ be a finite group acting on $X$ (possibly with fixed points). 
We know how to calculate the dualizing sheaf for surfaces in projective space
(ref <https://mathoverflow.net/q/125724>). I want to know what will happen to dualizing sheaf on $X/G$. In particular I want to know how to calculate the dualizing sheaf on $X/G$. Also if $\omega\_X$ is ample then under what conditions the dualizing sheaf of $X/G$ is ample.


Kindly provide with down-to-earth references and examples.



Dualizing sheaf after a finite group action
If $f:X\to Y$ is a finite morphism, and assuming that both $X$ and $Y$ admit dualizing sheaves, then by duality (see [Hartshorne, Ex.III.6.10]) you have the first map of the following:
$$
\eta: f\_\*\omega\_X\to \mathscr Hom \_Y(f\_\*\mathscr O\_X,\omega\_Y)\to \omega\_Y,
$$
where the second map is induced by the natural map
$$
\varrho: \mathscr O\_Y \to f\_\*\mathscr O\_X.
$$


Now, if $f$ is the quotient map by a finite group $G$, then $\varrho$ is just the embedding of the set of $G$ invariant sections of $f\_\*\mathscr O\_X$. 


Similarly, in that case $\eta$ is $G$-invariant and I am guessing that it is the largest $G$-equivariant quotient of $f\_\*\omega\_X$ on which the induced $G$ action is trivial. I suppose this should tell you what the quotient is, but the problem is that this map is not necessarily surjective, the cokernel is contained in
$$
\mathscr Ext^1\_Y\left( f\_\*\mathscr O\_X\big/\mathscr O\_Y, \omega\_Y\right).
$$
Of course if you can prove that this is trivial, then you're in business. It does happen frequently that $f\_\*\mathscr O\_X$ is free and $\mathscr O\_Y$ is a direct summand in which case the above $\mathscr Ext^1$ is zero. But in general this will depend on $G$, the singularities of $X$ and the action.


