 a sequence $\pi=(\pi_1,\pi_2,\dots)$ of multivariable coderivations $\pi_i$ on the free graded coalgebra cogenerated by $V$ shifted with a rather unusual coproduct using unshuffles that preserve the (last) element. The sequence $\pi$ is to satisfy $[\pi,\pi]=0$.

Apparently this was defined first by Livernet [@livernet:lodayinfty] for right -algebras, later independently in a different setting by Ammar and Poncin [@ammar-poncin:lodayinfty] with further work by Peddie [@peddie:lodayinfty].

Derived brackets {#derived}
----------------

Kosmann-Schwarzbach defined *derived brackets* in 1996 [@yks:PtoG]:

\[derivedbracket\][@yks:PtoG] If $(V, [~,~], D)$ is a graded differential Lie or Loday algebra with a bracket $[\,\ ]$of degree $n$, the [*derived bracket*]{} of $[~,~]$ by $D$ is denoted $$[~,~]_D: V \otimes V \to V$$ and defined by \_D= (-1)\^[|a|+n+1]{} \[Da,b\]  , for $a$ and $b \in V$.

Often $D$ is itself given as $D=[\D,\  \ ]$ for an element $\D\in V$. In this generality, the derived bracket is graded Loday and respected by the differential. To obtain a differential graded Lie bracket, additional actions are necessary.

Continuing the iteration of Lie brackets led in 1996 to Bering defining *higher BV anti-brackets* in physics [@beringetal:hibrack]. Somewhat later, independently in math, T. Voronov defined *higher derived brackets* [@tv:hiderived]. This was followed quickly by [@bering:brackets] and further proliferation. Apparently the membrane between math and physics is osmotic: information travels one way faster than the other. The definition closest to my interests is:

*Higher derived brackets* $$B^r_{\Delta}(a_1,\dots,a_r)$$ are defined as $$[\dots [\,[\Delta,a_1],a_2],\dots,a_r]$$ where $(L,[-,-])$ is a Lie algebra with $\D, a
a sequence $ \pi=(\pi_1,\pi_2,\dots)$ of multivariable coderivations $ \pi_i$ on the free graded coalgebra cogenerated by $ V$ shifted with a preferably strange coproduct using unshuffles that preserve the (final) component. The sequence $ \pi$ is to satisfy $ [ \pi,\pi]=0$. 

 obviously this was defined first by Livernet [ @livernet: lodayinfty ] for right -algebras, subsequently independently in a different setting by Ammar and Poncin [ @ammar - poncin: lodayinfty ] with further oeuvre by Peddie [ @peddie: lodayinfty ]. 

 Derived brackets { # derive } 
 ---------------- 

 Kosmann - Schwarzbach defined * derived brackets * in 1996 [ @yks: PtoG ]: 

 \[derivedbracket\][@yks: PtoG ] If $ (V, [ ~,~ ], D)$ is a graded differential Lie or Loday algebra with a bracket $ [ \,\ ] $ of degree $ n$, the [ * deduce bracket * ] { } of $ [ ~,~]$ by $ D$ is denoted $ $ [ ~,~]_D: V \otimes V \to V$$ and defined by \_D= (-1)\^[|a|+n+1 ] { } \[Da, b\ ]  , for $ a$ and $ b \in V$. 

 Often $ D$ is itself give as $ D=[\D,\   \ ] $ for an element $ \D\in V$. In this generality, the derived bracket is graded Loday and respect by the differential. To obtain a differential graded Lie bracket, additional actions are necessary. 

 continue the iteration of Lie brackets led in 1996 to Bering defining * higher BV anti - brackets * in purgative [ @beringetal: hibrack ]. slightly later, independently in math, T. Voronov defined * higher derived brackets * [ @tv: hiderived ]. This was followed quickly by [ @bering: brackets ] and further proliferation. obviously the membrane between mathematics and physics is osmotic: information travels one direction faster than the other. The definition closest to my pastime is: 

 * Higher derived brackets * $ $ B^r_{\Delta}(a_1,\dots, a_r)$$ are defined as $ $ [ \dots [ \,[\Delta, a_1],a_2],\dots, a_r]$$ where $ (L,[-,-])$ is a Lie algebra with $ \D, a
 a dequence $\pi=(\pi_1,\pi_2,\dots)$ of mmltivariable codgruvatiois $\pi_i$ kn the ffee graded coalgebra cogenereted by $V$ shifted with a rather unusual boproduct usiig unshuffles thef presevre ths (lasc) xlement. The seqoence $\pi$ is do satisfy $[\pi,\ph]=0$.

Aopcrently this was defined first by Lidernet [@kigernet:lodayinfjy] fog wighf -algebras, later independently in z diffegent setting by Akmar and Poncin [@ammar-poncij:lodwyinfty] with furthfr work by Ksddyw [@peddie:lodahinfty].

Derinzd brackets {#derived}
----------------

Kosmann-Schwarzbach defived *dzrived bracjers* lt 1996 [@yks:PtoG]:

\[dxrivedfracket\][@yks:PtoG] If $(V, [~,~], D)$ is a graded differcntian Lue or Loday algebra wmth a bracket $[\,\ ]$of dedree $n$, tha [*berived bracket*]{} of $[~,~]$ bt $E$ is genoded $$[~,~]_A: V \utijex B \to V$$ anv defined bg \_D= (-1)\^[|a|+n+1]{} \[Da,b\]  , for $a$ and $b \in V$.

Ofuen $E$ is itself gjven af $Q=[\D,\  \ ]$ for an element $\D\in V$. In this genegalify, the derived bracket us graded Loday and rgspected br the differential. To obtain a differential gradeg Lie craejet, aaeihional actions are necessary.

Continuing the itqdauiok of Lie bracketf led in 1996 tp Hetyng defining *figher BV anti-brackets* in pjysics [@ferintetal:hibrwck]. Xomewhat later, independentlt in math, T. Norobov defined *higher derived brcckets* [@tv:hicerived]. This was followzd quidkly by [@berlng:brackefr] and further prulinerdtion. Apkxrently the membrwne betwexn mach and pfysivs is jsmotic: invormabhon travels one waj fasjer thdn the othfr. The definition closest to my interests is:

*Hogver derived braclets* $$B^r_{\Delta}(a_1,\qots,a_r)$$ are defnned as $$[\bots [\,[\Ddlta,a_1],a_2],\dots,z_r]$$ wherx $(L,[-,-])$ is a Lie algebra with $\F, a
a sequence $\pi=(\pi_1,\pi_2,\dots)$ of multivariable coderivations $\pi_i$ free coalgebra cogenerated $V$ shifted with unshuffles preserve the (last) The sequence $\pi$ to satisfy $[\pi,\pi]=0$. Apparently this was first by Livernet [@livernet:lodayinfty] for right -algebras, later independently in a different setting Ammar and Poncin [@ammar-poncin:lodayinfty] with further work by Peddie [@peddie:lodayinfty]. Derived brackets {#derived} Kosmann-Schwarzbach *derived in [@yks:PtoG]: \[derivedbracket\][@yks:PtoG] If $(V, [~,~], D)$ is a graded differential Lie or Loday algebra with a $[\,\ ]$of degree $n$, the [*derived bracket*]{} of by $D$ is denoted V \otimes V \to V$$ defined \_D= (-1)\^[|a|+n+1]{} , $a$ $b \in V$. $D$ is itself given as $D=[\D,\ \ ]$ for an element $\D\in V$. In this generality, the bracket is and respected the To a differential graded additional actions are necessary. Continuing the brackets led in 1996 to Bering defining *higher anti-brackets* in [@beringetal:hibrack]. Somewhat later, independently in math, Voronov defined *higher derived brackets* [@tv:hiderived]. This was quickly by [@bering:brackets] and further proliferation. Apparently the membrane between math and physics is osmotic: one way faster than other. The definition to interests *Higher brackets* $$B^r_{\Delta}(a_1,\dots,a_r)$$ defined as $$[\dots [\,[\Delta,a_1],a_2],\dots,a_r]$$ where $(L,[-,-])$ is a Lie algebra with a
 a sequence $\pi=(\pi_1,\pi_2,\dots)$ of multIvariable cOderiVatIonS $\pI_i$ on The fRee graded coalgEBra cOgenerated by $V$ shifted wiTh a raThER unuSUaL coprOduct usINg UNShuFfLeS thAt PReServe The (Last) eleMent. The seqUenCe $\Pi$ is to satisfY $[\Pi,\Pi]=0$.

ApparentLy tHis was defineD fiRst by LIvErnET [@liveRneT:lodaYinfty] FOr righT -algebras, LaTEr indePEndentlY IN a DiffErent setting by AmmAR aND Poncin [@ammar-poNcin:loDaYInFTY] wiTh fUrther work By peddiE [@Peddie:lODaYINFty].

dErived bracketS {#derived}
----------------

KosMAnn-schwarZbAch DEfined *DerivEd BRacKets* in 1996 [@yks:PtOG]:

\[deRivedbracKet\][@yks:pToG] If $(V, [~,~], D)$ IS a gradeD diffeRenTiaL Lie OR LOdAy aLgEBra WItH a bRAckEt $[\,\ ]$of degrEe $N$, tHe [*derIved BRACKet*]{} oF $[~,~]$ by $d$ is dEnoteD $$[~,~]_D: V \otimes V \to V$$ And DefiNEd bY \_D= (-1)\^[|a|+n+1]{} \[DA,b\]  , for $A$ and $B \iN V$.

OftEn $D$ is iTself GiVen as $D=[\D,\  \ ]$ for an eleMent $\d\in V$. In thiS geNeRalItY, the dERived bRacKet Is gradeD Loday aND reSpECTEd By the differential. TO oBTAiN a differEntial GRaDeD lie brackEt, AddItioNAL actiOns aRE nEcessary.

continUInG tHe iteraTiOn of LiE bRacKetS led iN 1996 To BeRing deFining *hiGher Bv Anti-brackets* in PHysics [@beringeTAl:HIBrACk]. SoMewHat later, indEpenDEntlY in mATh, t. VoROnov dEfineD *hIGhER derived brackets* [@tv:hIdErived]. this wAs followed quiCkly by [@beriNG:BRackets] aNd fuRThER proliferation. apparEntly the meMBrane betWeen mAth and phYsics is osMOTic: inforMatIon TraVelS ONe Way faster than THE othEr. the defiNitIon closEst To mY inTerEsTs is:

*HigheR derived BrAcKeTs* $$b^r_{\DElta}(a_1,\DOts,a_r)$$ are DeFinEd As $$[\dOts [\,[\DeLTa,a_1],a_2],\doTs,a_r]$$ wHere $(l,[-,-])$ iS a lIe aLgebra wITh $\d, A
 a sequence $\pi=(\pi_1,\p i_2,\dots) $ ofmul tiv ar iabl e co derivations $\ p i_i$  on the free graded co algeb ra coge n er atedby $V$s hi f t edwi th  ara t he r unu sua l copro duct using  un sh uffles thatp re serve the(la st) element.  Th e sequ en ce$ \pi$isto sa tisfy$ [\pi,\ pi]=0$.
Ap p arentl y  this w a s  d efin ed first by Liver n et [@livernet:lod ayinft y] fo r rig ht-algebras,  l ateri ndepend e nt l y ina  different se tting by Am m arand Po nc in[ @ammar -ponc in : lod ayinfty] wi th f urther wo rk byP eddie [ @ peddie: lodayi nft y]. 

De r iv ed  br ac k ets {# der i ved }
------ -- -- ----- -

K o s m a nn-S chw arzb ach d efined *deriv edbrac k ets * in1996[@yk s: PtoG] :

\[d erive db racket\][@yks:P toG]  If $(V,[~, ~] , D )$  is a graded  di ffe rential  Lie or Lod ay a l ge bra with a bracket  $ [ \ ,\  ]$of de gree $ n $,  t h e [*deri ve d b rack e t *]{}of $ [ ~, ~]$ by $ D$ isd en ot ed $$[~ ,~ ]_D: V  \ oti mes  V \t o  V$$  and d efined b y \_D =  (-1)\^[|a|+n+ 1 ]{} \[Da,b\],f o r$ a$ a nd$b \in V$.
Oft e n $D $ is it sel f  give n as$D = [\ D ,\  \ ]$ for an ele me nt $\D \in V $. In this ge nerality,t h e  derived  bra c ke t  is graded Lod ay an d respecte d  by thediffe rential.  To obtai n a differ ent ial  gr ade d Li e bracket, ad d i tion al  action s a re nece ssa ry. 

C ont in uing theiteratio nof  L ie  br acket s  led in19 96to  Be ringd efinin g *hi gher  B Va nti -bracke t s* i n ph ys ic s [@ ber in getal :hib r ack ]. Some what late r,i ndep en de ntly in  math, T. Vor on ov defined  * hig her de r i ved brac kets* [@tv:hiderived].T his was  fo llowe d qu ickly by[@b ering: bra c kets]and fu rther  p rol i f erati o n .App ar ently them e mbr ane b et ween  math a nd physics is osmo t ic:  informationtra vels o ne  wa y  f a ste rt han t he other. The d efinitioncl o se st to my i n ter es ts is:
*Highe r der i ved bra ckets* $$ B^r_{\Del ta }(a_ 1 , \do ts,a_r)$$are defi ned as $$ [ \dots [\ ,[\De lta ,a_1], a_ 2], \dots ,a_r]$ $  wh ere $ (L,[-, -] )$ isa Lie  a lgebra w ith $\D, a
 a_sequence $\pi=(\pi_1,\pi_2,\dots)$_of multivariable coderivations $\pi_i$_on the_free_graded coalgebra_cogenerated_by $V$ shifted_with a rather_unusual coproduct using unshuffles_that preserve the_(last)_element. The sequence $\pi$ is to satisfy $[\pi,\pi]=0$.

Apparently this was defined first by Livernet_[@livernet:lodayinfty]_for right_-algebras,_later_independently in a different setting_by Ammar and Poncin [@ammar-poncin:lodayinfty]_with further_work by Peddie [@peddie:lodayinfty].

Derived brackets {#derived}
----------------

Kosmann-Schwarzbach defined *derived_brackets*_in 1996 [@yks:PtoG]:

\[derivedbracket\][@yks:PtoG]_If $(V, [~,~], D)$ is a graded differential Lie_or Loday algebra with a bracket_$[\,\ ]$of degree_$n$,_the_[*derived bracket*]{} of $[~,~]$_by $D$ is denoted $$[~,~]_D: V_\otimes V \to V$$ and defined_by \_D= (-1)\^[|a|+n+1]{} \[Da,b\]  , for $a$_and $b \in V$.

Often $D$ is_itself given as $D=[\D,\ _\ ]$_for an element $\D\in V$._In this generality,_the derived_bracket is graded_Loday and respected by the differential._To obtain a_differential graded Lie bracket, additional actions_are_necessary.

Continuing the iteration_of_Lie_brackets led_in 1996 to_Bering_defining *higher_BV_anti-brackets* in physics [@beringetal:hibrack]. Somewhat later,_independently_in math, T. Voronov defined *higher derived_brackets* [@tv:hiderived]. This was_followed_quickly by [@bering:brackets] and_further proliferation. Apparently the membrane_between math and physics is osmotic:_information travels_one way_faster than the other. The definition closest to my interests is:

*Higher_derived brackets* $$B^r_{\Delta}(a_1,\dots,a_r)$$ are defined as_$$[\dots [\,[\Delta,a_1],a_2],\dots,a_r]$$ where $(L,[-,-])$_is a_Lie_algebra with $\D,_a