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

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.
    • CommentAuthorUrs
    • CommentTimeMay 26th 2017
    • (edited May 26th 2017)

    I have spelled out a chunk of elementary details at Grothendieck group – For commutative monoids:

    wrote out a second version of the definiton, made explicit the proof that it is all well defined and satisfies the universal property of the group completion, added remark on how the definition simplifies in the cancellative case, and wrote out the most basic examples in some detail.

    In the course of this I created an entry cancellative monoid with a bare minimum of content.

    I also slightly re-structured the remaining bit of the entry. The small section on \infty-group completion I simply removed, because that belongs to group completion where in fact the content of the paragraphed that I removed is kept in more polished form.

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 26th 2017

    In view of their easy and elementary nature, might this be an example where the details of proof could be relegated to a separate page? The bare statements, which are short, could certainly remain I think.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 27th 2017
    • (edited May 27th 2017)

    okay, I have split off an entry Grothendieck group of a commutative monoid with the elementary construction of the group completion.

    This also addresses an old query box discussion that was still sitting at Grothendieck group, which I have removed there and am appending here, just for the record:


    [ age old discussion moved from the entry: ]

    +– {: .query}

    Urs Schreiber: the category of vector bundles is not abelian, but just Quillen exact. I added a clause to that effect above.

    Generally, my feeling is that “Grothendieck group” refers to “Grothendieck group completion of a monoid”. The first definition at the Wikipedia entry on Gorthendieck group.

    What is described here – the group defined by sequences – is the definition of the K-theory group in algebraic K-theory. This is described at the beginning of K-theory.

    I’d think that the logic is rather that in some cases both concepts happen to coincide: the algebraic K-theory of the category of bounded complexes of vector bundles on a space happens to coincide with the Grothendieck group completion of the monoid of isomorphism classes of vector bundles.

    My feeling is that the Wikipedia entry is a bit suboptimal in its second part, where it effectively calls algebraic K-theory the “Grothendieck group completion”. I’d think one shouldn’t do that in this generality.

    Another thing in this context is the statement about the exact sequences. It is really the homotopy exact sequences namely the fibration sequences that count. Of course some of them can be computed by ordinary exact sequences if these are sufficiently cofibrant. That’s what the structure provided by a Waldhausen category structure provides: a realization of the homotopy exact sequences as pushouts of cofibration morphisms.

    So in summary my feeling is: the entry in its current form actually tries to define algebraic K-theory and not the Grothendieck group concept, and that description with a few subtleties taken care of is currently at K-theory and should eventually be copied/moved to algebraic K-theory. The entry titled “Grothendieck group” should discuss the concept where from a monoid AA a group structure on A×AA \times A is defined by dividing out the equivalence relation (a 1,b 1)(a 2,b 2)k:a 1+b 2+k=a 2+b 1+k(a_1,b_1) \sim (a_2,b_2) \Leftrightarrow \exists k : a_1 + b_2 + k = a_2 + b_1 + k.

    But maybe I am mixed up. Let me know what you think.

    Toby: Well, I'll say this: I always understood ’Grothendieck group’ in the article text above, and I never understood ’K-theory’. That may have been my fault, of course, and it may be telling that I was John's student.

    Urs Schreiber: so Weibel in his book referenced below indeed says “Grothendieck group” synonomously for “algebraic K-theory group” and says just “group completion” (chapter to section 1) for what I suggested should properly be called “Grothendieck group completion”.

    I added corresponding remarks to the beginning of the entry. And I created two subsections under “Definintion”. One for plain group completion. The other for algebraic K-theory groups.

    Toby: The idea of the free group on an abelian monoid is a very simple algebraic idea that, at least for a cancellative monoid (so that the unit is monic and one can reasonably use the term ‘completion’) certainly predates Grothendieck. That \mathbb{Z} is the group completion of \mathbb{N} goes back at least to Kronecker.

    Urs Schreiber: I copied that last paragraph of yours into the section above. I still think that many people will say “Grothendieck group” for this group completion. But maybe I am wrong and we should branch off another page on “free group completion”.

    Colin Tan: I suggest branching off another page on “free group completion” and including the noncommutative case in there.

    =–

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 27th 2017

    Thanks!

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)