CohomArch : Companion archive on adjoint and trivial cohomology for nonabelian complex 7-dimensional nilpotent Lie algebras.



CONTENTS OF THE ARCHIVE :

This archive is a companion to the paper "Adjoint and Trivial cohomology of nonabelian nilpotent complex Lie algebras of dimension <=7."
It contains the commutation relations file of the Lie algebras in the directories 5nilp, 6nilp, 7nilps1,7nilps2,7nilps3,7nilps4,7nilpdirectproducts, and the programs (and the macros for latexing in the directory xmac).

The programs are in direct access here as well:

Adjoint cohomology

geneLplus2007.red

Trivial cohomology

Independent computation of all Zk, Hk and bases.
ncl2007.red

Variant with Independent computation of all Zk, Hk, yet modification of the base of HN-k so as to get the dual basis in Poincare Duality of the basis of Hk (2k <=N, N = dimension of the Lie algebra g under consideration).
ncld2007.red

Computations via harmonic cocycles and Poincare duality.
nclhar2007.red

The whole content of this archive can be downloaded by clicking to the following file:


CohomArch.zip file



About REDUCE


http://www.reduce-algebra.com

http://www.zib.de/Symbolik/reduce



EXAMPLES.

Adjoint cohomology:



EXAMPLE 1: the program geneLplus2007.red is applied to the Lie algebra 1.2(iL) with continuous parameter L and with POIDS=0.

Commutation relations file of the algebra g1.2(iL)

The program geneLplus2007.red with suitable entries    

its output file    

If one wants to Latex it, some editing work has to be done as indicated in the preamble of the program.
The same after deleting lines REP1-REP2, REP3-REP4, REP44-REP5, REFINAL1-REPFINAL2    

Then apply the macros in the macro file plusmac.x for geneLplus2007.red

what we get after applying the macros    

Then Latex it: we get .ps file    



EXAMPLE 2: the program geneLplus2007.red is applied to the Lie algebra 1.2(iL) with continuous parameter L and with POIDS=1.

The program geneLplus2007.red with suitable entries    

its output file    

If one wants to Latex it, some editing work has to be done as indicated in the preamble of the program.
The same after deleting lines REP1-REP2, REP3-REP4, REP44-REP5, REFINAL1-REPFINAL2    
See: There is a linebreak problem at lines 246/247 and 426/427.


linebreak problem's fixed.    

what we get after applying the macros    

Then Latex it: we get .ps file    



Trivial cohomology:



EXAMPLE 3: the program ncl2007.red is applied to the Lie algebra 1.2(iL) with continuous parameter L.

the output file    

If one wants to Latex it, some editing work has to be done as indicated in the preamble of the program.
The same after deleting all lines until the mark REPTEX    

Then apply the macros in the macro file nclmac.x for ncl2007.red

what we get after applying the macros    

Then Latex it: we get .ps file    



EXAMPLE 4: the program ncl2007.red is applied to the Lie algebra 1.2(iL) with the value L:=-(-1+i*sqrt(3))/2.

The program ncl2007.red with suitable entries    

the output file    

If one wants to Latex it, some editing work has to be done as indicated in the preamble of the program.
The same after deleting all lines until the mark REPTEX    

what we get after applying the macros    

Then Latex it: we get .ps file    





EXAMPLE 5: the program ncld2007.red is applied to the Lie algebra 1.2(iL) with continuous parameter L, and DUALITE_DE_POINCARE=OUI

the output file    

If one wants to Latex it, some editing work has to be done as indicated in the preamble of the program.
The same after deleting all lines until the mark REPTEX    

Then apply the macros in the same macro file nclmac.x as for ncl2007.red

what we get after applying the macros    

Then Latex it: we get .ps file    



EXAMPLE 6: the program ncld2007.red is applied to the Lie algebra 1.2(iL) with continuous parameter L, and DUALITE_DE_POINCARE=NON

the output file    

The same after deleting all lines until the mark REPTEX    

what we get after applying the macros    

Then Latex it: we get .ps file    



EXAMPLE 7: the program nclhar2007.red is applied to the Lie algebra 1.2(iL) with continuous parameter L, PARAMETRE_L=OUI, and DUALITE_DE_POINCARE=OUI.

the output file    

The same after deleting all lines until the mark REPTEX    

Then apply the macros in the macro file nclharmac.x for nclhar2007.red

what we get after applying the macros    

Then Latex it: we get .ps file    



EXAMPLE 8: the program nclhar2007.red is applied to the Lie algebra 1.2(iL) with continuous parameter L, PARAMETRE_L=OUI, and DUALITE_DE_POINCARE=NON.

the output file    

The same after deleting all lines until the mark REPTEX    

Then apply the macros in the macro file nclharmac.x for nclhar2007.red

what we get after applying the macros    

Then Latex it: we get .ps file    



EXAMPLE 9: the program nclhar2007.red is applied to the Lie algebra 1.2(iL) with the value L:=-(-1+i*sqrt(3))/2, PARAMETRE_L=NON, and DUALITE_DE_POINCARE=OUI.

the output file    

The same after deleting all lines until the mark REPTEX    

Then apply the macros in the macro file nclharmac.x for nclhar2007.red

what we get after applying the macros    

Then Latex it: we get .ps file