Skip to main content
Source Link
jmc
  • 5.5k
  • 27
  • 60

There are three good answers to this question, and together they have more or less answered what I wanted to know. I find it hard to choose one of them as best, but nevertheless I think this question should have an accepted answer to move it from the unanswered list. Hence a CW-answer summarizing the (in my eyes) most important points made.


  • Laurent Moret-Bailly points out that $\hat{X}$ must be normal.
  • Sasha then says that besides that, it can get as bad as you want. Take a normal subvariety $\hat{X} \subset \mathbb{A}^{N}$. By Noether's lemma we get a finite map $\hat{X} \to \mathbb{A}^{n} = Y$. A resolution of singularities $X \to \hat{X}$ has connected fibres. The composition $X \to Y$ is generically finite.
  • Karl Schwede remarks that the pair $(\hat{X}, -\mathrm{Ram})$ is log-Gorenstein (where $\mathrm{Ram}$ is the ramification divisor). He also states the slogan “if $\hat{X}$ has really bad singularities at some points, then $\mathrm{Ram}$ also has really bad singularities at those points too. Another way to say this is if the ramification divisor has mild singularities, then $\hat{X}$ does too.”
Post Made Community Wiki by jmc