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.

I have a problem with proposition 3.2.15 of Algebraic geometry and arithmetic curves of Qing Liu: Let $X$ be an integral algebraic variety over $k$. If $X$ is geometrically reduced then $K(X)$ is a finite separable extension of a purely transcendental extension $k(T_1, \ldots , T_d)$.

First we proove that $K(X)$ is a finite extension of a purely transcendental extension $k(X_1,\ldots,X_r)$: I'm ok with that. Let $L=k(X_1,\ldots,X_r)$ and $L_s$ the separable closure of $L$ is $K(X)$.

Then we proove that for all $b\in K(X)\setminus L_s$ such that $b^p\in L_s$, $L_s[b]$ is a finite separable extension of an (other) purely transcental extension $k(Y_1,\ldots,Y_q)$: I'm ok with that.

My problem and question come with the conclusion: "This imply the proposition by decomposing $K(X)/L_s$ into a sequence of purely inseparable extensions of degree $p = \operatorname{char}(k)$." I don't understand that.

I see that $K(X)=L_s[b_1,\ldots,b_m]$ so $L_s[b]$ would be a first step for induction? But for that I need that all the $b_i$ verifiy $b_i^p\in L_s$ and I don't see how to make that (but I know that $K(X)$ is purely inseparable over $L_s$ but it doesn't help me.)

Then I would need to continue with $L_s[b_1,b_2]$ but how to construct a purely transcendal extension $k(Z_1,\ldots,Z_q)$ over that $L_s[b_1,b_2]$ is finite separable?

share|improve this question
    
Maybe should I ask my question in mathoverflow, but I thought it is for research thema... isn't? –  Gabriel Soranzo May 15 '13 at 19:01
    
No, you shouldn't ask this question on MO, they will close it right away. I will make some changes to your title and tags to make clear to other MSE users what you are looking for. Maybe this will help. If you are not satisfied, feel free to go back to the original version. –  M Turgeon May 22 '13 at 17:33
    
You know that $L_s[b_1]$ is separable over $k(Y_1,\dots, Y_q)$. So $b_1$ belongs to the separable closure $L_{s,1}$ of $k(Y_1, \dots, Y_q)$ in $K(X)$. Now restart again with $k(Y_1, \dots, Y_q)\subseteq L_{s,1}$ and $b_2$ which has degree $1$ or $p$ over $L_{s,1}$... Hope this helps. Otherwise email to the author. –  user18119 May 26 '13 at 19:36
    
Thanks, this is my answer –  Gabriel Soranzo Jul 2 '13 at 11:37

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.