MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $Y$ be a reduced noetherian $1$-dimensional scheme such that the normalization morphism $f:X \longrightarrow Y$ is finite. Let $g:Y\longrightarrow Z$ be a finite flat morphism, where $Z$ is a connected (1-dimensional) Dedekind scheme.

Suppose that the morphism $g\circ f$ from $X$ to $Z$ is etale.

Question. Is the morphism $g:Y\longrightarrow Z$ etale?

Remark. The hypothesis on the dimension is not necessary probably.

Remark. One may assume $Y$ to be integral.

Remark. To assure that $f$ is finite one may suppose that $Y$ is excellent.

Interesting cases one may consider are $Z\subset \mathrm{Spec} \mathbf{Z}$ or $Z\subset \mathbf{P}^1_k$ non-empty open.

share|cite|improve this question
up vote 1 down vote accepted

If $g$ is étale, then $Y$ is regular because $Z$ is regular. Thus $X=Y$. So the anwser to your question is yes if and only if $X=Y$.

share|cite|improve this answer
If $Y$ is not normal then can the hypothesis of the question ever be true? i.e. does there ever exist $Z$ and some map $Y\to Z$ as in the question such that the induced map $X\to Z$ is etale with $X$ the normalization? – Kevin Buzzard Jul 27 '11 at 17:43
@Kevin: Yes, start with an étale double cover $X\to Z$ with a fibre consisting of two points. Construct $Y$ as the nodal "curve" with these two points identified. – Torsten Ekedahl Jul 27 '11 at 19:00
@Kevin: Yes: $Y=$ union of the two diagonals in the plane, $Z=$ the $x$-axis, map= the $x$-projection. – Laurent Moret-Bailly Jul 27 '11 at 19:03
@Torsten: You beat me by 3 minutes on this one. – Laurent Moret-Bailly Jul 27 '11 at 19:05
Very nice -- thanks to both of you. – Kevin Buzzard Jul 28 '11 at 20:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.