2

If we have a Lie algebra $\mathfrak{g}$ over a field $k$ with a Lie bracket $[-,-]$, then is there a way how we can restrict/change the Lie bracket?

For example, if I think about Lie algebra $\mathfrak{g}$ as a $k$-algebra $\mathfrak{g}$ with a $k$-linear map $[-,-]:\mathfrak{g}\otimes \mathfrak{g}\to \mathfrak{g}$ that factors through $\wedge^2 \mathfrak{g}$ i.e. we have that $$\mathfrak{g}\otimes \mathfrak{g}\to\wedge^2 \mathfrak{g}\to \mathfrak{g}.$$ Then can I reassign the Lie bracket by just doing $$\mathfrak{g}\otimes \mathfrak{g}\to\wedge^2 \mathfrak{g}\to \mathfrak{g}\to \mathfrak{g}$$ where the last map is the linear map $R:\mathfrak{g}\to \mathfrak{g}$ with certain conditions.

I hope that makes sense.

user89898989
  • 351
  • 1
  • 9
  • 2
    You can restrict the Lie bracket in the normal sense of restricting it to a subspace. As to just postcomposing with a linear map, in general this won't produce a valid Lie bracket. A few exceptions are if R is an automorphism we will get a new Lie bracket isomorphic to the old. Or if R is the zero map we will get an abelian Lie bracket. Note we are limited by the old lie bracket here in the sense that the derived algebra cannot get bigger. – Callum Dec 14 '21 at 06:26
  • 1
    Is the question in some way connected to this one, posted at the same time? – Dietrich Burde Dec 14 '21 at 17:58
  • @Callum, thank you, that makes sense! – user89898989 Dec 14 '21 at 19:25
  • Additionally to what @Callum writes, I think even if $R$ is an automorphism (of vector spaces), the postcomposition of a Lie bracket with $R$ will not in general satisfy Jacobi. For example, take $\mathfrak{sl}_2(\mathbb C)$ with standard basis $e,f,h$ and let $R: h \mapsto h, e \mapsto e, f\mapsto af$ with any $a \neq 1,0$. (The "right" thing to do if one has a vector space automorphism $u$ is to "conjugate" with it, as in YCor's answer.) – Torsten Schoeneberg Dec 14 '21 at 23:12
  • It might be a curious question what exact conditions on $R$ would guarantee that postcomposition with it gives out a Lie bracket. An easy example is multiplication with any scalar. – Torsten Schoeneberg Dec 14 '21 at 23:13

1 Answers1

3

I'll not literally answer the question.

Start from a Lie bracket $[\cdot,\cdot]$ on some, say, $n$-dimensional space, defining a Lie algebra $\mathfrak{g}$. Question: what is a Lie bracket $[\cdot,\cdot]'$ "very near" $[\cdot,\cdot]$?

If we forget the Jacobi identity, i.e., only consider skew-symmetric brackets, there is nothing mysterious: the set of skew-symmetric brackets is a linear space (of dimension $n^2(n-1)/2$).

Let's thus write $[\cdot,\cdot]'=[\cdot,\cdot]+tb(\cdot,\cdot)$. (This is some kind of "physicist" heuristics.) And think of $t$ as a very small scalar.

Now assume that $[\cdot,\cdot]'$ also satisfies Jacobi. Then expanding, the constant terms in $t$ vanish, the main term is in $t$ and we remove the term in $t^2$: the condition is $$\sum_{i=0}^2 b(x_i,[x_{i+1},x_{i+1}])+[x_0,b(x_{i+1},x_{i+2})]=0$$ for all $x_0,x_1,x_2$, where indices are meant modulo 3. This is a linear condition on $b$. The set of $b$ satisfying this conditions is denoted $B^2(\mathfrak{g},\mathfrak{g})$. Call these "cocycles".

Another heuristic: what is a "stupid" way to deform $\mathfrak{g}$. Namely, we can conjugate the bracket by a linear automorphism $u$ (which yields another bracket, unless the linear automorphism is a Lie algebra automorphisms). That is, one considers the new bracket $(x,y)\mapsto u^{-1}([u(x),u(y)]$. Let's do this with an automorphism close to the identity, say, $\mathrm{Id}+tM$. Clearing terms in $O(t^2)$, one gets $$(x,y)\mapsto (\mathrm{Id}-tM)[x+tMx,y+tMy])=[x,y]+t([Mx,y]+[x,MY]-M[x,y]).$$ And one sees that $(x,y)\mapsto [Mx,y]+[x,MY]-M[x,y]$ is indeed a cocycle. The cocycles of this special form (for some linear endomorphism $M$) are called coboundaries, and form a subspace of the space of cocycles. The quotient space cocycles/coboundaries is a cohomology space called $H^2(\mathfrak{g},\mathfrak{g})$. It can be quite efficiently computed by a computer from the structure constants if $n$ is reasonable (e.g., $n=50$).

Heuristically, this space is the tangent space of the space of brackets modulo linear automorphism group. There are results in the direction of making this rigorous, e.g. in Vergne's PhD (this paper, in French https://eudml.org/doc/87158).

Things are not as nice as we could: given a cocycle, it is not always true that we can "integrate" it into a deformation: notably when $\mathfrak{g}$ is abelian (in which being a cocycle is an empty condition) this often fails. Still there are positive results. For instance, when $\mathfrak{g}$ is semisimple, this cohomology space is zero, and indeed every small deformation is "trivial".

YCor
  • 17,878