Not signed in (Sign In)

Start a new discussion

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab nonassociative 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 29th 2018
    • (edited Apr 29th 2018)

    I found the definition of a scheme to be slightly unclear/insufficiently precise at one point, so I have tweaked things slightly, and added more details. Indeed, it is quite common to find a formulation similar to ’every point has an open neighbourhood isomorphic to an affine scheme’, whereas I think it important to be clear that one does not have the freedom to choose the sheaf of rings on the local neighbourhood, it must be the restriction of the structure sheaf on XX.

    diff, v30, current

  1. Right, so the open neighbourhood has to be isomorphic to an affine scheme as locally ringed spaces, not as topological spaces. (Or as ringed spaces – a morphism of ringed spaces which happen to be locally ringed is an isomorphism of ringed spaces if and only if it is an isomorphism of locally ringed spaces. But leaving the category of locally ringed spaces doesn’t seem right to me, since it is that category as opposed to the category of ringed spaces which has geometric relevance.)

    I feel slightly uneasy with the new formulation “for every point, there is an open subset”: I’d prefer “there is an open covering”. This is because the latter generalizes better to schemes construed as locally ringed locales, while the former is only meaningful for locally ringed locales which happen to have enough points.

    I propose either changing this part of the definition, or adding a new subsection “As locally ringed locales” detailing these concerns. What do you think?

    • CommentRowNumber3.
    • CommentAuthorRichard Williamson
    • CommentTimeMay 1st 2018
    • (edited May 1st 2018)

    Thanks for the thoughts!

    I feel slightly uneasy with the new formulation “for every point, there is an open subset”: I’d prefer “there is an open covering”.

    In fact, it did say “with an open covering (as locally ringed spaces)” before. But, even if I might prefer philosophically the “open covering” definition, I find that I’d like to be able to just look up a fully spelled out classical definition as well, just for ease of comparison with the literature.

    I think all of the material that you add to the nLab is great. So definitely I’d be very happy for you to add a discussion of this to the entry, this would be a great addition. But I’d suggest to follow your second proposal, of separating out the “open covering” definition to a second definition or subsection, and adding a few words about why it’s preferable constructively.

    Right, so the open neighbourhood has to be isomorphic to an affine scheme as locally ringed spaces, not as topological spaces.

    Indeed. The point I really wished to emphasise is that ’open neighbourhood’ has to be interpreted in terms of locally ringed spaces, so that one does not have a choice about the sheaf. At least to me, it is possible to interpret the quote above as just saying that the isomorphism is as locally ringed spaces, leaving a bit ambiguous what sheaf one has on the open neighbourhood (if the latter is interpreted in topological spaces).

  2. Okay! I’ll add an appropriate section. I totally agree that it’s important to specify the choice of sheaf, and am happy that this is now spelled out in more detail. :-)

  3. Great, thanks!

  4. I fixed a few typos, but I think there are more and I don’t understand the material sufficiently well. I’m specifically interested in the definition of open and closed subfunctors in terms of V(E) and D(E) for a set of “functions” on a functor. Is there a textbook where I can find more details? I’m a bit surprised that open subfunctors are defined in terms of V(E), since those look like zero loci to me.

    Jonas Frey

    diff, v32, current

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 19th 2020

    @Jonas have you seen Zhen Lin Low’s thesis? This seems one of the likely modern places this is discussed. The only other one that comes to mind is Demazure and Gabriel’s book Groupes algebriques, but I can’t say for sure the general theory is covered much there.

    • CommentRowNumber8.
    • CommentAuthorJonasFrey
    • CommentTimeJul 19th 2020

    @David: Thanks, I’ll have a look! Mathieu Anel also recommended these notes by Toen.

  5. I felt it was unclear what the structure on O(X)O(X) was making it into a kk-ring and established this in some detail. The existing definition did not clarify in what sense one could carry out componentwise addition and multiplication, or with regards to what components (for each kk-ring RR?)

    Patrick N.

    diff, v33, current

    • CommentRowNumber10.
    • CommentAuthorGuest
    • CommentTimeSep 9th 2020
    To elaborate, the previous draft was ambiguous in the sense that the reader might think that given two natural transformations $f, g: X \to O_k$, one should add them by defining, for a $k$-ring $R$, $f+g$ at $R$ to act on some $x\in X(R)$ and return $(f+g)_R(x) \in Hom(k[t], R)$ defined by $(f+g)_R(x)(p(t)) = f_R(x)(p(t)) + g_R(x)(p(t))$. But under this definition $(f+g)_R(x)$ will not be a ring homomorphism, as it will send the constant polynomial $1$ to $2$ in $R$.
  6. I reverted the edits I made as they ended up making things more confusing. Sorry.

    Patrick N.

    diff, v35, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)