Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
3  
(i) The "locally noetherian" restriction is easy to remove via the limit formalism of EGA IV$_3$, sections 8--12. (ii) It is not "ugly" that the noetherian property is generally lost of the formation of fiber products of noetherian schemes; what is ugly/unnatural is to insist on noetherian hypotheses when unnecessary. As Deligne once said, Grothendieck taught us that it is better to have a category with some "bad" objects and good operations. (iii) Faithfully flat descent provides natural/useful examples of non-noetherian schemes ($\widehat{A} \otimes_ A \widehat{A}$); you'll get over it. –  Boyarsky Jun 28 '10 at 11:57
    
By the way, the Picard functor is locally of finite presentation, and clearly the (locally) noetherian property is preserved under fiber products when at least one of the structure maps is locally of finite type. So the assertion that your Picard scheme is a group scheme makes perfectly good sense within the category of locally noetherian schemes if you insist on $S$ being locally noetherian and $X$ projective. (What lies deeper is that the Picard functor of an abelian scheme is an algebraic space when dropping projective hypotheses, and its relative identity component is always a scheme.) –  Boyarsky Jun 28 '10 at 12:43
    
If R-->S is universal for maps from a given ring R to noetherian rings, then by using maps into fields you can show that every prime ideal of R is the contraction of a unique prime ideal of S. If you could also show that this bijection is an order isomorphism, then you could conclude that R has no infinite ascending chain of prime ideals, which would rule out the existence of such a universal map in the case you are looking at ($R=L\otimes_KL$). –  Tom Goodwillie Jun 28 '10 at 14:50
    
@Tom: there are non-noetherian valuation rings of finite Krull dimension (even spectrum homeomorphic to $[0,n]$ with the order topology), so one cannot infer that even a domain is not noetherian merely from topological considerations with Spec. So your second sentence is unclear. –  Boyarsky Jun 28 '10 at 15:04
1  
@Boyarsky, I like that Deligne quote. Do you have a reference? (Please email it too!) –  Ravi Vakil Apr 8 '11 at 17:22
show 6 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.