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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 1st 2011

    added to the Properties-section at Hopf algebra a brief remark on their interpretation as 3-vector spaces.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 1st 2011

    Are they a particular kind of 3-vector space? I mean is the Hopf algebra construction a categorification of a particular kind of 2-vector space?

    And does the 3-dimensionality of a Hopf algebra show itself somehow?

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeNov 2nd 2011
    • (edited Nov 2nd 2011)

    I do not understand. Page 27 of Lurie et al. is giving an example of a Hopf algebra (group algebra for a finite group) which provides such a structure. I do not see a claim that all Hopf algebras, especially infinite dimensional provide something like that. Namely coalgebras and dual algebras correspond only in finite dimensional situation. Second I do not see why would Hopf having anything to do with this – I mean bialgebra requirement in finite dimensional situation does what can be done, I do not see why would antipode do anything here. Not to mention Hopf algebras in more general tensor categories, where the situation would be even worse.

    • CommentRowNumber4.
    • CommentAuthorjim_stasheff
    • CommentTimeNov 2nd 2011
    At the very least, please unpack that 3-vs remark!
    but thanks for the Caution about topologist's convention
    btw, it should be Heyneman-Sweedler but it's too late now
    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeNov 2nd 2011

    I write out more details when I have a minute. But it’s straightforward to work it out.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2013

    coming back to the discussion of Hopf algebras as (bases for) 3-vector spaces:

    I see that this is secretly discussed in

    • Xiang Tang, Alan Weinstein, Chenchang Zhu, Hopfish algebras, Pacific J. Math. 231 (2007), no. 1, 193–216. (arXiv:math/0510421)

    What they call a sesquiunital sesquialgebra in their def. 2.5 is precisely a (basis for a) 3-vector space: an algebra object internal to 2-vector spaces (with basis), hence internal to algebras+bimodules.

    Have to run now. Maybe more later.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2013

    added brief mentioning and pointer to the literature in Tannaka duality for Hopf algebras

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeApr 9th 2013

    the entry Hopf algebra could do with some editing.

    I started by polishing and expanding the Idea-section a bit. But have to interrupt now.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMar 15th 2016

    I have added cross-links between Hopf algebra and cogroup.

    These and all related entries (e.g. Hopf algebroid, Steenrod algebra, etc. ) still could do with much editing.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeMar 16th 2016
    • (edited Mar 16th 2016)

    I am sorry but I do not see a point of the sentence

    In particular a co-group in rings is a Hopf algebra; a fact highlighted by Haynes Miller in the context of discussion of dual Steenrod algebras, see (Ravenel 86, appendix A) for review.

    I mean why to mention Haynes Miller, what is so deep about mentioning somebody years after this point of view gave the whole branches of mathematics ? Also the message is not clear. Where is Miller, in Ravanel’s book, and what is the usage of this information ? To say that it was widely used point of view since early 1960s, see for example that M. Kac in early 1960-s started a huge subject of what is now called Kac algebras motivated by this commutative picture and then going beyond into nocommutative. Or Bergmann who had extensive work on cogroups in associative algebra setup, both commutative and noncommutative in 1970s. I. Bernstein had shown in late 1950s, I think, that unlike in commutative algebras, cogroups in unital associative algebras are very rare, that is why people need less categorical regular thing like Hopf algebras, as cogroups in associative algebras are so few. Algebraic geometers of course had thought of the affine group schemes (that is group objects in affine schemes) as spectra of cogroups in commutative algebras by the very definition of the subject from around 1960.

    Steenrod algebra is a major historical motivation for Hopf algebras and this has been also used almost at the very beginning of the subject.

    Or maybe you just want to say that you learned this from Miller so you want to keep the record in nnLab ? (I can not see its universal meaning, so it is probably particular and of less usage for others, unless it has some additional info which is yet not revealed here in the article)

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeMar 16th 2016
    • (edited Mar 16th 2016)

    The Ravenel’s book asserts that the term Hopf algebroid (for commutative Hopf algebroid) is due Miller. I believe this. But the observation that the cogroups in commutative rings are commutative Hopf rings and cogroups in commutative algebras are commutative Hopf algebras has been widely used way of thinking before Miller and is widely documented (perhaps not in homotopy theory, but in algebra and algebraic geometry).

    In any case I will add commutative to all points in the article as it is not true without saying “commutative”: noncommutative Hopf algebras are not cogroups in any category.

    • CommentRowNumber12.
    • CommentAuthorzskoda
    • CommentTimeMar 16th 2016
    • (edited Mar 16th 2016)

    I changed the critical part in the entry into:

    In particular, a co-group in the category of (unital) commutative rings is a commutative Hopf ring and a cogroup in the category of (unital) commutative kk-algebras is a commutative Hopf kk-algebra; a fact highlighted in homotopy theory by Haynes Miller (in view of his generalization to commutative Hopf algebroids as cogroupoids in commutative algebra) in the context of discussion of dual Steenrod algebras, see (Ravenel 86, appendix A) for review.

    References

    Discussion of commutative Hopf algebras as cogroups is in

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeMar 16th 2016
    • (edited Mar 16th 2016)

    Here is the Israel Berstein’s (not Joseph Bernstein!) article showing that cogroups in associative algebras are extremely few (unlike Hopf algebras), and are basically free as algebras (the context is also algebraic topology):

    • Israel Berstein, On cogroups in the category of graded algebras. Trans. Amer. Math. Soc. 115 (1965), 257–269 jstor
    • CommentRowNumber14.
    • CommentAuthorzskoda
    • CommentTimeMar 16th 2016

    This fact is observed in bigger generality by

    • Benoit Fresse, Cogroups in algebras over an operad are free algebras, Commen. Math. Helv. 73:4, 1998, 637–676 doi
    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeMar 16th 2016

    Okay, thanks. I thought I had added the “commutative” qualifier where necessary, but thanks for catching places where I missed it.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeJan 14th 2020

    Under “Examples” I added the line

    the ordinary homology of an H-space (for instance a based loop space) is a Hopf algebra via its Pontrjagin ring-structure

    diff, v43, current

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJan 19th 2021

    added pointer to

    • W. Stephen Wilson, Hopf rings in algebraic topology, Expositiones Mathematicae, 18:369–388, 2000 (pdf)

    (this used to be referenced only at W. S. Wilson and without the pdf link, so I completed the item and copied it to here)

    diff, v46, current

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2021

    added pointer to:

    diff, v47, current

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2021

    added pointer to:

    diff, v47, current

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeMay 10th 2021

    I have added mentioning (here) of the notion of involutive Hopf algebra (and will give this its own little page, for ease of hyperlinking).

    Then in the proposition (here) that the antipoide is an anti-homomorphism I have added the statement that, hence, involutive Hopf algebras are star-algebras.

    Also added hyperlinking to anti-homomorphism.

    diff, v48, current

    • CommentRowNumber21.
    • CommentAuthorzskoda
    • CommentTimeMay 10th 2021

    Following the language of star algebra maybe it is better to say algebra anti-involution as the antipode is an antihomomorphism. I don’t care, just suggestion so maybe resulting in a bit more uniform convention. Set theoretically it is just an involution, but in algebra world there is a distinction.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2021

    Okay, sure, anti-involution.

    diff, v50, current

    • CommentRowNumber23.
    • CommentAuthorrnbc380
    • CommentTimeApr 10th 2023
    Could you please make the third line of the proof of Proposition 2.4 a bit clearer? It seems that the terms Sg_3 S h_3 came out of nowhere.
    • CommentRowNumber24.
    • CommentAuthorzskoda
    • CommentTimeApr 10th 2023
    • (edited Apr 10th 2023)

    All calculations with Sweedler notation would expand immensely if one does not give some thinking on its use in first couple of instances of usage. Here for example, the second line taken for h (1)g (1)h_{(1)}\otimes g_{(1)} instead of hgh\otimes g is multiplied (and summed over dummy indices) with Sg (2)Sh (2)S g_{(2)} S h_{(2)} and then just the renaming of indices using coassociativity gives 3rd line. Just spend one hour practicing Sweedler-assisted computations (once in your lifetime) and you will automatically observe such things on the fly for the rest of your life. (Easily observed) rule of a thumb is that the notation is bilinear so you can “contract” it with following leg if the coassociativity holds. I think it is more useful to figure out this rule yourself (why the step is legal and not out of nowhere) when you see it for the first time than to read the verbose explanation. Every reference using Sweedler notation in practice will freely contract with the next “leg”.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeJul 5th 2023

    added pointer to:

    • Nicolas Andruskiewitsch, Walter Ferrer Santos, The beginnings of the theory of Hopf algebras, Acta Appl Math 108 (2009) 3-17 [arXiv:0901.2460]

    diff, v52, current

    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeJul 5th 2023

    added pointer to:

    diff, v52, current

    • CommentRowNumber27.
    • CommentAuthorAveryAndrews
    • CommentTimeJul 8th 2023
    There is now a linguistics application: https://arxiv.org/abs/2305.18278v1, and https://arxiv.org/abs/2306.10270
  1. adding Noam Chomsky’s recent papers on Hopf algebras in generative linguistics:

    Anonymouse

    diff, v53, current

  2. removing old query box.

    Mike, can you do something with these notes that I took at some point as a grad student? I don't know this stuff very well, which is why I don't incorporate them into the text, but at least I cleaned up the formatting a bit so that you can if you like it. —Toby

    One can make a group into a Hopf algebra in at least 22 very different ways. Both ways have a discrete version and a smooth version.

    Given a (finite, discrete) group GG and a ground ring (field?) KK, then the group ring K[G]K[G] is a cocommutative Hopf algebra, with M(g 0,g 1)=g 0g 1M(g_0,g_1) = g_0 g_1, I=1I = 1, D(g)=ggD(g) = g \otimes g, E(g)=1E(g) = 1, and the nifty Hopf antipodal operator S(g)=g 1S(g) = g^{-1}. Notice that the coalgebra operations D,ED,E depend only on Set|G|Set|G|.

    Given a (finite, discrete) group GG and a ground ring (field?) KK, then the function ring Fun(G,K)Fun(G,K) is a commutative Hopf algebra, with M(f 0,f 1)(g)=f 0(g)f 1(g)M(f_0,f_1)(g) = f_0(g)f_1(g), I(g)=1I(g) = 1, D(f)(g,h)=f(gh)D(f)(g,h) = f(g h), E(f)=f(1)E(f) = f(1), and the nifty Hopf antipodal operator S(f)(g)=f(g 1)S(f)(g) = f(g^{-1}). Notice that the algebra operations M,IM,I depend only on Set|G|Set|G|.

    Given a (simply connected) Lie group GG and the complex (real?) field KK, then the universal enveloping algebra U(G)U(G) is a cocommutative Hopf algebra, with M(g 0,g 1)=g 0g 1M(\mathbf{g}_0,\mathbf{g}_1) = \mathbf{g}_0 \mathbf{g}_1, I=1I = 1, D(g)=g1+1gD(\mathbf{g}) = \mathbf{g} \otimes 1 + 1 \otimes \mathbf{g}, E(g)=0E(\mathbf{g}) = 0, and the nifty Hopf antipodal operator S(g)=gS(\mathbf{g}) = -\mathbf{g}. Notice that the coalgebra operation D,ED,E depend only on KVect|𝔤|K Vect|\mathfrak{g}|.

    Given a (compact) Lie group GG and the complex (real?) field KK, then the algebraic function ring Anal(G)Anal(G) is a cocommutative Hopf algebra, with M(f 0,f 1)(g)=f 0(g)f 1(g)M(f_0,f_1)(g) = f_0(g) f_1(g), I(g)=1I(g) = 1, D(f)(g,h)=f(gh)D(f)(g,h) = f(g h), E(f)=f(1)E(f) = f(1), and the nifty Hopf antipodal operator S(f)(g)=f(g 1)S(f)(g) = f(g^{-1}). Notice that the algebra operations M,IM,I depend only on AnalMan|G|Anal Man|G|.

    Anonymouse

    diff, v53, current

    • CommentRowNumber30.
    • CommentAuthorUrs
    • CommentTimeJul 8th 2023

    have hyperlinked Matilde Marcolli

    diff, v54, current

    • CommentRowNumber31.
    • CommentAuthorperezl.alonso
    • CommentTimeAug 18th 2023

    Added thm that all finite-dimensional Hopf algebras can be given a Frobenius algebra structure.

    diff, v55, current

    • CommentRowNumber32.
    • CommentAuthorperezl.alonso
    • CommentTimeAug 21st 2023

    added example of H 8H_8 Kac-Paljutkin Hopf algebra

    diff, v56, current

    • CommentRowNumber33.
    • CommentAuthorJ-B Vienney
    • CommentTimeAug 21st 2023

    Corrected the incorrect claim “Both Hopf algebras and Frobenius algebras are examples of bialgebras

    diff, v57, current

  3. typo fixed

    Fang

    diff, v59, current

    • CommentRowNumber35.
    • CommentAuthorperezl.alonso
    • CommentTimeSep 1st 2023

    added result concerning endowing (some) dual Hopf algebras with a symmetric special Frobenius algebra structure

    diff, v60, current