F = bracket(A,L,T)F = bracket(A,L)H = bracket(A,d,e)Given a factor ring R = S/I, we take A to be the acyclic closure, up to some degree n, of the Koszul complex on the generators of I. The underlying algebra An := A.natural is thus a free algebra over S on generators T_i of various homological and internal degrees.
The Homotopy Lie algebra of the map S ->> R is the graded dual of the space of linear forms Lin(A) of A. Since we obtain A together with a set of generators T_i, we identify the Lie algebra with space of linear forms, using the T_i as a self-dual basis. Thus we express the bracket product of two linear forms as another linear form. This inner product on the linear forms of degree d extends naturally to an inner product between Lin(A)**Lin(A) and the quadratic forms of A. This inner product has signs coming from the homological grading, and is the only delicate part of the implementation.
The bracket function is the workhorse of this collection of routines. Suppose that f,g are three linear forms in the generators of A homogeneous in the homological grading, of homological degrees d-1, e-1 respectively, which we regard as dual basis elements of Pi^d and Pi^e, graded components of the homotopy Lie algebra Pi. We can compute the bracket product [f,g] as an element of Pi^{d+e}, or its action on a linear form F that is homogeneous of homological degree d+e-1 via the inner product<f**g, d(F)_2>, where d is the differential of A. The calls bracket(A,{f,g}) and bracket(A, {f,g}, F) compute these products
In the following example, we use the function allgens(A,d) to list the generators of A of homological degree d:
|
|
|
|
|
|
|
|
|
|
|
The other invocation of bracket produces a HashTable displaying all the bracket products of elements of Pi^d and Pi^e as functions on the generators of homological degree d+e-1 of A:
|
|
|
|
|
From this we see that [T_5, T_6] sends T_37 to -1 in kk.
Another, often simpler view of the pairing is given by bracketMatrix, where the rows and columns correspond to the generators of Pi^d and Pi^e, and the entries are the bracket products, interpreted as elements of Pi^{d+e}. Note the anti-symmetry, which holds when d or e are even and the symmetry in the case both are odd.
|
|
|
The object bracket is a method function.