1 May
2003
1 May
'03
10:40 a.m.
If R is a ring (commutative, with 1), there is a certain sense in which the structure sheaf, a local homeomorphism E -> Spec(R) (making the Zariski spectrum a local ringed space) is the free local ring over R. Can this be made to work more generally for localic rings R? (Other than in trivial ways, by taking the set of points of R.) Or for particular classes of localic rings (e.g. compact regular)? Is there a Zariski spectrum? Presumably the analogue of the structure sheaf would not be a local homeomorphism any more. Steve Vickers.