show/hide this revision's text 5 Added LaTeX $ $s

This might lead to a pedestrian example: Let $R$ be a local ring with maximal ideal $m$, $X$ a scheme, and $f:Spec(R) \to X$ a map. If $U$ is an open subscheme of $X$ containing $f(m)$ then $f$ factors through a map $Spec(R) \to U$. Thus if we have two arrows $g,h:Y \to Spec(R)$, the coequalizer $c: Spec(R)\to C$ must be an affine scheme (else $c$ would factor strictly through an affine neighborhood $U$ of $c(m)$, and $U$ would be a "better coequalizer" than $C$). So If $Y=Spec(B)$ is also affine, then the coequalizer of $g,h$ is just $Spec(A)$ where A $A$ is the equalizer of $g^\sharp,h^\sharp$.

let R be k[x_i]_(x_i) $k[x_i]_{(x_i)}$ and S'=k[y_i,z_i]_(y_i,z_i). $S'=k[y_i,z_i]_{(y_i,z_i)}.$ there are two maps $g',h':R \to S S$ given by

g'(x_i)

$$g'(x_i) = y_i
h'(x_i) y_i$$

$$h'(x_i) = z_iz_i$$

suppose that I $I$ is an ideal of R. $R$. let I_y, I_z $I_y, I_z$ be the ideals generated by g(I) $g(I)$ and h(I) $h(I)$ respectively and let $S = S'/(I_y + I_z)I_z)$. write g $g$ and h $h$ for the induced maps $R \to SS$. the equalizer of g,h $g,h$ is just $A = k + I \subset RR$. it seems unlikely to me that $spec R \to spec A A$ is surjective for all choices of I.$I$.

show/hide this revision's text 4 typesetting

this

This might lead to a pedestrian example. let R : Let $R$ be a local ring with maximal ideal m, X $m$, $X$ a scheme, and f:spec R $f:Spec(R) \to X X$ a map. if U If $U$ is an open subscheme of X $X$ containing f(m) $f(m)$ then f $f$ factors through a map g:spec R $Spec(R) \to UU$. taking U above to be affine, Thus if we have two arrows $g,h:Y \to spec RSpec(R)$, the coequalizer is $c: Spec(R)\to C$ must be an affine scheme . if Y (else $c$ would factor strictly through an affine neighborhood $U$ of $c(m)$, and $U$ would be a "better coequalizer" than $C$). So If $Y=Spec(B)$ is also affine, then the coequalizer of g & h $g,h$ is just spec A $Spec(A)$ where A is the equalizer of g & h.$g^\sharp,h^\sharp$.

let R be k[x_i]_(x_i) and S'=k[y_i,z_i]_(y_i,z_i). there are two maps g',h':R \to S given by

g'(x_i) = y_i
h'(x_i) = z_i

suppose that I is an ideal of R. let I_y, I_z be the ideals generated by g(I) and h(I) respectively and let S = S'/(I_y + I_z). write g and h for the induced maps R \to S. the equalizer of g,h is just A = k + I \subset R. it seems unlikely to me that spec R \to spec A is surjective for all choices of I.

show/hide this revision's text 3 fixed typos

this might lead to a pedestrian example. let R be a local ring with maximal ideal m, X a scheme, and f:spec R \to X a map. if U is an open subscheme of X containing f(m) then f factors through a map g:spec R \to U. taking U above to be affine, if we have two arrows g,h:Y \to spec R, the coequalizer is an affine scheme. if Y is also affine, then the coequalizer of g & h is just spec A where A is the equalizer of g & h.

let R be k[x_i]_(x_i) and S'=k[y_i,z_i]_(y_i,z_i). there are two maps g',h':R \to S given by

g'(x_i) = y_i
h'(x_i) = z_i

suppose that I is an ideal of R. let I_y, I_z be the ideals generated by g(I) and h(I) respectively and let S = S'/(I_y + I_z). write g and h for the induced maps R \to S. the equalizer of g,h is just A = k + I \subset R. it seems unlikely to me that spec R \to spec S A is surjective for any choice all choices of I.

show/hide this revision's text 2 correction/retraction
show/hide this revision's text 1