\(K\)-homology and index theory on contact manifolds (Q483613): Difference between revisions

This paper studies the index problem for every Heisenberg-elliptic (pseudo-)differential operator \(P\) on a closed contact manifold \(X\). Such an operator is Fredholm, and one defines its index as the difference between the dimensions of the kernel and the cokernel of \(P\). The index formula, given first in terms of \(K\)-homology, involves two natural \(\mathrm{Spin}^c\) structures on \(X\), and two \(K^1(X)\) classes \(\sigma^\pm_H(P)\) extracted from the principal (Heisenberg) symbol of \(P\). Applying the homology Chern character to their formula, the authors deduce a cohomological index formula, involving the Chern of the symbol classes \(\sigma^\pm_H(P)\) and the Todd class of the \((1,0)\), respectively \((0,1)\) components of the contact bundle \(H\to X\). The result in this paper generalizes previous index formulas due to \textit{L. Boutet de Monvel} [Invent. Math. 50, 249--272 (1979; Zbl 0398.47018)], and \textit{C. Epstein} and \textit{R. Melrose} [``The Heisenberg algebra, index theory and homology'', Preprint]. In the case of scalar operators, the index formula was previously found by the second author [Ann. Math. (2) 171, No. 3, 1683--1706 (2010; Zbl 1206.19005)].