This question has been bugging me for a while and I can't seem to make sense of it on a clear conceptual level.

The theory of local rings is given by taking the theory of rings and adding the axioms \begin{eqnarray} (0=1) \vdash \bot \\ x + y = 1 \vdash \exists z : (xz = 1) \vee \exists z : (yz = 1) \end{eqnarray} This theory is geometric and thus has a classifying topos $S[\text{Local Rings}]$. With a bit of work one can show that this topos is actually given by the Zariski topos, i.e. given as the topos of Sheaves on the Zariski site $CRing_{fp}^{op}$ of finitely presented rings with coverings given by partitions of unity.

As an algebraic geometer with an acquaintance of the functor of points POV this is already a nice fact, as this basically means that scheme theory is a straight up consequence of the notion of a local ring (schemes can be identified with those sheaves that can be covered by representables).

But this is not where the story ends. Write $S[\text{Rings}]$ for the classifying topos of the theory of rings. A ring $R$ is equivalent to a geometric morphism $\text{Sets} \rightarrow S[\text{Rings}]$ (that's just how classifying toposes are defined after all). We also have a geometric morphism $S[\text{Local Rings}] \rightarrow S[\text{Rings}]$. It turns out that the topos theoretic pullback along those two geometric morphism is just the topos of Sheaves on $\text{Spec}(R)$. (This was mentioned in this mathoverflow post by Peter Arndt) (EDIT: As was pointed out by Simon Henry below, this should be taken with a grain of salt until it is clear in what sense this pullback is meant.)

$\require{AMScd}$ \begin{CD} Sh(Spec(R)) @>>> \text{Sets}\\ @V V V @VV V\\ S[\text{Local Rings}] @>>> S[\text{Rings}] \end{CD}

hence the construction of the spectrum of a ring follows directly from looking at the fibers of the geometric morphism $S[\text{Local Rings}] \rightarrow S[\text{Rings}]$. The slogan is "the spectrum of a ring is the universal way of making the ring into a local ring" (the corresponding local ring is given by the structure sheaf, which is a local ring internal to $Sh(Spec(R))$ and given by the geometric morphism $Sh(Spec(R)) \rightarrow S[\text{Local Rings}]$).

Moreover, locally ringed spaces as special cases of locally ringed topoi are considered by some writers as the right notion a "geometric" space - for example Jacob Lurie generalizes basic notions of geometry to higher geometry using locally ringed spaces. There's a natural notion of what it means to be locally isomorphic to a given locally ringed space and the concept of smooth manifold, complex analytic manifold and also scheme derive naturally from that. The category of locally ringed topoi is simply the overcategory (or slice category) of $\text{Topos}$ over $S[\text{Local Rings}]$ - a nice fact is that this automatically gives the right notion of a smooth map between smooth manifolds, holomorphic map between complex analytic manifolds, etc.

Some other remarks from the side of constructivist mathematics are that linear algebra in a constructive setting works best over local rings (as there are different notions of field in constructive mathematics).

So to come to my question: What is going on here? Let me be specific: I can grasp the concept of a group as a syntactic description of what we mean by the symmetries of an object - what is the underlying essence of a local ring? What part of our human intuition do they describe naturally?

A little remark: There is a partial answer to be found in the following: A local ring has a canonical apartness relation $x \# y$, where $x \# y$ iff $x-y$ is invertible. In fact a ring object in the category of sets equipped with apartness relations is the same thing as a local ring. I am however not yet satisfied with this.

  • 3
    $\begingroup$ I'm afraid your pullback square is wrong ! if you use the morphism from $S[Local ring]$ to $S[Ring]$ that just forget the locality axiom then the pullback will be a point if your ring is local and empty if your ring is not local. What you need to have such a pullback square si the classiyfing topos of couple $(R,S)$ where $R$ is a ring and $S$ is a prime localizing subset (basically the complement of a prime deal geometrically axiomatised) and the morphism to $S[Ring]$ the forget the localizing subset. $\endgroup$ Nov 24, 2016 at 16:53
  • 4
    $\begingroup$ @Georg: What is wrong with the most obvious answer, "local rings pretend to be rings of germs of functions"? (I assume that you know this theme.) $\endgroup$
    – HeinrichD
    Nov 24, 2016 at 17:09
  • 4
    $\begingroup$ I think your square might be a lax pullback square. Note that it only commutes up to a non-invertible 2-morphism. $\endgroup$ Nov 24, 2016 at 17:22
  • 4
    $\begingroup$ @Georg: Sheaves of commutative monoids and in particular monoid schemes are actually quite a big research topic nowadays. See for instance arxiv.org/abs/1010.2896v2 and the papers mentioned in the introduction there. By the way, every commutative monoid is local, since the unique maximal ideal is the set of non-units. $\endgroup$
    – HeinrichD
    Nov 24, 2016 at 18:20
  • 4
    $\begingroup$ @GeorgLehner "The category of locally ringed topoi is simply the overcategory (or slice category) of $\mathsf{Topos}$ over $S[\mathrm{Local Rings}]$" -- surprisingly, this is false! In the slice category $\mathsf{Topos}/S[\mathrm{Local Rings}]$ the objects are indeed the locally ringed topoi -- but the morphisms are all morphisms of ringed topoi -- they need not carry non-units to non-units on the stalks! See here for discussion. This is one reason why e.g. in Lurie one needs a geometry rather than just a classifying topos to talk about this stuff. $\endgroup$
    – Tim Campion
    Apr 8, 2017 at 18:54

2 Answers 2


I'm not sure if this constitutes a full answer, and a lot of it has already been said in some form by HeinrichD in the comments. Because your question is ultimately one of philosophy, I will focus mostly on history and philosophy (and a few applications); not so much the categorical or logical interpretations.

History. In functional analysis, the Gelfand representation shows that locally compact Hausdorff spaces can be thought of as commutative C*-algebras (but it's not quite an equivalence of categories). Then Grothendieck came around and reversed this philosophy: we can take any commutative ring $R$, and define a space $X$ such that functions on $X$ are by definition given by $R$.

Philosophy. So in my view, the philosophy of commutative rings is that they behave like functions on a space, with the operations on functions that we are used to (notably: multiplication and addition).

Local rings add one thing to this profile: a notion of vanishing or nonvanishing at a point of a given function (depending on whether or not it is in the maximal ideal). Perhaps we should think about this in light of the Stone–Weierstraß theorem: a 'good' notion of function should be able to separate points, and for this you need a notion of vanishing at a point. Note that for a general ring, the statement $p(x) \neq p(y)$ does not make sense, because $p(x)$ and $p(y)$ take values in the rings $\kappa(x)$ and $\kappa(y)$ respectively. However, the statement "$p$ vanishes at $x$ and not at $y$" does make sense.

Can we do with less? Yes, we can. For example, replacing commutative rings with pointed monoids (the point corresponding to $0$ in a ring) gives another geometric theory, for which some people suggestively use the word $\mathbb F_1$-schemes.

In terms of the philosophy above, we do away with addition, but we keep the notions of multiplication and of identically vanishing of functions. I think it is at this point that our geometric intuition leaves us behind, and perhaps this is the whole point of your question...

A general theory? It might be possible to abstract away what properties of local rings give us the most general setting in which one can do algebraic geometry. But it's not clear at all that there is an answer to this question, for it depends heavily on what properties you want your geometric theory to satisfy.

Perhaps the only way to get started on answering this question is by examining the many different 'generalised algebraic geometric' notions that have been defined and used, and carefully studying their properties. There are many different generalisations that people use, and I think a systematic study is neither possible nor desirable: it depends strongly on the application one has in mind.

Some examples. Here are some generalised/altered notions that people use:

  • adic spaces (this includes rigid analytic geometry and perfectoid spaces): introduce a topology on the ring, and replace local rings by suitable valuation rings.
  • as mentioned above: $\mathbb F_1$-schemes: replace rings by pointed monoids.
  • almost ring theory: replace the category of rings by the category of almost rings (internal monoids in the category of almost modules, obtained as a quotient of the category of modules by a Serre subcategory).
  • non-commutative algebraic geometry: remove the commutativity assumption.

All of these (and many more) notions are being used by people to actually prove things that are formulated extrinsically (without reference to the newly developed theory). These theories all share properties in common with the theory of schemes, but their geometric behaviour is very different each time, depending on the desired application.

  • 3
    $\begingroup$ This is a wonderfully clear answer, thank you very much. The particular section: "Perhaps we should think about this in light of the Stone–Weierstraß theorem: a 'good' notion of function should be able to separate points, and for this you need a notion of vanishing at a point." is what made it click for me - In order to have a notion of vanishing of functions we need to have an apartness relation (that respects the ring structure), and ring with apartness relation is the same thing as a local ring. $\endgroup$ Nov 24, 2016 at 21:14
  • 1
    $\begingroup$ To the list of example at the end I would add Durov theory of generalized ring see arxiv.org/pdf/0704.2030v1.pdf basically a generalized ring is an algebraic theory, it includes both ring and monoid and plenty of other stuff. He actually do some algebraic geometry with those object, and a fairly interesting point in his work with regard to this question is that in his extended framework the notion of locality is not unique anymore, one need to chose a notion of locality that fit certain axiom and several choices are possible. $\endgroup$ Nov 25, 2016 at 0:09
  • 2
    $\begingroup$ To be fair Stone was the first to build a space out of a ring in his duality between boolean rings and locally compact totally disconnected spaces $\endgroup$ Nov 25, 2016 at 11:40
  • $\begingroup$ @BenjaminSteinberg: and I'm sure Grothendieck didn't invent $\operatorname{Spec} R$ either (for arbitrary rings). But the idea to systematically study these objects as your basic building blocks for algebraic geometry definitely arose from his school. $\endgroup$ Nov 25, 2016 at 22:00

As already mentioned in the comments, local rings are supposed to abstract the idea of germs of functions. One can make this precise as follows.

A ring of germs is defined as a homomorphism $$\mathrm{ev}_p : R \to K$$ between commutative rings, interpreted as the evaluation of certain functions at some point $p$, such that the following properties hold:

  • $K$ is a field.

  • $\mathrm{ev}_p$ is surjective

  • If $f \in R$ has the property that $\mathrm{ev}_p(f)$ is invertible, then $f$ is invertible.

A morphism of ring of germs is just a commutative diagram.

It is easy to see that the category of rings of germs is equivalent to the category of local rings. Here, a local ring is defined as a commutative ring which has exactly one maximal ideal (namely, the kernel of $\mathrm{ev}_p$). Thus, the equivalence to the first-order definition mentioned by Georg needs the axiom of choice. I believe that we can also give a definition of rings of germs which is directly equivalent to local rings in the first-order definition.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.