Definition 73.9.1. Let $S$ be a scheme. A commutative diagram

$\xymatrix{ U \times _ W V \ar[r] \ar[d] & V \ar[d]^ f \\ U \ar[r]^ j & W }$

of algebraic spaces over $S$ is called an elementary distinguished square if

1. $U$ is an open subspace of $W$ and $j$ is the inclusion morphism,

2. $f$ is étale, and

3. setting $T = W \setminus U$ (with reduced induced subspace structure) the morphism $f^{-1}(T) \to T$ is an isomorphism.

We will indicate this by saying: “Let $(U \subset W, f : V \to W)$ be an elementary distinguished square.”

There are also:

• 4 comment(s) on Section 73.9: Induction principle

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).