## 59.41 Push and pull

Let $f : X \to Y$ be a morphism of schemes. Here is a list of conditions we will consider in the following:

For every étale morphism $U \to X$ and $u \in U$ there exist an étale morphism $V \to Y$ and a disjoint union decomposition $X \times _ Y V = W \amalg W'$ and a morphism $h : W \to U$ over $X$ with $u$ in the image of $h$.

For every $V \to Y$ étale, and every étale covering $\{ U_ i \to X \times _ Y V\} $ there exists an étale covering $\{ V_ j \to V\} $ such that for each $j$ we have $X \times _ Y V_ j = \coprod W_{ij}$ where $W_{ij} \to X \times _ Y V$ factors through $U_ i \to X \times _ Y V$ for some $i$.

For every $U \to X$ étale, there exists a $V \to Y$ étale and a surjective morphism $X \times _ Y V \to U$ over $X$.

It turns out that each of these properties has meaning in terms of the behaviour of the functor $f_{small, *}$. We will work this out in the next few sections.

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (2)

Comment #238 by Keenan Kidwell on

Comment #239 by Pieter Belmans on