Definition 35.20.1. Germs of schemes.

A pair $(X, x)$ consisting of a scheme $X$ and a point $x \in X$ is called the

*germ of $X$ at $x$*.A

*morphism of germs*$f : (X, x) \to (S, s)$ is an equivalence class of morphisms of schemes $f : U \to S$ with $f(x) = s$ where $U \subset X$ is an open neighbourhood of $x$. Two such $f$, $f'$ are said to be equivalent if and only if $f$ and $f'$ agree in some open neighbourhood of $x$.We define the

*composition of morphisms of germs*by composing representatives (this is well defined).

## Comments (0)