Tuesday, 16 June 2009

ag.algebraic geometry - Expressing fiber product of affines via an ideal

Let $X$ (resp. $Y$) be the affine $k$-scheme defined by the ideal $I$ (resp. $J$) in the polynomial ring $k[x_1,...x_n]$ (resp. $k[y_1,...,y_m]$).
Let $Z$ be the affine scheme defined by the ideal $L$ in $k[z_1,...z_s]$, and let $f^*:k[z]/Lrightarrow k[x]/I$ (resp. $g^*:k[z]/Lrightarrow k[y]/J$) be $k$-homomorphisms, where $x=(x_1,...,x_n)$ and so forth, corresponding to scheme morphisms $f:Xrightarrow Z$ (resp. $Yrightarrow Z$).



Then it should be possible to express the fiber product $Xtimes_{f,Z,g}Y$ via an ideal $W$ in the polinomial ring $k[x,y,z]$ [edit: actually, $W$ should be an ideal in $k[x,y]$] (where $x$ stands for the string of variables $x_1,...,x_n$, and so on).



Question: how to express $Wsubseteq k[x,y,z]$ explicitely in terms of $I$, $J$, $L$, $f^*$ and $g^*$?



Edit:
You can express things explicitely in terms of some polynomials $F_i$, $G_i$ and $H_i$ such that $I=(F_1,...,F_N)$, $J=(G_1,...,G_M)$ and $L=(H_1,...,H_S)$, and in terms of the components $(f_1,...,f_s)$ (resp. $(g_1,...,g_s)$) of $f$ (resp. $g$).

No comments:

Post a Comment