29
$\begingroup$

Are there enough interesting results that hold for general locally ringed spaces for a book to have been written? If there are, do you know of a book? If you do, pelase post it, one per answer and a short description.

I think that the tags are relevant, but feel free to change them.

Also, have there been any attempts to classify locally ringed spaces? Certainly, two large classes of locally ringed spaces are schemes and manifolds, but this still doesn't cover all locally ringed spaces.

$\endgroup$
3
  • 7
    $\begingroup$ I'm also interested in this question. Many Things, which have been defined/constructed for schemes, work also for locally ringed spaces, for example fibred products (wolkenkratzerseite.de/pdf/faserprodukte.pdf), fibres, closed immersions, reduced spaces, tangent space, sheaves of differentials, ... $\endgroup$ Feb 1, 2010 at 8:06
  • 1
    $\begingroup$ @MartinBrandenburg do you have those notes available in a more permanent location? $\endgroup$
    – David Roberts
    Mar 28, 2017 at 6:05
  • 4
    $\begingroup$ @DavidRoberts: I have made an english translation a while ago, see dropbox.com/s/y5t58kugrcaqbx8/… --- but I haven't read or checked in the last years and cannot exclude any inaccuracies. I also was not familiar with arXiv:1103.2139 because that paper appeared after writing the german version. $\endgroup$ Apr 12, 2017 at 11:03

3 Answers 3

18
$\begingroup$

In addition to the examples mentioned in the question, of manifolds and schemes, other commonly occuring types of locally ringed spaces are formal schemes and complex analytic spaces.

I don't know how extensive the taxonomy of locally ringed spaces is. For example, if $A$ is a local ring, we can form the locally ringed space consisting of a single point, with $A$ sitting on top of it. These are the topologically simplest locally ringed spaces (after the empty space). If $A$ is a field, one obtains a scheme. If $A$ is a complete local ring, one obtains a formal scheme. In general, this doesn't fit into any particular taxonomic grouping that I know of.

Incidentally, it might be worth mentioning that the various taxonomic classes can interact: for example, analytification of schemes over ${\mathbb C}$ is conveniently described in terms of maps (in the category of locally ringed spaces) to complex analytic spaces.

$\endgroup$
6
  • 1
    $\begingroup$ Is the use of "formal" in "formal scheme" related to "formally smooth" or "formally etale"? $\endgroup$ Feb 1, 2010 at 3:41
  • 1
    $\begingroup$ In some sense. The latter have to do with deformation theoretic questions (formal smoothness is related to the unobstructedness of deformations of maps into the scheme), and formal schemes also arise naturally in the context of deformation theory. But the adjective ``formal'' for formal schemes also goes back to Zariski's theory of formal holomorphic functions. This is the same use of formal as when one speaks of formal powers series; i.e. the consideration of power series without regard to convergence issues. Thus this usage significantly predates Grothendieck's definitions. $\endgroup$
    – Emerton
    Feb 1, 2010 at 3:59
  • 3
    $\begingroup$ -1: you don't address the question (=book on LRS). $\endgroup$ Feb 1, 2010 at 8:07
  • 3
    $\begingroup$ +1. @MB: this answer is quite relevant to the question asked in the third paragraph. $\endgroup$ Feb 1, 2010 at 8:45
  • 2
    $\begingroup$ Dear Martin and Pete, It was indeed the third para. of the question that I was trying to address. Regarding the existence of a book, I don't know of any. $\endgroup$
    – Emerton
    Feb 1, 2010 at 14:33
24
$\begingroup$

A locally ringed space is nothing but a local ring object (in the internal sense) in a category of sheaves over a topological space, which happens to be an example of a topos.

So in order to study general properties of locally ringed spaces, one could proceed by studying properties of local ring objects in arbitrary topoi. As any proposition (in the internal language) on a local ring (a commutative ring with $0 \neq 1$ and $s + t = 1 \implies s \in R^\times \lor t \in R^\times$) is true for any topos if and only if it can be derived intuitionistically (which is more or less the same as constructively), the original questions seems to boil down to:

"What are the constructively valid properties and constructions for a local ring?"

For example, the construction of Kähler differentials makes also sense constructively, which immediately implies (by the above reasoning) that every morphism $X \to Y$ of locally ringed spaces has an associated module $\Omega_{X/Y}$ of Kähler differentials.

And there is a lot of literature on constructive algebra. The book of Mines, Richman and Ruitenburg as well as many of the preprints on Fred Richman's homepage are a start. Some material can also be found in "Sheaves in Geometry and Logic" by Mac Lane and Moerdijk.

$\endgroup$
7
  • 1
    $\begingroup$ Could you please provide some links to such literature? $\endgroup$ Dec 16, 2010 at 12:12
  • 2
    $\begingroup$ Very nice answer, 1+. Anyone who is interested in this sort of reasoning may consult the introductory paper "Intuitionistic algebra and representations of rings" by Christopher Mulvey. $\endgroup$ Dec 16, 2010 at 13:50
  • 2
    $\begingroup$ One can also mention the paper "Generic Galois theory of local rings" of G.Wraith which is, from this perspective, essentially about constructing the etale topos of a general locally ringed space. $\endgroup$ Oct 16, 2014 at 7:46
  • 3
    $\begingroup$ Beware that this approach has at least one pitfall: the morphisms of models of the coherent theory of local rings are simply ring homomorphisms, rather than local ring homomorphisms (i.e. homomorphisms preserving the maximal ideal). See, e.g. this MO post. $\endgroup$
    – Tim Campion
    Oct 16, 2014 at 9:39
  • 1
    $\begingroup$ @MartinBrandenburg could you please link to this paper? I haven't been able to find it. $\endgroup$
    – Arrow
    Jan 4, 2016 at 21:21
7
$\begingroup$

An Introduction to Families, Deformations and Moduli, by T.E. Venkata Balaji, has a beautiful little appendix that introduces smooth manifolds, complex manifolds, schemes, and complex analytic spaces in a unified way as locally ringed spaces. Although it doesn't say much in general about arbitrary locally ringed spaces, I enjoyed reading it and seeing how the stuff I knew about particular classes of locally ringed spaces fit into the general framework. One thing that particularly struck me, although it's obvious in hindsight, was the remark (A.5.5) that for all the categories of spaces mentioned above, a morphism as defined classically is the same thing as a morphism of locally ringed spaces.

$\endgroup$

Your Answer

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

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