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.

Why a smooth surjective morphism of schemes admits a section etale-locally?

share|improve this question
    
Let $X,Y$ be $S$-schemes, then a smooth surjective $S$-morphism between $X$ and $Y$ induces an epimorphism of sheaves between $h_X \to h_Y.$ –  Ehsan M. Kermani Jan 30 '13 at 23:42
add comment

2 Answers

Let $f : X\to Y$ be a morphism of schemes. A section of $f$ for some topology is an open covering $T \to Y$ for this topology which factorizes into $T\to X$ and $f : X\to Y$. Note that this induces $T\to X\times_Y T$ which is a section of $X\times_Y T\to T$ in the usual terminology.

Let $f : X\to Y$ be a smooth morphism. The local structure of $f$ can be described as follows. For any $x\in X$ and for $y=f(x)$, there exists an open neighborhood $V=V_y$ of $y$ and an open neigbhorhood $U$ of $x$, contained in $f^{-1}(V)$, such that $f|_U$ factorizes as an étale morphism $g : U\to \mathbb A^d_V$ followed by the canonical projection $s : \mathbb A^d_V \to V$.

Consider a section $\sigma : V\to \mathbb A^d_V$ of $s$. The base change $$ \sigma' : W_y:=U\times_{\mathbb A^d_V} V\to V$$ is étale, and the canonical maps $U\times_{\mathbb A^d_V} V\to U\to X$ makes $\sigma'$ a local étale section of $U\to V$.

Now suppose $Y$ is quasi-compact for simplicity. Suppose moreover $f$ is surjective. Cover $Y$ by finitely many $V_y$ and consider the disjoint union of the corresponding $W_y$. It produces naturally an étale section of $f$.

share|improve this answer
add comment

This is EGA IV, 17.16.3 (ii).

share|improve this answer
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.