Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $X$ be an inverse limit of integral, normal affine curves $X_i = Spec(A_i)$ where all the transition maps are finite etale covering maps (so in particular $X$ exists in the category of schemes), and all the curves are over some field $k$. Let $F$ be the function field of $X$, so $F$ is the union of the function fields $F_i$ of each $X_i$, or alternatively the fraction field of $A$, the union of the $A_i$.

Now let $f \in A^* \setminus (A^*)^p$. Let $Y$ be the normalization of $X$ in $F(f^{1/p})$.

Is the morphism $Y \rightarrow X$ constructed above a finite etale cover?

I have some reasons for suspecting the answer might be no, but am very unsure. The problem seems to be that $A$ is not noetherian, I think, and so the normalization might fail to be finite.

share|improve this question

1 Answer 1

If $f \in A^*$ then there exists an $i$ such that $f \in A_i^*$. Then you obtain an etale cover of $\operatorname{Spec} A_i$. It is easy to see that $Y$ is the base change of this etale cover from $\operatorname{Spec} A_i$ to $X$, hence is etale.

share|improve this answer

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.