Sunday, 16 December 2007

ag.algebraic geometry - Does reduced+Noetherian space imply Noetherian scheme

In the special case of affine schemes, there is an exercise on Hartshorne saying that when Spec A is a Noetherian topological space A may not be a Noetherian ring. While it is easy to find an example for that when A has nilpotent elements, e.g. $A=k[x_1,...,x_i,...]/(X_1, x_2^2,...,x_i^i,...).$ It is not clear to me that whether we could still find a counter example when A is a domain. In the general case, I am asking for a reduced scheme, if the underlying topological space is Noetherian, is the scheme necessarily a Noetherian scheme?



My guess would be no, consider the direct limit of the series of localizations,



$$underline{lim} k[x^{1over 2^n}]_{(x^{1over 2^n})}$$



each process within the limit is a one dimension scheme, and I think the limit is also a one dimension scheme. (In general, will dimension necessarily be held constant, non increasing or non decreasing in a limit process? or none of the above?). However, it is not hard to see the limit ring is not a Noetherian ring.

No comments:

Post a Comment