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 12th 2016

    I have added to primitive element the definition of primitive elements in comodules, and their equivalent characterization in terms of cotensor products. Added also a corresponding remark to cotensor product.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeMay 12th 2016
    • (edited May 12th 2016)

    Who is calling it primitive element in the generality of comodules (I guess some topologists) ? For comodules the extensive Hopf algebra literature is equivocal in calling such elements (left) coinvariants! I got a PhD in the subject (introducing related “localized coinvariants” as one of the main objects in my thesis) and spent a decade in the subject and this is the first time I heard that somebody would call the element primitive in such a generality where the good old term coinvariant is generally accepted.

    Of course, instead of 11 in the definition one can have any group like (only if the ground coalgebra is a bialgebra, then of course 11 is distinguished!). In particular, coalgebras do not know of the difference between 11, 22 and 654378654378 in a 1-dimensional coalgebra, even if you identify it with the ground ring because of being 1-dimensional or trivial. The trivial RR-coalgebra is determined by its ground ring only up to an isomorphism of coalgebras, what boils down to an arbitrary scale relative to a bare RR-module. Otherwise the choice is evil, in nnCafe language.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2016
    • (edited May 12th 2016)

    Sure, I have added pointer to “coinvariants”.

    For the terminology “primitive” for these elements, see for instance def. 7.19 in this pdf

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2016

    Maybe you could help me with something:

    what’s the precise statement (and what’s a citable source for it) that Hopf algebras with all elements primitive plus maybe some other condition are necessarily tensor/symmetric/exterior algebras?

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeMay 14th 2016
    • (edited May 14th 2016)

    In symmetric algebra etc. not all elements are primitive, of course, just a specific set of associative algebra generators. These are variants of Milnor-Moore theorem (the original paper of Milnor and Moore, 1956 or so, or in positive characteristic Cartier and then again Quillen) that if the Hopf algebra over a field is generated by the set of ALL its primitive elements then it is the universal enveloping algebra of the Lie algebra consisting of all primitive elements (in positive characteristic I guess the restricted Lie algebra). It has many generalizations like super case and for many other cases of nonassociative algebras (these generalizations were very much studied by Loday and his school). See wikipedia for the (connected) graded case, which is classical to algebraic topologists.

    Probably one should look into Cartier’s Primer on Hopf algebras.

    There are some more general theorems like when a Hopf algebra is a tensor product of an enveloping algebra and of a group algebra.

    P.S. 7.7 of the Rognes notes you cite above.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 17th 2016

    Thanks. It seems that Cartier and Wikipedia just state the case for characteristic 0. But the original is avaible (here) and May 69 is useful.

    I have started a stub for Milnor-Moore theorem.

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)