Skip to main content
3 of 5
added 18 characters in body
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

When are finite maps quotients by finite groups?

Let $f: X \to Y$ be a finite map of projective varieties.

I'm trying to understand when and how often should i expect $f$ to be a quotient map by a finite group acting on $X$. Even more strictly let $G=Gal(\widetilde{k(X)}/k(Y))$ where $\widetilde{k(X)}$ is the Galois closure.

  1. When is there a well defined action of $G$ on $X$? (Generically such an action always exists).

  2. When is $f$ isomorphic to the quotient map by the Galois action $X \to X^G$?

If $X$ and $Y$ are smooth projective curves then I think this is always the case but I haven't been able to formalize this. Are there any useful conditions which ensure that (2) holds?

Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99