Recall that in the definition of a morphism of schemes (or of locally ringed spaces) f ⁣:X→Yf\colon X\to Y, the structure map f♯ ⁣:OY→f∗OXf^\sharp\colon \mathcal{O}_Y \to f_\ast \mathcal{O}_X induces a stalk map fx♯ ⁣:OY,f(x)→OX,xf^\sharp_x\colon \mathcal{O}_{Y,f(x)} \to \mathcal{O}_{X,x} at every point x∈Xx\in X.

Where does the term OX,x\mathcal{O}_{X,x} come from?

Choose one answer

Type a concept, like “slope” or “photosynthesis”.

↑ ↓ to choose · Enter to openSearch explanations and problems