https://universite-paris-saclay.hal.science/hal-03286237Aghasi, MansourMansourAghasiIsfahan University of TechnologyM.-Alizadeh, BenyaminBenyaminM.-AlizadehIsfahan University of TechnologyMerker, JoëlJoëlMerkerLMO - Laboratoire de Mathématiques d'Orsay - UP11 - Université Paris-Sud - Paris 11 - CNRS - Centre National de la Recherche ScientifiqueSabzevari, MasoudMasoudSabzevariIsfahan University of TechnologyA Gröbner-Bases Algorithm for the Computation of the Cohomology of Lie (Super) AlgebrasHAL CCSD2011Lie (super) algebrascohomologyreduced Gröbner basesquotient vector spaceshomogeneity splittingLie (super) algebras[MATH] Mathematics [math]MERKER, Joël2021-07-17 21:38:362023-08-09 10:48:272021-07-19 08:45:06enJournal articleshttps://universite-paris-saclay.hal.science/hal-03286237/document10.1007/s00006-011-0319-zapplication/pdf1We present an effective algorithm for computing the standard cohomology spaces of finitely generated Lie (super) algebras over a field K of characteristic zero. In order to reach explicit representatives of some generators of the quotient space Z^k / B^k of cocycles Z^k modulo coboundaries B^k , we apply Gröbner bases techniques (in the appropriate linear setting) and take advantage of their strength. Moreover, when the considered Lie (super) algebras enjoy a grading -- a case which often happens both in representation theory and in differential geometry --, all cohomology spaces Z^k / B^k naturally split up as direct sums of smaller subspaces, and this enables us, for higher dimensional Lie (super) algebras, to improve the computer speed of calculations. Lastly, we implement our algorithm in the Maple software and evaluate its performances via some examples, most of which have several applications in the theory of Cartan-Tanaka connections.