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

Site Tag Cloud

2-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory 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-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory 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 19th 2009

    expanded L-infinity-algebra as indicated on the nCafe, here

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeAug 8th 2011

    I have finally added the statement that every L L_\infty-algebra is quasi-isomorphic to a dg-Lie algebra (in char 0), together with a pointer to Kriz-May. Also at dg-Lie algebra

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeAug 8th 2011
    • (edited Aug 8th 2011)

    Urs, do you have any thoughts in the parallel discussion on the very related question I opened under Magnus infinity algebra ?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeSep 11th 2011
    • (edited Sep 11th 2011)

    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 L L_\infty-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 nnLab entry, for the sake of those students coming after him…

    • CommentRowNumber5.
    • CommentAuthorGuest
    • CommentTimeSep 12th 2011
    @urs: I have changed at L-infinity algebra the "skew symmetric" brackets to "graded-symmetric", for clarity.

    I don't have time to check whether you are writing at the level of the underlying gr vector space
    or at the Chevalley Eilenberg shifted level
    graded symmetric is fine after the shift
    graded skew-symmetric at the unshifted level
    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeSep 12th 2011
    • (edited Sep 12th 2011)

    Since it says “ +\mathbb{N}_+-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.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeSep 12th 2011

    Okay, I have filled in the signs of the “L L_\infty-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 L L_\infty-algebra structure on 𝔤\mathfrak{g} is the same as a dg-algebra structure on 𝔤 *\wedge \mathfrak{g}^* (for the degreewise finite dimensional case).

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 28th 2015

    I have substantially polished the section Definition – In terms of higher brackets.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJan 12th 2016
    • (edited Jan 12th 2016)

    Jim Stasheff suggested that the entry L-infinity algebra ought to contain discussion of literature of L L_\infty-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.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2016

    Together with Jim Stasheff (via email) we have been further expanding the list of references for L L_\infty-algebras in physics.

    For ease of editing and linking, I have now split it off as a separate entry L-infinity algebras in physics.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJan 20th 2016

    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.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 11th 2017

    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 L L_\infty-algebras.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeMar 8th 2017

    added a remark (here) amplifying the ind-conilpotency of CE (𝔤)CE_\bullet(\mathfrak{g})

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2018

    added references Buijs-Felix-Murillo 12 and Buijs-Murillo 12 on L L_\infty-algebras as models for rational homotopy theory

    diff, v90, current

  1. I have added the reference for the survey posted today on arxiv by Stasheff, but am not sure if the formatting (that I used in editing this article) is appropriate.

    Anonymous

    diff, v94, current

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)