Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
expanded L-infinity-algebra as indicated on the nCafe, here
I have finally added the statement that every -algebra is quasi-isomorphic to a dg-Lie algebra (in char 0), together with a pointer to Kriz-May. Also at dg-Lie algebra
Urs, do you have any thoughts in the parallel discussion on the very related question I opened under Magnus infinity algebra ?
I have changed at L-infinity algebra the “skew symmetric” brackets to “graded-symmetric”, for clarity.
I am having an email exchange with somebody trying to learn the basics of -algebras. This highlights what is of course evident: the whole discussion here could do with more examples and more details.
I don’t have the time to look into this. But maybe I can convince my correspondent to include discussion of his newly gained insights into the Lab entry, for the sake of those students coming after him…
Since it says “-graded” it’s shifted, hence “graded-symmetric” is correct.
Maybe I find the time to expand and polish the whole entry. Or maybe somebody else does.
Okay, I have filled in the signs of the “-Jacobi identity” and then added a further section
Reformulation in terms of semifree dg-algebra – Details with an explicit pedestrian walk through the proof that an -algebra structure on is the same as a dg-algebra structure on (for the degreewise finite dimensional case).
I have substantially polished the section Definition – In terms of higher brackets.
Jim Stasheff suggested that the entry L-infinity algebra ought to contain discussion of literature of -algebras appearing in physics. I gather he would like to use such a list for his talk at “Higher structures in geometry and physics” in Bonn next week. Since we didn’t have such a list yet, I have now added one. Naturally the examples that come to my mind tend to be those that I have worked on myself. Please feel invited to add more.
Together with Jim Stasheff (via email) we have been further expanding the list of references for -algebras in physics.
For ease of editing and linking, I have now split it off as a separate entry L-infinity algebras in physics.
Here are now the slides from Jim’s talk yesterday: Stasheff 16.
Jim asks me to add that a more complete preprint is in preparation, and that meanwhile comments on the slides are most welcome.
I have polished a little the section Definition – In terms of higher brackets, at L-infinity algebra.
And in the section In terms of semifree differential coalgebra I have added text at the beginning highlighting that this reformulation was shown already in the original articles on -algebras.
added a remark (here) amplifying the ind-conilpotency of
added references Buijs-Felix-Murillo 12 and Buijs-Murillo 12 on -algebras as models for rational homotopy theory
The statement of the strong homotopy Jacobi identity contains some errors. Note that there are ’s in the equation. This is correct, since a composition of with should take arguments. For this reason, it should say “for all -tuples” (not ). I believe the inner sum should be over -unshuffles, since -unshuffles would permute objects.
A similar error occurs when Loday and Valette try to state this identity for the operad. I am actually struggling to find the correct identity written down with signs anywhere.
I don’t have the leisure to check now. But if/where it has “” when it should read “” and you are sure you know what you are doing: Please just fix it! (Just hit “edit” at the bottom of the page).
Looks good. Thanks!
etc (where the is just a funny way to write the wedge , in order to remind us that:…)
remind us what, exactly?
work out or see the references for the signs and prefacors
better to see this on the actual page
exercise for the reader: spell this all out more in detail with all the signs and everyrthing. Possibly by looking it up in the references given below
ditto
1 to 21 of 21