## Stalks of structure sheaf of fibre product？

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

What can I say about it？

Can I say the stalks equal the tensor products of the corresponding factors stalks？

Thanks！

-

7
You don't say what your context is (ringed spaces, schemes,...). If it is schemes then no, as the stalk of the product is a local ring and the tensor product of local may not be local. – Torsten Ekedahl Jul 16 2011 at 14:26
Thank you very much！ – MZWang Jul 17 2011 at 1:13

## 2 Answers

Let $X,Y$ be $S$-schemes. Then a point of $X \times_S Y$ corresponds to a pair of points $x \in X, y \in Y$ lying over the same $s \in S$ together with a prime ideal `$\mathfrak{p} \subseteq \mathcal{O}_{X,x} \otimes_{\mathcal{O}_{S,s}} \mathcal{O}_{Y,y}$` which restricts to the maximal ideals in `$\mathcal{O}_{X,x}$` resp. $\mathcal{O}_{Y,y}$. The stalk of the structure sheaf in this point is the localization of the tensor product:

`$\mathcal{O}_{X \times_S Y,(x,y,\mathfrak{p})} = (\mathcal{O}_{X,x} \otimes_{\mathcal{O}_{S,s}} \mathcal{O}_{Y,y})_{\mathfrak{p}}$`.

There are at least two ways to prove these statements: a) Use the universal property of $\text{Spec}(K)$ for a field $K$ to get the points and then use the universal property of $\text{Spec}(R)$ for a local ring $R$ to get their stalks. So this assumes, of course, that you already know that the fiber product exists, but you can recover the description of the elements and the stalks just by using the universal property! But actually, b) you can construct the fiber product as above, also more general in the category of locally ringed spaces. I've written this up here.

Now your actual question seems to be:

As Hartshorne chapter III.9.2 claim，an Ox-module （need not be quasi coherent) F's flatness is stable under base change. But the stalks is not the tensor products, how can I prove the claim?

The statement is the following: If $f : X \to Y, Y' \to Y$ are morphisms, and $\mathcal{F}$ is a module over $X$ which is flat over $f$, then the pullback of $\mathcal{F}$ to $X \times_Y Y'$ is flat over $X \times_Y Y' \to Y'$. I am pretty sure that Hartshorne understands $\mathcal{F}$ to be quasi-coherent here. Otherwise the sketch of proof also does not make sense. But it is also true in general:

Pick a point in $X \times_Y Y'$, thus a triple $(x,y',\mathfrak{p})$ as described above. Let $y$ be the underlying point in $Y$. Now `$\mathcal{F}_{x}$` is flat over `$\mathcal{O}_{Y,y}$`. By commutative algebra (base change of flat modules), it follows that `$\mathcal{F}_x \otimes_{\mathcal{O}_{Y,y}} \mathcal{O}_{Y',y'}$` is flat over `$\mathcal{O}_{Y',y'}$`. Again by commutative algebra (localizations are flat) `$(\mathcal{F}_x \otimes_{\mathcal{O}_{Y,y}} \mathcal{O}_{Y',y'})_{\mathfrak{p}}$` is flat over `$\mathcal{O}_{Y',y'}$`. But this is exactly the stalk of the pullback of $\mathcal{F}$ in the given point $(x,y',\mathfrak{p})$.

-

Thanks！ This answer is exactly what I want. – MZWang Jul 20 2011 at 8:42

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

As Hartshorne chapter III.9.2 claim，an Ox-module （need not be quasi coherent) F's flatness is stable under base change. But the stalks is not the tensor products, how can I prove the claim?

-

1
You should have added this to your question above (via the Edit function). Also check out the FAQ. But never mind :) – Martin Brandenburg Jul 18 2011 at 9:11
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 24, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9086591601371765, "perplexity_flag": "head"}