KostantCodifferential - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Mozilla Firefox.

Online Help

All Products    Maple    MapleSim


LieAlgebras[KostantCodifferential] - calculate the Kostant co-differential of a p-form or a list of p-forms defined on a nilpotent Lie algebra with coefficients in a representation

LieAlgebras[KostantLaplacian] - calculate the Kostant Laplacian of a form defined on a nilpotent Lie algebra with coefficients in a representation

Calling Sequences

   KonstantCodifferential(ω, B,invB)

   KostantLaplacian(ω,B,invB, method)

Parameters

     ω         - a form defined on a nilpotent Lie algebra with coefficients in a representation V

     B         - (optional) the Killing form for the associated semi-simple Lie algebra

     invB      - (optional) the inverse of the Killing form

     method    - with the keyword argument method = "LieDerivative", the Kostant Laplacian is computed in terms of the Lie derivative operator

 

 

Description

Examples

Description

• 

Let 𝔤 be a semi-simple Lie algebra and let V be a representation space for 𝔤. Fix a grading of 𝔤 :

𝔤 = 𝔤−k ⊕ 𝔤−k+1⊕⋅⋅⋅⊕𝔤0⋅⋅⋅⊕𝔤k −1⊕𝔤k  and let   𝔤−= 𝔤−k ⊕ 𝔤−k+1⊕⋅⋅⋅⊕𝔤−1 and 𝔭= 𝔤0⊕⋅⋅⋅⊕ 𝔤k −1⊕𝔤k .

 

Such gradings can be systematically constructed using the command GradeSemiSimpleLieAlgebra. The Lie algebra 𝔤− is nilpotent and the representation V for 𝔤 restricts to give a representation space for 𝔤−. The commands Representation and RestrictedRepresentation can be used to create these representations for 𝔤 and 𝔤−.

• 

 Now let Λp𝔤−, V denote the space of p-forms on 𝔤− with coefficients in V. If ω ∈ Λp𝔤−, V and X1, ..., Xp are vectors in 𝔤−, then ω X1, ..., Xp ∈ V. The spaces Λp𝔤−, V can be constructed using the command DGsetup and RelativeChains. The exterior derivative defines a mapping d :Λp𝔤−, V → Λp+1𝔤−, V while the Kostant co-differential is a map d*:Λp𝔤−, V → Λp−1𝔤−, V.

• 

The Kostant co-differential is easily defined in terms of the general Codifferential operator ∂. Let α ∈ Λp𝔤−, V and let X=α+be the degree p multi-vector obtained by raising the indices of the form α using the inverse of the Killing metric for 𝔤. Take the co-differential of X to obtain the multi-vector ∂X of degree p−1 and use the Killing form to lower the indices of ∂X to obtain a form. This is the Kostant co-differential of α, that is,

d*α = ∂α+−.

• 

The command PositiveDefiniteMetricOnRepresentationSpace can be to used to construct positive definite inner products on 𝔤 and on V such that the Kostant co-differential is the adjoint of the exterior derivative operator with respect to the induced inner product ⋅, ⋅ on Λp𝔤−, V, that is,

d*α, β = α, dβ for all α ϵ Λp𝔤−, V and β ϵ Λp−1𝔤−, V.

• 

The Kostant Laplacian is the map Δ:Λp𝔤−, V → Λp𝔤−, V defined by

Δ = d d* + d*d .

• 

The Kostant co-differential and Kostant Laplacian are very useful for the explicit calculation of the Lie algebra cohomology of the complex Λp𝔤−, V as

Hp𝔤−, V = ker d ∩ ker d* = ker Δ

This is generally a much faster way to calculate these cohomology spaces than with a direct calculation using the command Cohomology. See also the command DGNullSpace.

• 

The optional arguments (Killing form and inverse Killing form) for KostantCodifferential and KostantLaplacian dramatically improve the computational efficiency of these commands.

• 

The formula for the Kostant Laplacian in terms of the Lie derivative is as follows. First pick a basis ζ𝓁 for 𝔤 which is adapted to the decomposition 𝔤 = 𝔤− ⊕ 𝔭. Let ηk be the dual basis for defined with respect to the Killing form B, that is, B(ηk , ζ𝓁 )=δk 𝓁. . Then

Δ = −12∑ℓ Lη𝓁V Lζ𝓁V − 12 ∑𝓁: ζ𝓁 ϵ 𝔤−Lη𝓁 Lζ𝓁 + 12 ∑𝓁: ζ𝓁 ϵ 𝔭Lη𝓁 Lζ𝓁 .

While this formula has important theoretical implications, it is used here primary as a consistency check on the software implementation of the Kostant Laplacian.

Examples

 

> 

restart:with⁡DifferentialGeometry:with⁡Tensor:with⁡LieAlgebras:

 

In this series of examples and applications we shall work with a 3-step graduation of the 10-dimensional real symplectic Lie algebra sp4, Rwith coefficients in the adjoint representation.The following steps are needed to create the environment for defining the Kostant codifferential and the Kostant Laplacian.

 

1. 

 Use the command SimpleLieAlgebraData and DGsetup to initialize a simple Lie algebra 𝔤.

2. 

 Use the command SimpleLieAlgebraProperties to retrieve the simple roots of 𝔤 . Use the command GradeSemiSimpleAlgebra to construct a gradation of 𝔤.

3. 

 Initialize the Lie algebras 𝔤 and 𝔤−.

4. 

 Use the commands StandardRepresentation, Adjoint, Representation etc. to make a representation V of 𝔤 . Use the RestrictedRepresentation command to restrict the representation of 𝔤 on V to 𝔤−

5. 

 Initialize the Lie algebra of 𝔤 with coefficients in V. Initialize the Lie algebra of 𝔤− with coefficients in V.

 

Step 1. Use the command SimpleLieAlgebraData to retrieve the structure equations for sp4, R. Initialize this Lie algebra.

> 

LD≔SimpleLieAlgebraData⁡sp(4, R),alg

LD≔e1,e2=e2,e1,e3=−e3,e1,e5=2⁢e5,e1,e6=e6,e1,e8=−2⁢e8,e1,e9=−e9,e2,e3=e1−e4,e2,e4=e2,e2,e6=2⁢e5,e2,e7=e6,e2,e8=−e9,e2,e9=−2⁢e10,e3,e4=−e3,e3,e5=e6,e3,e6=2⁢e7,e3,e9=−2⁢e8,e3,e10=−e9,e4,e6=e6,e4,e7=2⁢e7,e4,e9=−e9,e4,e10=−2⁢e10,e5,e8=e1,e5,e9=e2,e6,e8=e3,e6,e9=e1+e4,e6,e10=e2,e7,e9=e3,e7,e10=e4

(2.1)
> 

DGsetup⁡LD,U,υ

Lie algebra: alg

(2.2)

 

 Step 2. Various properties of the classical Lie algebras are available with the command SimpleLieAlgebraProperties. We need the simple roots here.

alg > 

Properties≔SimpleLieAlgebraProperties⁡alg:

alg > 

Δ0≔PropertiesSimpleRoots

Δ0≔1−1,02

(2.3)

 

Every subset of the simple roots of a Lie algebra defines a grading of that algebra. Here we use all the roots of sp4, R to obtain a 2-step gradation with the command GradeSemiSimpleLieAlgebra.

alg > 

G≔GradeSemiSimpleLieAlgebra⁡Δ0,Properties

G≔table⁡−1=U3,U10,0=U1,U4,−2=U9,1=U2,U7,−3=U8,2=U6,3=U5

(2.4)

 

Step 3. Note that the vectors U8, U9, U3, U10 define the negative part of sp4, R with respect to the chosen grading. The next step is to introduce a new basis for alg adapted to the grading. We call sp4, R in this new basis sp4 and we call the negatively graded part N.

The negatively graded component N is always nilpotent. With the following calling sequence LieAlgebraData returns the structure equations for sp4, the structure equations for N, and the basis of our original algebra, adapted to the grading, and a basis for N.

alg > 

LD1,LD2,B1,B2≔LieAlgebraData⁡G,sp4,negative,N,output=basis

LD1,LD2,B1,B2≔e1,e5=2⁢e1,e1,e7=e2,e1,e9=−e3,e1,e10=−e5,e2,e3=2⁢e1,e2,e5=e2,e2,e6=e2,e2,e7=2⁢e4,e2,e8=−e3,e2,e9=−e6−e5,e2,e10=−e7,e3,e4=−e2,e3,e5=e3,e3,e6=−e3,e3,e7=e6−e5,e3,e9=2⁢e8,e3,e10=e9,e4,e6=2⁢e4,e4,e8=−e6,e4,e9=−e7,e5,e7=e7,e5,e9=e9,e5,e10=2⁢e10,e6,e7=−e7,e6,e8=2⁢e8,e6,e9=e9,e7,e8=e9,e7,e9=2⁢e10,e2,e3=2⁢e1,e3,e4=−e2,U8,U9,U3,U10,U1,U4,U2,U7,U6,U5,U8,U9,U3,U10

(2.5)

Initialize the Lie algebras sp4 and N.

alg > 

DGsetup⁡LD1

Lie algebra: sp4

(2.6)
sp4 > 

DGsetup⁡LD2

Lie algebra: N

(2.7)

 

Step 4. Now we are ready to define the adjoint representation for sp4 and its restriction to N. Since sp4 is 10-dimensional, we need a 10-dimensional representation space. Call it V.

N > 

DGsetup⁡x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,V,grading=−3,−2,−1,−1,0,0,1,1,2,3

frame name: V

(2.8)

 

The command Adjoint gives the adjoint representation for sp4.

V > 

ρ1≔Adjoint⁡sp4,representationspace=V

ρ1≔e1,0000200000000000100000000000−100000000000000000000−100000000000000000000000000000000000000000000000000,e2,002000000000001100000000000−100000000200000000000−1000000000−10000000000−1000000000000000000000000000000,e3,0−200000000000−100000000001−100000000000000000000−100000000010000000000000000000002000000000010000000000,e4,000000000000100000000000000000000002000000000000000000000−10000000000−10000000000000000000000000000000,e5,−20000000000−10000000000−100000000000000000000000000000000000000000001000000000000000000000100000000002,e6,00000000000−1000000000010000000000−200000000000000000000000000000000−1000000000020000000000100000000000,e7,0000000000−100000000000000000000−200000000001000000000−100000000000−110000000000000000000001000000000020,e8,000000000000000000000100000000000000000000000000000001000000000000000000000−20000000000−10000000000000,e9,000000000000000000001000000000000000000001000000000100000000000100000000−200000000000−1−10000000000−2000,e10,0000000000000000000000000000000000000000100000000000000000000100000000000000000000−100000000000−200000

(2.9)

 

The command RestrictedRepresentation gives the restriction of the adjoint representation for sp4, R to the subalgebra N. (The following calling sequence assumes that the first 4 vectors in the given basis define the subalgebra N. )

sp4 > 

ρ2≔RestrictedRepresentation⁡ρ1,N

ρ2≔e1,0000200000000000100000000000−100000000000000000000−100000000000000000000000000000000000000000000000000,e2,002000000000001100000000000−100000000200000000000−1000000000−10000000000−1000000000000000000000000000000,e3,0−200000000000−100000000001−100000000000000000000−100000000010000000000000000000002000000000010000000000,e4,000000000000100000000000000000000002000000000000000000000−10000000000−10000000000000000000000000000000

(2.10)

 

Step 5. Initialize the Lie algebra sp4, R with coefficients in the adjoint representation. Call it sp4V and label the basis vectors X1, ... , X8 and the basis 1-forms ξ1, ... , ξ8.

N > 

DGsetup⁡ρ1,sp4V,X,ξ

Lie algebra with coefficients: sp4V

(2.11)

 

Initialize the Lie algebra N with coefficients in the adjoint representation of sp4, R. Call it NV and label the basis vectors O1, ... , O4 and the basis 1-forms o1, ... ,o4. As described above the Kostant codifferential uses the embedding of N in sp4V. This information is provided by the keyword argument ambientalgebra.

sp4V > 

DGsetup⁡ρ2,NV,O,o,ambientalgebra=sp4V

Lie algebra with coefficients: NV

(2.12)

 

Example 1.

Here are some sample calculations of the Kostant co-differential.

NV > 

α≔evalDG⁡x1⁢o2

α≔x1⁢o2

(2.13)
NV > 

KostantCodifferential⁡α

x312

(2.14)
NV > 

β≔evalDG⁡x3⁢o2&wo3

β≔x3⁢o2⁢⋀⁢o3

(2.15)
NV > 

KostantCodifferential⁡β

−x312⁢o1−x512−x612⁢o2−x86⁢o3

(2.16)

 

Let's do this last calculation directly from the definition. For this we need the Killing form and its inverse.

NV > 

B≔KillingForm⁡sp4V

B≔6⁢ξ1⁢ξ10+12⁢ξ2⁢ξ9+12⁢ξ3⁢ξ7+6⁢ξ4⁢ξ8+12⁢ξ5⁢ξ5+12⁢ξ6⁢ξ6+12⁢ξ7⁢ξ3+6⁢ξ8⁢ξ4+12⁢ξ9⁢ξ2+6⁢ξ10⁢ξ1

(2.17)
NV > 

invB≔InverseMetric⁡B

invB≔16⁢X1⁢X10+112⁢X2⁢X9+112⁢X3⁢X7+16⁢X4⁢X8+112⁢X5⁢X5+112⁢X6⁢X6+112⁢X7⁢X3+16⁢X8⁢X4+112⁢X9⁢X2+16⁢X10⁢X1

(2.18)

 

Re-define β as a form on sp4R.

sp4V > 

β1≔evalDG⁡x3⁢ξ2&wξ3

β1≔x3⁢ξ2⁢⋀⁢ξ3

(2.19)

 

Use the inverse of the Killing form to convert β to a multi-vector X:

sp4V > 

X≔RaiseLowerIndices⁡invB,β1,1,2

X≔−x3144⁢X7⁢⋀⁢X9

(2.20)

 

Take the co-differential of X.

sp4V > 

Y≔Codifferential⁡X

Y≔−x872⁢X7−x5144−x6144⁢X9−x372⁢X10

(2.21)

 

Lower the indices of Y with the Killing form.

sp4V > 

RaiseLowerIndices⁡B,Y,1

−x312⁢ξ1−x512−x612⁢ξ2−x86⁢ξ3

(2.22)

 

Example 2.

The square of the Kostant co-differential vanishes.

NV > 

α2≔evalDG⁡x3⁢o1&wo2&wo3

α2≔x3⁢o1⁢⋀⁢o2⁢⋀⁢o3

(2.23)
NV > 

β2≔KostantCodifferential⁡β

β2≔−x312⁢o1−x512−x612⁢o2−x86⁢o3

(2.24)
sp4V > 

KostantCodifferential⁡β2

0

(2.25)

 

Example 3.

We check that the Kostant co-differential is the adjoint of the exterior derivative. Here are the inner products we need (See PositiveDefiniteMetricOnRepresentationSpace) . 

sp4 > 

g≔evalDG⁡6⁢o1&to1+12⁢o2&to2+12⁢o3&to3+6⁢o4&to4

g≔6⁢o1⁢o1+12⁢o2⁢o2+12⁢o3⁢o3+6⁢o4⁢o4

(2.26)
sp4 > 

gV≔evalDG⁡dx1&tdx1+2⁢dx2&tdx2+2⁢dx3&tdx3+dx4&tdx4+2⁢dx5&tdx5+2⁢dx6&tdx6+2⁢dx7&tdx7+dx8&tdx8+2⁢dx9&tdx9+dx10&tdx10

gV≔dx1⁢dx1+2⁢dx2⁢dx2+2⁢dx3⁢dx3+dx4⁢dx4+2⁢dx5⁢dx5+2⁢dx6⁢dx6+2⁢dx7⁢dx7+dx8⁢dx8+2⁢dx9⁢dx9+dx10⁢dx10

(2.27)
sp4 > 

α3≔evalDG⁡x3⁢o1&wo2

α3≔x3⁢o1⁢⋀⁢o2

(2.28)
NV > 

β3≔evalDG⁡x8&wedgeo1

β3≔x8⁢o1

(2.29)

 

Here is the left-hand side of the adjoint equation.

NV > 

FormInnerProduct⁡g,gV,KostantCodifferential⁡α3,β3

136

(2.30)

 

Here is the right-hand side of the adjoint equation.

NV > 

FormInnerProduct⁡g,gV,α3,ExteriorDerivative⁡β3

136

(2.31)

 

We can easily check the adjoint equation for lists of forms. We use the command RelativeChains to generate lists of forms. For this example, we specify the weight of the forms to keep the lists small.

V > 

ChangeFrame⁡NV

V

(2.32)
V > 

Λ1≔RelativeChains⁡,1,weight=1

Λ1≔x2⁢o1,x3⁢o2,x4⁢o2,x5⁢o3,x5⁢o4,x6⁢o3,x6⁢o4

(2.33)
V > 

Λ2≔RelativeChains⁡,2,weight=1

Λ2≔x1⁢o1⁢⋀⁢o3,x1⁢o1⁢⋀⁢o4,x2⁢o2⁢⋀⁢o3,x2⁢o2⁢⋀⁢o4,x3⁢o3⁢⋀⁢o4,x4⁢o3⁢⋀⁢o4

(2.34)
V > 

LHS≔FormInnerProduct⁡g,gV,KostantCodifferential⁡Λ2,Λ1

LHS≔13600136000000011800−1360172172017200−1360013601360136001360−1360017200−1360

(2.35)
NV > 

RHS≔FormInnerProduct⁡g,gV,Λ2,ExteriorDerivative⁡Λ1

RHS≔13600136000000011800−1360172172017200−1360013601360136001360−1360017200−1360

(2.36)

 

The equality of these matrices verifies the adjoint equation for given lists of forms.

NV > 

LHS−RHS

000000000000000000000000000000000000000000

(2.37)

 

 

Example 4.

Here are some sample calculations of the Kostant Laplacian.

 

A scalar:

NV > 

ChangeFrame⁡NV

V

(2.38)
NV > 

α4≔x6

α4≔x6

(2.39)
NV > 

KostantLaplacian⁡α4

x62

(2.40)

 

A 2-form:

NV > 

β4≔evalDG⁡x3⁢o1&wo4

β4≔x3⁢o1⁢⋀⁢o4

(2.41)
NV > 

KostantLaplacian⁡β4

x32⁢o1⁢⋀⁢o4

(2.42)

 

A 3-form:

NV > 

δ4≔evalDG⁡x3⁢o1&wo3&wo4

δ4≔x3⁢o1⁢⋀⁢o3⁢⋀⁢o4

(2.43)
NV > 

KostantLaplacian⁡δ4

2⁢x33⁢o1⁢⋀⁢o3⁢⋀⁢o4

(2.44)

 

Example 5.

We calculate the second cohomology H2𝔤−, V.

V > 

ChangeFrame⁡NV

NV

(2.45)

 

Here are the 2-chains Λ2𝔤−, V.

V > 

Λ2≔RelativeChains⁡,2

Λ2≔x1⁢o1⁢⋀⁢o2,x1⁢o1⁢⋀⁢o3,x1⁢o1⁢⋀⁢o4,x1⁢o2⁢⋀⁢o3,x1⁢o2⁢⋀⁢o4,x1⁢o3⁢⋀⁢o4,x2⁢o1⁢⋀⁢o2,x2⁢o1⁢⋀⁢o3,x2⁢o1⁢⋀⁢o4,x2⁢o2⁢⋀⁢o3,x2⁢o2⁢⋀⁢o4,x2⁢o3⁢⋀⁢o4,x3⁢o1⁢⋀⁢o2,x3⁢o1⁢⋀⁢o3,x3⁢o1⁢⋀⁢o4,x3⁢o2⁢⋀⁢o3,x3⁢o2⁢⋀⁢o4,x3⁢o3⁢⋀⁢o4,x4⁢o1⁢⋀⁢o2,x4⁢o1⁢⋀⁢o3,x4⁢o1⁢⋀⁢o4,x4⁢o2⁢⋀⁢o3,x4⁢o2⁢⋀⁢o4,x4⁢o3⁢⋀⁢o4,x5⁢o1⁢⋀⁢o2,x5⁢o1⁢⋀⁢o3,x5⁢o1⁢⋀⁢o4,x5⁢o2⁢⋀⁢o3,x5⁢o2⁢⋀⁢o4,x5⁢o3⁢⋀⁢o4,x6⁢o1⁢⋀⁢o2,x6⁢o1⁢⋀⁢o3,x6⁢o1⁢⋀⁢o4,x6⁢o2⁢⋀⁢o3,x6⁢o2⁢⋀⁢o4,x6⁢o3⁢⋀⁢o4,x7⁢o1⁢⋀⁢o2,x7⁢o1⁢⋀⁢o3,x7⁢o1⁢⋀⁢o4,x7⁢o2⁢⋀⁢o3,x7⁢o2⁢⋀⁢o4,x7⁢o3⁢⋀⁢o4,x8⁢o1⁢⋀⁢o2,x8⁢o1⁢⋀⁢o3,x8⁢o1⁢⋀⁢o4,x8⁢o2⁢⋀⁢o3,x8⁢o2⁢⋀⁢o4,x8⁢o3⁢⋀⁢o4,x9⁢o1⁢⋀⁢o2,x9⁢o1⁢⋀⁢o3,x9⁢o1⁢⋀⁢o4,x9⁢o2⁢⋀⁢o3,x9⁢o2⁢⋀⁢o4,x9⁢o3⁢⋀⁢o4,x10⁢o1⁢⋀⁢o2,x10⁢o1⁢⋀⁢o3,x10⁢o1⁢⋀⁢o4,x10⁢o2⁢⋀⁢o3,x10⁢o2⁢⋀⁢o4,x10⁢o3⁢⋀⁢o4

(2.46)

 

For these cohomology calculations it is preferable to specify the Killing form and its inverse in the arguments for KostantCodifferential and KostantLaplacian. Otherwise the Killing form and its inverse will be re-calculated for each 2 form in Λ2𝔤−, V.

V > 

B≔KillingForm⁡sp4V

B≔6⁢ξ1⁢ξ10+12⁢ξ2⁢ξ9+12⁢ξ3⁢ξ7+6⁢ξ4⁢ξ8+12⁢ξ5⁢ξ5+12⁢ξ6⁢ξ6+12⁢ξ7⁢ξ3+6⁢ξ8⁢ξ4+12⁢ξ9⁢ξ2+6⁢ξ10⁢ξ1

(2.47)
sp4V > 

invB≔InverseMetric⁡B

invB≔16⁢X1⁢X10+112⁢X2⁢X9+112⁢X3⁢X7+16⁢X4⁢X8+112⁢X5⁢X5+112⁢X6⁢X6+112⁢X7⁢X3+16⁢X8⁢X4+112⁢X9⁢X2+16⁢X10⁢X1

(2.48)

 

Method 1. Here we shall calculate H2𝔤−, V = ker d ∩ ker d* using the DGNullSpace and IntersectSubspaces commands.

Here is ker d .

NV > 

KerD≔DGNullSpace⁡ExteriorDerivative,Λ2,method=real

KerD≔x1⁢o1⁢⋀⁢o2+−x62+x52⁢o3⁢⋀⁢o4,x1⁢o1⁢⋀⁢o3,x1⁢o1⁢⋀⁢o4+x3⁢o3⁢⋀⁢o4,x1⁢o2⁢⋀⁢o3,x1⁢o2⁢⋀⁢o4,x1⁢o3⁢⋀⁢o4,x2⁢o1⁢⋀⁢o2+x5−x6⁢o2⁢⋀⁢o3+x7⁢o3⁢⋀⁢o4,x2⁢o1⁢⋀⁢o3,x2⁢o1⁢⋀⁢o4−−3⁢x6+x5⁢o3⁢⋀⁢o4,x2⁢o2⁢⋀⁢o3,x2⁢o2⁢⋀⁢o4−x3⁢o3⁢⋀⁢o4,x2⁢o3⁢⋀⁢o4,x3⁢o1⁢⋀⁢o2+2⁢x8⁢o2⁢⋀⁢o3−x7⁢o2⁢⋀⁢o4−x9⁢o3⁢⋀⁢o4,x3⁢o1⁢⋀⁢o3+x5+x6⁢o2⁢⋀⁢o3−x7⁢o3⁢⋀⁢o4,x3⁢o1⁢⋀⁢o4+x5⁢o2⁢⋀⁢o4−3⁢x8⁢o3⁢⋀⁢o4,x3⁢o2⁢⋀⁢o3−x6⁢o3⁢⋀⁢o4,x3⁢o2⁢⋀⁢o4,x4⁢o1⁢⋀⁢o2+x62⁢o1⁢⋀⁢o3+3⁢x72⁢o2⁢⋀⁢o3,x4⁢o1⁢⋀⁢o3,x4⁢o1⁢⋀⁢o4+2⁢x6⁢o2⁢⋀⁢o3−x7⁢o3⁢⋀⁢o4,x4⁢o2⁢⋀⁢o3,x4⁢o2⁢⋀⁢o4−x6⁢o3⁢⋀⁢o4,x4⁢o3⁢⋀⁢o4,x5⁢o1⁢⋀⁢o2+x9⁢o2⁢⋀⁢o3−x10⁢o3⁢⋀⁢o4,x5⁢o1⁢⋀⁢o3+x7⁢o2⁢⋀⁢o3,x5⁢o1⁢⋀⁢o4+x7⁢o2⁢⋀⁢o4−x9⁢o3⁢⋀⁢o4,x6⁢o1⁢⋀⁢o2−2⁢x8⁢o1⁢⋀⁢o3+x7⁢o1⁢⋀⁢o4−3⁢x9⁢o2⁢⋀⁢o3+x10⁢o3⁢⋀⁢o4,x6⁢o1⁢⋀⁢o4−4⁢x8⁢o2⁢⋀⁢o3+x7⁢o2⁢⋀⁢o4+x9⁢o3⁢⋀⁢o4,x6⁢o2⁢⋀⁢o4+x8⁢o3⁢⋀⁢o4,x7⁢o1⁢⋀⁢o2−x9⁢o1⁢⋀⁢o3−2⁢x10⁢o2⁢⋀⁢o3,x8⁢o2⁢⋀⁢o4

(2.49)

 

Here is ker d*. First we make a small procedure which fixes the Killing form and its inverse in the arguments for KostantCodifferential.

sp4V > 

KCoD≔θ↦KostantCodifferential⁡θ,B,invB

KCoD≔θ↦LieAlgebras:−KostantCodifferential⁡θ,B,invB

(2.50)
sp4V > 

KerKCoD≔DGNullSpace⁡KCoD,Λ2,method=real

KerKCoD≔x1⁢o1⁢⋀⁢o2−x3⁢o2⁢⋀⁢o3−x4⁢o2⁢⋀⁢o4−x62+3⁢x52⁢o3⁢⋀⁢o4,x1⁢o1⁢⋀⁢o4−x2⁢o2⁢⋀⁢o4−x3⁢o3⁢⋀⁢o4,x2⁢o1⁢⋀⁢o2−x5+x6⁢o2⁢⋀⁢o3−x7⁢o3⁢⋀⁢o4,x2⁢o1⁢⋀⁢o4−2⁢x3⁢o2⁢⋀⁢o3−2⁢x4⁢o2⁢⋀⁢o4−x5+x6⁢o3⁢⋀⁢o4,x3⁢o1⁢⋀⁢o2+2⁢x8⁢o2⁢⋀⁢o3+x7⁢o2⁢⋀⁢o4+x9⁢o3⁢⋀⁢o4,x3⁢o1⁢⋀⁢o3−x5−x6⁢o2⁢⋀⁢o3+x7⁢o3⁢⋀⁢o4,x3⁢o1⁢⋀⁢o4−2⁢x63⁢o2⁢⋀⁢o4+4⁢x83⁢o3⁢⋀⁢o4,x4⁢o1⁢⋀⁢o2−x6⁢o1⁢⋀⁢o3,x4⁢o1⁢⋀⁢o3,x4⁢o1⁢⋀⁢o4−2⁢x6⁢o2⁢⋀⁢o3−x7⁢o3⁢⋀⁢o4,x5⁢o1⁢⋀⁢o2+x9⁢o2⁢⋀⁢o3+3⁢x10⁢o3⁢⋀⁢o4,3⁢x6+x5⁢o1⁢⋀⁢o3−2⁢x7⁢o2⁢⋀⁢o3,x5⁢o1⁢⋀⁢o4−x7⁢o2⁢⋀⁢o4+x9⁢o3⁢⋀⁢o4,−x63+x5⁢o2⁢⋀⁢o4+2⁢x83⁢o3⁢⋀⁢o4,x6⁢o1⁢⋀⁢o2+x9⁢o2⁢⋀⁢o3+x10⁢o3⁢⋀⁢o4,x6⁢o1⁢⋀⁢o4+4⁢x8⁢o2⁢⋀⁢o3+x7⁢o2⁢⋀⁢o4+x9⁢o3⁢⋀⁢o4,x7⁢o1⁢⋀⁢o2+2⁢x10⁢o2⁢⋀⁢o3,x7⁢o1⁢⋀⁢o3,x7⁢o1⁢⋀⁢o4+2⁢x9⁢o2⁢⋀⁢o3+2⁢x10⁢o3⁢⋀⁢o4,x8⁢o1⁢⋀⁢o2,x8⁢o1⁢⋀⁢o3−x9⁢o2⁢⋀⁢o3−x10⁢o3⁢⋀⁢o4,x8⁢o1⁢⋀⁢o4,x8⁢o2⁢⋀⁢o4,x9⁢o1⁢⋀⁢o2,x9⁢o1⁢⋀⁢o3−2⁢x10⁢o2⁢⋀⁢o3,x9⁢o1⁢⋀⁢o4,x9⁢o2⁢⋀⁢o4,x10⁢o1⁢⋀⁢o2,x10⁢o1⁢⋀⁢o3,x10⁢o1⁢⋀⁢o4,x10⁢o2⁢⋀⁢o4

(2.51)

 

Now calculate the intersection ker d ∩ ker d*.

NV > 

IntersectSubspaces⁡KerD,KerKCoD,method=real

x4⁢o1⁢⋀⁢o3,x8⁢o2⁢⋀⁢o4

(2.52)

 

Method 2. Here we shall calculate H2𝔤−, V = ker Δ. Again we make a small procedure which fixes the Killing form and its inverse in the arguments for KostantLaplacian.

NV > 

KBox≔θ↦KostantLaplacian⁡θ,B,invB

KBox≔θ↦LieAlgebras:−KostantLaplacian⁡θ,B,invB

(2.53)
NV > 

DGNullSpace⁡KBox,Λ2,method=real

x4⁢o1⁢⋀⁢o3,x8⁢o2⁢⋀⁢o4

(2.54)
NV > 

 

See Also

Adjoint

Cohomology

DGNullSpace

ExteriorDerivative

GradeSemiSimpleLieAlgebra

FormInnerProduct

IntersectSubspaces

LieAlgebraData

PositiveDefiniteMetricOnRepresentationSpace

RestrictedRepresentation

SimpleLieAlgebraData

SimpleLieAlgebraProperties