Let $X,Y$ be schemes, not necessary separated. Let $f:X\to Y$ be a morphism of schemes and $f(x)=y~,x\in X,~y\in Y$. Then we have the scheme theoretic fiber over $y$, i.e. $f^{-1}(y)=X\times_{Y} \text{Spec } \mathbb k(y)$ where $\mathbb k(y)$ is the residue field at $y$. I was told that $\mathcal O_{x,f^{-1}(y)}=\mathcal O_{x,X}\otimes_{\mathcal O_{y,Y}}\mathbb k(y)$. I can show this fact by writing down the rings involved explicitly and the proof only works for this special fiber product. I am now asking if there is a generalization, as follows.

Let $X,Y,Z$ be schemes, $f:X\to Z,~g:Y\to Z$ be morphisms of schemes, suppose that $w\in W=X\times_Z Y$ such that $w$ is sent to $x$, $y$ and $z$ in $X$, $Y$ and $Z$ respetively. Are $\mathcal O_{x,X}\otimes_{\mathcal O_{z,Z}} \mathcal O_{y,Y}$ and $\mathcal O_{w,W}$ naturally isomorphic? Note that there might be more than one $w$ over the pair of points $(x,y)$, they much have the same local rings if my guess is true.

I tried to prove this via commutative algebra. The question is local. Let $X,Y,Z$ be $\text{Spec } A,\text{Spec } B,\text{Spec } C$, respectively. Let $x,y,z,w$ correspond to prime ideals $P_1,P_2,Q,I$, respectively. Then I have to prove that $(A\otimes_C B)_I=A_{P_1}\otimes _{C_Q} B_{P_2}$. I want to check the universal property of tensor products. Given $\alpha:A_{P_1}\to E,\beta:B_{P_2}\to E$ such than they coincide when restricted to $C_{Q}$, we have a unique homomorphism $\gamma: A\otimes_C B\to E$. The only thing remaining to be checked is that $\gamma$ maps the complement of $I$ to units. And I am stuck here.

If my guess is true, would you help me finish my proof? Of course I will appreciate more if you give a better proof. If my guess is false, then what is the right conditions making it ture?


No, it is not true that $\mathcal O_{x,X}\otimes_{\mathcal O_{z,Z}} \mathcal O_{y,Y}$ and $\mathcal O_{w,W}$ are isomorphic.
Take for example $X=Y=Spec (\mathbb C)$ and $Z=Spec (\mathbb R)$, with the obvious morphisms.
Then $$W=X\times_Z Y=Spec (\mathbb C)\times_{Spec(\mathbb R)}Spec(\mathbb C)=Spec (\mathbb C\otimes_\mathbb R\mathbb C)=Spec(\mathbb C\times \mathbb C)=\lbrace w_1,w_2\rbrace$$
We have $$\mathcal O_{w_1,W}=\mathcal O_{w_2,W}=\mathbb C\neq \mathcal O_{x,X}\otimes_{\mathcal O_{z,Z}} \mathcal O_{y,Y}=\mathbb C\otimes_\mathbb R\mathbb C=\mathbb C\times \mathbb C$$ Notice that the right hand side isn't even a local ring!
I'm happy that your question allows me to somehow illustrate the point I made in the Edit here

  • $\begingroup$ Thanks very much for your crystal clear example. You taught me that I should check the simplest examples before trying to prove something! $\endgroup$ – YZhou Dec 21 '12 at 16:04

Fiber products exist in the category of locally ringed spaces (see e.g. Gillam's paper), and this also provides a direct construction (without gluing!) of the fiber product of schemes and reveals its explicit structure as a locally ringed space.

If $f : X \to S$ and $g : Y \to S$ are morphisms of locally ringed spaces, then the fiber product $X \times_S Y$ has the following description: Elements are of the form $(x,y,s,\mathfrak{p})$, where $(x,y,s)$ lies in the underlying topological fiber product, i.e. $x \in X$, $y \in Y$ with $f(x)=s=g(y)$, and $\mathfrak{p} \subseteq \mathcal{O}_{X,x} \otimes_{\mathcal{O}_{S,s}} \mathcal{O}_{Y,y}$ is a prime ideal satisfying $\mathfrak{p} \cap \mathcal{O}_{X,x} = \mathfrak{m}_x$ and $\mathfrak{p} \cap \mathcal{O}_{Y,y} = \mathcal{m}_y$. The stalk of the structure sheaf at such a point is the localization $(\mathcal{O}_{X,x} \otimes_{\mathcal{O}_{S,s}} \mathcal{O}_{Y,y})_{\mathfrak{p}}$. As for the topology and the structure sheaf in general, one uses (as in the construction of affine schemes) localization at elements $f \notin \mathfrak{p}$.

Actually, all this can be derived from the universal property of local schemes and the universal property of fiber products (exercise).

  • $\begingroup$ Thanks very much! This seems to be what I am looking for! $\endgroup$ – YZhou Dec 21 '12 at 16:03

The answer of Georges is crystal clear. Let me present another example with $Z=\mathrm{Spec}(k)$ ($k$ is a field), $X=Y=\mathbb A^1_k$ and $x,y$ rational over $k$.

Write $X=\mathrm{Spec}(k[t]), Y=\mathrm{Spec}(k[s])$ and consider $x=0$ and $y=0$. The spectrum of $R:=O_{X,x}\otimes_k O_{Y,y}$ is a nice and surprising object. It is noetherian, integral, regular (even UDF) of dimension $2$, all closed points are of height 1 (and there are infinitely many such points) except the one corresponding to $(0,0)$ which has height 2. In particular the tensor product is not a local ring. Not even semi-local.

Indeed $O_{X,x}=T^{-1}k[t], O_{Y,y}=S^{-1}k[s]$, where $T$ is the set of polynomials in $k[t]$ not vanishing at $0$. Similarly for $S$. So the tensor product is $R=T^{-1}k[t]\otimes_k S^{-1}k[s]=U^{-1}k[t,s]$ where $U=TS$ consists in the products of elements of $T$ and $S$. This is a localization of $k[t,s]$ so is integral, noetherian, regular and UDF.

The spectrum $\mathrm{Spec}(R)$ corresponds to prime ideals of $k[t,s]$ with empty intersection with $U$. It is easy to see that there is only one maximal ideal of $k[t,s]$, $(t,s)k[t,s]$, in this set (suppose $k$ algebraically closed if you like). The other ones are $0$ and principal irreducible ones $f(t,s)k[t,s]$. Now $f(t,s)k[t,s]\cap U=\emptyset$ if and only if $f(t,s)\notin k[t]\cup k[s]$. The ideal $f(t,s)k[t,s]\subseteq (t,s)$ if and only if $f(0,0)=0$. These $f$ correspond to prime ideals specializing to $(0,0)$. They are non closed points in $\mathrm{Spec}(R)$. The other $f(t,s)$ define prime ideals in $R$ not strictly contained in another prime ideal, so they define closed points. Examples of such $f(t,s)$: take $c+t+sg(s)$ with $c\in k^*$ and $g(s)\in k[s]$.

From this description we see that $\dim R=2$ and the only closed point with height 2 is the ideal $(t,s)R$.

Geometrically (say $k$ algebraically closed), $V:=\mathrm{Spec}(T^{-1}k[t])$ is the complement of $F=$ {points of $\mathbb A^1_k$ which don't specialize to $0$}. So $V\times_k V$ is the complement of $F\times \mathbb A^1\cup\mathbb A^1\times F$. For any irreducible curve $C$ in $\mathbb A^1\times\mathbb A^1$ which is not "vertical" or "horizontal" and not passing through $(0,0)$, the generic point of $C$ belongs to $V\times V$ and is closed in $V\times V$ because all its possible specializations $\mathbb A^1\times\mathbb A^1$ except itself land out of $V\times V$.

  • 1
    $\begingroup$ Thanks so much for your enlightening example! I see why my picture is wrong now! $\endgroup$ – YZhou Dec 26 '12 at 16:00
  • $\begingroup$ Dear user18119, the ideal $(t,s)k[t,s]$ does not survive as aprime ideal in $R$ because it has non-empty intersection with $U=TS$, as witnessed by $t=t\cdot 1$ or $s=1\cdot s$. I think that in fact $Spec (R)$ has dimension $1$. $\endgroup$ – Georges Elencwajg Feb 21 '18 at 19:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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