This paper gives a proof that the underlying topological spaces of affine schemes are precisely the spectral spaces (compact, T0, sober, and the compact open subsets are closed under finite intersection and generate the topology; equivalently, they are the inverse limits of families of finite T0 spaces).

Instead of starting with a bare topological space, suppose we have a locally ringed space. If it is an affine scheme, then the underlying space is spectral, the supports of sections generate the topology, every restriction map of the sheaf is a localization of rings, etc.

Does anyone know whether we can impose restrictions (such as the ones I have just listed, and probably together with others) to guarantee that a given locally ringed space is actually an affine scheme?

This poster asked something similar - whether locally ringed spaces had been classified in some way. This is not exactly what I'm looking for, but it would be interesting to know in any case.

  • $\begingroup$ Would this be better attempted at MathOverflow? $\endgroup$ – Xander Flood Dec 9 '12 at 19:17
  • $\begingroup$ Yes, I think that MathOverflow is more appropriate for this question. But check out this related question (which didn't receive a conclusive answer). $\endgroup$ – Ingo Blechschmidt Jul 13 '18 at 14:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.