Abstract
We present tables for adjoint and trivial cohomologies of complex nilpotent Lie algebras of dimension . Attention is paid to quadratic Lie algebras, Poincaré duality, and harmonic cocycles.
1. Introduction
There are several classifications of the complex nilpotent Lie algebras (NLA) of dimension ≤7 (see [1–7], and the comparisons in [3, 5, 8]). In dimension ≤6, there are also historical notations which go back to Dixmier [9] and Vergne [10]. In dimension 7, out of the several classifications, Carles' classification ([2] with a couple corrections as in [8]) is of particular interest, as it is based on weight systems, with notations taking into account the rank and the labeling of the weight systems, in the spirit of the historical notations. We label the NLAs of dimension ≤7 according to the historical notations in dimensions ≤6 and according to Carles' notations in dimension 7. We refer to [8] for commutation relations (they are given in a basis that diagonalizes a maximal torus, i.e., a maximal Abelian subalgebra of the derivation algebra consisting of semisimple elements) and discussion of the classification, as well as for comparison with other classifications. Let us simply recall here that there are 98 (nonequivalent) weight systems for complex 7-dimensional indecomposable NLAs: 1 in rank 0, 24 in rank 1, 45 in rank 2, 24 in rank 3, and 4 in rank 4. The indecomposable NLAs of dimension 7 are almost classified by their weight system with a few exceptions, and one gets 123 nonisomorphic indecomposable NLAs of dimension 7, of which 6 continuous 1-parameter series (each continuous series counts as one algebra). We also recall the isomorphisms for the continuous series: As to if and only if with any element of the group of transformations of which is isomorphic to the symmetric group
Now, given some 7-dimensional NLA, it is not always easy to match it (up to isomorphism) to an algebra of the list. For that purpose, however, the adjoint cohomology is very effective. Adjoint and trivial cohomologies for all complex 7-dimensional indecomposable NLAs, along with their weight systems under the action of the maximal torus have been computed in [11] (see also [12], and for trivial cohomology [13]). (Beside the Abelian case, there is a couple special instances in which there are formulae valid in any dimension: for standard filiform [11] and Heisenberg Lie algebras [14, 15].)
However, on one hand that work is unpublished, and on the other hand, when identifying a particular NLA, one has to look up quickly some particular cohomology sequence. Hence there is a point in publishing a handy list of cohomology for all NLAs of dimension ≤7. In the present paper, we write down such a list. For each NLA we give the sequences and for, respectively, the spaces of adjoint cocycles and cohomology groups, along with the sequence of Betti numbers, that is, the trivial cohomology . We also pay attention to quadratic Lie algebras, Poincaré duality and harmonic cocycles.
Nonisomorphic NLAs of dimension ≤6 have different adjoint cohomologies, even though their trivial cohomologies may be equal. In dimension 7, up to 14 nonisomorphic NLAs (of which 2 continuous series) may share the same trivial cohomology (e.g., (1,2,3,4,4,3,2,1)), hence the trivial cohomology is ineffective in separating nonisomorphic Lie algebras; it does not refine the classification by weight systems of the algebras either. However, the adjoint cohomology does separate all but 13 pairs of NLAs, and refines the classification by weight systems of the algebras, with only 4 exceptions. For any continuous series, the adjoint cohomology is the same for all but some singular values of the parameter at which gaps occur. The singular values for the 6 continuous series are listed in Table 1. Throughout the paper, we denote . For continuous series, the term generic will refer to the values of the parameter which are not singular.
The nonisomorphic 7-dimensional NLAs having the same adjoint cohomology come in 13 pairs, as shown in Table 2. Adjoint cohomology refines the classification by weight systems of the NLAs, except for the 4 pairs # 2,3,4,8 in Table 2. In each of those 4 pairs, the weight system on the cohomology is identical for the 2 components [11].
2. Cohomology Tables
The results appear as in Tables 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13. For continuous series, the places where gaps occur for the singular values are underlined.
Recall that the center of and Recall also the following facts about Poincaré duality (PD) ([16, Theorem 6.10]). For any complex -dimensional Lie algebra and any -module cohomology and homology are related by the formulae (with the contragredient -module, and )whenceNow, as the algebra considered in this paper is nilpotent, hence unimodular (i.e., for all ), one has (the trivial module), and (2.2), (2.3) read, respectively,
Hence, and being equipped with the coadjoint representation. We say that PD holds true for the cohomology of the -module if PD holds true for the trivial cohomology. However, it does not hold true in general for the adjoint cohomology. The NLAs satisfying Poincaré duality for the adjoint cohomology are signalled with a among them, those quadratic NLAs have a . Recall that a Lie algebra is called quadratic if there exists a nondegenerate symmetric bilinear form on which is invariant, that is, for all This amounts to the adjoint and coadjoint representations being equivalent, and hence implies PD for the adjoint cohomology. It is known that quadratic structures on are in one-to-one correspondence with those elements whose super-Poisson bracket vanishes [17], the correspondence being with for all Recall that the super-Poisson bracket is, for , with the (left) interior product, the basis of (in which the commutation relations are given in [8]) and such that with the dual basis to . There are only 6 quadratic non-Abelian NLAs of dimension (only one indecomposable in each dimension 5,6,7). Each of them has only one quadratic structure, up to equivalence under the natural action of Here are s and s in the basis
3. About the Programs
All computations were made by developing programs with the computer algebra system Reduce. The adjoint cohomologies have been computed by program 1. Trivial cohomologies were computed twice: by program 2, and by program 3 which computes via harmonic cocycles. Actually, those programs do more than simply compute the dimensions of the cohomology: program 1 computes a basis for and, when the commutation relations of are given in a basis that diagonalizes a maximal torus, characters of the adjoint cohomology under the action of the maximal torus; for trivial cohomology, the programs compute characters and bases of the eigenspaces under the action of the maximal torus.
Program 2 computes all () and their respective bases and characters independently, making no use of PD. Then PD shows up as a result. There is also a variant program which does the same, yet offers the option to make use of the computed bases of and () to get the matrix of the bilinear form in PD and modify the basis of so as to get the dual basis in PD of the basis of
As to program 3, harmonic cohomology comes naturally in the following way, which can be formulated for unimodular suppose we already computed a basis of only for ; how to deduce by PD a basis of ? Let () be the isomorphism defined by , where and denotes the (right) interior product. As for all ( boundary operator) [18], defines an isomorphism which is actually (up to the factor ) the one of (2.4) (). Now, what we look for is an explicit identification algorithm to be implemented in programs. For any subset of denote for (), and similarly for Let be the Hermitian scalar product on obtained by decreeing the basis to be orthonormal. For let be the conjugate linear bijective map defined by for all (we set for ). Then for any subset of and where is the complementary subset to I, and Let be the adjoint of on Then for all and are disjoint on in the sense of [19], hence is isomorphic to where . Then is the harmonic cocycle space. It is contained in the cocycle space Each equivalence class of modulo coboundaries contains exactly one harmonic cocycle.
Lemma 3.1. Suppose that is unimodular and let . Then if and only if is harmonic; in that case, is also harmonic.
Proof. It is enough to prove that is, for all with the Hodge operator on defined by For subset of cardinality of hence Now, implies successively and which reads
Then is isomorphic to the space of harmonic cocycles and the map which assigns to the class of the harmonic cocycle the class of the harmonic cocycle is a conjugate-linear isomorphism from onto If is a basis for () consisting of harmonic cocycles, then is a basis for consisting of harmonic cocycles. Hence we see that the price to be paid for computing and their base only for , yet get bases for the whole cohomology, is to go to harmonic cohomology. That was implemented as an option in the variant program : with that option on, the basis of is computed as explained, then modified into the dual basis in PD of the basis of With the option off, no use of PD occurs: harmonic cocycles and bases are computed independently for each ().
All programs handle dimensions up to 7 and (if necessary) one continuous parameter Though they are meant for nilpotent Lie algebras whose commutation relations are given in a basis that diagonalizes a maximal torus, they can be directly applied to any Lie algebra of dimension ≤7 as well, not necessarily nilpotent nor unimodular (except for the variants), giving explicit calculation of cohomology: in that case, all material involving weights has simply to be skipped. As to trivial cohomology, note that program 2 which computes up to makes it possible, thanks to PD, to write down the dimensions of trivial cohomology for unimodular Lie algebras of dimensions up to 15. In the same way, program 3 can handle higher dimensions. However, restrictions may come on one hand from the amount of dynamic storage space available, and on the other from the running time, which increases steeply as the dimension of the Lie algebra gets higher, typically for the computation of the dimensions of trivial cohomology, with 4 GB RAM: second for seconds for minutes for hours for up to 10 days for
The programs are downloadable in the companion archive [20] (programs 1,2,3 are, resp., 2007.2007.2007., and the variants program, program are, resp., 2007.2007. in [20]) hence we will not enter technicalities about procedures here. Let us simply mention the following concerning the continuous parameter. In the presence of the continuous parameter , cocycles equations depend on certain unknowns and on They are linear with respect to the unknowns. The programs define an algorithm which solves the equations over the rational function field generated by the parameter, while keeping track of the divisions that have been done. If the parameter is a zero of one of the polynomials by which a division occurred, it may very well not be a singular value: one has to compute again the cohomology for all such values.