Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

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

share|cite|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

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|cite|improve this answer
I know this is an old question so maybe nobody will notice but I'm wondering what goes wrong when $Y$ is not supposed quasi-compact ? can't we just take the sum of infinitely many affine who cover $Y$ ? – J. Doe Oct 11 '15 at 7:11

This is EGA IV, 17.16.3 (ii).

share|cite|improve this answer

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.