Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

May 25, 2007

Derivation Lie 1-Algebras of Lie n-Algebras

Posted by Urs Schreiber

Here is a fact which should be important, but whose true meaning is not entirely clear to me at the moment:

To every Lie nn-algebra g (n)g_{(n)} is canonically associated an ordinary Lie algebra derivs(g (n))\mathrm{derivs}(g_{(n)}).

This Lie 1-algebra is, in some sense, a Lie 1-algebra of derivations of the Lie nn-algebra. But it is not the derivation Lie (n+1)(n+1)-algebra DER(g (n))\mathrm{DER}(g_{(n)}).

What is derivs(g (n))\mathrm{derivs}(g_{(n)}), conceptually?
Why does it exist, as an ordinary Lie algebra?
What is its analog at the level of Lie nn-groups?

Below I give the detailed description and mention applications where this is relevant.

For more details see section 3.3.1 of

Structure of Lie nn-Algebras

and section 5.3 of

Zoo of Lie nn-Algebras

(which has grown out of the original zoo).

The Definition

This is how to canonically associate a Lie 1-algebra to any Lie nn-algebra (it’s a perfectly standard construction in homological algebra, though not usually interpreted in terms of Lie nn-algebras):

Conceive the Lie nn-algebra as a free graded commutative algebra with a graded differential dd of degree 1 on it, such that d 2=0d^2 = 0. Then on the vector space of graded derivations τ\tau of degree -1 on the algebra we have the following Lie bracket [τ,τ ]:=L τ(τ), [\tau,\tau^'] := L_\tau(\tau') \,, where L τ:=[d,τ]L_\tau := [d,\tau] is the “Lie derivative” associated with τ\tau.


First Examples

I need to work out more examples. But it’s tedious. So far I have this:

1) Let g (1)g_{(1)} be an ordinary Lie algebra. Then it coincides with its own Lie algebra of derivations as defined above.


2) Let g (2)=(t:hg) g_{(2)} = (t : h \to g) be the Lie 2-algebra corresponding to an infinitesimal crossed module. Then for the above Lie 1-algebra associated with it I find this funny result:

As a vector space, it is g(g *h). g \oplus (g^* \otimes h) \,. This is equipped with a semidirect sum structure of Lie algebras:

The bracket on the first gg-summand is that of gg. The bracket on the summand (g *h)(g^* \oplus h) is given by [(α 1,b 1),(α 2,b 2)]=α 2(t(b 1))(α 1,b 2)α 1(t(b 2))(α 2,b 1) [(\alpha_1,b_1), (\alpha_2,b_2)] = \alpha_2(t(b_1))\, (\alpha_1, b_2) - \alpha_1(t(b_2))\, (\alpha_2, b_1) for all α ig *\alpha_i \in g^* and all b ihb_i \in h.

The action of gg on (g *h)(g^* \otimes h) is given by x((α,b)):=((ad x) *α,x(b)), x ((\alpha,b)) := ( (\mathrm{ad}_x)^* \alpha, x(b) ) \,, for all xgx \in g, αg *\alpha \in g^* and bhb \in h.


3) Let, for gg simple, g μg_\mu be the Baez-Crans Lie 2-algebra coming from the canonical 3-cocycle. Then the above Lie algebra is the direct sum Lie algebra g dim(g). g \oplus \mathbb{R}^{\mathrm{dim}(g)} \,.


Why I think understanding this is important

My motivation for looking into this is Castellani’s observation that there is a Lie 1-algebra of derivations of the supergravity Lie 3-algebra, which coincides with the famous “M-algebra” polyvector extension of the super-Poincaré Lie algebra.

Now, what Castellani does is not precisely what I consider above. Rather, he looks at something like derivations acting on connections with values in the Lie 3-algebra. But since it is still not entirely clear to me what the operation he uses really is, conceptually (in particular how it extends from generators to the entire differential algebra), I thought it would be worthwhile first considering the related problem described above.

In any case, there seems to be something going on here relating Lie algebra cocycles and Lie algebra extensions in two ways: extensions as Lie 1-algebras and extensions as Lie nn-algebras. Something important is going on, but it escapes me presently.


What does it correspond to at the level of Lie nn-groups?

The problem is that the Lie 1-algebras discussed here are obtained from the Lie nn-algebra in a non-conceptual manner: it so happens that it is convenient to compute with Lie nn-algebras by instead using the equivalent differential graded algebras. But then one runs the risk of performing steps whose categorical interpretation is not transparent. This is what is happening here.

So I started making educated guesses for what is going on. Before I computed the derivation Lie 1-algebra for the (t:hg)(t : h \to g) case I was sure I would simply get the Lie algebra of the Lie group of morphisms of the Lie 2-group coming from an integrating crossed module (HG)(H \to G). That would have been the Lie algebra of the semidirect product group HGH \ltimes G.

Clearly, this is not unrelated to the true result mentioned above, but still different from that.

So what’s going on?

Posted at May 25, 2007 1:58 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1287

8 Comments & 5 Trackbacks

Re: Derivation Lie 1-Algebras of Lie n-Algebras

If I understand correctly, a Lie n-algebra is just (the dual of) an FDA. An FDA is typically defined as a system of form equations w = 0, where w is some collection of forms, e.g. Castellani’s (3.1). The group of diffeomorphisms acts on w, and the diffeos which preserve the equation w = 0 is evidently a subgroup. Is not this what you have found?

One can quite generally describe Lie groups as subgroups of the diffeomorphism group which preserve some structure. E.g., the Poincare group preserves the length element ds^2, and the conformal group preserves the lightcone ds^2 = 0.

Posted by: Thomas Larsson on May 26, 2007 7:05 AM | Permalink | Reply to this

Re: Derivation Lie 1-Algebras of Lie n-Algebras

Larsson’s comments bring to mind a cultural difference, especially in the context of gravity. The mathematical study of Lie groups makes no reference to diffeomorphisms, though I guess the regular representation of a finite dim Lie group g could be regarded as acting by diffeomorphims of the underlying vector space with its standard smooth structure.

He also reminds us that the qFDA is often tought of as forms on some *unspecified* manifold, cf. the socalled soft group manifold.

Posted by: jim stasheff on May 27, 2007 1:29 PM | Permalink | Reply to this

Re: Derivation Lie 1-Algebras of Lie n-Algebras

Any finite-dimensional Lie algebra g can be embedded in the algebra vect(n) of vector fields in n dimensions, for suitable n. E.g., if g has a rep R with dim R = n, then g can be embedded in gl(n), which in turn can be embedded in vect(n). Take the gl(n) generators to be the vector fields Eij = xi d/dxj. But there are also other embeddings, e.g. the usual realization of so(d+1,1) as conformal transformations.

Posted by: Thomas Larsson on May 29, 2007 6:48 AM | Permalink | Reply to this

Re: Derivation Lie 1-Algebras of Lie n-Algebras

Any finite-dimensional Lie algebra gg can be embedded in the algebra vect(n)\mathrm{vect}(n) of vector fields

Okay. I am not sure yet if this helps answering the question, but it might be relevant.

But I should maybe emphasize the following: where I say “Lie derivative” in the above, I don’t necessarily mean the ordinary Lie derivative on vectors or differential forms.

Rather, I am using the obvious generalized version:

- for any differential graded commutative algebra, with the differential dd of degree +1 (which might be that of differential forms on some space, but need not),

- and for every degree -1 derivation τ\tau on that (which might be the interior product of differential forms with vectors, but need not),

- we can form the degree 0 derivation L τ:=[d,τ]. L_\tau := [d,\tau] \,.

This I call the Lie derivative coming from τ\tau, since in the case where the algebra is that of differential forms, dd is the deRham differenmtial and τ=ι v\tau = \iota_v is contraction with a vector field vv, we obtain the ordinary Lie derivative L τ=L v L_\tau = L_v along vv, acting on differential forms.

These Lie derivatives always form a Lie algebra since their bracket closes: if L τL_\tau and L τL_{\tau'} are Lie derivatives, then their commutator [L τ,L τ]=L τL τL τL τ [L_\tau, L_{\tau'}] = L_\tau \circ L_{\tau'} - L_{\tau'} \circ L_{\tau} is again of the form [d,τ][d,\tau''], for some degree -1 derivation τ\tau''.

This is true whether or not we restrict to the special ordinary case of differential forms and contractions. It is a general construction which works for every differential graded commutative algebra.

And when that algebra is the dual of a Lie algebra, there is also no mystery what this construction amounts to.

But in the case where that differential graded algebra is of the form ( V *,d)(\wedge^\bullet V^*, d) with VV a graded vector space which is nontrivial in degrees higher than 1, the construction still works. But since such differential algebras can be interpreted as higher Lie algebras, I now find it a little surprising that I still obtain a Lie 1-algebra by the above construction.

I mean, technically it is clear that the above always yields a Lie algebra of (generalized) Lie derivatives. I would like to understand this conceptually: in terms of Lie nn-algebras: what is this Lie 1-algebra of derivations, conceptually?

That’s what puzzles me.

Posted by: urs on May 29, 2007 3:08 PM | Permalink | Reply to this

Re: Derivation Lie 1-Algebras of Lie n-Algebras

As Jim indicates, there are at least two issues here:

the first is: mostly (but not always!) in literature such as that of the school which that Castellani paper originates in, what is actually considered is not the “FDA” g (n) * g_{(n)}^* itself (Jim rightly emphasizes that it must be called quasi-free differential graded commutative algebra “qfDGCA”, instead, where “quasi-free” means free as a graded commutative algebra but not necessarily as a differential algebra), but rather the space of (flat) connections with values in this, namely morphisms f *:(g (n)) *Ω (X). f^* : (g_{(n)})^* \to \Omega^\bullet(X) \,. In this case it makes sense to ponder the action of diffeomorphisms on XX.

But right at the moment, as I mentioned above, I would like to concentrate on just g (n)g_{(n)} itself.

Secondly, to emphasize the main point, I should maybe have phrased my question more generally:

for any qfDGCA, the space of derivations on it of degree 0 form a Lie algebra.

(Above I concentrated on certain “inner” derivations, those that are of the form [d,τ][d,\tau], for τ\tau a derivation of degree -1.)

What I find puzzling is that these always form a Lie algebra. A Lie 1-algebra, that is.

It is much easier to understand why derivations (of non-positive degree) of a qfDGCA which is concentrated in the first nn-degree form a Lie (n+1)(n+1)-algebra, and hence themselves as qfDGCA concentrated in the first n+1n+1 degrees.

So the real point of the question is to understand from the conceptual Lie nn-algebra level why we have a Lie 1-algebra of 0-degree derivations for every Lie nn-algebra.

I am still not sure what is going on here.

Posted by: urs on May 28, 2007 4:51 PM | Permalink | Reply to this

Re: Derivation Lie 1-Algebras of Lie n-Algebras

I believe I found the answer.

Recall, the puzzle was the following:

to every Lie nn-algebra is canonically associated an ordinary Lie algebra (“Lie 1-algebra”). Which role does this play? What is the relation of the corresponding Lie group to the corresponding Lie nn-group?

The conjectured solution.

There are actually sufficiently many hints available to make the answer obvious.

Hint 1) How do we get something strict (an ordinary Lie algebra) from something arbitrarily weak (a general Lie nn-algebra). Well, no matter what kind of weak nn-categories one considers, what is always strict is composition of nn-functors – bcause no matter what, this is just composition of maps.

So if we get a Lie algebra for every Lie nn-algebra, chances are that it is the Lie algebra of a Lie group whose elements are nn-functors on our Lie nn-algebra and whose product is just composition of these.

Hint 2) In my second example discussed above, I notice that in the case the n=2n=2 and we are talking about the Lie 2-algebra g (2)g_{(2)} coming from a differential crossed module (t:hg)(t : h \to g) of Lie algebras gg and hh, the corresponding Lie 1-algebra we are after is defined on the vector space g(g *h). g \oplus (g^* \otimes h) \,. Now, gg is the space of objects of g (2)g_{(2)} while hh is the space of morphisms which start at the 0-object.

So this tells us that the Lie algebra is one generated from objects of g (2)g_{(2)} and from maps f:gh f : g \to h which assign a morphism starting at the 0-object to every object.

Pondering this for a moment, an obvious answer arises:

I believe the Lie algebra here is that of the Lie 1-group Conj(G (2)) Conj(G_{(2)}) associated with the strict Lie 2-group G (2)G_{(2)} whose objects are automorphisms f:Obj(G (2))Mor(G (2)) f : \mathrm{Obj}(G_{(2)}) \to \mathrm{Mor}(G_{(2)}) which arise

- either from conjugating horizontally with a 1-morphism in Σ(G (2))\Sigma(G_{(2)})

( g h g)( g q h q 1 g) \left( \array{ & \nearrow\searrow^g \\ \bullet &\Downarrow^h& \bullet \\ & \searrow\nearrow_{g'} } \right) \mapsto \left( \array{ &&& \nearrow\searrow^g \\ \bullet &\stackrel{q}{\to}& \bullet &\Downarrow^h& \bullet &\stackrel{q^{-1}}{\to}& \bullet \\ &&& \searrow\nearrow_{g'} } \right)

-or from conjugating vertically (g h g)(t(f(g) 1)g f(g) 1 g h g f(g) t(f(g))g) \left( \array{ g \\ \downarrow^{h} \\ g' } \right) \mapsto \left( \array{ t(f(g)^{-1})g \\ \downarrow^{f(g)^{-1}} \\ g \\ \downarrow^{h} \\ g' \\ \downarrow^{f(g')} \\ t(f(g'))g' } \right)

- or from an operation generated from these two basic operations.

Notice that this are the obvious two ways of “conjugating” in a 2-group. Also notice the crucial difference to the “inner automorphism 3-groupINN(G 2). \mathrm{INN}(G_2) \,. This comes from all the horizontal conjugations only (!) but together with all transformations and modifications on these. This procedure produces an (n+1)(n+1)-group INN(G (2))\mathrm{INN}(G_{(2)}) of inner automorphisms from any nn-group G (n)G_{(n)}.

Here, instead, for forming the (1-)group Conj(G (n))\mathrm{Conj}(G_{(n)}), we allow conjugations not just horizontally, but in all possible directions – but don’t care about the transformations and other higher morphisms between these (well, of course we could and should eventually, but this I won’t discuss right now).

It is easy to compute what the group Conj(G (2))\mathrm{Conj}(G_{(2)}) looks like for any strict 2-group G (2)G_{(2)}. I haven’t yet completely computed the Lie algebra obtained from that, being lazy, but one can clearly see that it will be of the kind I described in the second example of the above entry.

A possible application

Maybe I should mention why I am interested in this. This goes back to something that Jim Stasheff made me think about:

on a principal GG-bundle PP with right GG-action R:P×GP R : P \times G \to P we have an induced action of the Lie algebra g=Lie(G)g = \mathrm{Lie}(G), coming from a morphism of Lie algebras R *:gΓ(TP). R_* : g \to \Gamma(T P) \,. This action is what crucially enters the definition of a Cartan connection form on PP.

This is nice, because it gives a way to think of connections on principle bundles entirely in the world of Lie algebras.

Maybe we want to category this description.

So given a principal 2-bundle p:PX p : P \to X (and, yes, now I do need the total space of the 2-bundle, even though I recently ranted “against total spaces”) with a right principal action R:P×G (2)P R : P \times G_{(2)} \to P what would be a “Cartan 2-connection” on the total space PP? What would be the analog of the differential action gΓ(TP)g \to \Gamma(T P) from the 1-Cartan case?

In principle this is a straightforward matter, I think: pull the 2-bundle back to its own space of morphisms, there trivialize it canonically, obtain the differential cocycle description of a 2-connection with respect to this chosen trivialization, then differentiate everything with respect to the G (2)G_{(2)}-action.

While straightforward, this is immensely tedious (unless there is some shortcut which I am missing).

So I am currently trying to guess the right answer. I have reasons to believe that in the definition of a “Cartan 2-connection” the action gΓ(TP)g \to \Gamma(T P) is replaced by an action derivs(g (2))Γ(TMor(P)), \mathrm{derivs}(g_{(2)}) \to \Gamma(T \mathrm{Mor}(P)) \,, where derivs(g (2))=(g(g *h)) \mathrm{derivs}(g_{(2)}) = (g \oplus (g ^* \otimes h)) is the Lie 1-algebra associated with the structure Lie 2-algebra g (2)=Lie(G (2))g_{(2)} = \mathrm{Lie}(G_{(2)}) which I keep talking about.

Posted by: urs on May 30, 2007 10:29 AM | Permalink | Reply to this

Conjugation (n+1)-groups

Here is a more readable depiction of the two different conjugation automorphisms of a 2-group:

It is only the horizontal conjugation which strictly deserves to be called conjugation (hence “inner automorphism”) since this comes from the product functor on the 2-group.

In a double category setup the “vertical conjugation” would be entirely on the same footing as the horizontal conjugation. Here it plays a slightly different role.

One way to think of these vertical conjugations by maps f:Obj(G (2))Mor(G (2)) f : \mathrm{Obj}(G_{(2)}) \to \mathrm{Mor}(G_{(2)}) is as transformations starting at the identity on G (2)G_{(2)}: Id G (2) f G (2) . \array{ & \nearrow\searrow^{\mathrm{Id}} \\ G_{(2)} &\Downarrow f& G_{(2)} \\ & \searrow\nearrow } \,.

Question: Can anyone tell me what the right canonical terminology would be for the sub 3-group of Aut 2Cat(ΣG (2))\mathrm{Aut}_{2\mathrm{Cat}}(\Sigma G_{(2)}) which contains only automorphisms generated from horizontal and vertical conjugations as above?

I am already using INN(G (2))Aut 2Cat(ΣG (2)) \mathrm{INN}(G_{(2)}) \subset \mathrm{Aut}_{2\mathrm{Cat}}(\Sigma G_{(2)}) for that 3-group coming only from the horizontal conjugations.

Should I instead better be using the “inner” terminology for the full thing? Above I argued that, strictly speaking, only horizontal composition is an “inner” automorphism for the 2-group.

What other terminology would suggest itself?

Posted by: urs on May 30, 2007 12:30 PM | Permalink | Reply to this

Re: Conjugation (n+1)-groups

I wrote:

What other terminology would suggest itself?

I’d still be interested if anyone has an opinion on this. But I should maybe point out that the issue is actually slightly more general, in the following sense.

For any given nn-group G (n)G_{(n)}, we have an entire chain of inclusions of (n+1)(n+1)-groups

INN 1(G (n))INN 2(G (n))INN n(G (n))AUT(G (n)). \mathrm{INN}_1(G_{(n)}) \subset \mathrm{INN}_2(G_{(n)}) \subset \cdots \subset \mathrm{INN}_n(G_{(n)}) \subset \mathrm{AUT}(G_{(n)}) \,.

Here INN k(G (n))INN_k(G_{(n)}) is that sub (n+1)(n+1)-group of AUT(G (n))\mathrm{AUT}(G_{(n)}) whose objects come from conjugation with jj-morphisms as described above, for jk. j \leq k \,. So the “true” inner automorphism (n+1)(n+1)-group is the first in this chain:

INN(G (n))=INN 1(G (n)), \mathrm{INN}(G_{(n)}) = \mathrm{INN}_1(G_{(n)}) \,, where we conjugate only with 1-morphisms in ΣG (n)\Sigma G_{(n)}.

Moreover, the Lie (n+1)(n+1)-group which I claimed solves the puzzle I discussed in the above entry is Conj(G (n))=INN n(G (n)). \mathrm{Conj}(G_{(n)}) = \mathrm{INN}_n(G_{(n)}) \,.

Accordingly, one can define for any Lie nn-algebra g (n)g_{(n)} the chain of inclusions of Lie (n+1)(n+1)-algebras

inn 1(g (n))inn 2(g (n))inn n(g (n))DER(g (n)). \mathrm{inn}_1(g_{(n)}) \subset \mathrm{inn}_2(g_{(n)}) \subset \cdots \subset \mathrm{inn}_n(g_{(n)}) \subset \mathrm{DER}(g_{(n)}) \,.

Here inn k(g (n))\mathrm{inn}_k(g_{(n)}) is defined to come from those degree 0 derivations LL on the corresponding dual differential algebra, which are “Lie derivatives” L=[d,ι] L = [d,\iota] (compare the comment above concerning the notion of “Lie derivative” here) for ι\iota a derivation (necessarily of degree -1) such that ι(ω)=0 \iota(\omega) = 0 when ω\omega is homogenous and of degree |ω|>k|\omega| \gt k.

This is now the terminology used in section 3.2 of Structure of Lie nn-algebras.

Posted by: urs on May 30, 2007 3:17 PM | Permalink | Reply to this
Read the post What is a Lie derivative, really?
Weblog: The n-Category Café
Excerpt: On the arrow-theory behind Lie derivatives.
Tracked: May 31, 2007 11:28 AM
Read the post The second Edge of the Cube
Weblog: The n-Category Café
Excerpt: Differentiating parallel transport anafunctors to Cartan-Ehresmann connections.
Tracked: May 31, 2007 9:46 PM
Read the post Polyvector Super-Poincaré Algebras
Weblog: The n-Category Café
Excerpt: Superextension of Poincare algebras and how these give rise to brane charges.
Tracked: June 14, 2007 5:16 PM
Read the post The Inner Automorphism 3-Group of a Strict 2-Group
Weblog: The n-Category Café
Excerpt: On the definition and construction of the inner automorphism 3-group of any strict 2-group, and how it plays the role of the universal 2-bundle.
Tracked: July 5, 2007 11:00 AM
Read the post Arrow-Theoretic Differential Theory, Part II
Weblog: The n-Category Café
Excerpt: A remark on maps of categorical vector fields, inner derivations and higher homotopies of L-infinity algebras.
Tracked: August 8, 2007 10:50 PM

Post a New Comment