Bourbaki

Proposition 15

Tag 0670, permanent. Cite it as [Bourbaki, Tag 0670].

Algebra, chapter III, § 10. Derivations

If MM is a free KK-module of finite rank nn, then, for every endomorphism ss of MM, the restriction to Λn(M)\Lambda^n(M) of the derivation DsD_s is the homothety of ratio Tr⁡(s)\operatorname{Tr}(s).

Let (ej)1≤j≤n(e_j)_{1 \leq j \leq n} be a basis of MM and write e=e1∧e2∧⋯∧ene = e_1 \wedge e_2 \wedge \cdots \wedge e_n. If

s(ej)=∑k=1nαjkek, s(e_j) = \sum_{k=1}^n \alpha_{jk} e_k,
the third formula in (36) gives
Ds(e)=∑i=1ne1∧⋯∧ei−1∧s(ei)∧ei+1∧⋯∧en=(∑j=1nαjj)e. D_s(e) = \sum_{i=1}^n e_1 \wedge \cdots \wedge e_{i-1} \wedge s(e_i) \wedge e_{i+1} \wedge \cdots \wedge e_n = \left( \sum_{j=1}^n \alpha_{jj} \right) e.

Example (2). In the Corollary to Proposition 14, part (iii), let Δ={0}\Delta = \{0\}, the graduation on Λ(M)\Lambda(M) then being the usual graduation of type Z\mathbf{Z}; on the other hand take ε(p,q)=(−1)pq\varepsilon(p, q) = (-1)^{pq}. Then, for every linear form x∗∈M∗x^* \in M^* on MM, x↦⟨x,x∗⟩x \mapsto \langle x, x^* \rangle is a graded KK-linear mapping of degree −1-1 of MM into Λ(M)\Lambda(M) satisfying relation (34); then there exists an antiderivation i(x∗)i(x^*) of Λ(M)\Lambda(M), of degree −1-1, such that (by virtue of formula (21) of no. 5)

i(x∗)(x1∧⋯∧xn)=∑i=1n(−1)i−1⟨xi,x∗⟩x1∧⋯∧xi−1∧xi+1∧⋯∧xn i(x^*)(x_1 \wedge \cdots \wedge x_n) = \sum_{i=1}^n (-1)^{i-1} \langle x_i, x^* \rangle x_1 \wedge \cdots \wedge x_{i-1} \wedge x_{i+1} \wedge \cdots \wedge x_n
and which is a special case of the inner product to be defined in § 11, no. 9, formula (68).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.