Spectra of Rings

Hurkyl

So I think I'm finally getting the definition of a scheme, but the texts I'm using aren't exactly ripe with examples. So, I wanted to condier some ring spectra to construct examples...

I played around with the simple examples Z and Z[x], and my next thought was to look at manifolds and stuff...

So I wondered what the spectrum is of A, the ring of continuous functions over Rⁿ... in order for a manifold to be a scheme, the spectrum would have to be homeomorphic to Rⁿ... but I'm almost certain now that it is not.

I can discern some of the prime ideals of A; each of the ideals I(P) = {f in A| f(P) = 0} is prime, which is good. However, so is the ideal Z = {f | f is zero on a set with nonempty interior}, which is annoying because it doesn't even correspond to a subset of Rⁿ. Furthermore, I can't prove to myself that, for instance, there is no subideal of I(P) that is not prime, and I'm having similar troubles when you replace P with some closed connected set of measure zero.

Is there a good way, at all, to describe the spectrum of the ring of continuous functions over Rⁿ? What about differentable, twice differentiable, ..., infinitely differentiable functions? And analytic functions (which I suspect might be nicer)?

matt grime

Let's make it simple and just consider R. There is a paper by Neeman, though i can't seem to find it at the moment, that demonstrates the derived category of sheaves (of abelian groups) over R is not compactly generated. This kind of result implies some pathological misbehaviour of non-compact manifolds.

The ring of continuous functions seems too big (is it even noetharian?). Obviously it isn't even finitely generated over R, so it's not going to be nice.

styler

Yeah seems too big.
Somebody suggested that the following ideal contains an infinite ascending chain:
Update: found a mention of it on the webpage of somebody's alg course:
an algebra homework solution that illustrates that this ring is no Noetherian

Hurkyl

Well, I have gotten an answer to my question; I feel silly not noticing it earlier. The spectrum of a ring is always compact, thus cannot be isomorphic to Euclidean n-space.


Considering for the moment the case of infinitely differentiable functions on Euclidean n-space, I can produce two types of "counterexamples"; that is, ideals that are not simply the set of functions zero on a point.

(a) The set of functions zero at the origin and whose derivatives are all zero, form a prime ideal.

(b) Given any ultrafilter (right term?) on closed sets, the set of functions whose zero set is in the ultrafilter form a prime ideal. One can generate a "counterexample" by extending the filter of closed sets with bounded complement.


Now, I haven't been able to come up with a variant of (a) for any of the other rings in question (rings of n-th differentiable functions, or simply continuous functions) and if I work in a compact space, (b) doesn't seem to generate counterexamples because the only ultrafilters seem to be collections of sets containing a given point.


So my amended question is that if I have a compact manifold (compact metrizable space? compact T1 space?) and take the ring of continuous functions (n-th differentiable functions?) on the manifold, is the spectrum isomorphic to the manifold? That is, is the collection of prime ideals of this ring simply those ideals consisting of all functions zero at a given point?

matt grime

I think you need to say what you mean by isomorphic. Spectra arise from the Zariski topology which is very badly separated, and the zariski topology on R for instance is compact, but obviously not hausdorff, indeed every open set is dense.

I still can't see what you're after. Take the unit circle, T, then whilst its set of continuous functions might have a countable analytic basis, algebraically it is disgusting, and there's little chance of its spectrum being P^1.

Its almost as though you wish to take the spectrum of the spectrum of something, which seems to me at least to be the wrong thing to examine.

Hurkyl

This is the part I'd like to see shown; I can't figure out why it wouldn't be so. The only prime ideals I can find in this ring are those that are the set of all functions zero at a given point. If, indeed, these are all the prime ideals, then we can identify each prime ideal with its point of the circle, and then the closed subsets of the spectrum will be precisely the closed subsets of the circle.

matt grime

Well, which topology on T do you want? (given the example of the unit circle)

Hurkyl

Ok, take T with the topology given by its embedding in R^2. Take the ring of continuous functions on T. Is there a prime ideal that, for all points P of T, is not equal to the set of all continuous functions zero at P?



(actually, I had another related question; given a continuous map f from Spec A to Spec B, is there an associated homomorphism from B to A? I know the other way around is true)

matt grime

This is proving really tricky to figure out since I have no idea if I should be proving it's true or finding a counter example. Does anyone have references for spectra of (uncountably) infinitely generated rings over R? Perhaps even thinking aobut C-star algebras mght help, though we ought to do this algebraically. Of course, even if we've got the set of prime ideals as those vanishing at some point, you would then need some sort of inclusion reversing correspondence withe radical ideals etc.

Hurkyl

Suppose the prime ideals of A, the ring of continuous functions over a compact space X, has only prime ideals of the form of all functions zero at a given point.


Suppose I is any ideal of A, and consider the zero set of this ideal. Each element of f is zero on a closed set in the Euclidean sense (since f is continuous), and thus Z(I) is closed in the Euclidean sense.

Furthermore, if F is closed in the euclidean sense, then I(F) = {f | f is zero on F} is an ideal with Z(I(F)) = F. So, we have a 1-1 correspondence between the closed sets in the Euclidean sense and in the scheme-theoretic sense.


(Incidentally, another question I had is if, in an arbitrary Spec A, the closed sets really are in 1-1 correspondence with radical ideals)

mathwonk

Take a closed bounded interval, like [0,1] and the ring of continuous functions on that. For each point p of the interval, there is an evaluation map from the ring of continuous functions to the reals, taking f to f(p). This is obviously an algebra surjection onto a field, so the kernel, or set of functions mapping to zero, i.e. the ideal of f such that f(p) = 0, is a maximal ideal of the ring R.

What about in the opposite direction? take any maximal ideal M in R. I claim it is the set of functions vanishing at some point of the interval. The proof is by contradiction.

Suppose for each point p of the interval there is a function in the ideal not vanishing at p. Then it also does not vanish on some open nbhd of p. Since this gives an open cover of the interval, which is compact, we obtain a finite cover and a corresponding finite number of functions. Then the sum of the squares of these fucntions does not vanish anywhere on the interval, hence is an unit, so the ideal contains a unit and hence is not maximal, but is the unit ideal.

Thus in fact every proper ideal of the ring R of continuous functions on a compact interval has a common zero, hence the ideal is contained in the maximal ideal corresponding to that point, and by maximality must equal it.

The same proof seems to work for almost any compact space like the circle.

I seem to recall from topology class, that in general the space of maximal ideals of the ring of continuous functions, on a space on which the topology can be defined by continuous functions, is a compactification of the original space called the Stone Cech compactification.

In fact I believe I recall (after 35 years), there is a one one correspondence betwen all constant - containing, point - separating, subalgebras of this ring, and all compactifications of the space. So the full set of maximal ideals defines the largest possible compactification.



Thus for a non compact space like R^n, the space of maximal ideals defines a larger compact space, indeed much larger.

for example, the set of functions "vanishing at infinity" is a maximal ideal, where f vanishes at infinity if for every epsilon, there is a compact subset K in R^n such that f is less than epsilon outside K.

If you take as your subalgebra the set of functions having limits at infinity, defined in an analogous way, you get the famous one point compactification of R^n, i.e. you get a sphere S^n.

Note that in a space like R^n, the Zariski topology defined by continuous functions agrees with the usual topology.

Hurkyl

There are two sorts of ways my hypothesis could fail:

There exists a prime ideal M such that, for each p, there's a function f in M with f(p) != 0

There exists a prime ideal M that is a proper subset of some maximal ideal.


I was fairly convinced the first way couldn't happen on a compact set; I didn't work out all the details, but it's good to see proof that the maximal ideals are precisely what they "should" be. Do you have any idea about how to tackle the other problem?

mathwonk

I am not sure I am understanding, so let me just blather on.

In general, in small rings like polynomials in two variables over a field, there are a lot of non maximal prime ideals. Indeed the definition of dimension of a spectrum is (one less than) the length of a strictly nested chain of prime ideals, such as (0), (x), (x,y), in K[x,y], where K is a field.

Now in the more flexible ring of continuous functions on an interval like [0,1], there may possibly be no prime ideals that are not maximal, but I do not see a proof immediately.

In general algebraic geometry the prime ideals correspond to "irreducible" algebraic sets, such as a line in the plane. I.e. no product of two polynomials in x,y can vanish on a whole line without one of them doing so.

But in the world of continuous functions, for any subinterval say, we can find a function vanishing on part of it and another vanishing on the rest, so their product is in the ideal of functions vanishing on that set, yet neither factor is. so that ideal is not prime.

So I do not see an analogous family of "irreducible" subsets of an interval that are not just one point sets.

There is a famous book from the 60's called Rings of Continuous functions by Gillman and Jerison, but I do not have a copy, that might discuss this stuff.

mathwonk

In an arbitrary commutative ring A, there is a 1-1 correspondence between the clsoed sets of the spectrum and radical ideals of the ring.

By definition a set S is closed if for some ideal J , S equals the set of primes which contain J. Then rad(J) determiens the same clsoed set, and conversely, the intersection of all the prime idelas in S equals rad(J).

see a basic introd to schemes such as Mumford's redbook.

Hurkyl

Here are two examples of the reasons why I still have some doubt:

If, instead of continuous functions, you take the ring of analytic functions, then you get all sorts of irreducible closed sets. (if you're in more than 1 variable)

In the ring of infinitely differentiable functions, an example of a non-maximal prime ideal is {f | f⁽ⁱ⁾(0) = 0 for n in N}.

mathwonk

well, analytic functions are not so different from polynomials, but I like the example from C infinity.

I guess I see the proof. If the lowest order derivative of f that is not zero is r, and the lowest order non zero derivative of g has order s, then fg has non zero (r+s)th derivative, by the producr rule.