Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
add comment

1 Answer

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|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
2  
@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
1  
@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
1  
@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
add comment

Your Answer

 
discard

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.