A Lefschetz fixed point formula for elliptic quasicomplexes
type: Item
instance of: scholarly article
title: A Lefschetz fixed point formula for elliptic quasicomplexes
zbMATH Open document ID: 1316.58018
author: D. Wallenta
published in: Integral Equations and Operator Theory
publication date: 2014-10-06T00:00:00Z
full work available at URL: https://publishup.uni-potsdam.de/frontdoor/index/index/docId/43547
review text: Consider a sequence \((V^{\bullet}, A)\) of bounded linear operators \(A^i\in\mathcal {L}(V^i,V^{i+1})\) between Hilbert spaces, \(i=0,\dots, N-1\). Let \(\mathcal I\) be an operator ideal in the class of compact operators. The sequence \((V^{\bullet}, A)\) is said to be an \(\mathcal I\)-quasicomplex if \(A^{i+1}A^i\in\mathcal{I}(V^i,V^{i+2})\) holds for \(i=0,\dots, N-2\). An \(\mathcal{I}\)-quasiendomorphism of a quasicomplex \((V^{\bullet}, A)\) is a sequence \(E\) of linear operators \(E^i\in \mathcal {L}(V^i)\) such that \(E^{i+1}A^i-A^iE^i\in\mathcal{I}(V^i,V^{i+1})\), \(i=0,\dots,N-1.\) A quasicomplex is said to be Fredholm if it admits an \(\mathcal{I}\)-parametrix, that is, if there is a sequence of operators \(P^i\in\mathcal {L}(V^i,V^{i-1})\) satisfying \(P^{i+1}A^i+A^{i-1}P^i=\mathrm{Id}_{V^i}-R^i,\) with \(R^i\in \mathcal{I}(V^i),\) \(i=0,\dots, N.\) In a previous work [Math. Sci., Springer 6, Article ID 44, 8 p. (2012; Zbl 1301.47017)] \textit{N. Tarkhanov} and \textit{D. Wallenta} proved a result which implies that for any Fredholm \(\mathcal{I}\)-quasicomplex \((V^{\bullet}, A)\) there exist operators \(D^i\in\mathcal L(V^i,V^{i+1})\) such that \(D^i-A^i\in\mathcal{I}(V^i,V^{i+1})\) and \(D^{i+1}D^i=0.\) In this work the author proves that if \((V^{\bullet}, A)\) is a Fredholm \(\mathcal{I}\)-quasicomplex, \(E\) an \(\mathcal{I}\)-quasiendomorphism of this quasicomplex and \((V^{\bullet}, D)\) is any complex with \(D^i-A^i\in\mathcal{I}(V^i,V^{i+1})\) then there exists an endomorphism \(\tilde{E}\) of \((V^{\bullet}, D)\) such that \(\tilde{E}^i-E^i\in\mathcal{I}(V^i).\) If \(\mathcal{I}=\mathfrak{S}_1\) is the Schatten class (trace class operators), then \[ L(E,A)=\sum_{i=0}^{N}(-1)^i {\mathrm{tr }\tilde{E}^i+\sum_{i=0}^{N}(-1)^i \mathrm{tr }(E^i-\tilde{E}^i)} \] is well defined and it extends the classical Lefschetz number. As an application the author shows that in the case of an elliptic quasicomplex of pseudodifferential operators over a closed…
reviewed by: Sérgio Luís Zani
Mathematics Subject Classification ID: 58J10
Mathematics Subject Classification ID: 58J20
Mathematics Subject Classification ID: 58J40
zbMATH DE Number: 6351695
zbMATH Keywords: elliptic complexes
zbMATH Keywords: quasicomplexes
zbMATH Keywords: Fredholm complexes
zbMATH Keywords: Lefschetz number
MaRDI profile type: Publication
OpenAlex ID: W2012594265
cites work: A Lefschetz fixed point formula for elliptic complexes. I
cites work: Q5402816
cites work: Q4302210
cites work: Q3736112
cites work: Elliptic quasicomplexes in Boutet de Monvel algebra
cites work: Q4183861
cites work: Q3952684
cites work: Q3378533
cites work: Euler characteristic of Fredholm quasicomplexes
cites work: The Lefschetz number of sequences of trace class curvature
cites work: Elliptic quasicomplexes on compact closed manifolds
DOI: 10.1007/S00020-014-2122-4
description: scientific article; zbMATH DE number 6351695