Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 28th 2017
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexI was talking to an ex-Adelaide student now at Oxford about some technicalities they were trying to track down regarding locally ringed spaces. I checked [[locally ringed topological space]], and found the Stacks Project reference was out of date. I replaced it with a link to the specific tag for the definition, at least.

   I was talking to an ex-Adelaide student now at Oxford about some technicalities they were trying to track down regarding locally ringed spaces. I checked locally ringed topological space, and found the Stacks Project reference was out of date. I replaced it with a link to the specific tag for the definition, at least.

2. • CommentRowNumber2.
   • CommentAuthorIngoBlechschmidt
   • CommentTimeMar 28th 2017
   • PermaLink
   Author: IngoBlechschmidt
   Format: MarkdownItexI added a reformulation of the locality condition which doesn't refer to points. Out of curiosity, what technicalities did they want to track down?

   I added a reformulation of the locality condition which doesn’t refer to points.

   Out of curiosity, what technicalities did they want to track down?

3. • CommentRowNumber3.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 28th 2017
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexIngo, Something in EGA about fibred products of locally ringed spaces that referred to a proof in the first edition of Bourbaki's Algèbre Chapter 8. I found that Martin B linked on MO to some (now missing) notes. They would be handy I'm sure.

   Ingo,

   Something in EGA about fibred products of locally ringed spaces that referred to a proof in the first edition of Bourbaki’s Algèbre Chapter 8. I found that Martin B linked on MO to some (now missing) notes. They would be handy I’m sure.

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeMar 29th 2017
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexIsn't it an even better formulation to just say that it is a "local ring" in the internal language of the topos of sheaves?

   Isn’t it an even better formulation to just say that it is a “local ring” in the internal language of the topos of sheaves?

5. • CommentRowNumber5.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 29th 2017
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexMaybe. But this student may wish to do something different. We were really just tracking down a reference chain to see what the algebraic "meat" of the construction is.

   Maybe. But this student may wish to do something different. We were really just tracking down a reference chain to see what the algebraic “meat” of the construction is.

6. • CommentRowNumber6.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 30th 2017
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexThat said, is the construction of products and pullbacks of locally ringed spaces, seen via the topos lens, easier? The hard nut at the core of this is that the pushout of local rings in the category of rings is not local anymore. One needs to reflect it back into the category of local rings. Even in the case of affine schemes one can't get away from this, methinks.

   That said, is the construction of products and pullbacks of locally ringed spaces, seen via the topos lens, easier? The hard nut at the core of this is that the pushout of local rings in the category of rings is not local anymore. One needs to reflect it back into the category of local rings. Even in the case of affine schemes one can’t get away from this, methinks.

7. • CommentRowNumber7.
   • CommentAuthorMike Shulman
   • CommentTimeMar 30th 2017
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI've never thought about that question. But I would expect that it would be easier to construct the pushout of local rings in the internal language than to have to deal explicitly with stalks or sections. By "reflect" you don't mean a literal category-theoretic reflection, do you? I didn't think local rings were reflective in the category of arbitrary rings; for one thing they aren't even a full subcategory, are they?

   I’ve never thought about that question. But I would expect that it would be easier to construct the pushout of local rings in the internal language than to have to deal explicitly with stalks or sections. By “reflect” you don’t mean a literal category-theoretic reflection, do you? I didn’t think local rings were reflective in the category of arbitrary rings; for one thing they aren’t even a full subcategory, are they?

8. • CommentRowNumber8.
   • CommentAuthorIngoBlechschmidt
   • CommentTimeMar 30th 2017
   • (edited Mar 30th 2017)
   • PermaLink
   Author: IngoBlechschmidt
   Format: MarkdownItexIndeed, I'd prefer to just say "local ring" in the internal language. And indeed, constructing fiber products $X \times_Z Y$ in the category of locally ringed locales is quite nice using the internal language. First, you construct the fiber product in the category of ringed locales. This is done in the naive way – take the fiber product $|X| \times_{|Y|} |Z|$ of the underlying locales, pull back the structure sheaves, and take their tensor product: $\mathcal{A} \coloneqq \pi_X^{-1}\mathcal{O}_X \otimes_{(...)^{-1}\mathcal{O}_Z} \pi_Y^{-1}\mathcal{O}_Y$. This ring will in general not be local [*]. Then, to obtain the fiber product in the category of locally ringed locales, construct, from the internal point of view of $Sh(|X| \times_{|Y|} |Z|)$, the spectrum of $\mathcal{A}$ (in a constructively sensible way, as a locale). Externally, this will result in a locale $P$ over $|X| \times_{|Y|} |Z|$ which is equipped with a local sheaf of rings. However, we are not quite done yet: There are morphisms $P \to X$ and $P \to Y$ as required for a fiber product, but these are only morphisms of ringed locales, not of locally ringed locales. To fix this, we have to restrict to a certain sublocale of $P$ – the greatest sublocale $P'$ where $P' \to X$ and $P' \to Y$ are morphisms of locally ringed locales [**]. This sublocale, together with the ring $\mathcal{A}|_{P'}$, is the desired fiber product. [*] Even in the easiest case – that all rings involved are fields – locality is not preserved: The rings $\mathbb{R}$ and $\mathbb{C}$ are local, and the homomorphism $\mathbb{R} \to \mathbb{C}$ is local, but $\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C} \cong \mathbb{C} \otimes_{\mathbb{R}} \mathbb{R}[X]/(X^2+1) \cong \mathbb{C}[X]/(X^2+1) \cong \mathbb{C} \times \mathbb{C}$ is not. [**] This sublocale can be explicitly described. Recall that $P = Spec(\mathcal{A})$ is the classifying locale of the theory of filters in $\mathcal{A}$ (a filter is a constructively sensible substitute for the complement of a prime ideal). The sublocale $P'$ is the classifying locale of the theory of those filters $F$ in $\mathcal{A}$ which enjoy the following special property: If $x \otimes 1 \in F$, where $x : \pi_X^{-1}\mathcal{O}_X$, then $x$ is invertible in $\pi_X^{-1}\mathcal{O}_X$; and similarly with $\mathcal{O}_Y$ instead of $\mathcal{O}_X$. It's also possible to explicitly write down the frame of opens of this sublocale.

   Indeed, I’d prefer to just say “local ring” in the internal language.

   And indeed, constructing fiber products $X \times_Z Y$ in the category of locally ringed locales is quite nice using the internal language. First, you construct the fiber product in the category of ringed locales. This is done in the naive way – take the fiber product $|X| \times_{|Y|} |Z|$ of the underlying locales, pull back the structure sheaves, and take their tensor product: $\mathcal{A} \coloneqq \pi_X^{-1}\mathcal{O}_X \otimes_{(...)^{-1}\mathcal{O}_Z} \pi_Y^{-1}\mathcal{O}_Y$. This ring will in general not be local [*].

   Then, to obtain the fiber product in the category of locally ringed locales, construct, from the internal point of view of $Sh(|X| \times_{|Y|} |Z|)$, the spectrum of $\mathcal{A}$ (in a constructively sensible way, as a locale). Externally, this will result in a locale $P$ over $|X| \times_{|Y|} |Z|$ which is equipped with a local sheaf of rings.

   However, we are not quite done yet: There are morphisms $P \to X$ and $P \to Y$ as required for a fiber product, but these are only morphisms of ringed locales, not of locally ringed locales. To fix this, we have to restrict to a certain sublocale of $P$ – the greatest sublocale $P'$ where $P' \to X$ and $P' \to Y$ are morphisms of locally ringed locales [**]. This sublocale, together with the ring $\mathcal{A}|_{P'}$, is the desired fiber product.

   [*] Even in the easiest case – that all rings involved are fields – locality is not preserved: The rings $\mathbb{R}$ and $\mathbb{C}$ are local, and the homomorphism $\mathbb{R} \to \mathbb{C}$ is local, but $\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C} \cong \mathbb{C} \otimes_{\mathbb{R}} \mathbb{R}[X]/(X^2+1) \cong \mathbb{C}[X]/(X^2+1) \cong \mathbb{C} \times \mathbb{C}$ is not.

   [**] This sublocale can be explicitly described. Recall that $P = Spec(\mathcal{A})$ is the classifying locale of the theory of filters in $\mathcal{A}$ (a filter is a constructively sensible substitute for the complement of a prime ideal). The sublocale $P'$ is the classifying locale of the theory of those filters $F$ in $\mathcal{A}$ which enjoy the following special property: If $x \otimes 1 \in F$, where $x : \pi_X^{-1}\mathcal{O}_X$, then $x$ is invertible in $\pi_X^{-1}\mathcal{O}_X$; and similarly with $\mathcal{O}_Y$ instead of $\mathcal{O}_X$. It’s also possible to explicitly write down the frame of opens of this sublocale.

9. • CommentRowNumber9.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 30th 2017
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexThanks both. I asked early on in the discussion if spaces involved were sober, and it's possible they are not, so I'm not sure using locales will.help.

   Thanks both. I asked early on in the discussion if spaces involved were sober, and it’s possible they are not, so I’m not sure using locales will.help.

10. • CommentRowNumber10.
    • CommentAuthorIngoBlechschmidt
    • CommentTimeMar 30th 2017
    • (edited Mar 30th 2017)
    • PermaLink
    Author: IngoBlechschmidt
    Format: MarkdownItexMike: You are right that the non-full subcategory of local rings is not reflective in the category of arbitrary rings. [***] However, the situation is better if we allow for rings over arbitrary locales. The non-full subcategory of local rings over arbitrary locales is reflective in the category of arbitrary rings over arbitrary locales. The reflector maps a possibly non-local ring $\mathcal{A}$ over some locale $X$ to the structure sheaf of the spectrum of $\mathcal{A}$ (constructed inside $Sh(X)$). Note that, since the embedding is not full, the reflection of a ring which already happens to be local is not in general isomorphic to that ring. [***] One can show that a ring $A$ admits a universal homomorphism $A \to A'$ to a local ring $A'$ if and only if $A$ contains exactly one prime ideal. In this case, the ring $A$ is already local and the universal localization is given by $A$ itself. (In constructive mathematics, one should probably rephrase "contains exactly one prime ideal" as "every element of $A$ is either nilpotent or invertible".)

    Mike: You are right that the non-full subcategory of local rings is not reflective in the category of arbitrary rings. [***]

    However, the situation is better if we allow for rings over arbitrary locales. The non-full subcategory of local rings over arbitrary locales is reflective in the category of arbitrary rings over arbitrary locales. The reflector maps a possibly non-local ring $\mathcal{A}$ over some locale $X$ to the structure sheaf of the spectrum of $\mathcal{A}$ (constructed inside $Sh(X)$).

    Note that, since the embedding is not full, the reflection of a ring which already happens to be local is not in general isomorphic to that ring.

    [***] One can show that a ring $A$ admits a universal homomorphism $A \to A'$ to a local ring $A'$ if and only if $A$ contains exactly one prime ideal. In this case, the ring $A$ is already local and the universal localization is given by $A$ itself. (In constructive mathematics, one should probably rephrase “contains exactly one prime ideal” as “every element of $A$ is either nilpotent or invertible”.)

11. • CommentRowNumber11.
    • CommentAuthorMike Shulman
    • CommentTimeMar 30th 2017
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexIngo: that is all very cool. You should record it somewhere on the nLab.

    Ingo: that is all very cool. You should record it somewhere on the nLab.

12. • CommentRowNumber12.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 30th 2017
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex@Mike >you don’t mean a literal category-theoretic reflection, do you? Sure, take that as an informal notion.

    @Mike

    you don’t mean a literal category-theoretic reflection, do you?

    Sure, take that as an informal notion.

13. • CommentRowNumber13.
    • CommentAuthorIngoBlechschmidt
    • CommentTimeApr 1st 2017
    • PermaLink
    Author: IngoBlechschmidt
    Format: MarkdownItexRe 11: Sure, I'll do that. I'm currently in the very last steps of [finishing my PhD thesis](https://rawgit.com/iblech/internal-methods/master/notes.pdf) and will then incorporate some topics of interest into the nLab.

    Re 11: Sure, I’ll do that. I’m currently in the very last steps of finishing my PhD thesis and will then incorporate some topics of interest into the nLab.

14. • CommentRowNumber14.
    • CommentAuthorjonsterling
    • CommentTimeApr 8th 2023
    • (edited Apr 8th 2023)
    • PermaLink
    Author: jonsterling
    Format: MarkdownItexI'm confused about the definition of morphism of locally ringed space in terms of the comorphism $f^\sharp : \mathcal{O}_Y \to f_*\mathcal{O}_X$ being a map of local rings. At first glance, this doesn't make sense to me because I see no reason a priori why the direct image $f_* : \operatorname{Sh}X\to\operatorname{Sh}Y$ should even send local rings to local rings, since having a maximal ideal is a geometric geometrical property. I believe the correct definition is rather that the **transpose** $f_\sharp : f^*\mathcal{O}_Y \to \mathcal{O}_X$ should send local rings to local rings; this typechecks because $f^*$ is an inverse image functor, and so it makes sense to restrict a local ring along it. Furthermore, I believe it is not difficult to check that this definition is the one that actually corresponds to the usual definition involving stalks. Reformulate "$f_\sharp$ reflects invertible elements" as "the subsheaf of invertible elements of $f^*\mathcal{O}_Y$ is the pullback of the subsheaf of invertible elements of $\mathcal{O}_X$ along $f_\sharp$". As $\operatorname{Sh}X$ has enough points, this is equivalent to asking for each stalk of this square to be a pullback square in $\mathbf{Set}$. But this is somewhat obvious, since invertibility of sections is stalk-local and the stalk $(f^*\mathcal{O}_Y)_x$ is the stalk $\mathcal{O}_{Y,f x}$. Can someone confirm if this is correct? thanks!

    I’m confused about the definition of morphism of locally ringed space in terms of the comorphism $f^\sharp : \mathcal{O}_Y \to f_*\mathcal{O}_X$ being a map of local rings. At first glance, this doesn’t make sense to me because I see no reason a priori why the direct image $f_* : \operatorname{Sh}X\to\operatorname{Sh}Y$ should even send local rings to local rings, since having a maximal ideal is a geometric geometrical property. I believe the correct definition is rather that the transpose $f_\sharp : f^*\mathcal{O}_Y \to \mathcal{O}_X$ should send local rings to local rings; this typechecks because $f^*$ is an inverse image functor, and so it makes sense to restrict a local ring along it.

    Furthermore, I believe it is not difficult to check that this definition is the one that actually corresponds to the usual definition involving stalks. Reformulate “$f_\sharp$ reflects invertible elements” as “the subsheaf of invertible elements of $f^*\mathcal{O}_Y$ is the pullback of the subsheaf of invertible elements of $\mathcal{O}_X$ along $f_\sharp$”. As $\operatorname{Sh}X$ has enough points, this is equivalent to asking for each stalk of this square to be a pullback square in $\mathbf{Set}$. But this is somewhat obvious, since invertibility of sections is stalk-local and the stalk $(f^*\mathcal{O}_Y)_x$ is the stalk $\mathcal{O}_{Y,f x}$.

    Can someone confirm if this is correct? thanks!

15. • CommentRowNumber15.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 8th 2023
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexChecking the reference <https://stacks.math.columbia.edu/tag/01HA> I agree the definition you mention doesn't make sense. Even the definition of locally ringed space relies on the condition on stalks, so one would expect the definition of morphism to connect back to this.

    Checking the reference https://stacks.math.columbia.edu/tag/01HA I agree the definition you mention doesn’t make sense. Even the definition of locally ringed space relies on the condition on stalks, so one would expect the definition of morphism to connect back to this.

16. • CommentRowNumber16.
    • CommentAuthorjonsterling
    • CommentTimeApr 8th 2023
    • PermaLink
    Author: jonsterling
    Format: MarkdownItexOK thanks David, I'll fix it.

    OK thanks David, I’ll fix it.

17. • CommentRowNumber17.
    • CommentAuthorjonsterling
    • CommentTimeApr 8th 2023
    • PermaLink
    Author: jonsterling
    Format: MarkdownItexCorrected the backwards definition of morphism of locally ringed spaces. <a href="https://ncatlab.org/nlab/revision/diff/locally+ringed+topological+space/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/locally+ringed+topological+space/12">v12</a>, <a href="https://ncatlab.org/nlab/show/locally+ringed+topological+space">current</a>

    Corrected the backwards definition of morphism of locally ringed spaces.

    diff, v12, current

18. • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeApr 8th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexI am just following with half an eye, being busy elsewhere. But if I see correctly, the previous definition is the usual one for ringed spaces, where it is trivially equivalent to the other definition, by adjointness. The distinction only shows up here in the locally ringed situation. A comment along these lines would be useful to add to the entry here.

    I am just following with half an eye, being busy elsewhere.

    But if I see correctly, the previous definition is the usual one for ringed spaces, where it is trivially equivalent to the other definition, by adjointness. The distinction only shows up here in the locally ringed situation.

    A comment along these lines would be useful to add to the entry here.

19. • CommentRowNumber19.
    • CommentAuthorjonsterling
    • CommentTimeApr 8th 2023
    • (edited Apr 8th 2023)
    • PermaLink
    Author: jonsterling
    Format: MarkdownItexThat's a good point, Urs --- but there is a kind of related confusion on the page for comorphisms, which I have commented on here: <https://nforum.ncatlab.org/discussion/16204/comorphism/#Comment_108448> I'm a little worried I'm missing something...

    That’s a good point, Urs — but there is a kind of related confusion on the page for comorphisms, which I have commented on here: https://nforum.ncatlab.org/discussion/16204/comorphism/#Comment_108448

    I’m a little worried I’m missing something…

20. • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeApr 8th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexopening a textbook... p 247-248 in * [[Siegfried Bosch]], *Algebraic Geometry and Commutative Algebra*, Universitext, Springer (2017) [[doi:10.1007/978-1-4471-4829-6](https://doi.org/10.1007/978-1-4471-4829-6)] essentially agrees with what the entries here say/said.

    opening a textbook… p 247-248 in

    • Siegfried Bosch, Algebraic Geometry and Commutative Algebra, Universitext, Springer (2017) [doi:10.1007/978-1-4471-4829-6]

    essentially agrees with what the entries here say/said.

21. • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeApr 8th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexopening the next best textbook... p. 55 in * Ulrich Görtz , Torsten Wedhorn, *Algebraic Geometry I: Schemes*, Springer (2020) [[doi:10.1007/978-3-658-30733-2](https://doi.org/10.1007/978-3-658-30733-2)] says it more the other way around :-) (Sorry, I am not really looking into it, just bringing up some references.)

    opening the next best textbook… p. 55 in

    • Ulrich Görtz , Torsten Wedhorn, Algebraic Geometry I: Schemes, Springer (2020) [doi:10.1007/978-3-658-30733-2]

    says it more the other way around :-)

    (Sorry, I am not really looking into it, just bringing up some references.)

22. • CommentRowNumber22.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 8th 2023
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex@jon what does it mean for a map of sheaves of rings to be a map of local rings? IIRC the structure sheaf of a locally ringed space is not a sheaf of local rings, and it's only the stalks that are local rings.

    @jon what does it mean for a map of sheaves of rings to be a map of local rings? IIRC the structure sheaf of a locally ringed space is not a sheaf of local rings, and it’s only the stalks that are local rings.

23. • CommentRowNumber23.
    • CommentAuthorjonsterling
    • CommentTimeApr 8th 2023
    • PermaLink
    Author: jonsterling
    Format: MarkdownItex@DavidRoberts It actually is a local ring object in the internal sense. It happens that you can test this stalkwise since the topos has enough points...

    @DavidRoberts It actually is a local ring object in the internal sense. It happens that you can test this stalkwise since the topos has enough points…

24. • CommentRowNumber24.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 11th 2023
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex@jon in the internal logic? This should be noted on the page as a reminder. And there should be a definition of what it means to be a map of local-rings-defined-in-internal-logic (perhaps it's obvious, but as written it looked like a category error)

    @jon in the internal logic? This should be noted on the page as a reminder. And there should be a definition of what it means to be a map of local-rings-defined-in-internal-logic (perhaps it’s obvious, but as written it looked like a category error)

25. • CommentRowNumber25.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 11th 2023
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexReworded the definition of morphism to be more clear which morphism of sheaves is meant to be the one preserving local ring property. Still needs a comment about internal local rings, but not quite sure how to phrase that right now. <a href="https://ncatlab.org/nlab/revision/diff/locally+ringed+topological+space/14">diff</a>, <a href="https://ncatlab.org/nlab/revision/locally+ringed+topological+space/14">v14</a>, <a href="https://ncatlab.org/nlab/show/locally+ringed+topological+space">current</a>

    Reworded the definition of morphism to be more clear which morphism of sheaves is meant to be the one preserving local ring property.

    Still needs a comment about internal local rings, but not quite sure how to phrase that right now.

    diff, v14, current

26. • CommentRowNumber26.
    • CommentAuthorjonsterling
    • CommentTimeApr 13th 2023
    • PermaLink
    Author: jonsterling
    Format: MarkdownItexI don't think it would be any more of a category error than speaking about a morphism of groups in a category with finite products. Local rings are a geometric theory, so they make sense in any topos. So I would not agree that there is any need for a comment about internal local rings, but certainly it would not be bad to include one.

    I don’t think it would be any more of a category error than speaking about a morphism of groups in a category with finite products. Local rings are a geometric theory, so they make sense in any topos. So I would not agree that there is any need for a comment about internal local rings, but certainly it would not be bad to include one.

27. • CommentRowNumber27.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 13th 2023
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexAdded a small amount of text from the nForum discussion to explain why we can think of the comorphism being a map of local rings. <a href="https://ncatlab.org/nlab/revision/diff/locally+ringed+topological+space/15">diff</a>, <a href="https://ncatlab.org/nlab/revision/locally+ringed+topological+space/15">v15</a>, <a href="https://ncatlab.org/nlab/show/locally+ringed+topological+space">current</a>

    Added a small amount of text from the nForum discussion to explain why we can think of the comorphism being a map of local rings.

    diff, v15, current

28. • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[eom]], *[Ringed spaces](https://encyclopediaofmath.org/wiki/Ringed_space)* <a href="https://ncatlab.org/nlab/revision/diff/locally+ringed+topological+space/16">diff</a>, <a href="https://ncatlab.org/nlab/revision/locally+ringed+topological+space/16">v16</a>, <a href="https://ncatlab.org/nlab/show/locally+ringed+topological+space">current</a>

    added pointer to:

    • eom, Ringed spaces

    diff, v16, current

29. • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexIn the text I have replaced "transpose" by "[[adjunct]]". <a href="https://ncatlab.org/nlab/revision/diff/locally+ringed+topological+space/16">diff</a>, <a href="https://ncatlab.org/nlab/revision/locally+ringed+topological+space/16">v16</a>, <a href="https://ncatlab.org/nlab/show/locally+ringed+topological+space">current</a>

    In the text I have replaced “transpose” by “adjunct”.

    diff, v16, current

30. • CommentRowNumber30.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have adjusted and expanded the wording of the two examples currently in the entry. The example concerning schemes ([here](https://ncatlab.org/nlab/show/locally+ringed+topological+space#ExampleSchemes)) I have expanded out as follows: > Historically, *[[schemes]]* are thought of as locally ringed spaces and this application of the notion to [[algebraic geometry]] motivated much of its development. (However, already [Grothendieck (1973)](https://ncatlab.org/nlab/show/functorial+geometry#Grothendieck73) pointed out that it is often more frutiful to view [[schemes]] instead via their [[functor of points]], see at *[[functorial geometry]]* for more.) And in the example concerning smooth manifolds ([here](https://ncatlab.org/nlab/show/locally+ringed+topological+space#ExampleSmoothManifolds)), after > This inclusion of smooth manifolds into locally ringed spaces is [[fully faithful functor|fully faithful]]. For a proof, see Lucas Braune's comment at [Math.SE:511604](https://math.stackexchange.com/a/511604/58526). I have appended this remark: > (In fact, already the [[embedding of smooth manifolds into formal duals of R-algebras]] is [[fully faithful functor|fully faithful]], which means that all smooth manifolds are even "[[affine schemes]]", in a sense.) <a href="https://ncatlab.org/nlab/revision/diff/locally+ringed+topological+space/16">diff</a>, <a href="https://ncatlab.org/nlab/revision/locally+ringed+topological+space/16">v16</a>, <a href="https://ncatlab.org/nlab/show/locally+ringed+topological+space">current</a>

    I have adjusted and expanded the wording of the two examples currently in the entry.

    The example concerning schemes (here) I have expanded out as follows:

    Historically, schemes are thought of as locally ringed spaces and this application of the notion to algebraic geometry motivated much of its development. (However, already Grothendieck (1973) pointed out that it is often more frutiful to view schemes instead via their functor of points, see at functorial geometry for more.)

    And in the example concerning smooth manifolds (here), after

    This inclusion of smooth manifolds into locally ringed spaces is fully faithful. For a proof, see Lucas Braune’s comment at Math.SE:511604.

    I have appended this remark:

    (In fact, already the embedding of smooth manifolds into formal duals of R-algebras is fully faithful, which means that all smooth manifolds are even “affine schemes”, in a sense.)

    diff, v16, current