# local statement

I have a property which is local and stable for faithfully flat base change over a base scheme $S$. So I need to prove it for $O_{S,s}$ with $s\in S$. Why if I can prove it for a local artinian ring then this give to me the statement for $O_{S,s}$?

-
Sometimes the theorem on formal functions (see, for example, section 11 of chapter 3 of Hartshorne) is useful for reducing things to the Artin local case. It depends on your particular condition, but it's worth having a look at. –  Ramsey Feb 3 '11 at 22:49

The implication is not true in general, if I understand you correctly. For example, consider the property "affine" for morphism of schemes. This property is fpqc locally on the target.

Say, you have a morphism of schemes $f:X \to Y$ such that for every artinian ring $A$ and morphism $\text{Spec}(A) \to Y$ the base change $f_A : X_A = X \times_Y \text{ Spec}(A) \to \text{Spec}(A)$ is affine. Then $f$ is not an affine morphism, in general. For instance, consider for $f$ the open immersion of the pointed affine plane $X := \mathbb{A}^2_k -\lbrace0\rbrace\to \mathbb{A}^2_k = :Y$.

Then $\mathbb{A}^2_k$ is not affine! Otherwise, the open immersion $f$ would be an isomorphism as $H^0(X,O_X) = H^0(Y,O_Y)$ using that $X$ is $S_2$.

Thus, the open immersion $f$ is not an affine morphism. However, every fiber is either $\mathbb{A}^2$ or $\mathbb{A}^2 - \lbrace 0 \rbrace$. Both are affine curves. So, $f$ has affine fibers, but is not affine. Morever, if you take any Artinian ring $A$, then for every morphism $\text{Spec}(A) \to Y$ the base change $f_A : X_A \to \text{ Spec}(A)$ has affine source $X_A$. To see this, use that $k := A/Nil(A)$ is a field and that we know already that $X_k$ is affine. The map $X_k \to X_A$ is finite, finitely presented and surjective, since $\text{ Spec}(k) \to \text{Spec}(A)$ is. Thus, $X_A$ is affine by Chevalley's Theorem for affines.

Therefore, you cannot disprove that $f$ is affine by testing with Artin rings.

However, if you impose an additional global condition (e.g. properness), then some properties can be checked over Artin rings as Ramsey pointed out.

-
3 questions, probably trivial: is "affine" faithfully flat stable? $A_k^2\setminus\{0\}=Spec(k\[x,y]_{(x,y)})$ why it is artinian? Why this inclusion is faithfully flat( it is flat because comes from localization but it is not surjective at scheme level)? –  unknown Feb 4 '11 at 11:59
@Philipp Gross . –  unknown Feb 22 '11 at 13:49