## Does every nontrivial sheaf of rings have a maximal ideal?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $R$ be a sheaf of rings on a topological space $X$. Assume $R \neq 0$. Does then $R$ have a maximal ideal? So this is a spacified analogon of the theorem, that every nontrivial ring has a maximal ideal. Currently I try to develope this sort of spacified commutative algebra and algebraic geometry. If anyone knows some literature about it, please let me know.

So let's try to imitate the known proof for rings and use Zorn's Lemma. For that, we need that for every linear ordered set `$(J_k)_{k \in K}$` of proper ideals in $R$, their sum $\sum_{k \in K} J_k$ is also a proper ideal. Note that if we replace $R \neq 0$ by $R_x \neq 0$ for all $x \in X$ and the notion proper by "stalkwise proper", then everything works out fine since stalks and sum commute. However, global sections do not commute with (infinite) sums. Anyway, let's try to continue:

Assume $\sum_{k \in K} J_k = R$, that is, $1$ is a global section of the sum. Then there is an open covering $X = \cup_{i \in I} U_i$, such that $1 \in \sum_{k \in K} J_k(U_i) = \cup_{k \in K} J_k(U_i)$. Thus we get a function $I \to K, i \mapsto k_i$, such that $1 \in J_{k_i}(U_i)$. If this function has an upper bound, say $k$, then we get a contradiction $J_k=R$. Thus the function is unbounded. And now?

I think that this already indicates that there will be counterexamples, but I'm not sure. Also note that everything is fine when $X$ is quasi compact.

-

1
Fixed. (SCNR...) – darij grinberg Aug 2 2010 at 9:27
Back to topic, is the quasicompactness the thing that allows us to just take a maximal ideal in one stalk and the complete rings in the other stalks? – darij grinberg Aug 2 2010 at 9:33
@Darij: No. If $X$ is quasi compact, the global sections of a sum is the sum of the global sections. Or use that the function above is bounded. – Martin Brandenburg Aug 2 2010 at 9:52

## 2 Answers

Take $X=\mathbf Z$ with topology $(k,\infty)\cap\mathbf Z$ for $-\infty\leq k\leq\infty$, so that sheaves on $X$ may be identified with sequences $\dots\to F_k\to F_{k+1}\to\dots$, $k\in\mathbf Z$. Now take for $R$ the constant sheaf with value $\mathbf Q$. All ideals have the form $\dots\to0_{k-1}\to0_k\to\mathbf Q_{k+1}\to\mathbf Q_{k+2}\to\dots$ for some $-\infty\leq k\leq\infty$, so there are no maximal ideals.

-

Thank you, this is a nice example. – Martin Brandenburg Aug 2 2010 at 10:26

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

One could have guessed that the answer is "no" through the following reasoning:

A sheaf of rings on a space $X$ is a ring object in the topos of sheaves on $X$, and your question is about ring theory in that topos. But such a topos (unless $X$ is very close to being discrete, see e.g. comments here) can be seen as an intuitionistic universe of sets, where the axiom of choice and Zorn's lemma are not valid.

This can be made precise; you can interpret formal languages in a topos and you have certain proof systems obeying intuitionistic rules which are sound and complete with respect to the topos interpretation. The soundness part tells you that whenever you manage to prove a theorem about rings according to the intuitionistic rules it will also be valid for sheaves of rings. Here you have to make a distinction between first order and higher order languages - both are interpretable in toposes. Your question about ideals is a higher order question since it talks about subsets of a ring. Anyway both justify the point of view that you are doing ring theory in an intuitionistic set universe.

A nice and very friendly written example of such reasoning is this article of Mulvey, "Intuitionistic Algebra and Representations of rings", in which he gives an intuitionistic proof of a theorem of Kaplansky to conclude that it holds for sheaves of rings (and then draws nice consequences). If you are interested in this way of reasoning about sheaves of rings it is definitely the article for you - and you don't have to read Johnstone first, he does it all from scratch and talks about both, 1st and higher order, in a colloquial way. The clearest written precise accounts of this are IMHO section D1 of Johnstone's Elephant for 1st order and D4 for higher order, but they are a bit more general than what you need, see the last paragraph, the treatment of Mulvey, is closer to your setting.

A beautiful feature of the 1st order version (e.g. Johnstone, section D3) is that you have a universal ring object living in a certain topos (the "classifying topos" for rings) which satisfies exactly those 1st order statements which are provable in any topos. So whenever you can prove something about this particular ring object you can be sure it holds for all sheaves of rings on a space; see MacLane/Moerdijk's Sheaves in geometry and Logic, section VIII.5 for this universal ring object.

The existence of a classifying topos also leads to the following excellent news: For formulas of a certain syntactic form, called "geometric formulas", there are the theorems of Deligne and Barr (see Johnstone) which tell you that whenever you can prove such a formula using classical reasoning there also exists an intuitionistic proof - so you don't have to bother restricting your logic in these cases!

Since you said that you are also interested in "spacified" algebraic geometry: There is an article by Anders Kock, "Universal Projective Geometry via Topos Theory", J. Pure Appl. Algebra 9 (1976), 1-24, where he does projective geometry over this universal ring, presumably again obtaining statements which hold over any sheaf of rings (but I only skimmed that one long ago).

To sum up: If you can prove something intuitionistically (in a non-defined loose sense) you have good chances to be able to translate your proof into the formal systems from above and then you know that your result is true about rings in any topos. If you manage to express a 1st order statement in a certain syntactic form (as a "geometric formula") and can prove it with classical logic you can also conclude that it holds for any ring in a topos.

Important note: "Ring in a topos" is a more general class of objects than you seem to be interested in, you want to know about "rings in a spatial topos" (i.e. topos of sheaves on a topological space), and there more will be true. So even if a statement does e.g. not hold for the universal ring (which lives in a non-spatial topos) it might still be true for all rings in spatial toposes.

-

Thank you very much for this overview! It is exactly what I was looking for. I will start to read the papers and books you cited :). – Martin Brandenburg Aug 2 2010 at 13:43
Ok, before you devote too much time to this I should warn you that these ideas are 40 years old but haven't been pursued very far. So what you will get out of your reading will not be a bunch of concrete theorems on sheaves of rings, but a general idea for producing them. One may wonder why this hasn't been happily exploited and while one answer may be that there are just few people with appropriate background and interests, another one is probably that it's just darn difficult!  Anyway, it's beautiful mathematics!! I suggest to start with Mulvey! – Peter Arndt Aug 2 2010 at 15:51
Yes I rushed to the library and made a copy of the article; the introduction is very promising. It does not bother me if these ideas are 40 years old and no big theory has been developed out of that. Then I'll do it. ;-) – Martin Brandenburg Aug 2 2010 at 18:38
Cool, I hereby sign up to join the project when I'm done with my current duties ;-) – Peter Arndt Aug 3 2010 at 13:15
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 32, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9424896240234375, "perplexity_flag": "head"}