6
$\begingroup$

I know there is a plethora of literature on how to construct quotients by groups, but my situation is quite particular, so I would appreciate if you could give me some hints or bibliographical references.

I'm interested in the following question: let $X$ be an algebraic variety defined over an embedded number field $k \hookrightarrow \mathbb{C}$. Assume that $X$ is smooth and projective and that it comes with the action of a finite group $G$. Then the quotient $X/G$ exists.

$\textbf{First}$: what is the best reference to learn the construction?

$\textbf{Second}$: what are the (scheme theoretic) properties of the "projection" $\pi: X \to Y$?

For instance, is it true that the direct image of the constant sheaf

$\pi_\ast \mathbb{C}_X$

on $X(\mathbb{C})$ is a local system on a certain open subset $U \subset Y$ excluding the singularities of $Y$?

Is it still true that the direct image by $\pi$ of a regular singular connection is still regular singular?

Thanks for your help !

  • 0
    In the case of curves, the group acts on the function field of the curve, and taking invariants (the fixed field, as in Galois theory) yields the function field of the quotient curve.2012-11-16
  • 0
    Thanks Thom! I'm more interested in the case when $X$ is of dimension at least 2. For instance, for curves the quotient is always regular (it is normal because otherwise the normalization would be a better quotient and normal implies regular for curves over a field).2012-11-16

1 Answers 1