Sunday, 17 September 2006

ac.commutative algebra - Pushouts of noetherian rings

Does the category of noetherian rings has pushouts?



Background: If $X/S$ is an abelian scheme, then the relative Picard functor $Pic_{X/S}$, is only defined on the category of locally noetherian $S$-schemes (as far as I know). It is a group functor and in some situations it is representable. We then get a group object in the category of locally noetherian $S$-schemes, and I ask myself if it has a multiplication morphism.



Observe that the tensor product of noetherian rings does not have to be noetherian (isn't this ugly?). Even for fields there is a counterexample: Let $L/K$ be a purely transcendental field extension of infinite transcendence degree. Then $Omega^1_{L/K}$ is infinite-dimensional, from which you can concluce that the kernel of $L otimes_K L to L, a otimes b mapsto ab$ is not finitely generated. Thus $L otimes_K L$ is not noetherian.



Of course, this does not disprove that $L leftarrow K rightarrow L$ has a pushout in the category of noetherian rings. How can this be done? The question has a similar spirit (you may call it pathological) as this one.

No comments:

Post a Comment