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.
    • CommentAuthorzskoda
    • CommentTimeJul 28th 2010

    Many additions and changes to Leibniz algebra. The purpose is to outline that the (co)homology and abelian and even nonabelian extensions of Leibniz algebras follow the same pattern as Lie algebras. One of the historical motivations was that the Lie algebra homology of matrices which lead Tsygan to the discovery of the (the parallel discovery by Connes was just a stroke of genius without an apparent calculational need) cyclic homology. Now, if one does the Leibniz homology instead then one is supposedly lead the same way toward the Leibniz homology (for me there are other motivations for Leibniz algebras, including the business of double derivations relevant for the study of integrable systems).

    Matija and I have a proposal how to proceed toward candidates for Leibniz groups, that is an integration theory. But the proposal is going indirectly through an algebraic geometry of Lie algebras in Loday-Pirashvili category. Maybe Urs will come up with another path if it drags his interest.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJul 28th 2010

    So with a notion of Chevalley-Eilenberg algebra for Leinniz-algebras, one should do the following:

    Dmitry Roytenberg has that notion of hemistrict Lie 2-algebra modeled on Leibniz algebras. There should be a notion of “hemistrict” L L_\infty-algebra.

    Ordinary L L_\infty-algebras (of finite type) are, as we know, dually the same as semifree graded-commutative dgas, their CE-algebras.

    So a natural question is: what characterizes CE-algebras of “hemistrict” L L_\infty-algebras, Leibniz type.

    It seems the answer should be: dg-algebras whose underlying graded-commutative algebra is not quite free, but has a nontrivial binary piece. Would be good to relate this to whatever the people cited in the Leinbiz algebra enty tought about.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJul 28th 2010
    • (edited Jul 28th 2010)

    I am not sure now any more. I mean I did not write the answer to your main question as I am not sure. I mean there is the CE chain complex anc CE cochain complex in Leibniz algebra case, which is evident from the formulas. Mainly we have tensor product instead of exterior power. Now, I am not sure about the algebra structure which you enthusiatically asked about. Now if my noise about Koszul operad makes any sense than it should be a algebra over a dual Leibniz operad, understood as a dg-operad, that Koszul dual is studied in the Loday’s world. But need to get closer to the subject, I have spent most of my time in Loday-Pirashvili category instead of the original category of Leibniz algebras where I am not yet comfortable as in the LP category.

    The dual Leibniz algebra (in VecVec) is a nonassociative algebra with a product satisfying

    (xy)z=x(zy+yz). (xy)z = x(zy + yz).
    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeJul 28th 2010

    Could you enter the link (I will go for a bus in few minutes) to the appropriate Roytenberg’s paper somewhere in the entry Leibniz algebra ? I have added a section on dual Leibniz algebra.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2020

    added this pointer on relation to the embedding tensor and tensor hierarchies in gauged supergravity:

    diff, v15, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2020
    • (edited May 23rd 2020)

    I have touched the layout of the entry.

    Added this as an earlier reference where the concept of Leibniz algebras appears (just not by that name):

    • A. Bloh, A generalization of the concept of Lie algebra, Dokl. Akad. Nauk SSSR, 165:471–473 (1965) (mathrunet:dan31825)

    added pointer to this review:

    • C. Cuvier, Algèbres de Leibnitz : définitions, propriétés, Annales scientifiques de l’École Normale Supérieure, Serie 4, Volume 27 (1994) no. 1, p. 1-45 (doi:10.24033/asens.1687)

    added more references relating Leibniz algebras to dg-Lie algebras and to tensor hierarchies:

    diff, v16, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2020
    • (edited May 23rd 2020)

    and I have added pointer to

    • Jean-Louis Loday, Une version non commutative des algèbres de Lie: les algèbres de Leibniz, Les rencontres physiciens-mathématiciens de Strasbourg -RCP25, Volume 44 (1993), Talk no. 5, 25 p. (numdam:RCP25_1993__44__127_0)

    which, I gather, is the actual reason that the concept is attributed to Loday alone, instead of to Loday & Pirashvili as the usual pointer to Loday & Pirashvili 93 would suggest.

    diff, v16, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2020
    • (edited May 23rd 2020)

    I have completed the previously missing last words in the title of the reference

    and added the comment that this is about realizing Leibniz algebras as Lie algebra objects

    (both somewhat crucial for knowing what that reference has to do on this page…)

    diff, v16, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2020
    • (edited May 23rd 2020)

    I have turned the previous first section “Motivation” into an “Idea”-section that starts out with stating the simple idea:

    A Leibniz algebra is like a Lie algebra, but without the condition that the product, often still written as a bracket [,][-,-], is skew-symmetric. The Jacobi identity however is retained as a condition in its form as the derivation-property of the product over itself. In view of the analogous product law of differentiation (also a derivation-property) attributed to Gottfried Leibniz, this is then called the Leibniz identity which gives Leibniz algebras their modern name (Loday 93, Loday-Pirashvili 93) even though the concept itself is older (Blokh 65).

    After that I rephrased the content of the previous “Motivation”-section as follows:

    Leibniz algebras were motivated in Cuvier 91, Loday-Pirashvili 93 as generalizing the relation between Lie algebra cohomology and cyclic homology (Loday-Quillen 84) to one between Leibniz cohomology and Hochschild homology: Where the nilpotency of the differential in the Chevalley-Eilenberg algebras that compute Lie algebra cohomology is equivalent to the Jacobi identity in the corresponding Lie algebra, Leibniz cohomology is defined on non-skew symmetric dg-algebras where now it is the generalization of the Jacobi identity in form of the Leibniz rule (eq:LeibnizRule) which still guarantees the nilpotency of the differential.

    and then I added this line afterwards:

    More recently, Leibniz algebras have been argued to clarify the nature of the embedding tensor and the resulting tensor hierarchies in gauged supergravity (Lavau 17).

    diff, v16, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2020

    I have made explicit the cross-links with Lie algebra object and added pointer to the reference.

    The respective paragraph now reads this way:

    As internal Lie algebras

    Leibniz algebras are equivalenlty Lie algebra objects in the Loday–Pirashvili tensor category of linear maps with (exotic) “infinitesimal tensor product” (Loday-Pirashvili 98)

    diff, v16, current

    • CommentRowNumber11.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 23rd 2020

    Attempting to fix a rendering bug in Section 2.

    diff, v17, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2020

    Question:

    If there is this article from 1991

    • Christian Cuvier, Homologie de Leibniz et homologie de Hochschild, C.R. Acad. Sci. Paris, Ser. A-B313, 569-572 (1991)

    how is it the concept is attributed to Loday’s article(s) from 1993, two years later?

    (I haven’t managed to find the actual document of Cuvier’s article. If anyone knows of an electronic copy, let’s add a pointer to the entry/)

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2020

    Added an Examples-section, and added there statement and proof (here) that a Lie module equipped with the “embedding tensor” becomes a Leibniz algebra

    diff, v18, current

    • CommentRowNumber14.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 23rd 2020

    Lie’s third theorem for Leibniz algebras.

    diff, v19, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeMay 24th 2020

    Thanks. I have added cross-link with Lie’s third theorem.

    diff, v20, current

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeMay 24th 2020

    But the definition of Lie racks etc. should really be in a separate entry of that name.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeMay 24th 2020

    I have spelled the the functor from dg-Lie algebras to Leibniz algebras – in a new Examples-section here

    diff, v21, current

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeSep 18th 2021
    • (edited Sep 18th 2021)

    I discovered that long list of variants of “Leibniz rule” used to redirect to the page G. W. Leibniz.

    But that makes no sense. So I have now made that whole list of redirect to point here. But maybe there should rather be a dedicated page “Leibniz rule”.

    diff, v23, current