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

Discussion Tag Cloud

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.
    • CommentAuthorhilbertthm90
    • CommentTimeJul 29th 2011

    I’ve created a page for the Witt vectors. It seems that even with all that I wrote here (don’t worry I had a set of about 10 blog entries I wrote a few months ago that I just condensed, so I didn’t write this whole thing tonight) there are all sorts of things still missing here. The Witt functor is mention at Lambda-ring and there seems to be connections to the field with one element (?!). I just needed to refer to Witt vectors in the next few pages I want to make, so I decided this had to come first. Dieudonne module will need it and obviously Witt cohomology will need it.

    • CommentRowNumber2.
    • CommentAuthorhilbertthm90
    • CommentTimeJul 29th 2011

    Oh. Also, there seems to be a strange thing going on in the first paragraph of the section “Operations on the Witt vectors”. It moved the projection map up to the top.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJul 29th 2011
    • (edited Jul 29th 2011)

    Once Dmitri Kaledin gets out of Harkov and filming Dau, we may hope for his next paper in which he has beautiful idea on de Rham-Witt cohomology in the noncommutative world, which he gave some gist at the conference in Split few days ago. In particular he has a relative version of Witt vectors, which is an elementary construction which is quite nice (my notes are not with me, so I can not report any details now). See also the abstract for a similar talk he gave elsewhere: pdf.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeJul 29th 2011

    Nice material, hilbertthm90! I will edit it a bit once back to work (I am there now but leaving soon). Maybe word Verschiebung could be mentioned.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2013
    • (edited Nov 13th 2013)

    I have tried to clean-up the structure of the entry Witt vector a bit. More could be done.

    Mostly, I have

    • polished the Idea-section such as to make the central claim there more transparent, that the (big) Witt vector ring is the co-free Lambda-ring.

    • in the definition section I have taken apart the “Definition and Theorem”-environment into a definition and a theorem. The theorem is now under “Universal characterization”.

    But this needs attention. The whole discussion in the entry wants to prove that W()W(-) is right adjoint to the forgetful functor from LambdaLambda-rings to commutative rings, but never quite comes around to doing so.

    From what I see, this is indeed true for the “big” Witt ring, but care needs to be exercised, and the literature on this seems to tend to be sub-optimal on this point. If somebody has the time and energy to put a definite statement (and maybe proof) of this point into the entry, that would be nice.

    (I don’t feel like I have the leisure to dwell on this point further right now, but I would enjoy to be able to securely cite it…)

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2013

    I guess the statement is in Hazewinkel, Witt vectors on p. 87 and the proof is on p. 97. I put that into the entry Witt vector now, but would still be happy if somebody could look over this.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJul 23rd 2014
    • (edited Jul 23rd 2014)

    So I gather from Borger08, prop. 1.10 that also the p-typical Witt vectors and all the other flavors are all right adjoint… to the corresponding p-typical etc flavors of Lambda rings. The flavor is parameterized by the set of maximal ideals for which one requires lifts of the Frobenius map.

    Maybe I’ll add that in later when I am properly online again.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJul 23rd 2014
    • (edited Jul 23rd 2014)

    So I suppose there must then be some deep relationship between Borger’s absolute geometry and chromatic homotopy theory, via Lubin-Tate rings. This must have been mentioned somewhere. Where?

    • CommentRowNumber9.
    • CommentAuthorCharles Rezk
    • CommentTimeJul 23rd 2014

    If someone has some idea of what this deep relationship is, I would really like to know about it!

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJul 24th 2014
    • (edited Jul 24th 2014)

    It’s a koan:

    Spec() Spec(Spectra) Spec(𝔽 1) (?)\array{Spec(\mathbb{Z}) & Spec(Spectra) \\ Spec(\mathbb{F}_1) & (?)}

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 24th 2014

    The other day someone showed me they could make quite a loud clap with just one hand, so I’m in need of a new koan.

    So that Spec(Spectra)Spec(Spectra) is determined by the thick subcategory theorem. Now we need some mythical symmetric monoidal stable (∞,1)-category, whose SpecSpec sits under it? And Lubin-Tate appears as a deformation theory to allow the construction of Morava E-theories which stitch together the Morava K-theories in Spec(Spectra)Spec(Spectra) in the chromatic direction.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJul 24th 2014

    @David: yes, so this was a late night thought that came to mind. Charles is in way better position than I am to say anything here that goes beyond just free association. But it seems an interesting question. Maybe we should bounce it off the MO community.

    • CommentRowNumber13.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 24th 2014

    The prime spectrum of a symmetric monoidal stable (∞,1)-category construction just talks about a “collection” of thick subcategories. Does this collection have a structure? Can you tensor different such collections, like happens as in the ordinary case, e.g., when looking for SpecZ× SpecF 1SpecZSpec Z \times_{Spec F_1} Spec Z?

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJul 24th 2014

    At the beginning of the idea-section of ring of Witt vectors I have added a comment on how they are arithmetic analogs of rings of power series. This needs to be expanded on, for the moment I just included a pointer to arithmetic jet space (which also needs to be expanded on, though)

    • CommentRowNumber15.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 24th 2014

    Maybe we should bounce it off the MO community.

    Perhaps things have moved on since this question from November 09.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeJul 24th 2014
    • (edited Jul 24th 2014)

    I am going to start a page differential cohesion and idelic structure with some comments on how in a context of differential cohesion, cohesive over infinitesimal cohesion, at least the key ingredients in the number theoretic and geometric Langlands correspondence all naturally appear structurally, such as the adeles, the ideles, the idele class group, automorphy, moduli of bundles (of course), their relation to the idele class group. (I don’t see the Langlands correspondence itself drop out yet, but various ideas here suggest themselves).

    Here “structurally” means that I presently don’t have a model of differential cohesion in which the above would give the actual adeles, ideles, etc., just that it gives objects which conceptually behave just as the adeles, ideles etc. do in arithmetic geometry.

    However, as mentioned elsewhere, it seems striking that in Borger’s absolute geometry the direct image Et(Spec())Et(Spec(𝔽 1))Et(Spec(\mathbb{Z})) \to Et(Spec(\mathbb{F}_1)) is, being the “arithmetic jet space construction”, conceptually just like the direct image from differential cohesion to the base infinitesimal cohesion. That makes me think that maybe with a little massaging (factoring?) Borger’s geometry could yield differential cohesive structure on Et(Spec())Et(Spec(\mathbb{Z})) that would be such that unwinding the “structural” adeles, ideles etc. in this context yields the classical such concepts.

    • CommentRowNumber17.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 24th 2014

    It appears there is An alternative to Witt vectors.