The Lefschetz number of sequences of trace class curvature (Q2391760)

Let \({\mathcal L}\) denote the class of all bounded linear operators acting between arbitrary Hilbert spaces and \({\mathcal I}\) be a family of ideals containing in the class of all compact operators in \({\mathcal L}\). A sequence \((L,d)\) of class \({\mathcal I}\) curvature means any sequence of Hilbert spaces \(L^i\), \(i\in{\mathbb Z}\), and operators \(d^i\in{\mathcal L}(L^i,L^{i+1})\) satisfying \(d^i\circ d^{i-1}=0\) modulo operators of \({\mathcal I}(L^i,L^{i+2})\). A theory of Fredholm sequences is developed. It is shown that any Fredholm sequence of trace class curvature can be reduced to a Fredholm complex. The Lefschetz number of cochain mappings for arbitrary Fredholm sequences of trace class curvature is introduced. As an example, the Lefschetz number for the relative de Rham cohomology is evaluated.