Algebraic Geometry – Morphism from a Local Ring of a Scheme to the Scheme

algebraic-geometryschemes

Let $X$ be a scheme, and $x \in X.$ Let $U=\text{Spec}(A)$ be an open affine subset containing $x,$ then we have the natural morphism $\mathcal{O}_X(U) \to \mathcal{O}_{X,x}$ inducing a morphism $ \text{Spec} \;\mathcal{O}_{X,x} \to U$ and by composing it with the open immersion $U \hookrightarrow X$ we get a morphism $f: \text{Spec} \;\mathcal{O}_{X,x} \to X.$

  1. Why this definition does not depend on the choice of $U?$ and

  2. What is the image of $f?$

Best Answer

Let me add to Amitesh's absolutely correct answer a few words describing the image $I\stackrel {\text {def}}{=}Im(f)$ of the canonical morphism $f:\text{Spec} (\mathcal O_{X,x}) \to X$ .

a) The set $I$ is exactly the intersection of all neighbourhoodz of $x$ in $X$: it is a kind of microgerm of $X$ at $x$.
Beware that $I$ is not a subscheme of $X$ since it is not locally closed.

b) More geometrically (and thus more interestingly!) consider the irreducible subvariety $V=\overline {\lbrace x\rbrace}\subset X$ whose generic point is $x$.
Let $Y\subset X$ be a closed irreducible subscheme on which $V$ lies: $V\subset Y$ and let $\eta_Y$ be the generic point of $Y$.
Then our subset $I$ is exactly the set of all those generic points $\eta_Y$. We say that $I$ is the set of generizations of $x$.

c) Two examples:
1) If $X$ is an irreducible scheme with generic point $\eta$, then for $x=\eta$ we have $I={\lbrace \eta\rbrace}$.
2) If $X=\mathbb A^2_\mathbb C=\text {Spec}(\mathbb C[x,y])$ and $x=(a,b)$ (more accurately $x$ is the maximal ideal $\mathfrak m= (x-a,x-b)$) , then $I$ is the set consisting in $x$, the generic point of $\mathbb A^2_\mathbb C$ and the generic points of all irreducible curves going through $x$, like for example the curve $(y-b)^2-(x-a)^3=0$.

Related Question