0
$\begingroup$

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}$?

$\endgroup$
1
  • $\begingroup$ 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. $\endgroup$
    – Ramsey
    Feb 3, 2011 at 22:49

1 Answer 1

2
$\begingroup$

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.

$\endgroup$
2
  • $\begingroup$ 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)? $\endgroup$
    – unknown
    Feb 4, 2011 at 11:59
  • $\begingroup$ @Philipp Gross . $\endgroup$
    – unknown
    Feb 22, 2011 at 13:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.