Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

share|improve this question
    
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
add comment

1 Answer 1

up vote 2 down vote accepted

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.

share|improve this answer
    
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
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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