Not signed in (Sign In)

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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite 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 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

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).
  1. I changed the name of the page Frobenius map to Frobenius morphism and added the descriptions à la Demazure to it.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeMay 21st 2012

    Now Frobenius map exists in old version which is a temporary cache bug version. Frobenius morphism has a redirect Frobenius morphism which is surely superfluous, while it is missing the redirect o the old name Frobenius map and Frobenious map which should exist there (this way it is very often called in algebraic geometry). I will leave it to you to see/learn how to resolve this typical situation in renaming :)

    • CommentRowNumber3.
    • CommentAuthorhilbertthm90
    • CommentTimeMay 21st 2012

    Can I suggest as someone that fought a lot with the notation of Demazure that every time we use it to put something on the nLab we update the notation? For example, if I recall correctly Sp kASp_k A just means Spec A (thought of as a k-scheme).

    • CommentRowNumber4.
    • CommentAuthorStephan A Spahn
    • CommentTimeMay 22nd 2012
    • (edited May 22nd 2012)

    I will leave it to you to see/learn how to resolve this typical situation in renaming :)

    I have an instiki installation of my own and there never such an issue happened. I deleted the auto-redirects. Clicking ”edit” in ”Frobenius map” gives the Home Page of the nlab. Housekeeping says that this page probably will be deleted automatically.

    Can I suggest as someone that fought a lot with the notation of Demazure that every time we use it to put something on the nLab we > update the notation? For example, if I recall correctly Sp kASp_k A just means Spec A (thought of as a k-scheme).

    Where else do you suggest to update notation - or the presentation of the topic in general? In Demazure Sp kASp_k A as well as SpASp A are used. Since skalar extension- and restriction plays an important role in some details here, to omit the kk in the subscript does not contribute to clarity in these cases - I think.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeMay 22nd 2012
    • (edited May 22nd 2012)

    I have an instiki installation of my own

    You should teach me this, I’d be grateful, if you are in ubuntu ?

    I agree that Spec kSpec_k is better than SpecSpec in such situations: but SpSp is a bit old fashioned in algebraic geometry (SpSp nowdays more often used for some spectra in other areas of mathematics, and occasionally for traces).

    • CommentRowNumber6.
    • CommentAuthorhilbertthm90
    • CommentTimeMay 22nd 2012
    • (edited May 22nd 2012)

    I wasn’t so concerned with the Spec issue. I just wanted to pre-emptively prevent things like the category M kEM_k E (k-functors from k-rings to set??) or the notation O̲ k\underline{O}_k for affine line (just to name a few on the first page of the book).

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 23rd 2012
    • (edited May 23rd 2012)

    M kEM_k E probably stands for something something like Modules for Ring kRing_k in EnsEns, the category of sets, but I agree it’s terrible notation.

    • CommentRowNumber8.
    • CommentAuthorZhen Lin
    • CommentTimeMay 23rd 2012

    MM, if I remember correctly, stands for “model”. (It is the category of all UU-small rings, where UU is a Grothendieck universe contained in the “real” universe VV.)

    • CommentRowNumber9.
    • CommentAuthorStephan A Spahn
    • CommentTimeMay 23rd 2012
    • (edited May 23rd 2012)

    You should teach me this, I’d be grateful, if you are in ubuntu ?

    I am not in ubuntu but in mac osx. Following simply the instruction on the instiki site might be successfull if your device has the right underlying architecture (in my case one problem was that instiki needed to be converted into 64 bit format). If you plan to do an instiki installation on a web host you should assure that this server meets the requirements of instiki: Dreamhost which is recommended by the instiki site does not meet this requirements - at least it did not when I tried it and it was not possible to install it there. In the end a friend of mine who is an it-specialist did the installation for me on his own private server.

    But I don’t know if my information concerning this are still up to date since I just see that the instiki installation site has been updated on April 30, 2012 - after my trial. And I see that there is a section on ubuntu on this site.

    M kEM_k E

    M kEM_k E stands for the category of the copresheaves on the category of kk-rings (=rings RR with a specified morphism kRk\to R) M kM_k.

    MM, if I remember correctly, stands for “model”. (It is the category of all UU-small rings, where UU is a Grothendieck universe contained in the “real” universe VV.)

    In ”lectures on pp-divisible groups” such size issues are omitted. Nevetheless this might be the reason for the letter MM. But I think it is not a good notation since it contains no information saying that rings are meant. Also if it stands for ”module” there is information loss…

    • CommentRowNumber10.
    • CommentAuthorZhen Lin
    • CommentTimeMay 23rd 2012
    • (edited May 23rd 2012)

    Ah. It’s explained briefly at the beginning of [Demazure and Gabriel, Groupes algébriques]. The reason, I think, is that they want to think of a scheme as a functor CRingSet\mathbf{CRing} \to \mathbf{Set}.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMar 16th 2017
    • (edited Mar 16th 2017)

    At Frobenius morphism there was a typo in the section In terms of symmetric products:

    where α V\alpha_V was introduced, its domain was given as TS pVTS^p V, while from the lines right below the domain is really meant to be V (p)V^{(p)}.

    I have fixed that.

    But what actually is V (p)V^{(p)}?

    This section also forgets to say what its definition of th Frobenius morphism F XF_X actually is.

  2. Added the Frobenius homomorphism being a natural transformation.

    diff, v29, current