Ringed and locally ringed spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T16:35:00Z http://mathoverflow.net/feeds/question/38315 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/38315/ringed-and-locally-ringed-spaces Ringed and locally ringed spaces Jesus Martinez Garcia 2010-09-10T14:39:02Z 2010-09-10T18:11:41Z <p>A pair $(X,O_X)$ is a ringed space if $X$ is a topological space and $O_X$ is a sheaf of rings. If every stalk $O_{X,x}$ is a local ring, then we say that $(X,O_X)$ is a locally ringed space.</p> <p>In the case of $X$ being an abstract algebraic variety, not necessarily irreducible, and $O_X$ its sheaf of regular functions:</p> <p>1) Is it possible to have a ringed space which is not a locally ringed one? And if $X$ is irreducible? My guess is NO for the first question and YES for the second. </p> <p>Correct me if I am wrong. My reasoning goes as follows, since stalks are local we can work on the affine case. All irreducible algebraic varieties are quotient of $K[x_1,\ldots,x_n]$ by a prime ideal and prime ideals always have a unique maximal ideal, corresponding to a point, so the quotient on the point is a field. This seems to work for $K=\mathbb{C}$. In the irreducible case I am not sure of what happens, but for the complex case you can have two lines crossing and I get each of them may work independently giving two local ring ideals? Pure speculative...</p> <p>2) Is this true for non-algebraically closed fields or fields with positive characteristic?</p> <p>3) Could you please provide with any example of non-locally ringed spaces? In varieties or schemes, if it is possible.</p> <p>4) If $X$ is a variety/scheme, is there any example of morphism of ringed spaces which are locally ringed but which is not a morphism of locally ringed spaces? (i.e. for $f\colon X\rightarrow Y$ there is a sheaf morphism $f^\sharp\colon O_Y \rightarrow f_* O_X$ which is not a morphism of local rings on the stalks).</p> <p>These questions are a bit vague but hopefully you understand what I mean.</p> http://mathoverflow.net/questions/38315/ringed-and-locally-ringed-spaces/38339#38339 Answer by S. Carnahan for Ringed and locally ringed spaces S. Carnahan 2010-09-10T18:11:41Z 2010-09-10T18:11:41Z <ol> <li>No, all schemes are locally ringed spaces (cf. Robin Chapman's comment above). In fact, schemes are often defined by using locally ringed spaces.</li> <li>It depends on what you mean by "this". If you have a pair of lines crossing, the local ring at the crossing has zero divisors, but it's still local.</li> <li>Take a point, and set its ring of functions to be the ring of rational integers (see Robin Chapman's comment again). It's not a scheme. There are more interesting examples in, e.g., work by Kato and Nakayama on log analytic spaces.</li> <li>Yes. Hartshorne produces one as example 2.3.2 in his <em>Algebraic Geometry</em>: The spectrum of a discrete valuation ring $R$ is a locally ringed space made of an open dense point (whose stalk is the fraction field of $R$) and a closed point (whose stalk is $R$). There is a ringed space map from the spectrum of $R$ to itself that takes both points to the closed point, where the restriction to the closed stalk is identity, and the restriction to the open dense point is defined by the inclusion of $R$ into its fraction field.</li> </ol>