Abstract
We prove an index formula for a class of Dirac operators coupled with unbounded potentials, also called “Callias-type operators”. More precisely, we study operators of the form \(P := \hspace* {.5mm} / \hspace* {-2.3mm}D+ V\), where \(\hspace* {.5mm} / \hspace* {-2.3mm}D\) is a Dirac operator and V is an unbounded potential at infinity on a non-compact manifold M 0. We assume that M 0 is a Lie manifold with compactification denoted by M. Examples of Lie manifolds are provided by asymptotically Euclidean or asymptotically hyperbolic spaces and many others. The potential V is required to be such that V is invertible outside a compact set K and V −1 extends to a smooth vector bundle endomorphism over M∖K that vanishes on all faces of M in a controlled way. Using tools from analysis on non-compact Riemannian manifolds, we show that the computation of the index of P reduces to the computation of the index of an elliptic pseudodifferential operator of order zero on M 0 that is a multiplication operator at infinity. The index formula for P can then be obtained from the results of Carvalho (in K-theory 36(1–2):1–31, 2005). As a first step in the proof, we obtain a similar index formula for general pseudodifferential operators coupled with bounded potentials that are invertible at infinity on a restricted class of Lie manifolds, so-called asymptotically commutative, which includes, for instance, the scattering and double-edge calculi. Our results extend many earlier, particular results on Callias-type operators.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Perturbed Dirac operators \(\hspace* {.5mm}/\hspace* {-2.35mm}D+ V\) and operators Δ+V of Schrödinger type on non-compact manifolds play an important role in quantum mechanics, conformal field theory, and in other areas. Partly for this reason, the index theory for these kinds of operators has been the subject of extensive research [5, 6, 13–15, 18, 29–31, 40, 59].
The purpose of this paper is to give an index formula for \(\hspace* {.5mm}/\hspace* {-2.35mm}D+ V\), that is, for a Dirac operator \(\hspace* {.5mm}/\hspace* {-2.35mm}D\) coupled with unbounded potential V on an even-dimensional Lie manifold M 0, a class of non-compact manifolds whose structure at infinity is controlled by a Lie algebra of vector fields tangent to the boundary of a suitable given compactification M of M 0 (see Sect. 3 and below). We also find an index formula for operators \(\hspace* {.5mm}/\hspace* {-2.35mm}D+ V_{0}\) coupled with bounded potentials V 0 on a subclass of Lie manifolds that are “commutative at infinity” (as in Definition 3.6). One of the points of the calculation is, as in [13], to express the index as the product of two K-classes, one defined by the Dirac operator and the other defined by the potential V using the difference construction as in [7, 39]. See [12, 57, 58] for some recent results on similar problems. See also [33, 46, 63] for applications of these types of index formulas.
Lie manifolds, or manifolds with a Lie structure at infinity, were introduced and studied in [2, 4], extending work by Melrose, Schrohe, Schulze, Vasy, and their collaborators, which in turn build on earlier results by Cordes, Parenti, and others [23, 25, 47, 56, 61]. Many known classes of non-compact manifolds can be given a Lie structure, such as manifolds with cylindrical ends, with conical singularities, asymptotically Euclidean space, hyperbolic space, and manifolds with fibered boundary. There is a natural algebra of differential operators associated with any such manifold that contains all the classical geometric operators, such as the Dirac operator [2]. There is also a well-behaved algebra of pseudodifferential operators on any Lie manifold, which is related to an algebra of pseudodifferential operators on a differentiable groupoid. For manifolds with cylindrical ends, for instance, we have Melrose’s b-calculus [45] and the calculus of Fuchs differential operators. For many of these algebras Ψ ∗ of pseudodifferential operators on manifolds with corners, the Fredholmness of P∈M n (Ψ ∗) can be characterized by the invertibility of a symbol class that consists of two components: the principal symbol σ 0(P) and a symbol at the boundary σ ∂ (P), also called the indicial operator associated with P. Thus a pseudodifferential operator compatible with the Lie manifold structure is Fredholm if, and only if, the following two conditions are satisfied: the usual ellipticity and the invertibility in the so-called indicial algebra at the boundary. The Fredholm conditions relevant for our case are discussed in Propositions 3.4 and 3.8.
Let M 0 be an even-dimensional Riemannian Lie manifold, with compactification to a manifold with corners M, and \(\mathcal{V}\) be the Lie algebra of vector fields tangent to the faces of M and defining the structure at infinity of M 0 (for precise definitions, see Sect. 3.1). Let W be a Clifford module over M endowed with an admissible connection and let \(\hspace* {.5mm}/\hspace* {-2.35mm}D: \mathcal{C}^{\infty}(M;W) \to \mathcal{C}^{\infty}(M;W)\) be the associated generalized Dirac operator. Let us denote by {x k } the boundary-defining functions of the hyperfaces of M. Also, let E be a Hermitian bundle endowed with a suitable, compatible (metric-preserving) connection. We shall consider operators of the form
where the potential \(V\in \operatorname {End}(E)\) is of the form V=f −1 V 0 with
and V 0 smooth on M and invertible at infinity (that is, on ∂M). We prove that T′ is essentially self-adjoint acting on L 2(M 0;W⊗E). We shall denote by T the closure of T′, which is hence a self-adjoint operator (odd with respect to the natural spinor grading). Let \(\mathcal{D}(T)\) denote the domain of T and \(\mathcal{D}(T) = \mathcal{D}(T)_{+} \oplus \mathcal{D}(T)_{-}\) be its grading. We shall still write \(T = \hspace* {.5mm}/\hspace* {-2.35mm}D+ V\), for simplicity. Let \(W \widehat{\otimes}E\) be the tensor product W⊗E endowed with the usual grading.
Our main result, Theorem 4.13, is an index formula for the chiral operator
similar to the usual Atiyah–Singer index formula. The proof of this theorem is obtained from a sequence of reductions, ultimately reducing our main result to the Atiyah–Singer type theorem for operators that are asymptotically multiplication at infinity [21]. Let us mention that our Theorem 4.13 is about as general as one can hope for such that a classical index formula would still apply. For instance, if one replaces V with a bounded potential V 0, then one expects an index formula for \(\hspace* {.5mm}/\hspace* {-2.35mm}D+ V_{0}\) to involve non-local invariants similar to the eta invariant [8]. These non-local invariants would be associated with the faces at infinity. Thus, if one wants to avoid non-local invariants and have an index formula on an arbitrary Lie manifold just in terms of classical Chern characters, then one needs to require V to be unbounded at infinity. (Note, however, that on asymptotically commutative Lie manifolds, Definition 3.6, we do allow bounded potentials, and the calculation in this case is an important ingredient in the proof; see below for more details.) Moreover, imposing some structure at infinity also seems to be necessary and is usually done in practice. This justifies why we consider Lie manifolds and not more general non-compact manifolds. See [15] and [40] for some related approaches.
Most of the known results on the index of perturbed Dirac operators on non-compact manifolds cited above make use of crucial properties of Dirac operators, namely relative index theorems, trace formulas, or boundary conditions. In this paper, the index formula for \(\hspace* {.5mm}/\hspace* {-2.35mm}D+ V\), with V bounded, is obtained from a general index theorem for a suitable class of pseudodifferential operators, and hence holds for perturbed pseudodifferential operators. We need to assume, however, that our Lie manifold is asymptotically commutative (or commutative at infinity), Definition 3.6. A similar approach, in the bounded potentials case, is contained in [40], for odd-dimensional manifolds, where Melrose’s index formula for (families of) scattering operators is used to derive an index theorem for perturbed pseudodifferential operators, so-called Callias-type operators, with bounded potentials. It is shown there that the index can be computed from invariants at the corner \(S_{\partial M}^{*}M\). (Note that the scattering structure is just a particular case of the asymptotically commutative Lie structures we consider here. It is easily seen that Theorem 2.5 extends to the case of families, so our results can also be formulated in this setting.) To get the result for unbounded potentials, we need harder results from analysis, so we stick to differential operators, but this result holds for arbitrary Lie manifolds.
Let us now review the sequence of reductions that lead to Theorem 4.13. At the same time, we will review the contents of the paper (but in the reverse order of the sections). The first step is to write
which we show in Sect. 4 to have the same index as T. (See also [1, 50] and the comments on the decay of the functions in the kernel of T in Sect. 4.) We then consider a new Lie manifold structure \((M, \mathcal{W})\) on M 0 using
It turns out that \(Q \in \operatorname {Diff}_{\mathcal{W}}(M)\), which justifies the introduction of the new Lie manifold structure \((M, \mathcal{W})\). Moreover, Q itself is a Dirac operator coupled with the bounded potential V 0. What makes the index of such an operator computable is the fact that the structural Lie algebra of vector fields \(\mathcal{W}\) defining Q is commutative at infinity, or, to put this in another way, the indicial algebra of \(\mathcal{W}\) is commutative. A Lie manifold with this property will be called asymptotically commutative. The analysis on the new Lie manifold \((M,\mathcal{W})\) turns out to be much easier. The index of the operator \(Q = \hspace* {.5mm}/\hspace* {-2.35mm}D+ V_{0}\) associated with (general) asymptotically commutative Lie manifolds with V 0 bounded, but invertible at infinity, is obtained in Theorem 4.7 using results of Sect. 3.
The analytical properties of general, not necessarily even-dimensional, asymptotically commutative Lie manifolds \((M, \mathcal{W})\) and the index of operators on these spaces are studied in Sect. 3. We show that fully elliptic operators in \(\varPsi^{*}(M; \mathcal{W})\) can be deformed continuously to operators in \(\varPsi^{*}(M; \mathcal{W})\) that are asymptotically multiplication on M 0. We thus obtain an index theorem for fully elliptic pseudodifferential operators on general asymptotically commutative Lie manifolds (that is, of the form \((M, \mathcal{W})\) with \(\mathcal{W}\) commutative at infinity), Theorem 3.9, generalizing known results for the scattering and double-edge operators [42, 48]. Let us also mention that the case of asymptotically commutative Lie manifolds includes the important case of asymptotically Euclidean manifolds. The index formula for fully elliptic operators on asymptotically commutative Lie manifolds follows then from the results of [21]. This reduction is achieved in Sect. 2. We remark that all the results in Sects. 2 and 3 do not assume that our manifolds are even-dimensional.
It is a classical result that on a compact manifold M 1, a pseudodifferential operator P of order m defines a Fredholm operator H s(M 1)→H s−m(M 1) if, and only if, it is elliptic. In other words, on a compact manifold, ellipticity is equivalent to Fredholmness. By contrast, on non-compact manifolds, ellipticity is typically only a necessary, but not sufficient condition to ensure Fredholmness; stronger conditions on an operator P are required to obtain that P is Fredholm. For example, on an asymptotically commutative Lie manifold, the Fredholm condition is still controlled by the invertibility of a function, which this time is an extension of the principal symbol, and hence is defined on an extension of the cosphere bundle. This phenomenon is studied in Sect. 2, where an index theorem is proved for such operators by reducing to the case of operators that are multiplication at infinity (which was studied in [21]). In particular, we obtain in that section an index theorem for asymptotically multiplication operators.
We shall assume throughout most of this paper that M 0 is a non-compact Lie manifold with compactification M, although some of our results of the earlier sections may be true for more general non-compact manifolds. For instance, the index theorem of [21] is valid without any assumption on M 0.
2 Asymptotically Multiplication Operators
In this section, we review some basic concepts and results to be used in what follows, leading to the Atiyah–Singer index theorem in the setting of non-compact manifolds and operators that are multiplication outside a compact set (or asymptotically so). Here, we keep the manifolds quite general, while we consider a class of operators that naturally inherits the properties of the compact manifold case. For simplicity, we assume that M 0 is endowed with a metric g and that, as a topological space, it is the interior of a compact manifold with corners M such that TM restricts to TM 0 on M 0. We let n be the dimension of M 0, which in this and the following section may be arbitrary, but in the last section will be assumed to be even.
2.1 General Calculus
We consider for now a smooth manifold M 0 without boundary, not necessarily compact, and a smooth vector bundle E over M 0 that is trivial outside a compact set in M 0. We denote by \(d\operatorname {vol}_{g}\) the volume form on M 0 defined by the metric. We also assume that E is endowed with a Hermitian metric, which is the trivial (product) metric close to infinity. Typically, M 0 will coincide with the interior of a given compact manifold with corners M.
We first make a short review of main results of the theory of pseudodifferential operators on M 0 that we need in this paper, in the setting of operators that are multiplication by a smooth function outside a compact set. We closely follow the approach of [21] (see also, however, [34, 38, 62] for general references).
Let us recall that a smooth function p:W×ℝn⟶ℂN×N defines a symbol in the class S m(W×ℝn) of symbols of order m if, and only if, for any compact set K⊂W and multi-indices α, β, there exists \(\mathcal{C}_{K,\alpha,\beta} > 0\) such that \(|\partial_{x}^{\alpha}\partial_{\xi}^{\beta}p(x,\xi)|\leq \mathcal{C}_{K,\alpha,\beta}(1+|\xi|)^{m-|\beta|}\), for all x∈K and ξ∈ℝn. An operator \(P: \mathcal{C}^{\infty}_{c}(M_{0};E) \to \mathcal{C}^{\infty}(M_{0};E)\) is said to be in the class Ψ m(M 0;E) of pseudodifferential operators of order m on M 0 if, for any (not necessarily connected) coordinate chart W of M 0 trivializing E and for any \(h_{1}, h_{2}\in \mathcal{C}^{\infty}_{c}(W)\), \(h_{1}Ph_{2}: \mathcal{C}_{c}^{\infty}(W)^{N}\to \mathcal{C}_{c}^{\infty}(W)^{N}\) is a matrix of pseudodifferential operators of order m on W, that is, h 1 P(h 2 u)=p(x,D)u, with
where \(\widehat {u}\) denotes the Fourier transform of u and p∈S m(W×ℝn).
We shall work only with classical symbols, that is, symbols that have asymptotic expansions p∼∑p m−k with p m−k ∈S m−k(W×ℝn) positively homogeneous of degree m−k in ξ. Let us denote by π:T ∗ M 0→M 0 the cotangent bundle of M 0. The leading term p m in the expansion of p(x,ξ) as a classical symbol defines a smooth section of the bundle \(\operatorname {End}(E)\) over the cotangent bundle T ∗ M 0, the principal symbol of P, which is a smooth bundle homomorphism σ m (P):π ∗ E→π ∗ E, positively homogeneous on the fibers of T ∗ M 0. By choosing a metric on TM 0, the class of principal symbols can be identified with \(\mathcal{C}^{\infty}(S^{*}M_{0};\operatorname {End}(E))\) where S ∗ M 0 is the unit sphere bundle of the cotangent bundle. An operator P is said to be elliptic if σ m (P) is invertible on S ∗ M 0. We shall regard the cosphere bundle S ∗ M 0 as the boundary of T ∗ M 0 using a radial compactification of each fiber. It is in this sense (using the radial compactification) that we shall often extend the principal symbol of an order zero pseudodifferential operator to T ∗ M 0.
Under certain assumptions that will be satisfied in our setting, we have that if P∈Ψ m(M 0;E), then P 0:=P(1+P ∗ P)−1/2∈Ψ 0(M 0;E), with P ∗ the formal adjoint, and P is Fredholm, respectively, elliptic, if, and only if, P 0 is, with \(\operatorname {ind}(P)=\operatorname {ind}(P_{0})\). Moreover, σ m (P) is homotopic to σ 0(P 0), as sections of S ∗ M 0 (the unit sphere bundle of T ∗ M 0). Hence, for the purposes of an index formula, we will mainly be concerned with operators of order 0. (Here and below, the Fredholm condition is on the space L 2 for the natural metric on the underlying space. As is well known, this definition of the Fredholm property for unbounded operators is equivalent to that of Fredholmness between the suitable Sobolev spaces.)
We start by considering the class of pseudodifferential operators that are multiplication outside a compact subset of M 0, defined as
(For m<0, we consider \(\varPsi^{{m}}_{\mathrm{mult}}(M_{0};E) := \varPsi^{{0}}_{\mathrm{mult}}(M_{0};E) \cap\varPsi^{{m}}(M_{0};E)\)). We have that any operator in \(\varPsi^{{0}}_{\mathrm{mult}}(M_{0};E)\) is properly supported and that \(\varPsi^{0}_{\mathrm{mult}}(M_{0};E)\) is a ∗-algebra (see [21] for details). Moreover, denoting by \(S_{\mathrm{mult}}^{0}(T^{*}M_{0};E)\) the set of bounded symbols in S 0(T ∗ M 0;E) that are constant on the fibers of T ∗ M 0→M 0 outside a compact subset of M 0, we have that there is a well-defined symbol map
which is a surjective ∗-homomorphism with \(\ker(\sigma_{0}) = \varPsi^{-1}_{\mathrm{mult}}(M_{0};E) \), as is the case if M 0 is compact. Moreover, we have that \(P\in\varPsi^{0}_{\mathrm{mult}}(M_{0};E)\) is always bounded as an operator on L 2(M 0;E), and that \(\varPsi^{-1}_{\mathrm{mult}}(M_{0};E)\) consists of compact operators, again as in the classical case of compact manifolds.
We endow the class of symbols \(S^{0}_{\mathrm{mult}}(T^{*}M_{0};E)\) with the sup-norm, as a section of \(\operatorname {End}(E)\) over T ∗ M 0. Note that \(S^{0}_{\mathrm{mult}}(T^{*}M_{0};E)\) can be identified with the class of bounded sections in \(\mathcal{C}^{\infty}(S^{*}M_{0};\operatorname {End}(E))\) that are constant on the fibers of S ∗ M 0 outside a compact K⊂M 0, and this is consistent with regarding S ∗ M 0 as the boundary of (the radial fiberwise compactification of) T ∗ M 0.
The class \(\mathcal{C}_{a}(S^{*}M_{0};E)\) of asymptotically multiplication symbols is defined as the class of functions \(p = p(x,\xi)\in \mathcal{C}(S^{*}M_{0};\operatorname {End}(E))\) such that p(x,ξ) is bounded in the sup-norm and, for all ε>0, there is a compact K ε ⊂M 0 such that, for all x∉K ε ,
Roughly speaking, the elements of \(\mathcal{C}_{a}(S^{*}M_{0};E)\) are continuous sections of \(\operatorname {End}(E)\) over S ∗ M 0 that are bounded and asymptotically independent of ξ on the fibers of S ∗ M 0. It is easily checked that it is a C ∗-subalgebra of \(\mathcal{C}_{b}(S^{*}M_{0};\operatorname {End}(E))\), the class of continuous, bounded sections of \(\operatorname {End}(E)\).
We now define the class of asymptotically multiplication pseudodifferential operators as
that is, the closure of \(\varPsi ^{0}_{a}(M_{0};E)\) in the topology of bounded operators on L 2(M 0;E).
The point of the following lemma is that, once we consider completions, we will need to replace operators that are multiplication at infinity with asymptotically multiplication operators.
Lemma 2.1
The principal symbol defines a natural map \(\varPsi^{0}_{\mathrm{mult}}(M_{0};E) \to \mathcal{C}_{a}(S^{*}M_{0}; E)\), which extends by continuity to a surjective map \(\varPsi ^{0}_{a}(M_{0};E) \to \mathcal{C}_{a}(S^{*}M_{0};E)\).
Proof
We show that \(\mathcal{C}_{a}(S^{*}M_{0};E)\) coincides with the closure of
and the result then follows as in the compact case. It is readily checked that any p in the closure of (9) is asymptotically multiplication. For the converse, let \(p\in \mathcal{C}_{a}(S^{*}M_{0};\operatorname {End}(E))\) and take \(\widetilde {p}\in \mathcal{C}_{b}^{\infty}(S^{*}M_{0};\operatorname {End}(E))\) such that \(\|\widetilde {p}-p\|_{\sup}<\varepsilon\). Let K⊂M 0 be compact such that \(\|p(x,\xi_{1})-p(x,\xi_{2})\|_{\operatorname {End}(E_{x})}<\varepsilon\), for all x∉K, ξ 1,ξ 2∈S ∗ M 0, and let \(\phi\in \mathcal{C}^{\infty}_{c}(S^{*}M_{0})\) be such that \(\operatorname {supp}\phi\subset M_{0}-K\), 0≤ϕ≤1, and ϕ(x,ξ)=1, for x∉K′, with K′ compact such that \(K\subset \operatorname{int}(K^{\prime})\). Define
where s is a fixed smooth section of S ∗ M 0 (which exists since every connected non-compact manifold has a nowhere vanishing vector field). Then \(q(x,\xi)\in \mathcal{C}_{b}^{\infty}(S^{*}M_{0};\operatorname {End}(E))\) and for x∉K′, \(q(x,\xi)=\widetilde {p}(s(x))\) is independent of ξ. Moreover,
Hence, p lies in the closure of Ξ defined in Eq. (9), and that concludes our proof. □
The following result can be proved much as in the compact case.
Proposition 2.2
The principal symbol map (6) is continuous and the following sequence of C ∗-algebras is exact:
where \(\sigma_{0}: \varPsi ^{0}_{a}(M_{0};E) \to \mathcal{C}_{a}(S^{*}M_{0};E)\) now denotes the extension by continuity of the classical principal symbol map \(\sigma_{0} : \varPsi^{0}_{\mathrm{mult}}(M_{0};E) \to \mathcal{C}_{a}(S^{*}M_{0};E)\).
Proof
The exactness at \(\mathcal{C}_{a}(S^{*}M_{0};E)\) follows from Lemma 2.1. Using a partition of unity and the fact that our result is true in the compact case, we see that \(\varPsi^{-1}_{\mathrm{mult}}(M_{0};E) \subset \mathcal{K}\) as a dense subset. This proves the exactness at \(\mathcal{K}(M_{0}; E)\) and the fact that \(\mathcal{K}(M_{0}; E)\) is contained in the kernel of σ 0.
As in the classical case of compact manifolds, the difficult case is to prove that if an operator \(T \in \varPsi ^{0}_{a}(M_{0};E)\) is in the kernel of σ 0, then it is compact. Let then
Then we can replace the sequence T m with a sequence of operators that are zero in a neighborhood of infinity. Also, let \(\psi\in \mathcal {C}^{\infty}_{c}(M_{0})\) have the support in a local coordinate chart. Then ψT m ψ→ψTψ and σ 0(ψT m ψ)→0. Using the case of a compact manifold, we see that ψTψ is a compact operator. From this we infer that ψ 1 Tψ 2 is also compact for any compactly supported functions ψ 1 and ψ 2. (One way to prove this is to first consider the case when ψ 1 and ψ 2 have disjoint supports). Let 0≤⋯≤ψ k ≤ψ k+1≤⋯≤1 be an increasing sequence of compactly supported functions such that ψ k (x)→1, for all x. (We are assuming here that M 0 is σ-compact, which is always the case if M 0 has a compactification.)
We claim that ψ k Tψ k →T. Since ψ k Tψ k is compact for any k, it will follow that T is also compact. To prove our claim, let ε>0 and choose m such that ∥T−T m ∥<ε/3. Then we can find k 0 such that ∥ψ k T m ψ k −T n ∥≤ε/3 for k≥k 0 since T m is assumed to be zero outside a compact set. Then
for k≥k 0. This completes our proof. □
It follows from Proposition 2.2 that \(P\in \varPsi ^{0}_{a}(M_{0};E)\) is a Fredholm operator on L 2(M 0) if, and only if, its full symbol is invertible in \(\mathcal{C}_{a}(S^{*}M_{0};E)\) or, equivalently, in \(\mathcal{C}_{b}(S^{*}M_{0};E)\). See also [32] for a discussion of Fredholm operators on non-compact manifolds.
2.2 The Atiyah–Singer Index Theorem
We now review the Atiyah–Singer index formula, applied to asymptotically multiplication operators. (See, for instance, [9, 44] for the details on the constructions below).
First, we define operators acting between sections of two different vector bundles. Let E,F be vector bundles over M 0, and assume that we are given a fixed isomorphism E≅F outside a compact subset of M 0 (this assumption is satisfied whenever there exists an elliptic operator acting between these bundles). We then define \(\varPsi_{\mathrm{mult}}^{0}(M_{0};E,F)\) as the subclass of \(\varPsi _{\mathrm{mult}}^{0}(M_{0};E\oplus F)\) given by those operators that induce \(P: \mathcal{C}^{\infty}_{c}(M_{0};E)\to \mathcal{C}^{\infty}(M_{0};F)\). We have also \(S^{0}_{\mathrm{mult}}(T^{*}M_{0};E,F)\subset S^{0}_{\mathrm{mult}}(T^{*}M_{0};E\oplus F)\) and all the results in the previous section hold, except that if \(P\in \varPsi_{\mathrm{mult}}^{0}(M_{0};E,F)\) then \(P^{*}\in\varPsi_{\mathrm{mult}}^{0}(M_{0};F,E)\), so we leave the setting of C ∗-algebras. In any case, an analogue of the exact sequence given in Proposition 2.2 holds.
We now associate a K-theory class with an elliptic Fredholm operator in \(\varPsi_{a}^{0}(M_{0};E,F)\).
Lemma 2.3
For any elliptic, bounded \(Q\in\varPsi^{0}_{\mathrm{mult}}(M_{0};E,F)\) such that q:=σ 0(Q), there is a natural class [σ 0(Q)]:=[π ∗ E,π ∗ F,q] in the compactly supported K-theory of T ∗ M 0 obtained by extending q to an invertible map outside a compact set of TM 0 that is constant along the fibers of TM 0→M 0 outside a compact set. This K-theory class is such that the Fredholm index of Q depends only on [σ 0(Q)].
Proof
In order to associate a K-theory class with a Fredholm operator in \(\varPsi_{a}^{0}(M_{0}; E,F)\), we start by noting that if \(Q \in\varPsi^{0}_{\mathrm{mult}}(M_{0};E,F)\) is such that q:=σ 0(Q) is invertible, then q defines an isomorphism outside a compact subset of T ∗ M 0 by homogeneity and the fact that it is constant on the fibers outside a compact subset in M 0. Hence, regarding q(x,ξ) as a bundle map π ∗ E→π ∗ F, π:T ∗ M 0→M 0, we obtain the desired definition of [σ 0(Q)]:=[π ∗ E,π ∗ F,q] as in [7, 39]. The dependence of the index only on [σ 0(Q)] follows as in the classical case by noticing that Q is Fredholm as long as the principal symbol is invertible as in [21]. □
Given now a Fredholm operator \(P\in \varPsi ^{0}_{a}(M_{0};E,F)\) with invertible symbol \(\sigma_{0}(P)\in \mathcal{C}_{a}(S^{*}M_{0}; E, F)\), by Proposition 2.2, we can take \(q\in S^{0}_{\mathrm{mult}}(T^{*}M_{0};E,F)\) sufficiently close to σ 0(P) such that tσ 0(P)+(1−t)q, t∈[0,1], is a homotopy through invertible symbols. We define the symbol class of P as
This class is independent of q. If we take q=σ 0(Q), with \(Q \in\varPsi^{0}_{\mathrm{mult}}(M_{0};E,F)\), we have \(\operatorname {ind}(P) = \operatorname {ind}(Q)\). Moreover, if two Fredholm operators have the same symbol class, then their indices coincide, and in fact there is a well-defined (analytic) index map
where \(P\in \varPsi ^{0}_{a}(M_{0};E,F)\) and we use the metric to canonically identify T ∗ M 0 with TM 0. We summarize the above discussion in the following lemma extending Lemma 2.3.
Lemma 2.4
For any elliptic, bounded \(Q\in \varPsi ^{0}_{a}(M_{0};E,F)\) such that q:=σ 0(Q), there is a natural class [σ 0(Q)]:=[π ∗ E,π ∗ F,q] in the compactly supported K-theory of T ∗ M 0 obtained by extending q to an invertible map outside a compact set of TM 0 that is asymptotically constant along the fibers of TM 0→M 0. This K-theory class is such that the Fredholm index of Q depends only on [σ 0(Q)].
For a manifold X, we let H ∗(X), respectively \(H_{c}^{*}(X)\), denote the cohomology, respectively the compactly supported cohomology, with rational coefficients, of X. Recall that throughout this section, we assume that M 0 is the interior of a compact manifold with corners M. Let \(\overline{TM}\) be the radial compactification of the tangent bundle to M. Then the pair \((\overline{TM} , \partial \overline{TM})\) is homeomorphic to the similar pair associated with a manifold with boundary. Hence the (even) Chern character yields a map
(Later on, we will also consider the odd Chern character \(\operatorname {ch}_{1}\) defined on K 1.) Also, let Td(T ℂ M)∈H ∗(M) denote the Todd class of the complexified tangent bundle TM⊗ℂ. Note that since TM is oriented, there is a well-defined fundamental class \([TM_{0}]\in H_{2n}(\overline{TM}, \partial \overline{TM})\) (see, for instance, [44] for details on these constructions).
The following result is an immediate extension of a result in [21] from operators that are multiplication outside a compact subset of M 0 to operators that are only asymptotically so. Let \(\pi: \overline{TM} \to M\) denote the natural projection. We have \(\operatorname {ch}_{0}[\sigma_{0}(P)] \in H^{2*}(\overline{TM}, \partial \overline{TM})\) and \(\pi^{*}Td{(T_{\mathbb {C}} M)} \in H^{2*}(\overline{TM})\), so their product is in \(H^{2*}(\overline{TM}, \partial \overline{TM})=H_{c}^{2*}(TM_{0})\).
Theorem 2.5
Let \(P \in \varPsi ^{0}_{a}(M_{0};E,F)\) be such that σ 0(P) is invertible in \(\mathcal{C}_{a}(S^{*}M_{0}; E, F)\). Then P is Fredholm and
where [σ 0(P)] is defined using Lemma 2.4.
Proof
The fact that P is Fredholm follows from Proposition 2.2. The rest of the proof follows from the discussion before the statement of this theorem. Indeed, let \(P \in \varPsi ^{0}_{a}(M_{0};E,F)\) be elliptic. Then we can find \(P_{0} \in\varPsi^{0}_{\mathrm{mult}}(M_{0};E,F)\) that is close enough to P such that the straight line joining P and P 0 consists of invertible operators. Both the left-hand side and the right-hand side of our index formula are homotopy invariant. For P 0 they are equal by [21]. For P, they will therefore be equal as well, by homotopy invariance. □
2.3 Comparison Spaces
In this subsection, we extend the index formula of Theorem 2.5 by deformation to certain pseudodifferential operators on non-compact manifolds that extend to the compactification M of M 0 in a suitable sense. More precisely, we require the principal symbols of our operators to extend to a so-called “comparison space”, and there is an invertible complete symbol at the boundary. We thus generalize the approach in [31, 48], using homotopy to asymptotically multiplication symbols.
Recall that M is a compactification of M 0 to a manifold with corners. In this section, we fix a vector bundle A over M such that \(A \vert_{M_{0}}\cong TM_{0}\) (later, when we consider Lie structures, such an A will be naturally associated with M 0.) Denote by \(\overline{A}\) the fiber-wise radial compactification of A, so \(\overline{A}\) is a manifold with corners that is a fibration over M with fibers closed balls of dimension n. We identify A with A ∗ using a fixed metric. Let (S ∗ A) ∂M be the restriction of the cosphere bundle S ∗ A to the boundary ∂M of M. Define
such that
The space Ω will play an important role in what follows. It is closely related to a similar space introduced by Cordes and his collaborators in his work on Gelfand theory for non-compact manifolds [23, 24].
Let Ψ A (M 0;E)⊂Ψ 0(M 0;E) be a ∗-algebra of order 0, bounded, pseudodifferential operators. We say that Ω is a comparison space for Ψ A (M 0;E) if there is a surjective homomorphism
such that \(\sigma_{\mathrm{full}}(P)\vert_{S^{*}M_{0}} = \sigma_{0}(P)\), with kernel included in the algebra of compact operators. We call σ full a full symbol and write σ full=(σ 0,σ ∂ ), where
is the boundary symbol morphism. An operator with invertible full symbol is called fully elliptic. We shall give an index formula for fully elliptic operators in this setting, reducing to asymptotically multiplication operators.
We see first that any function in \(\mathcal{C}(\varOmega, \operatorname {End}(E))\) can be homotoped over the interior to an asymptotically multiplication symbol. Since the fibers of \(\overline{A}\) are isomorphic to the n-dimensional half sphere \(\mathbb{S}^{n}_{+}\) and hence contractible, we have that Ω is homotopy equivalent to the space \(\widetilde {\varOmega}\) obtained from the cosphere bundle S ∗ A by collapsing the fibers above points of the boundary. More precisely, \(\widetilde {\varOmega}:=(S^{*}{A}) \slash\sim\), with (x,ξ)∼(x,ξ′), for x∈∂M, ξ,ξ′∈S ∗ A x . Since
we conclude that every \(f\in \mathcal{C}(\varOmega;\operatorname {End}(E))\) is canonically homotopic to some \(\widetilde {f}\in \mathcal{C}(\varOmega;\operatorname {End}(E))\) constant on the fibers of \(\overline{A}\vert_{\partial M} \to\partial M\) (this is achieved by a homotopy equivalence between Ω and \(\widetilde{\varOmega}\)). Moreover, if f is invertible, the canonical homotopy between f and \(\widetilde {f}\) is through invertible functions. We now have the following:
Lemma 2.6
If \(f\in \mathcal{C}(\varOmega, \operatorname {End}(E))\) is constant on fibers of \(\overline{A}\vert_{\partial M} \to\partial M\) and \(f_{0} := f\vert_{ S^{*}M_{0}}\), then \(f_{0} \in \mathcal{C}_{a}(S^{*}M_{0}, \operatorname {End}(E))\). In particular, let \(f\in \mathcal{C}(\varOmega, \operatorname {End}(E))\), then f is homotopic to \(\widetilde {f} \in \mathcal{C}(\widetilde {\varOmega}, \operatorname {End}(E)) \subset \mathcal{C}(\varOmega , \operatorname {End}(E))\) and hence it satisfies \(f_{0} := \widetilde {f}\vert_{ S^{*}M_{0}} \in \mathcal{C}_{a}(S^{*}M_{0}, \operatorname {End}(E))\).
Proof
We consider only the scalar case (so \(E=\mathbb {C}= \operatorname {End}(E)\)) for simplicity. Let \(p\in \mathcal{C}(\partial M)\) be such that \(f_{(S^{*}{A})_{\partial M}}=p\). It suffices to show that, given ε>0, there is a neighborhood U of ∂M in M such that for y∈M 0∩U, \(\xi, \xi^{\prime}\in S^{*}_{y}M_{0}\),
so that (7) follows with K=M∖U. We can do this locally, so assume U x is a neighborhood of x∈∂M such that π −1(U x )≅U x ×S n−1, π:S ∗ A→M. Let
By the continuity of f in S ∗ A, we have that V x is open in U x ×S n−1. Moreover, since f(y,ξ)=p(y), y∈∂M, it contains W x ×S n−1 for some W x ⊂∂M open. Hence, V x can be taken as \(\widetilde {U}_{x}\times S^{n-1}\), for some open neighborhood \(\widetilde {U}_{x}\) of W x in M so that (15) holds if \(y\in \widetilde {U}_{x}\). The last statement follows from the fact that Ω and \(\widetilde {\varOmega}\) are homotopy equivalent. □
Let us notice that for \(f \in \mathcal{C}(\widetilde{\varOmega}; \operatorname {End}(E))\), the restriction \(f\vert_{S^{*}M_{0}}\) completely determines f since S ∗ M 0 is dense in \(\widetilde{\varOmega}\). Now let \(P\in\overline{ \varPsi_{A}^{0}(M;E)} \) have invertible symbol
(In the terminology introduced earlier, P is fully elliptic.) From the previous lemma, there is an invertible \(\widetilde {\phi} \in \mathcal{C}(\widetilde {\varOmega}; \operatorname {End}(E)) \subset \mathcal{C}(\varOmega; \operatorname {End}(E))\) homotopic through invertibles to ϕ, with \(\widetilde {\sigma} := \widetilde {\phi}\vert_{ S^{*}M_{0}} \in \mathcal{C}_{a}(S^{*}M_{0}; \operatorname {End}(E))\) and σ:=σ 0(P) and \(\widetilde {\sigma}\) are homotopic (over M 0). If we let \(\widetilde {\sigma} = \sigma_{0}(\widetilde {P})\), for some \(\widetilde {P} \in\varPsi^{0}_{a}(M_{0};E) \cap\overline{ \varPsi_{A}^{0}(M;E)}\), then \(\widetilde {P}\) is Fredholm, since \(\widetilde {\sigma}\) is invertible. Moreover, from the surjectivity of the complete symbol map (14), there is a continuous family \(P_{t}\in\overline{ \varPsi_{A}^{0}(M;E)}\), t∈[0,1], lifting the homotopy between ϕ and \(\widetilde{\phi}\). Hence P 0=P and \(P_{1}=\widetilde {P}\) and \(\operatorname {ind}(P) = \operatorname {ind}(\widetilde {P})\).
We also conclude that with any fully elliptic operator \(P \in \overline{ \varPsi_{A}^{0}(M;E, F)}\) we can associate a well-defined K-theory class \([\widetilde {\sigma}_{\mathrm{full}}(P)]\) extending the definition in Eq. (11) by homotopy as follows. We know that P is homotopic to some \(\widetilde{P} \in\varPsi^{0}_{a}(M_{0};E)\) through Fredholm operators in \(\varPsi^{0}_{A}(M_{0};E)\) and \([\widetilde {\sigma}_{\mathrm{full}}(P)] := [\sigma_{0}(\widetilde{P})]\), so that
where we assume \(\widetilde{p}\) is an extension of the principal symbol of \(\widetilde{P}\) to a function that is multiplication at infinity and homotopic to σ 0(P) over the interior. In particular,
Now consider, for \(P \in\overline{ \varPsi_{A}^{0}(M;E, F)}\) fully elliptic,
where \(\sigma_{\partial }(P)\in \mathcal{C}(\overline{A}_{\partial M}; \operatorname {Hom}(E,F) \vert _{\partial M})\) and \(\sigma_{0}(P)\in \mathcal{C}(S^{*}A;\operatorname {Hom}(E,F))\) denote the boundary and principal symbols, respectively. Let us consider the connecting map ∂:K 1(Ω)→K 0(TM 0) in the long exact sequence of the pair \((\overline{A}, \partial \overline{A} )=(\overline{A}, \varOmega)\). We summarize the above discussion to the following generalization of Lemma 2.4.
Lemma 2.7
For any fully elliptic \(P \in\overline{ \varPsi_{A}^{0}(M;E, F)}\) there is a natural class
in the compactly supported K-theory of T ∗ M 0 obtained by extending σ full(P) to a continuous endomorphism p invertible outside a compact set of TM 0. This K-theory class is such that the Fredholm index of P depends only on \([\widetilde {\sigma}_{\mathrm{full}}(P)]\) and
Let us also notice that Ω is homotopically equivalent to the boundary of an oriented smooth manifold with boundary, obtained from \(\overline{A}\) by smoothing the corners (so the homotopy equivalence is not C ∞). Hence it has a well-defined fundamental class [Ω]∈H 2n−1(Ω). If \([\overline{A}]\) denotes the fundamental class of \(\overline{A}\) in \(H_{2n}(\overline{A}, \varOmega)\), then \([\varOmega] = \partial [\overline{A}]\). Using the compatibility of the boundary maps in K-theory and cohomology, that is, the fact that the Chern character is a natural transformation of cohomology theories (see [55] for an extension of this result to non-commutative algebras), we obtain the following result as a consequence of the Atiyah–Singer index formula extended to operators that are asymptotically multiplication operators (Theorem 2.5).
As before, let Td(T ℂ M) denote the Todd class of the complexified tangent bundle of M, and \(\pi: \overline{T^{*}M}\to M\). Also, we denote by π Ω :Ω→M the natural projection.
Theorem 2.8
Let Ω be a comparison space for \(\varPsi_{A}^{0}(M;E, F)\) and \(P \in\overline{\varPsi_{A}^{0}(M;E, F)}\) be a fully elliptic operator (that is, an elliptic operator with σ ∂ (P) invertible in \(\mathcal{C}(\overline{A}\vert_{\partial M};\operatorname {Hom}(E, F) \vert_{\partial M})\)). Then P is Fredholm and
where \([\widetilde {\sigma}_{\mathrm{full}}(P)]\) is defined using Lemma 2.7.
Proof
Again, the proof of the first equality follows from the discussion before the statement of the theorem. Indeed, let us choose a homotopy between P and \(\widetilde{P} \in\varPsi_{a}^{0}(M_{0}; E, F)\) through Fredholm operators \(\overline{\varPsi_{A}^{0}(M;E, F)}\). Both the left-hand side and the right-hand side(s) of the index formula of this theorem are homotopy invariant. For \(\widetilde{P}\) they are equal in view of Theorem 2.5, by homotopy invariance, they will be equal also for P. To prove the last equality, we just use the fact that the Chern character is compatible with the boundary maps in K-theory and cohomology. (A proof of a generalization of this result to non-commutative algebras can be found in [55].) □
3 Index Formula on Asymptotically Commutative Lie Manifolds
From now on, we endow M 0 with the structure of a Lie manifold with compactification M and structural Lie algebra of vector fields \(\mathcal{V}\) (see below for the definitions). There is associated with \((M, \mathcal{V})\) a well-behaved pseudodifferential calculus and, for operators in this calculus, Fredholm criteria follow from the pseudodifferential calculus of operators on groupoids [2, 41]. See also [19, 20, 22, 27, 28, 49, 53] for more index theory results involving groupoids.
We show that if we introduce the additional assumption on the structural Lie algebra \(\mathcal{V}\) that it be asymptotically commutative, then there will exist a (commutative) complete symbol and hence we can apply the results in the previous section. Recall that in this section n may be arbitrary (in the following section, it will be assumed to be even).
3.1 Operators on Lie Manifolds
In this section, M will denote a compact manifold with corners and \(M_{0} = \operatorname{int}(M)\), as before. Also, let \({\mathcal{V}}_{M}\) denote the Lie algebra of vector fields that are tangent to all faces of M. We always assume that each hyperface H⊂M is an embedded submanifold of M and hence that it has a defining function x H (recall that this means that x H is smooth on M, x H ≥0, H={x H =0}, and dx H ≠0 on H).
We recall the main definitions of [2, 4]. We say that a Lie subalgebra \(\mathcal{V}\subset{ \mathcal{V}_{M}}\) is a structural Lie algebra of vector fields if it is a Lie algebra with respect to the Lie bracket and it is also a finitely generated, projective, \(\mathcal{C}^{\infty}(M)\)-module. By the Serre–Swan theorem, we have that there exists a vector bundle A such that \(\mathcal{V}\cong \varGamma( A)\). Moreover, there is a vector bundle morphism ρ:A→TM, called the anchor map, which induces the inclusion map \(\rho: \mathcal{V}= \varGamma(A) \to\varGamma(TM)\). It thus follows that A with the given structure is naturally a Lie algebroid.
Definition 3.1
A Lie manifold M 0 is given by a pair \((M,\mathcal{V})\), where \(M_{0}=\operatorname{int}(M)\) and \(\mathcal{V}\) is a structural Lie algebra of vector fields such that \(\rho\vert_{M_{0}} : A\vert_{M_{0}}\to TM_{0}\) is an isomorphism.
A metric on M 0 that is obtained from a metric on A by restriction to \(A\vert_{M_{0}} \cong TM_{0}\) will be called a compatible metric on M 0. Any two such metrics are Lipschitz equivalent. We fix one of these metrics on M 0 in what follows.
With a Lie manifold \((M, \mathcal{V})\) we associate the algebra \(\operatorname {Diff}_{\mathcal{V}}(M_{0})\) of \(\mathcal{V}\)-differential operators on M 0, defined as the enveloping algebra of \(\mathcal{V}\) (generated by \(\mathcal{V}\) and \(\mathcal{C}^{\infty}(M)\)). It was shown in [4] that \(\operatorname {Diff}_{\mathcal{V}}(M_{0})\) contains all geometric operators on M 0 associated with a compatible metric, such as the Dirac and generalized Dirac operators. (This property of \(\operatorname {Diff}_{\mathcal{V}}(M_{0})\) will be used in Sect. 4.) One defines differential operators acting between sections of vector bundles E,F over M as
where e E ,e F are projections onto E,F⊂M×ℂN. In [2], a class of pseudodifferential operators associated with a given Lie structure at infinity is defined by a process of microlocalizing \(\operatorname {Diff}_{\mathcal{V}}(M_{0};E,F)\). We outline this construction below.
Recall that we first define the class S m(A ∗)⊂C ∞(A ∗) as functions satisfying the usual symbol estimates on coordinate patches trivializing A ∗, which are moreover classical symbols. By inverse Fourier transform on the fibers, each symbol a∈S m(A ∗) defines a distribution \(\mathcal{F}_{\mathrm{fib}}^{-1}(a)\) on A that is conormal to M. By restriction, \(\mathcal{F}_{\mathrm{fib}}^{-1}(a)\) defines a distribution on TM 0 conormal to M 0. We fix a metric on A which then defines a compatible metric. We denote by exp the (geodesic) exponential map associated with this metric (yielding exp x :T x M 0→M 0 for each x∈M 0). Now for some r>0, let
be the diffeomorphism given by the Riemann–Weyl fibration, where (TM 0) r are the vectors with norm less than r, V r is an open neighborhood of the diagonal \(M_{0} \cong\varDelta_{M_{0}} \subset M_{0}^{2}\), and r>0 is less than the injectivity radius of M 0, which is known to be positive. Fix a smooth function χ, with \(\operatorname {supp}\chi\subset\varPhi^{-1}(V_{r})\) and χ=1 on a neighborhood of the zero section of A, which is identified with M. For a∈S m(A ∗), define a distribution on \(M_{0}^{2}\), conormal to M 0, by
Let a χ (D) denote the operator on M 0 with Schwartz kernel q χ . Then a χ (D) is a properly supported (if r<∞) pseudodifferential operator on M 0.
For each \(X\in \mathcal{V}=\varGamma(A)\), let \(\psi_{X}: \mathcal{C}^{\infty}_{c}(M)\to \mathcal{C}^{\infty}_{c}(M)\) be the operator induced by the global flow Ψ X :ℝ×M→M by evaluation at 1.
Definition 3.2
The space \(\varPsi_{\mathcal{V}}^{m}(M_{0})\) of pseudodifferential operators generated by the Lie structure at infinity \((M,\mathcal{V})\) is the linear space of operators \(\mathcal{C}^{\infty}_{c}(M_{0})\to \mathcal{C}^{\infty}_{c}(M_{0})\) generated by a χ (D), with a∈S m(A ∗) and \(b_{\chi}(D) \psi_{X_{1}}\cdots\psi_{X_{k}}\), with b∈S −∞(A ∗) and \(X_{1}, \ldots, X_{k}\in \mathcal{V}=\varGamma(A)\).
We similarly define the space \(\varPsi^{m}_{\mathcal{V}}(M_{0};E,F)\) of pseudodifferential operators acting between sections of vector bundles E,F over M.
As for the usual algebras of pseudodifferential operators, we have the following basic property of the principal symbol (Proposition 2.6 [2]): The principal symbol establishes isomorphisms
We note that the set of all a χ (D), with a∈S ∞(A ∗) is not closed under composition of operators, which is why we consider extra operators in Ψ −∞(M 0). To show that \(\varPsi_{\mathcal{V}}^{m}(M_{0})\) is indeed closed under composition, results from the following section are needed.
3.2 Operators on Groupoids
In order to obtain algebraic properties and, in particular, Fredholm criteria, an important result is that \(\varPsi_{\mathcal{V}}^{m}(M_{0})\) can be recovered from an algebra of pseudodifferential operators on a suitable groupoid integrating A. We review the main definitions of the theory of pseudodifferential operators on groupoids, for the benefit of the reader (see [41, 54]).
For a Lie groupoid \(\mathcal{G}\) with the space of units given by a manifold with corners M, with \(d,r: \mathcal{G}\to M\) the domain and range maps, \(P=(P_{x}) \in\varPsi^{m}(\mathcal{G})\) is defined as a smooth family of pseudodifferential operators on the fibers \(\mathcal{G}_{x}:=d^{-1}(x)\), x∈M, which is right-invariant, that is, U g P d(g)=P r(g) U g , where \(U_{g}: C^{\infty}(\mathcal{G}_{d(g)}) \to C^{\infty}(\mathcal{G}_{r(g)}), U_{g}(f)g^{\prime}:= f(g^{\prime}g)\). Recall that the definition of a Lie groupoid requires the sets \(\mathcal{G}_{x} := d^{-1}(x)\) to be smooth manifolds (no corners). We also assume that this family is uniformly supported in that
is compact, where μ(g,h)=gh −1 and K x denotes the Schwartz kernel of P x (a distribution on \(\mathcal{G}_{x}\times \mathcal{G}_{x}\)). In this case, each P x is properly supported, so that the composition gh −1 is well defined. Moreover, P acts on \(C^{\infty}(\mathcal{G})\). Let \(T^{d}\mathcal{G}=\ker d^{*}=\bigcup T_{x}\mathcal{G}_{x}\) be the d-vertical tangent bundle and denote by \(A(\mathcal{G}):=\left(T^{d}\mathcal{G}\right)_{M}\) the Lie algebroid of \(\mathcal{G}\) and \(S^{*}A(\mathcal{G}):=(A(\mathcal{G})^{*} \setminus 0) \slash \mathbb {R}^{*}_{+}\) its cosphere bundle. Let us fix a metric on A. This choice defines a principal symbol map \(\sigma_{m}: \varPsi^{m}(\mathcal{G}) \to \mathcal {C}^{\infty}_{c}(S^{*}A(\mathcal{G}))\), which is surjective, with kernel \(\varPsi^{m-1}(\mathcal{G})\). One can similarly define operators acting between sections of vector bundles: If E is a vector bundle over the space of units M, then \(\varPsi^{m}(\mathcal{G}, r^{*}E)\) is well defined, as above.
For each x∈M, we consider the regular representation π x of \(\varPsi^{\infty}(\mathcal{G}) \) on \({\mathcal{C}^{\infty}(\mathcal{G}_{x})}\) defined as π x (P):=P x . When restricted to order zero operators, this is a bounded ∗-representation, for all x. For \(P\in\varPsi^{0}(\mathcal{G})\), let
be the reduced C ∗ -norm. We shall also need the full C ∗ -norm defined as
where ρ ranges through bounded ∗-representation of \(\varPsi^{0}(\mathcal{G})\) such that for \(T\in\varPsi^{-\infty}(\mathcal{G})\), ρ(T)≤∥T∥1, with ∥ ∥1 defined by integrating the Schwartz kernels over the fibers (see [41] for the precise definitions). Endowing \(\varPsi^{0}(\mathcal{G})\) with the full norm ∥ ∥, we have that the principal symbol extends to a bounded ∗-homomorphism
surjective, with kernel \(C^{*}(\mathcal{G}) : = \overline{\varPsi^{-\infty}(\mathcal{G})}\). (A similar result holds for the reduced norm.)
If Y⊂M is an invariant subset of the units, in the sense that r −1(Y)=d −1(Y), then \(\mathcal{G}_{Y}:=d^{-1}(Y)\) is also a continuous family groupoid, with units Y, and we can define a restriction operator \(\mathcal{R}_{Y}: \varPsi^{m}(\mathcal{G};E)\to\varPsi^{m}(\mathcal{G}_{Y}; E_{Y})\) as
In this case, Lemma 3 in [41] gives that the following sequence is exact:
where the fibered product \(\overline{\varPsi^{0}(\mathcal{G}_{Y})} \times_{\mathcal{C}_{0}(S^{*}A(\mathcal{G})_{Y})} \mathcal{C}_{0}(S^{*}A(\mathcal{G}))\) is defined as the algebra of pairs \((Q, f) \in\overline{\varPsi^{0}(\mathcal{G}_{Y})} \times \mathcal{C}_{0}(S^{*}A(\mathcal{G}))\) such that \(\sigma_{0}(Q)=f_{\vert{S^{*}A(\mathcal{G})_{Y}}}\).
If \(M_{0}=\operatorname{int} (M )\) is an invariant subset, one can define the so-called vector representation \(\pi_{M_{0}}\), which associates with \(P\in\varPsi^{0}(\mathcal{G})\) a pseudodifferential operator \(\pi_{M_{0}}(P): \mathcal{C}^{\infty}_{c}(M_{0})\to \mathcal{C}^{\infty}_{c}(M_{0})\) by the formula \(\pi_{M_{0}}(P)u = u_{0}\), with P(u∘r)=u 0∘r [43]. Recall that a Lie groupoid is called d-connected if all the sets \(\mathcal{G}_{x} := d^{-1}(x)\) are connected. If A→M is a Lie algebroid on M, we say that \(\mathcal{G}\) integrates A if \(A(\mathcal{G}) = A\). We shall need Theorem 3.3 from [2], which gives that
Theorem 3.3
Let \((M,\mathcal{V})\) be a Lie manifold with Lie algebroid A and \(\mathcal{G}\) be a d-connected groupoid over M integrating A. Then \(\varPsi_{\mathcal{V}}^{m}(M_{0})\cong\pi_{M_{0}}(\varPsi^{m}(\mathcal{G}))\).
The right-hand side is well defined since, as we shall see next, one can always assume that M 0 is an invariant subset of such \(\mathcal{G}\). In particular, it follows that the classes \(\varPsi_{\mathcal{V}}^{m}(M_{0})\) define a filtered algebra on \(\varPsi_{\mathcal{V}}^{\infty}(M_{0})\).
The problem of integrating Lie algebroids was solved in [26], though for our purposes, the results in [52] suffice. Namely, M 0 and ∂M form an A-invariant stratification of M, so it follows from the glueing theorem in [52] that it suffices to integrate along these strata. Since the anchor map ρ is a diffeomorphism over the interior, we can take the d-connected groupoid \(\mathcal{G}\) integrating A to coincide with the pair groupoid over the interior, meaning that \(\mathcal{G}_{M_{0}}\cong M_{0}\times M_{0}\), in case M 0 is connected. (The general case of non-connected M 0 can be reduced to the connected case by taking the compactification of each connected component.) It then follows from [52] that, if \(\mathcal{G}_{\partial M} \) is a groupoid integrating A ∂M , then
has the structure of a differentiable groupoid with Lie algebroid A. We see that M 0 is indeed an invariant subset, and moreover, since \(\mathcal{G}_{M_{0}}\) is the pair groupoid, one has that \(C^{*}(\mathcal{G}_{M_{0}})\cong \mathcal{K}(L^{2}(M_{0}))\), the isomorphism being induced either by the vector representation \(\pi_{M_{0}}\) or by π x , x∈M 0, noting that these representations are equivalent through the isometry \(r: \mathcal{G}_{x}\to M_{0}\). In particular, the vector representation \(\pi_{M_{0}}\) is bounded. Fredholm criteria now follow from the exact sequence (22) as in [41, Theorem 4].
From now on we shall assume that \(\mathcal{G}\) is a d-connected Lie groupoid integrating the Lie algebroid A→M defined by a Lie manifold \((M, \mathcal{V})\) . We shall also assume that the vector representation \(\pi_{M_{0}}\) is injective on \(\overline{\varPsi^{0}(\mathcal{G})}\) . In particular, \(\varPsi^{0}(\mathcal{G}) \cong\varPsi^{0}_{\mathcal{V}}(M_{0})\). Moreover, since \(C^{*}(\mathcal{G}) \subset\overline{\varPsi^{0}(\mathcal{G})}\) and \(\pi_{M_{0}}\) factors through the reduced C ∗-algebra of \(\mathcal{G}\), so that \(\pi_{M_{0}}(C^{*}_{r}(\mathcal{G}))=\pi_{M_{0}}(C^{*}(\mathcal{G}))\), we hence obtain that \(\mathcal{G}\) is amenable, in that the reduced and full norms coincide.
We shall use the isomorphism above to carry to \(\varPsi^{m}_{\mathcal{V}}(M_{0})\) all concepts defined for \(\varPsi^{m}(\mathcal{G})\). At the level of symbols, we have \(\sigma_{m}(P)=\sigma_{m}(\pi_{M_{0}}(Q))=\sigma_{m}(Q)\) on M 0, for any \(P \in\varPsi^{m}_{\mathcal{V}}(M_{0})\). We shall also need the map of restriction to the boundary for operators on \((M,\mathcal{V})\)
where \(\pi_{M_{0}}(Q)=P\) and \(\mathcal{R}_{\partial }: \varPsi^{0}(\mathcal{G})\to\varPsi^{0}(\mathcal{G}_{\partial M})\) is restriction to the boundary, as in Eq. (21).
Proposition 3.4
Let \((M,\mathcal{V})\) be a Lie manifold with Lie algebroid A and \(\mathcal{G}\) be a d-connected groupoid as in (23) satisfying \(A(\mathcal{G}) \simeq A\). Assume that the representation \(\pi_{M_{0}}\) is injective on \(\overline{\varPsi^{0}(\mathcal{G})}\), as above. Then
and \(P \in\overline{\varPsi_{\mathcal{V}}^{0}(M_{0})}\) is Fredholm on L 2(M 0) if, and only if, it is elliptic and σ ∂ (P) is invertible in \(\overline{\varPsi^{0}(\mathcal{G}_{\partial M})} \).
Proof
Since \(\pi_{M_{0}}\) is injective and \(\pi_{M_{0}}C^{*}(\mathcal{G}_{M_{0}})\cong \mathcal{K}(L^{2}(M_{0}))\), we have the induced representation \(\pi': \overline{\varPsi^{0}(\mathcal{G})} /C^{*}(\mathcal{G}_{M_{0}})\to {\mathcal{B}(L^{2}(M_{0}))}/\mathcal{K}\), which is also injective. Hence, \(P=\pi_{M_{0}}(Q)\) is Fredholm if, and only if, the class of Q is invertible in \(\overline{\varPsi^{0}(\mathcal{G})} /C^{*}(\mathcal{G}_{M_{0}})\). The result follows from (22). □
Moreover, the amenability of \(\mathcal{G}\) yields that the restriction \(\mathcal{G}_{\partial M}\) is also amenable (see [60] Proposition 3.7). In this case, ρ:=∏ x∈∂M π x is an injective representation of \(\varPsi^{0}(\mathcal{G}_{\partial M})\) and σ ∂ (P), as above, is invertible if, and only if, σ ∂ (P) x =Q x is invertible for all x∈∂M, with \(\pi_{M_{0}}(Q)=P\). (The same is also true for \(\varPsi^{\infty}(\mathcal{G}_{\partial M})\), since if ρ(P)=0, then ρ(P(1+P ∗ P)−1/2)=0.)
Elliptic operators P with invertible σ ∂ (P) are sometimes called fully elliptic and the algebra \(\varPsi^{0}(\mathcal{G}_{\partial M})\) is the so-called indicial algebra. If \(\pi_{M_{0}}\) is not injective for some x∈M 0, then we only have a sufficient condition for Fredholmness.
To finish this section, we prove a result that will later enable us to compute the index of operators with order m>0 from the index of order 0 operators.
Lemma 3.5
Let \(Q \in\varPsi^{m}_{\mathcal{V}}(M_{0};E)\) and P:=Q(1+Q ∗ Q)−1/2. Then \(P \in\overline{\varPsi^{0}_{\mathcal{V}}(M_{0}; E)}\).
Proof
Let \(\mathcal{G}\) be the canonical groupoid integrating \((M, \mathcal{V})\). It follows from groupoid calculus applied to \(\varPsi^{0}(\mathcal{G})\), more precisely from Theorem 7.2 in [43], that if \(L \in{\varPsi^{2m}(\mathcal{G})}\) is such that L≥1 and σ 2m (L)>0 then \(SL^{-1/2} \in \overline{\varPsi^{0}(\mathcal{G})}\), for any \(S\in\varPsi^{m}(\mathcal{G})\). From Theorem 3.3, let \(R \in{\varPsi^{m}(\mathcal{G})}\) be such that \(\pi_{M_{0}}(R) = Q\), with \(\pi_{M_{0}}\) the vector representation. Then
and we can apply the result above to 1+R ∗ R to obtain \(R(1+R^{*}R)^{-1/2}\in\overline{{ \varPsi}^{0}(\mathcal{G})}\). Hence \(\pi_{M_{0}}(R(1+R^{*}R)^{-1/2}) \in\overline{{ \varPsi_{\mathcal{V}}}^{0}(M_{0})}\). It follows from the definitions that
so that \(P = Q(1+Q^{*}Q)^{-1/2} \in\overline{\varPsi^{0}_{\mathcal{V}}(M_{0})}\). □
Note that if P and Q are as in the lemma above (Lemma 3.5), σ m (Q) and σ 0(P) are homotopic as sections of S ∗ A. Moreover, if we define the map of restriction to the boundary \(\sigma_{\partial }: \varPsi^{m}_{\mathcal{V}}(M_{0};E)\to\varPsi^{m}(\mathcal{G}_{\partial M}; r^{*}E)\) given, as before, by \(\sigma_{\partial }(Q):=\mathcal{R}_{\partial }(R)\), with \(\pi_{M_{0}}(R)=Q\), then it follows from the proof that
hence σ ∂ (P) is invertible if, and only if, σ ∂ (Q) is. We say that \(Q\in\varPsi^{m}_{\mathcal{V}}(M_{0};E)\) is fully elliptic if, and only if, P is. In that case, P is Fredholm and Q will also be Fredholm, in the setting of unbounded operators, with \(\operatorname {ind}(Q)=\operatorname {ind}(P)\) (see Sect. 4.1).
3.3 The Asymptotically Commutative Case
In this subsection, we prove an index formula for certain classes of pseudodifferential operators on Lie manifolds whose associated groupoids are such that the restrictions at the boundary yield bundles of commutative Lie groups. The main point is giving conditions that yield commutativity of the algebra \(\varPsi^{0}(\mathcal{G}_{\partial M})\), using the notation of the previous section, so that Fredholmness depends on invertibility in an algebra of functions, thus reducing to the setting considered in Sect. 2.3. This is known to hold for the scattering and double-edge calculus [41–43, 48, 56]. The dimension of M is denoted by n, as before. Recall that in this section, we do not assume n to be even.
Definition 3.6
Let \((M, \mathcal{W})\) be a connected Lie manifold with Lie algebroid \(\pi: A_{\mathcal{W}} \to M\) with the property that any \(X \in \mathcal{W}\) vanishes at the boundary ∂M (that is, on any face of the boundary) and the resulting Lie algebras \(A_{\mathcal{W}, x} := \pi^{-1}(x)\) are commutative. A Lie manifold \((M, \mathcal{W})\) with this property will be called an asymptotically commutative Lie manifold, and \(\mathcal{W}\) will be called commutative at infinity.
(We reserve the notation \(\mathcal{W}\) for asymptotically commutative structural Lie algebras of vector fields, whereas \(\mathcal{V}\) will denote a general such structural Lie algebra of vector fields.)
Let \((M, \mathcal{W})\) be an asymptotically commutative Lie manifold. Then a groupoid integrating \(A_{\mathcal{W}}\vert_{\partial M}\) is \(A_{\mathcal{W}}\vert_{\partial M}\) itself (since the commutative Lie algebra ℝn identifies with itself via the exponential map). According to [52], there will be a unique Lie manifold structure on the disjoint union
such that \(\mathcal{G}\) is a Lie groupoid integrating \(A = A_{\mathcal{W}}\). Thus any Lie algebroid associated with an asymptotically commutative Lie manifold has a canonical Lie groupoid integrating it. Let \(\overline{A}\) be the sphere bundle obtained by radial compactification of the fibers of A.
Proposition 3.7
Assume \((M, \mathcal{W})\) is an asymptotically commutative Lie manifold and let \(\mathcal{G}\) be the canonical Lie algebroid integrating it, as in Eq. (24). Then \(\varPsi^{0}(\mathcal{G}_{\partial M})\) is commutative and
Proof
It follows from (24) that the algebra of pseudodifferential operators on \(\mathcal{G}_{\partial M}\) coincides with Ψ 0(A ∂M ), that is, with the algebra of continuous families of (P x ) of translation invariant pseudodifferential operators P x acting on the fibers (A ∂M ) x of A ∂M , x∈∂M.
Now, the pseudodifferential operators of order zero on a vector space V that are translation invariant coincide with convolution operators with functions whose Fourier transform is in
(symbols of order zero that are independent of y). The algebra of convolution operators is commutative, so it follows straightaway that Ψ 0(A ∂M ) is commutative. (In particular, the reduced and full C ∗-norms coincide.) Moreover, one can check that \(\overline{\widetilde {S^{0}}(V)}\cong \mathcal{C}(\overline{V})\), with \(\overline{V}\) the radial compactification of V. Hence, \(\overline{\varPsi^{0} (A_{\partial M})}\cong \mathcal{C}(\overline{A}\vert _{\partial M})\), since there is an isomorphism between elements of Ψ 0(A ∂M ) and continuous families in \({\widetilde {S^{0}}(A_{x})}\), which is bounded with respect to the reduced, hence the full, norm. This proves \(\overline{\varPsi^{0}(\mathcal{G}_{\partial})} \cong \mathcal{C}(\overline{A}\vert _{\partial M})\), as claimed. □
Note that it follows from the proof that the isomorphism above is really given by the total symbol, as in (4), of the indicial boundary operator. For order m>0 operators, we have \(\varPsi^{m}(\mathcal{G}_{\partial M}) = \varPsi^{m}({A}\vert_{\partial M})\cong {\widetilde {S^{m}}({A}\vert_{\partial M})} \subset \mathcal{C}^{\infty}({A}\vert_{\partial M})\), the isomorphism being again given by the total symbol, that is, including the lower-order terms of the symbol. (This total symbol is defined since the resulting operators on the fibers of A→∂M are translation invariant, and hence they are convolution operators. The total symbol is simply the Fourier transform of the resulting convolution distributions.)
As in Sect. 2.3, Eq. (13), consider \(\varOmega:= \partial(\overline{A}) = (S^{*}A) \cup\overline{A} \vert_{\partial M}\) such that \(\mathcal{C}(\varOmega) = \{(f,g) \in \mathcal{C}(S^{*}{A}) \oplus \mathcal{C}( \overline{A} \vert _{\partial M}), f = g \text{ on } S^{*}{A}_{\partial M} \}\).
Define the boundary symbol for operators on \((M, \mathcal{W})\) by
as the map of restriction to the boundary composed with the isomorphism given by the previous proposition. For \(P\in\varPsi^{m}_{\mathcal{W}}(M_{0};E)\), the boundary symbol is just given by the total symbol of \(\mathcal{R}_{\partial }(Q)=Q\vert_{\partial M}\in\varPsi^{0}(A_{\partial M})\), with \(\mathcal{R}_{\partial M}: \varPsi^{m}(\mathcal{G}, r^{*}E)\to\varPsi^{m}(A_{\partial M}, r^{*}E_{\partial M})\) the restriction map and \(\pi_{M_{0}}(Q)=P\).
Moreover, it follows from (22) that \(\mathcal{C}(\varOmega)\) is the recipient of full symbols of pseudodifferential operators on M, since \(\mathcal{C}(\overline{A}\vert_{\partial M})\times_{\mathcal{C}_{0}(S^{*}A_{\partial M})} \mathcal{C}_{0}(S^{*}A) =\mathcal{C}(\partial\overline{A}) = \mathcal{C}(\varOmega)\). We then have a map
which is surjective, continuous, and a ∗-algebra morphism. We will see in the next proposition that \(\mathcal{K}\subset\ker\sigma_{\mathrm{full}}\), so it follows that \(\varOmega=\partial(\overline{A})\) is a comparison space for \(\overline{\varPsi_{\scriptsize \mathcal{W}}^{0}(M;E)}\) (see Eq. (14)), and hence the results from Sect. 2.3 apply.
Proposition 3.8
Assume \((M, \mathcal{W})\) is an asymptotically commutative Lie manifold and let \(\mathcal{G}\) be the canonical Lie groupoid integrating it, as in Eq. (24). Then \(\pi_{M_{0}}\) is injective on \(\overline{\varPsi^{0}(\mathcal{G})}\), and hence the following sequence is exact.
In particular, an operator \(P \in\overline{\varPsi^{0}_{\mathcal{W}}(M; E)}\) is Fredholm if, and only if, it is fully elliptic, meaning that \(\sigma_{\mathrm{full}}(P) = (\sigma_{0}(P), \sigma_{\partial }(P)) \in \mathcal{C}(\varOmega)\) is invertible.
Proof
The second part will follow from the first part using Proposition 3.4, so we concentrate on proving the injectivity of \(\pi_{M_{0}}\). Let I be the kernel of \(\pi_{M_{0}}\). We want to show that I={0}. We have that \(\pi_{M_{0}}\) is injective on the subalgebra of compact operators of \(\varPsi^{0}_{\mathcal{W}}(M,E)\), so \(I \cap \mathcal{K}= 0\). It follows that (σ 0,σ ∂M ) is injective on I, since it has kernel \(\mathcal{K}\).
Let \(P \in I \subset\varPsi^{0}_{\mathcal{W}}(M,E)\). We can recover the principal symbol of P from its action on M 0 [3, 38, 43], so we can assume \(P \in I \subset\varPsi^{m}_{\mathcal{W}}(M,E)\), with m<0. Next, we replace P with (P ∗ P)k, which, for k large, has arbitrarily small order. We can therefore assume that m<−n. (This is the usual “descent” argument in Hörmander’s trick.) The Fourier transform (as in Eq. (18)) then allows us to recover the boundary symbol of P since for x approaching the boundary, the exponential map increases its radius of injectivity (so the cutoff χ will affect less and less the kernel of the resulting operator). This shows that \(\pi_{M_{0}}\) is injective on \(\overline{\varPsi^{0}(\mathcal{G})}\). □
In this case, let [σ 0(P)]∈K 0(TM 0) denote the K 0-theory class associated with P, as in (16), and \([\sigma_{\mathrm{full}}(P)]:=[(\sigma_{\partial }(P),\sigma_{0}(P))]\in K_{1}(\mathcal{C}(\varOmega))\cong K^{1}(\varOmega)\) denote the class in K 1. As before, let Td(T ℂ M) denote the Todd class of the complexified tangent bundle of M, and \(\pi: \overline{T^{*}M}\to M\). Also, we denote by \(\pi_{\varOmega}: \varOmega= \partial(\overline{A}) \to M\) the natural projection. From Theorem 2.8 it finally follows:
Theorem 3.9
Let \((M,\mathcal{W})\) be an asymptotically commutative Lie manifold with Lie algebroid A, \(\varOmega:= \partial(\overline{A})\), and let \(P \in\overline{\varPsi_{\mathcal{W}}^{0}(M;E)}\) be an elliptic operator with σ ∂ (P) invertible in \(\mathcal{C}(\overline{A}_{\partial M})\). Then,
where \([\widetilde {\sigma}_{\mathrm{full}}(P)] \in K^{0}(TM_{0})\) is defined using Lemma 2.7.
Our main example of an asymptotically commutative Lie manifold \((M, \mathcal{W})\) is obtained as follows. Let \((M, \mathcal{V})\) be a Lie manifold and let x k be boundary defining functions of the hyperfaces of M. Choose a k ∈ℕ={1,2,…}. Then, as in Eq. (3), we introduce
Then \(\mathcal{W}\) is also a structural Lie algebra of vector fields, since it is closed for Lie brackets, and a finitely generated, projective \(\mathcal{C}^{\infty}(M)\)-module. Hence \((M,\mathcal{W})\) is a Lie manifold that is easily seen to be asymptotically commutative.
The previous result extends the known index formulas for the scattering calculus on manifolds with boundary, where \(\mathcal{V}_{sc}:= x\mathcal{V}_{b}\), x is a boundary defining function and \(\mathcal{V}_{b}\) is the Lie algebra of vector fields tangent to the boundary, and for the double-edge calculus, where \(\mathcal{V}_{de}=x\mathcal{V}_{e}\), with \(\mathcal{V}_{e}\) the edge vector fields induced by a fibration of the boundary [36, 40, 42, 48]. Moreover, the index formula above can be proved in the same way considering families of pseudodifferential operators over a compact base space B (the index now takes values in K 0(B)) using a generalization of the Atiyah–Singer index theorem for families of asymptotically multiplication operators. In this sense, Theorem 3.9 yields the result in [40] for families of scattering pseudodifferential operators.
In the next section, we will apply the index formula above to compute the index of perturbed Dirac operators on general Lie manifolds.
4 Perturbed Dirac Operators
Throughout this section, we let M 0 be a non-compact, even dimensional manifold M 0, which, as before, is assumed to be the interior of a Lie manifold \((M, \mathcal{V})\). We fix a set {x k } of defining functions of M and let
(so a k >0). In this section, we consider a Dirac operator \(\hspace* {.5mm}/\hspace* {-2.35mm}D\) coupled with a potential V, that is, an operator of the form
on compactly supported sections of some vector bundles defined on M 0. By a potential we shall always mean an odd, self-adjoint endomorphism of a ℤ2-graded vector bundle E over M 0 and endowed with a compatible connection. An operator T of this type will be called a Callias-type operator. (More precisely, T is the closure of \(T \widehat{\otimes}1 + 1 \widehat{\otimes}V\).) We assume the potential V to be of the form
where V 0 extends to a smooth endomorphism of E on M, invertible at the boundary. In particular, the potential V is unbounded.
We apply the results of the previous section to give a cohomological formula for the index of \(T^{+} := (\hspace* {.5mm}/\hspace* {-2.35mm}D+ V)^{+}\) on natural Sobolev spaces. The main point is to reduce the calculation of the index of T + to the case of a Dirac operator coupled with a bounded potential on the asymptotically commutative Lie manifold \((M, \mathcal{W})\) defined by \(\mathcal{W}:= f\mathcal{V}\), and show that the index can be obtained from Theorem 3.9. More precisely, we shall show that
for suitable vector bundles F 0 and F 1. We then use that
also satisfies \(\operatorname {ind}(P^{+}) = \operatorname {ind}(Q^{+})\). Finally, we show that \(\operatorname {ind}(P^{+})\), and hence also \(\operatorname {ind}(T^{+}) = \operatorname {ind}(P^{+})\), can be computed using Theorem 3.9.
See also the results of Albin–Rochon [1] and Moroianu [50] for results on the decay of the functions in the null spaces of T, Q, and Q ∗, which also give a heuristic explanation for our coincidence of the indices of P + and Q +.
4.1 Dirac and Callias Operators
Let W and E be ℤ2-graded, Hermitian vector bundles over M and assume that both W and E are endowed with compatible connections. We also endow the tensor product bundle W⊗E over M with the usual grading and denote by \(W \widehat {\otimes}E\) the resulting ℤ2-graded vector bundle, with the tensor product connection, namely,
and
If \(V \in \operatorname {End}(E)\) is an endomorphism, then it acts on C ∞(E) as a (pseudo)differential operator of order 0.
Let \(D\in\varPsi^{m}_{\mathcal{V}}(M,W)\). Then we define \(D\widehat{\otimes}1\) acting on \(\mathcal{C}^{\infty}(W\widehat {\otimes} E)\) as in [40]. (Note that, since D is not C ∞(M)-linear, extra conditions might be needed to assure that \(D \widehat {\otimes} 1\) is well defined as the tensor product of two endomorphisms, for instance, that the connection on E be flat.) For D a Dirac operator—which is really the only case we need to obtain our main result—this comes for free, since one recovers the usual definition of \(D \widehat{\otimes}1\) as the Dirac operator on the tensor product bundle endowed with the tensor product connection.
Definition 4.1
An operator \(T: \mathcal{C}^{\infty}_{c}(M_{0}; W\widehat {\otimes} E) \to \mathcal{C}^{\infty}_{c}(M_{0}; W\widehat {\otimes} E)\) is said to be a Callias-type pseudodifferential operator on the Lie manifold \((M,\mathcal{V})\) if
where \(D\in\varPsi^{m}_{\mathcal{V}}(M,W)\), m>0, is an odd, symmetric elliptic operator and \(V\in \operatorname {End}(E{\vert_{M_{0}}})\) is odd and self-adjoint. We shall also assume V to be invertible outside a compact subset of M 0. We refer to V as a potential. The closure of an operator of the form T=D+V will also be called a Callias-type operator.
When \(D \widehat {\otimes} 1\) is the (generalized) Dirac operator associated with a given Clifford bundle structure and connection on \(W\widehat { \otimes} E\), these operators are also called Dirac–Schrödinger operators, and were first considered by Callias, in the odd-dimensional Euclidean space [18]. See also [15, 17, 30, 31] and references therein for more results on index theory of Dirac–Schrödinger and Callias-type operators on even-dimensional manifolds. See also [16].
Remark 4.2
On odd-dimensional manifolds, the Callias-type operators are of the form \(\hspace* {.5mm}/\hspace* {-2.35mm}D+ iV\), where V is self-adjoint and invertible at infinity. See [5, 6, 13, 14, 18, 29, 40, 59] for more on the index of Callias-type operators in the odd case.
Recall that a symmetric (hence closable) operator T is essentially self-adjoint if its closure is self-adjoint, that is, if 〈Tx,y〉=〈x,Ty〉, for all \(x,y \in \mathcal{D}(T)=\mathcal{D}(T^{*})\). (We shall always denote the minimal closure of an operator by the same letter.)
In the following lemma, we assume that the potential V 0 extends to an endomorphism of E over M; in particular, it is bounded. (We will prove such a result for an unbounded potential in Sect. 4.4.)
Lemma 4.3
Let \(D \in\varPsi^{m}_{\mathcal{V}}(M,W)\) be an odd, symmetric, elliptic operator. Assume that V 0 extends to an endomorphism of E over M, as before. Then the Callias-type operator \(T =D + V_{0} \in\varPsi^{m}_{\mathcal{V}}(M_{0}; W \otimes E)\) is elliptic and essentially self-adjoint on \(\mathcal {C}^{\infty}_{c}(M_{0}; W\otimes E)\).
Proof
Ellipticity follows from \(\sigma_{m}(T) = \sigma_{m}(D)\widehat {\otimes } 1\). The fact that T is essentially self-adjoint follows, for instance, from [43] (Theorem 7.1), which states that a (possibly unbounded) symmetric, elliptic operator in \(\varPsi^{m}_{\mathcal{V}}(M; W\otimes E)\), with m>0, is essentially self-adjoint, where we have identified \(\varPsi^{m}_{\mathcal{V}}(M; W\otimes E) = \pi_{M_{0}}(\varPsi^{1}(\mathcal{G}; r^{*}(W\otimes E)))\), as in Theorem 3.3. □
We shall work with unbounded Fredholm operators. It will then be useful to recall the way they are introduced. Let T be a possibly unbounded operator with domain \(\mathcal{D}(T)\) and codomain H. We shall always replace T by its closure, so assume T is closed and endow \(\mathcal{D}(T)\) with the graph norm. Then T is Fredholm if, by definition, the induced bounded operator \(T : \mathcal{D}(T) \to H\) is Fredholm (in the usual sense of having finite-dimensional kernel and cokernel). In particular, a pseudodifferential operator T 1 acting between sections of E 0 with range sections of E 1 is Fredholm if, and only if, \(T_{2} := T_{1}(1+T_{1}^{*}T_{1})^{-1/2}\) is a Fredholm operator and, in this case, \(\operatorname {ind}(T_{1})=\operatorname {ind}(T_{2})\).
We are interested in computing the index of
which we shall prove to be Fredholm between suitable Sobolev spaces. Note that, with respect to the grading, we can write
Most of our results work for general odd, elliptic, positive pseudodifferential operators \(D \in\varPsi^{m}_{\mathcal{V}}(M; W)\). However, for simplicity and because this is the most useful case in applications, we shall mainly be interested in the case when D is a generalized Dirac operator. Recall that, in any case, the Dirac operators generate all classes in K-homology, so we can always assume D to be a Dirac operator.
4.2 Dirac Operators on Lie Manifolds
We introduce here generalized Dirac operators on Lie manifolds following [4]. Let \((M, \mathcal{V})\) be an even-dimensional Lie manifold endowed with a compatible metric g on M 0 and let W be a Clifford module over M endowed with an A ∗-valued connection ∇W and a Clifford multiplication bundle map c:A⊗W→W. (Recall that a compatible metric on M 0 is a metric on TM 0 that extends to A→M.) The restrictions of W, c, and ∇W to M 0 reduce to the classical notions of a Clifford bundle together with an admissible connection [35, 44, 48].
Definition 4.4
The generalized Dirac operator \(\hspace* {.5mm}/\hspace* {-2.35mm}D: \mathcal{C}^{\infty}(M;W) \to \mathcal{C}^{\infty}(M;W)\) associated with W is then defined as the composition
where ϕ:A ∗→A is the isomorphism given by the metric.
Since both the Clifford multiplication c and the A ∗-valued connection are \(\mathcal{V}\)-differential operators, of order 0 and 1, respectively, we have that \(\hspace* {.5mm}/\hspace* {-2.35mm}D\in \operatorname {Diff}_{\mathcal{V}}^{1}(M;W)\). The principal symbol \(\sigma_{1}(\hspace* {.5mm}/\hspace* {-2.35mm}D)\xi= ic(\xi)\in \operatorname {End}(W)\) is invertible for any ξ≠0, and hence \(\hspace* {.5mm}/\hspace* {-2.35mm}D\) is elliptic. It follows from classical results that \(\hspace* {.5mm}/\hspace* {-2.35mm}D\) with domain \(\mathcal{C}^{\infty}_{c}(M_{0}; W) \subset L^{2}(M_{0}; W)\) is essentially self-adjoint (i.e., its closure is self-adjoint), since M 0 is complete.
We can also define Dirac operators on groupoids: If \(\mathcal{G}\) is a d-connected groupoid integrating \(A = A(\mathcal{V})\), then we can consider the Clifford module r ∗ W and endow \(\mathcal{G}\) with an admissible connection \(\nabla^{\mathcal{G}}\in \operatorname {Diff}(\mathcal{G}; W, W\otimes A^{*})\) such that \(\pi_{M_{0}}(\hspace* {.5mm}/\hspace* {-2.35mm}D^{\mathcal{G}})=\hspace* {.5mm}/\hspace* {-2.35mm}D\), where \(\hspace* {.5mm}/\hspace* {-2.35mm}D^{\mathcal{G}}\) is the associated Dirac operator on \(\mathcal{G}\) (see [43] for details).
Recall that M is even-dimensional and assume that W is ℤ2-graded, with the grading given by the chirality operator. Also, let E be a Hermitian ℤ2-graded vector bundle over M and \(V\in \operatorname {End}(E)\) a potential (so odd, self-adjoint, and invertible outside a compact subset of M 0). We assume as before that W and E are endowed with compatible connections. Note that in this case, \(\hspace* {.5mm}/\hspace* {-2.35mm}D\widehat{\otimes}1\) can be defined directly as \(e(\hspace* {.5mm}/\hspace* {-2.35mm}D\oplus\cdots \oplus \hspace* {.5mm}/\hspace* {-2.35mm}D) e\), where e is the projection corresponding to an embedding of E in a trivial bundle and \(\hspace* {.5mm}/\hspace* {-2.35mm}D\oplus\cdots\oplus \hspace* {.5mm}/\hspace* {-2.35mm}D\) coincides with the Dirac operator on W⊗ℂn, \(n= \operatorname {rk}(E)\). In Sect. 4.4, we shall be computing the index of the chiral operator
as in (31), with an unbounded potential V, on natural Sobolev spaces on the Lie manifold \((M, \mathcal{V})\).
4.3 The Case of Bounded Potentials
Let \((M, \mathcal{W})\) be an asymptotically commutative Lie manifold. Recall that we assume that n, the dimension of M, is even. In this subsection, we consider Callias-type operators
where D is an elliptic, symmetric, odd pseudodifferential operator, as in Definition 4.1. (Note that, in any case, to obtain our main result, we will only need the case when \(D=\hspace* {.5mm}/\hspace* {-2.35mm}D\), a Dirac operator, as in the previous section). We assume V 0 to be a bounded potential on M 0 that extends to a smooth endomorphism of E over M that is invertible on ∂M (so, in particular, V 0 is odd and symmetric). It follows from Lemma 4.3 that Q is elliptic and essentially self-adjoint on \(\mathcal {C}^{\infty}_{c}(M_{0})\). We shall give a K-theory formula for the index of Q +.
We define the total symbol K-theory classes σ full(Q)∈K 1(Ω) and \(\widetilde {\sigma}_{\mathrm{full}}(Q) \in K^{0}(TM_{0})\) of Q in a way similar to the case of order zero symbols. First, recall that the boundary symbol \(\sigma_{\partial }: \varPsi_{\scriptsize \mathcal{W}}^{m}(M_{0};E) \to \mathcal{C}({A}\vert_{\partial M})\) is given by
with \(\pi_{M_{0}}(S)=P\), \(\mathcal{R}_{\partial }: \varPsi^{m}(\mathcal{G})\to\varPsi^{m}(\mathcal{G}_{\partial M})\) is restriction to the boundary and \(\sigma_{m}^{\mathrm{tot}}(S_{x})\), x∈∂M, is the total symbol of the operator S x on A x (including lower-order terms).
Lemma 4.5
Let Q be as in Eq. (34) and P:=Q(1+Q 2)−1/2. Then \(P \in\overline{\varPsi^{0}_{\mathcal{W}}(M_{0}; W \otimes E)}\) is fully elliptic, in the sense that its principal symbol σ 0(P) and the boundary symbol σ ∂ (P), defined by continuity, are invertible.
Proof
It follows from Lemma 3.5 that \(P \in\overline{\varPsi^{0}_{\mathcal{W}}(M_{0}; W \otimes E)}\). We have that P is elliptic, since Q is. To understand the boundary operators, since \(\mathcal{W}\) is commutative at the boundary, hence \(\mathcal{G}_{\partial M} = A_{\partial M}\) is amenable, we only need invertibility on fibers \(\mathcal{G}_{x}=A_{x}\), x∈∂M (see the remark after Theorem 3.4). Let \(S\in\varPsi^{m}(\mathcal{G}; r^{*}W)\) be such that \(\pi_{M_{0}}(S)=D\). Therefore, we need to look at the symbol of the operators S x coupled with the constant potential V 0(x) acting on the fiber A x , for each x∈∂M. The invertibility of the boundary indicial operator \(\sigma_{\partial }(D + V_{0})_{x}(\xi) = \sigma^{\mathrm{tot}}(S_{x}) \widehat {\otimes}1 + 1\widehat {\otimes} V_{0}(x)\), ξ∈A x then follows from the fact that V 0(x) is invertible for each x∈∂M (noting that \(\alpha \widehat {\otimes}1 + 1\widehat {\otimes} \beta\in \operatorname {End}(W_{x}\widehat{\otimes}E_{x})\) is invertible if α or β are invertible.) □
Note that when \(D=\hspace* {.5mm}/\hspace* {-2.35mm}D\) is a Dirac operator on \((M, \mathcal{W})\) then, using the notation as above, \(S_{x}=\hspace* {.5mm}/\hspace* {-2.35mm}D_{x}\) is a Dirac operator on A x and \(\sigma_{\partial }(\hspace* {.5mm}/\hspace* {-2.35mm}D+ V)_{x}(\xi)= ic(\xi) \widehat {\otimes} 1 + 1 \widehat {\otimes} V_{0}(x)\). (This is due to the fact that the restriction of a Dirac operator to the boundary is again a Dirac operator [43].)
The following lemma provides the definitions of the total symbol K-theory classes σ full(Q)∈K 1(Ω) and \(\widetilde {\sigma}_{\mathrm{full}}(Q) \in K^{0}(TM_{0})\). Let us introduce the K-theory class [V 0] defined by the endomorphism V 0 as usual [7, 39]
Recall that \(\varOmega:= \partial(\overline{A}) = (S^{*}A) \cup\overline{A} \vert_{\partial M}\) (as in Sect. 3.3).
Lemma 4.6
Let Q and P be as in Lemma 4.5 and define [σ full(Q)]:=[σ full(P)]∈K 1(Ω) and \([\widetilde {\sigma}_{\mathrm{full}}(Q)] := [\widetilde {\sigma}_{\mathrm{full}}(P)] \in K^{0}(TM_{0})\). Then
and \([\widetilde {\sigma}_{\mathrm{full}}(Q)]\) can be represented by the endomorphism \(\sigma_{m}(D) \widehat{\otimes}1 + 1 \widehat{\otimes}V_{0}\). In particular,
where [σ m (D)]∈K 0(TM) and [V 0]∈K 0(M,∂M) are the classes defined by the corresponding morphisms and π:TM→M is the natural projection.
Proof
The relation \(\partial [\sigma_{\mathrm{full}}(Q)] = [\widetilde {\sigma}_{\mathrm{full}}(Q)]\) follows from definitions and from Lemma 2.7. Let us choose a smooth function σ m ∈S m(A ∗) such that σ m represents σ m (D) and on A ∗| ∂M it is equal to the total symbol of D. Then let \(p = \sigma_{m} \widehat{\otimes}1 + 1 \widehat{\otimes}V_{0} \in \mathcal {C}^{\infty}(A^{*}) = \mathcal {C}^{\infty}(A)\), where we have used a fixed metric on A to identify A with A ∗, as before. From the definition of P in terms of Q and from the properties of the principal symbol, we have that
On the other hand, at the boundary, we have
Therefore, \(\sigma_{\mathrm{full}}(P) = p/\sqrt{1 + p^{2}}\) on Ω. Hence the K-theory class \([\widetilde {\sigma}_{\mathrm{full}}(P)]\) is obtained from the endomorphism \(p/\sqrt{1 + p^{2}}\) defined on TM 0, which obviously extends \(p/\sqrt{1 + p^{2}}\) from Ω to the whole of \(\overline{A} \supset TM_{0}\). We obtain that the endomorphism p, and hence also \(\sigma_{m}(D) \widehat{\otimes}1 + 1 \widehat{\otimes}V_{0}\), represents \([\widetilde {\sigma}_{\mathrm{full}}(Q)]\).
From the definition of the tensor product in K-theory, we have that
where
It follows that the K-theory class \([\widetilde {\sigma}_{\mathrm{full}}(Q)]\), where \(Q=D \widehat {\otimes}1 + 1 \widehat {\otimes} V_{0}\), is represented by the same morphism as [σ m (D)]⊗π ∗[V 0]. So these two classes are equal. □
We shall need the Sobolev spaces \(H_{\mathcal{W}}^{m}(M_{0})\) defined by \(\mathcal{W}\) (more precisely by the metric determined by \(\mathcal{W}\) [2, 3]).
The space \(H_{\mathcal{W}}^{m}(M_{0})\) is the domain of any elliptic pseudodifferential operator in \(\varPsi_{\mathcal{W}}^{m}(M_{0})\), m>0, acting on L 2(M 0). For m<0 we use duality.
We now show that \(\operatorname {ind}(Q^{+})\) can be computed using Theorem 3.9.
Theorem 4.7
Let Q=D+V 0 be a Callias-type pseudodifferential operator with a bounded potential V 0 as in Lemmas 4.5 and 4.6. In particular, we assume that V 0 is a smooth potential on M that is invertible on ∂M. Then \(Q^{+} : H_{\mathcal{W}}^{m}(M_{0})\to L^{2}(M_{0})\) is Fredholm and
Proof
Let P:=Q(1+Q ∗ Q)−1/2, as before. Then \(P \in\overline{\varPsi^{0}_{\mathcal{W}}(M_{0}; W \otimes E)}\) is fully elliptic, by the previous lemma (Lemma 4.5). By Proposition 3.4, it follows that P is Fredholm on L 2(M 0) and hence Q is also Fredholm as an operator \(H_{\mathcal{W}}^{m}(M_{0})\to L^{2}(M_{0})\). Moreover, we now have
by Theorem 3.9 applied to P + and Lemma 4.6. □
We are mainly interested in the case when
where \(\hspace* {.5mm}/\hspace* {-2.35mm}D\) is a Dirac operator acting on the sections of some Clifford bundle W. As before, we assume V 0 is a potential (i.e., an odd, self-adjoint endomorphism of a ℤ2-graded bundle E) that is invertible outside a compact subset of M 0 such that V 0 extends smoothly to M, to be invertible at ∂M. In particular, \(Q\in\varPsi^{1}_{\mathcal{W}}(M_{0}; W \otimes E)\).
To get an even more explicit formula for the index of the coupled Dirac operators \(\hspace* {.5mm}/\hspace* {-2.35mm}D+ V_{0}\), let us assume now that M has a spinc-structure, with canonical spinc-bundle S and associated Dirac operator \(\hspace* {.5mm}/\hspace* {-2.35mm}D_{S}\). In particular, M is oriented, and we let [M]∈H n (M,∂M) denote its fundamental class. Let \(W = S \widehat{\otimes}F\), with F a complex vector bundle over M. Then \(\hspace* {.5mm}/\hspace* {-2.35mm}D_{F} := \hspace* {.5mm}/\hspace* {-2.35mm}D_{S} \otimes F\) is the Dirac operator twisted with F.
Corollary 4.8
Let \(\hspace* {.5mm}/\hspace* {-2.35mm}D_{F}\) be the Dirac operator twisted with F and \(Q = \hspace* {.5mm}/\hspace* {-2.35mm}D_{F} + V_{0}\) be the perturbed twisted Dirac operator associated with V 0, where V 0 is a bounded potential invertible at ∂M on an asymptotically commutative spin c Lie manifold \((M, \mathcal{W})\). Then Q + is Fredholm and
Proof
It is known classically that
where p ! is integration over the fiber and \(\widehat{A}(M)\in H^{*}(M)\) is the \(\widehat {A}\)-genus of M (see [44]). The result then follows right away from Theorem 4.7. □
4.4 The Case of Unbounded Potentials
In this subsection, we are back to a general, even-dimensional, Lie manifold \((M, \mathcal{V})\). Let
where \(\hspace* {.5mm}/\hspace* {-2.35mm}D\in \operatorname {Diff}^{1}_{\mathcal{V}}(M_{0}; W)\) is a Dirac operator associated with \(\mathcal{V}\), and, as before, both W and E are endowed with compatible connections (so in particular, \(\hspace* {.5mm}/\hspace* {-2.35mm}D\widehat {\otimes} 1 \) is well defined). We will consider here unbounded potentials, in that we assume moreover that, on M 0,
where V 0 is bounded and it extends to a smooth endomorphism of E over M that is invertible on ∂M (at infinity) and x k are boundary defining functions of the hyperfaces of M with a k ∈ℕ={1,2,…}. This section contains the hard analysis needed for our main result.
Our first goal is to show that T is essentially self-adjoint with domain a suitable weighted Sobolev space. We want to prove a formula for the index of \(T^{+} = (\hspace* {.5mm}/\hspace* {-2.35mm}D+ V)^{+}\). Our strategy is to reduce this problem to a question on operators with bounded potential by writing
In fact, let \(\mathcal{W}:= f\mathcal{V}\) and let g be the given metric compatible with \(\mathcal{V}\). Then g 0:=f −2 g is a metric compatible with \(\mathcal{W}\) and hence
is the Dirac operator associated with the Lie manifold structure defined by \(\mathcal{W}\) and metric g 0 [10, 11, 37, 44, 51]. Actually, to identify \(\hspace* {.5mm}/\hspace* {-2.35mm}D_{\mathcal{W}}\) with \(f^{1/2}\hspace* {.5mm}/\hspace* {-2.35mm}Df^{1/2}\), we need to rescale the volume forms also, a fact that we ignore throughout, in order to simplify the notation.
We then have that \(Q \in{ \operatorname {Diff}^{1}_{\scriptsize \mathcal{W}}}(M; W\otimes E)\) is a Callias-type Dirac operator on \((M,\mathcal{W})\) with a bounded, invertible potential. In particular, it is elliptic and essentially self-adjoint on \(\mathcal{C}_{c}^{\infty}(M_{0})\). As before, we still denote its self-adjoint closure by Q.
We now define weighted Sobolev spaces defined by \(\mathcal{W}\)
where a∈ℝ and \(f = \prod x_{k}^{a_{k}}\), as before. If E→M is a smooth vector bundle, then the spaces \(\mathcal{K}_{a}^{m}(M_{0}; E)\) are defined similarly. We remark that all the weighted Sobolev spaces used below are with respect to \(\mathcal{W}\). (One can check that \(\mathcal{K}_{a}^{m}(M_{0}; E; \mathcal{V})=\mathcal{K}_{a-n/2}^{m}(M_{0}; E;\mathcal{W})\).) We have the following elliptic regularity result from [2].
Theorem 4.9
Assume that \(Q_{0} \in\varPsi_{\mathcal{W}}^{k}(M_{0};E)\) is elliptic and \(h \in \mathcal{K}_{a}^{s}(M_{0}; E)\) is such that \(Q_{0}h \in \mathcal{K}_{a}^{m-k}(M_{0}; E)\). Then \(h \in \mathcal{K}_{a}^{m}(M_{0}; E)\).
Applying this result to \(Q = f^{1/2} T f^{1/2}=\hspace* {.5mm}/\hspace* {-2.35mm}D_{\mathcal{W}}+ V_{0}\), we obtain the following.
Lemma 4.10
Let \(h \in \mathcal{K}_{a}^{s}(M_{0}; E)\) be such that \(Th \in \mathcal{K}_{a-1}^{m-1}(M_{0}; E)\). Then \(h \in \mathcal{K}_{a}^{m}(M_{0}; E)\).
We shall also need the following lemma. Before, we remark that it follows from the definitions that multiplication by f s defines an isomorphism \(f^{s}: \mathcal{K}_{a}^{m}(M_{0}; E_{0}) \to \mathcal{K}_{a+s}^{m}(M_{0};E_{0})\), for any a,s. In particular, if \(P\in\varPsi_{\mathcal{W}}^{k}(M_{0})\), with \(P: H^{m}_{\mathcal{W}}(M_{0};E_{0})\to H^{m-k}_{\mathcal{W}}(M_{0};E_{0})\), then \(f^{s}Pf^{-s}: \mathcal{K}^{m}_{s}(M_{0}; E_{0})\to \mathcal{K}_{s}^{m-k}(M_{0}; E_{0})\) is Fredholm if, and only if, P is. Moreover, it is known that \(f^{s}\varPsi_{\mathcal{W}}^{k}(M_{0};E_{0})f^{-s} = \varPsi_{\mathcal{W}}^{k}(M_{0};E_{0}) \) (Proposition 4.3 [2]), so any such P is also defined as an operator, still denoted by P,
for any s.
Lemma 4.11
Let \(Q_{0} \in\varPsi_{\mathcal{W}}^{k}(M_{0}; E_{0})\), k∈ℤ+, be fully elliptic. Then
is Fredholm and its index is independent of m, a, b, and c, in the sense that
Proof
Let us notice first that Q 0,0,0 is Fredholm due to Proposition 3.8 (since we assumed Q 0 to be fully elliptic). It follows that \(f^{s} Q_{0,0,0} f^{-s}: \mathcal{K}^{m}_{s}(M_{0}; E_{0}) \to \mathcal{K}_{s}^{m-k}(M_{0}; E_{0})\) is also Fredholm and \(\operatorname {ind}(f^{s} Q_{0,0,0} f^{-s}) = \operatorname {ind}(Q_{0,0,0})\). Note also that Q a,b,c is indeed well defined, by the remarks above. Write Q a =Q a,0,0.
Next, we notice that \(f^{s} P f^{-s} - P = f^{s}(P f^{-s} - f^{-s}P) \in f \varPsi_{\mathcal{W}}^{k-1}(M_{0}; E_{0})\) for any \(P\in \varPsi_{\mathcal{W}}^{k}(M_{0}; E_{0})\) by the specific form of the Lie algebra of vector fields \(\mathcal{W}= f\mathcal{V}\). Moreover, \(f^{s} Q_{{a-s}} f^{-s} - Q_{{a}} : \mathcal{K}_{a}^{m}(M_{0}; E_{0}) \to \mathcal{K}_{a}^{m-k}(M_{0}; E_{0})\) is compact, since \(f \mathcal{K}_{a}^{m}(M_{0}; E_{0}) \to \mathcal{K}_{a}^{m-k}(M_{0}; E_{0})\) is compact by [3]. With s=a, we conclude that Q a is Fredholm and also that Q a and f s Q a−s f −s have the same index for any s.
If follows that the index of \(Q_{a} : \mathcal{K}_{a}^{m}(M_{0}; E_{0}) \to \mathcal{K}_{a}^{m-k}(M_{0}; E_{0})\) is independent of a. Using this with a replaced by a+c and using the fact that \(f^{s} : \mathcal{K}_{a}^{m}(M_{0}; E_{0}) \to \mathcal{K}_{a+s}^{m}(M_{0}; E_{0})\) is an isomorphism, we obtain the desired result. □
We shall use this lemma to prove the following crucial result.
Proposition 4.12
The operators
are invertible, and hence T is essentially self-adjoint with domain \(\mathcal{K}_{1}^{1}(M_{0}; W \otimes E)\), where all the L 2 and Sobolev spaces are associated with \(\mathcal{W}\).
Proof
Let us denote by
Then Q 0 is fully elliptic (by Lemma 4.5 and the fact that \(\hspace* {.5mm}/\hspace* {-2.35mm}D_{\mathcal{W}}\) is the Dirac operator associated with \(\mathcal{W}= f\mathcal{V}\)), and hence it is Fredholm. It follows from Lemma 4.11 that Q a is Fredholm for any a and that its index is independent of a. Since \(Q_{0}^{*} = Q_{0}\), we have \(\operatorname {ind}(Q_{a}) = 0\) for all a. Hence
since multiplication by f is a compact operator \(\mathcal{K}_{a}^{1/2}(M_{0}; W \otimes E) \to \mathcal{K}_{a}^{-1/2}(M_{0}; W \otimes E)\) by [3]. Then
is also Fredholm of index zero.
We recall that \(\mathcal{K}^{m}_{a}(M_{0}; W \otimes E)\) is the dual of \(\mathcal{K}^{-m}_{-a}(M_{0}; W \otimes E)\), with the duality pairing being obtained from the L 2-inner product by continuous extension. Then the “L 2-estimate”
and (Tu,u)∈ℝ (since T is symmetric between the indicated spaces in Eq. (41)) show that T±iI are injective for a=0. Since they have index zero, they induce isomorphisms
for a=0 and m=0.
Now for an arbitrary a, the induced operator will still have index zero (by Lemma 4.11). Since for a≥0 it will still be injective, it follows that it will be an isomorphism for all a≥0. Since for a<0 the resulting map is dual to the one for −a, we obtain that T±iI of Eq. (42) are isomorphisms for all a and m=0. We can extend this isomorphism to any m≥0 by elliptic regularity (Lemma 4.10) and this completes the proof by taking a=m=1/2. □
We shall extend T to a self-adjoint operator denoted by the same letter. We are ready now to compute the index of
where \(\hspace* {.5mm}/\hspace* {-2.35mm}D\) is the Dirac operator on the (arbitrary) even-dimensional Lie manifold \((M_{0}, \mathcal{V})\) and V=f −1 V 0 is an unbounded potential as in (38). Let \(\pi: \overline{TM} \to M\) and \(\pi_{\varOmega}: \varOmega= \partial {\overline{A_{\mathcal{V}}}} \to M\) be the natural projections and Td(T ℂ M) be the Todd class of the complexified tangent bundle of M.
Theorem 4.13
The operator \(T^{+} = (\hspace* {.5mm}/\hspace* {-2.35mm}D+ V)^{+}\) is Fredholm and its index is given by
Proof
Let Q 1=T + f, where \(f = \prod x_{k}^{a_{k}}\) as above and is regarded as a multiplication operator. Then Q 1=f −1/2 Q + f 1/2, where
is fully elliptic (by Theorem 4.7 and the fact that \(\hspace* {.5mm}/\hspace* {-2.35mm}D_{\mathcal{W}}\) is the Dirac operator associated with \(\mathcal{W}:= f\mathcal{V}\)). Then the operators Q 1 and Q + have the same index, by Lemma 4.11. By ellipticity,
is an isomorphism since the domain of any elliptic operator \(P \in \varPsi^{m}_{\mathcal{W}}(M; E)\) is \(H^{m}_{\mathcal{W}}(M_{0}, E)\). Therefore, \(f(1\! +\! Q_{1}^{*}Q_{1})^{-1/2} \!:\! L^{2}(M_{0}; (W\widehat{\otimes}E)^{+}) \!\to\!\mathcal{K}_{1}^{1}(M_{0}; (W\widehat{\otimes}E)^{+})\) is an isomorphism as well. Proposition 4.12 then yields that \(T^{+} : \mathcal{K}_{1}^{1}(M_{0}) \to L^{2}(M_{0})\) has the same index as
and, in particular, they are both Fredholm.
We have thus obtained that the operator \(T^{+} = (\hspace* {.5mm}/\hspace* {-2.35mm}D+ V)^{+}\) is Fredholm and has the same index as Q +:=f 1/2 T + f 1/2. Moreover, the principal symbols of T + and Q + define the same K-theory classes, by homotopy invariance, as do the symbols of \(\hspace* {.5mm}/\hspace* {-2.35mm}D\) and \(\hspace* {.5mm}/\hspace* {-2.35mm}D_{\mathcal{W}}\), and hence
by Theorem 4.7 applied to Q + and homotopy invariance. □
We also obtain the following more explicit calculation similar to Corollary 4.8.
Corollary 4.14
Let \(\hspace* {.5mm}/\hspace* {-2.35mm}D_{F}\) be the Dirac operator twisted with F and \(T = \hspace* {.5mm}/\hspace* {-2.35mm}D_{F} + V\) be the perturbed twisted Dirac operator associated with V=f −1 V 0, where V 0 is a bounded potential on M invertible at ∂M for a spin c Lie manifold \((M, \mathcal{V})\). Then T + is Fredholm and, using the notation of Corollary 4.14,
References
Albin, P., Rochon, F.: Families index for manifolds with hyperbolic cusp singularities. Int. Math. Res. Not. 4, 625–697 (2009)
Amman, B., Lauter, R., Nistor, V.: Pseudodifferential operators on manifolds with a Lie structure at infinity. Ann. Math. (2) 165(3), 717–747 (2007)
Ammann, B., Ionescu, A.D., Nistor, V.: Sobolev spaces and regularity for polyhedral domains. Doc. Math. 11(2), 161–206 (2006)
Ammann, B., Lauter, R., Nistor, V.: On the geometry of Riemannian manifolds with a Lie structure at infinity. Int. J. Math. Math. Sci. 2004(1–4), 161–193 (2004)
Anghel, N.: An abstract index theorem on non-compact Riemannian manifolds. Houst. J. Math. 19, 223–237 (1993)
Anghel, N.: On the index of Callias-type operators. Geom. Funct. Anal. 3(5), 431–438 (1993)
Atiyah, M.: K-theory. Benjamin, New York (1967)
Atiyah, M., Patodi, V., Singer, I.: Spectral asymmetry and Riemannian geometry I. Math. Proc. Camb. Philos. Soc. 77, 43–69 (1975)
Atiyah, M., Singer, I.: The index of elliptic operators I. Ann. Math. 87, 484–530 (1968)
Bär, C.: Metrics with harmonic spinors. Geom. Funct. Anal. 6(6), 899–942 (1996)
Bär, C., Schmutz, P.: Harmonic spinors on Riemann surfaces. Ann. Glob. Anal. Geom. 10(3), 263–273 (1992)
Benameur, M., Oyono-Oyono, H.: Index theory for quasi-crystals I. Computation of the gap-label group. J. Funct. Anal. 252(1), 137–170 (2007)
Bott, R., Seeley, R.: Some remarks on the paper of Callias. Commun. Math. Phys. 62, 235–245 (1978)
Brüning, J., Moscovici, H.: L 2-index for certain Dirac–Schrödinger operators. Duke Math. J. 66, 311–336 (1992)
Bunke, U.: A K-theoretic relative index theorem and Callias-type Dirac operators. Math. Ann. 241–279 (1995)
Bunke, U.: Index theory, eta forms, and Deligne cohomology. Mem. Am. Math. Soc. 198, 928 (2009) vi+120
Bunke, U., Schick, T.: Smooth K-theory. Astérisque 328, 45–135 (2010)
Callias, C.: Axial anomalies and index theorems on open spaces. Commun. Math. Phys. 62, 213–234 (1978)
Carrillo-Rouse, P.: Compactly supported analytic indices for Lie groupoids. J. K-Theory 4(2), 223–262 (2009)
Carrillo-Rouse, P., Monthubert, B.: An index theorem for manifolds with boundary. C. R. Math. Acad. Sci. Paris 347(23–24), 1393–1398 (2009)
Carvalho, C.: A K-theory proof of the cobordism invariance of the index. K-theory 36(1–2), 1–31 (2005)
Connes, A.: Noncommutative Geometry. Academic Press, San Diego (1994)
Cordes, H., McOwen, R.: The C ∗-algebra of a singular elliptic problem on a noncompact Riemannian manifold. Math. Z. 153(2), 101–116 (1977)
Cordes, H.O.: Spectral Theory of Linear Differential Operators and Comparison Algebras. London Mathematical Society, Lecture Notes Series, vol. 76. Cambridge University Press, Cambridge (1987)
Coriasco, S., Schrohe, E., Seiler, J.: Bounded imaginary powers of differential operators on manifolds with conical singularities. Math. Z. 244(2), 235–269 (2003)
Crainic, M., Fernandes, R.: Integrability of Lie brackets. Ann. Math. (2) 157(2), 575–620 (2003)
Debord, C., Lescure, J.-M.: Index theory and groupoids. In: Geometric and Topological Methods for Quantum Field Theory, pp. 86–158. Cambridge Univ. Press, Cambridge (2010)
Debord, C., Lescure, J.-M., Nistor, V.: Groupoids and an index theorem for conical pseudo-manifolds. J. Reine Angew. Math. 628, 1–35 (2009)
Fox, J., Haskell, P.: Index theory for perturbed Dirac operators on manifolds with conical singularities. Proc. Am. Math. Soc. 123, 2265–2273 (1995)
Fox, J., Haskell, P.: Comparison of perturbed Dirac operators. Proc. Am. Math. Soc. 124(5), 1601–1608 (1996)
Fox, J., Haskell, P.: The Atiyah–Patodi–Singer theorem for perturbed Dirac operators on even-dimensional manifolds with bounded geometry. N.Y. J. Math. 11, 303–332 (2005)
Georgescu, V., Iftimovici, A.: Crossed products of C ∗-algebras and spectral analysis of quantum Hamiltonians. Commun. Math. Phys. 228(3), 519–560 (2002)
Gesztesy, F., Latushkin, Y., Makarov, K., Sukochev, F., Tomilov, Y.: The index formula and the spectral shift function for relatively trace class perturbations. Adv. Math. 227(1), 319–420 (2011)
Gilkey, P.: Invariance Theory, the Heat Equation, and the Atiyah–Singer Index Theorem, 2nd edn. Studies in Advanced Mathematics. CRC Press, Boca Raton (1995)
Gilkey, P.: Invariance Theory, the Heat Equation, and the Atiyah–Singer Index Theorem. Studies in Advanced Mathematics, vol. 16. CRC Press, Boca Raton (1995)
Grieser, D., Hunsicker, E.: Pseudodifferential operator calculus for generalized \(\Bbb{Q}\)-rank 1 locally symmetric spaces I. J. Funct. Anal. 257(12), 3748–3801 (2009)
Hitchin, N.: Harmonic spinors. Adv. Math. 14, 1–55 (1974)
Hörmander, L.: The Analysis of Linear Partial Differential Operators III. Springer, Berlin (1985)
Karoubi, M.: K-Theory—An Introduction. Springer, Berlin (1978)
Kottke, C.: An index theorem of Callias type for pseudodifferential operators. J. K-Theory 8(3), 387–417 (2011)
Lauter, R., Monthubert, B., Nistor, V.: Pseudodifferential analysis on continuous family groupoids. Doc. Math. 5, 625–655 (2000) (electronic)
Lauter, R., Moroianu, S.: Fredholm theory for degenerate pseudodifferential operators on manifolds with fibered boundaries. Commun. Part. Diff. Eqs. 26(1–2), 223–283 (2001)
Lauter, R., Nistor, V.: Analysis of geometric operators on open manifolds: a groupoid approach. In: Quantization of Singular Symplectic Quotients. Progr. Math., vol. 198, pp. 181–229. Birkhäuser, Basel (2001)
Lawson, H., Michelsohn, M.-L.: Spin Geometry. Princeton University Press, Princeton (1989)
Melrose, R.: The Atiyah–Patodi–Singer Index Theorem. Research Notes in Mathematics, vol. 4. Peters, Wellesley (1993)
Melrose, R., Rochon, F.: Periodicity and the determinant bundle. Commun. Math. Phys. 274(1), 141–186 (2007)
Melrose, R.B.: Pseudodifferential operators, corners and singular limits. In: Proc. Int. Congr. Math, Kyoto, Japan, 1990, vol. 1, pp. 217–234 (1991)
Melrose, R.B.: Geometric Scattering Theory. Stanford Lectures. Cambridge University Press, Cambridge (1995)
Monthubert, B., Nistor, V.: The K-groups and the index theory of certain comparison C ∗-algebras. In: Noncommutative Geometry and Global Analysis. Contemp. Math., vol. 546, pp. 213–224. Amer. Math. Soc., Providence (2011)
Moroianu, S.: Fibered cusp versus d-index theory. Rend. Semin. Mat. Univ. Padova 117, 193–203 (2007)
Nistor, V.: On the kernel of the equivariant Dirac operator. Ann. Glob. Anal. Geom. 17(6), 595–613 (1999)
Nistor, V.: Groupoids and the integration of Lie algebroids. J. Math. Soc. Jpn. 52, 847–868 (2000)
Nistor, V.: An index theorem for gauge-invariant families: the case of solvable groups. Acta Math. Hung. 99(1–2), 155–183 (2003)
Nistor, V., Weinstein, A., Xu, P.: Pseudodifferential operators on groupoids. Pac. J. Math. 189, 117–152 (1999)
Nistor, V.: Higher index theorems and the boundary map in cyclic cohomology. Doc. Math. 2, 263–295 (1997) (electronic)
Parenti, C.: Operatori pseudodifferentiali in ℝn e applicazioni. Ann. Mat. Pura Appl. 93, 391–406 (1972)
Rabier, P.: On the index and spectrum of differential operators on \(\Bbb{R}^{N}\). Proc. Am. Math. Soc. 135(12), 3875–3885 (2007) (electronic)
Rabier, P.: On the Fedosov–Hörmander formula for differential operators. Integral Equ. Oper. Theory 62(4), 555–574 (2008)
Rade, J.: Callias’ index theorem, elliptic boundary conditions, and cutting and pasting. Commun. Math. Phys. 161, 51–61 (1994)
Renault, J.: A Groupoid Approach to C ∗-Algebras. Lecture Notes in Mathematics, vol. 793. Springer, Berlin (1980)
Schulze, B.-W.: Boundary Value Problems and Singular Pseudo-Differential Operators. Wiley, Chichester (1998)
Taylor, M.: Qualitative studies of linear equations. In: Partial Differential Equations II. Applied Mathematical Sciences, vol. 116. Springer, New York (1996)
Weinberg, E., Yi, P.: Magnetic monopole dynamics, supersymmetry, and duality. Phys. Rep. 438(2–4), 65–236 (2007)
Acknowledgements
We thank the Max Planck Institute for Mathematics for support while parts of this work were being completed. We also thank Bernd Ammann and Ulrich Bunke for useful discussions, and the referees for helpful suggestions that improved the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Peter B. Gilkey.
Carvalho partially supported by Fundação para a Ciência e Tecnologia through the grant FCT POCI/MAT/55958/2004. Carvalho’s manuscripts are available from www.math.ist.utl.pt/~ccarv. Nistor was partially supported by the NSF Grants DMS-0713743, OCI-0749202, and DMS-1016556. Manuscripts available from www.math.psu.edu/nistor/.
Rights and permissions
About this article
Cite this article
Carvalho, C., Nistor, V. An Index Formula for Perturbed Dirac Operators on Lie Manifolds. J Geom Anal 24, 1808–1843 (2014). https://doi.org/10.1007/s12220-013-9396-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-013-9396-7
Keywords
- Perturbed Dirac and Callias-type operators
- Lie manifolds
- Fredholm index
- Atiyah–Singer index theorem
- Pseudodifferential operators on groupoids
- Weighted Sobolev spaces