Elliptic operators in even subspaces

From MaRDI portal



Abstract: In the paper we consider the theory of elliptic operators acting in subspaces defined by pseudodifferential projections. This theory on closed manifolds is connected with the theory of boundary value problems for operators violating Atiyah-Bott condition. We prove an index formula for elliptic operators in subspaces defined by even projections on odd-dimensional manifolds and for boundary value problems, generalizing the classical result of Atiyah-Bott. Besides a topological contribution of Atiyah-Singer type, the index formulas contain an invariant of subspaces defined by even projections. This homotopy invariant can be expressed in terms of the eta-invariant. The results also shed new light on P.Gilkey's work on eta-invariants of even-order operators.


The authors study the index problem when an elliptic operator is restricted to certain subspaces of smooth sections of vector bundles over closed manifolds, as for the index problem on manifolds with boundary, where boundary conditions reduce the space of sections to be considered. The subspaces considered in this paper, which are called even subspaces, are the image of zero order pseudodifferential projections whose principal symbols are even functions on the cotangent bundle. Let \(P_1, P_2\) be two such projections, and let \(D\) be a pseudodifferential operator such that the restriction \(D:\text{Im} P_1\to\text{Im} P_2\) is defined. The authors define the ``principal symbol of such restriction, and such restriction is called elliptic when its principal symbol is an isomorphism at every point of \(M\). They not only show that ellipticity is a criterion for the Fredholm property, but also prove an index formula for this kind of operators. Namely, they show that its analytical index equals the sum of two homotopy invariant terms. The first term is defined only by the principal symbol, while the second term is defined only by the given even subspaces. Precisely, this second term can be regarded as a relative index of \(P_1,P_2\); it can be written as \(d([P_1]-[P_2])\) for a real valued ``dimension homomorphism \(d\) on the Grothendieck group of the semigroup of ``equivalent even projections. It is shown that the index theorem for a general boundary value problem fits into this theory. Moreover \(d\) is closely connected with the theory of \(\eta\)-invariants of selfadjoint elliptic operators of even order on odd-dimensional manifolds.











This page was built for publication: Elliptic operators in even subspaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4940758)