2023-02-20 08:41:55 +0100 | received badge | ● Popular Question (source) |
2020-10-26 11:29:50 +0100 | received badge | ● Editor (source) |
2020-08-21 19:26:43 +0100 | received badge | ● Nice Question (source) |
2020-08-21 18:23:36 +0100 | received badge | ● Student (source) |
2020-08-21 16:25:15 +0100 | asked a question | Cohomology ring of a Lie algebra I would like to compute the cup products in cohomology for certain families of nilpotent Lie algebras over R. So far I could access to the cochain complex and compute the Betti numbers using the method chevalley_eilenberg_complex(). On the other hand, I see that the cup product of the cohomology ring of a cell complex can be computed. So, is there a way to compute the cup products starting from the Lie algebra? (Note that the Lie algebras that I consider are not always defined over the rational field, so that the cohomologies that I am interested in is not always that of a space of which I could describe the homotopy type by giving a cell complex.) EDIT (2020-10-26): Problem not solved, but I found a seemingly related issue: https://trac.sagemath.org/ticket/6100 . Namely, chain_complex().homology(generators=true) uses a basis in which the simplices are listed in an order that seems intractable (especially, not the lexicographic order). If one could guess in which order the simplices are listed, then I would be able to compute the cup products. |