next | previous | forward | backward | up | top | index | toc | Macaulay2 website
GradedLieAlgebras :: decompose(LieAlgebra)

decompose(LieAlgebra) -- compute the ideal associated to an arrangement or matroid



This gives the kernel of the Lie homomorphism from [$L,L$] to the direct sum of [$L_i,L_i$], where $L_i$ is the Lie subalgebra generated by the $i$th subset in the input for the holonomy Lie algebra $L$; see holonomyLocal. The ideal is generated by the basis elements in degree 3 of the form (x y z), where not all x,y,z belong to the same $L_i$. The ideal is zero if and only if $L$ decomposes into the direct sum of the local Lie subalgebras $L_i$ in degrees $\ge \ 2$.

i1 : L=holonomy({{a0,a1,a2},{a0,a3,a4},{a1,a3,a5},{a2,a4,a5}})

o1 = L

o1 : LieAlgebra
i2 : I=decompose L

o2 = I

o2 : FGLieIdeal
i3 : dims(1,4,I)

o3 = {0, 0, 2, 9}

o3 : List
i4 : basis(3,I)

o4 = {(a5 a4 a3), (a4 a5 a3)}

o4 : List

See also