Abstract
The relative index theorem is proved for general first-order elliptic operators that are complete and coercive at infinity over measured manifolds. This extends the original result by Gromov–Lawson for generalised Dirac operators as well as the result of Bär–Ballmann for Dirac-type operators. The theorem is seen through the point of view of boundary value problems, using the graphical decomposition of elliptically regular boundary conditions for general first-order elliptic operators due to Bär–Bandara. Splitting, decomposition and the Phi-relative index theorem are proved on route to the relative index theorem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [10], Gromov and Lawson proved the famed relative index theorem for Spin-Dirac operators on a class of non-compact manifolds. Their primary motivation was to use this result for the study of positive scalar curvature metrics closed manifolds. Their method was to study cylinder-like regions over this closed manifold and utilise the Weitzenböck identity for the Spin-Dirac operator, where scalar curvature emerges as the lower order term relating the connection Laplacian to the Spin Laplacian.
Since then, this theorem has been generalised by multiple authors and in a myriad of directions. Although an exhaustive list is too numerous to provide here, we refer to [9] by Bunke and references therein for an historical account of the topic.
A generalisation of particular relevance for our purposes was obtained by Bär–Ballmann in [6]. A significant aspect of this generalisation was their approach to relative index theory from the point of view of boundary value problems. In particular, a certain class of boundary conditions, namely those that are elliptically regular, were characterised through an associated graphical decomposition. This allowed for the ability to deform, in a controlled manner, elliptically regular boundary conditions to the Atiyah–Patodi–Singer boundary condition, where this latter condition arose famously in the series of papers [2,3,4,5]. However, the general framework in [6] is restricted to a special class of first-order elliptic operators, of which Dirac-type operators are the quintessential example.
In [7], Bär and the author studied boundary value problems for general first-order elliptic operators. This was largely motivated by the desire to study the Rarita–Schwinger operator on \(\nicefrac 32\)-spinors, a physically determined operator arising naturally in geometric contexts. It is an operator which fails to be of Dirac-type and is perhaps the quintessential example of a non Dirac-type operator. In [7], the authors generalised the equivalence between elliptic regularity for a boundary condition and the admission of a graphical decomposition. This set the stage to consider relative index theorems for operators beyond those that are Dirac-type. Consequently, in this paper, we prove the following theorem, generalising the relative index theorem of Gromov–Lawson in [10] to the fullest extent.
Theorem 1.1
Let \(({\mathcal {M}}_{1},\mu _1)\) and \(({\mathcal {M}}_{2},\mu _2)\) be measured manifolds without boundary, \(\mathrm{D} _{i}:\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}_i,{\mathcal {E}}_i)\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}_i,{\mathcal {F}}_i) \) first-order elliptic and complete (c.f. Definition 2.1).
Suppose that
-
(i)
\(\mathrm{D} _{1},\mathrm{D} _{2}\) agree outside compact \({\mathcal {K}}_{1},{\mathcal {K}}_{2}\) (the bundles and operators pull back in a canonical way, c.f. Definition 6.1);
-
(ii)
\(\mu _{1}=f^{*}\mu _{2}\) on \({\mathcal {M}}_1 \setminus {\mathcal {K}}_1\);
-
(iii)
there is a compact two-sided hypersurface \({\mathcal {N}}_{1}\subset {\mathcal {M}}_{1}\) separating \({\mathcal {M}}_1\) such that \({\mathcal {M}}_{1}={\mathcal {M}}_{1}^{\prime }\cup {\mathcal {M}}_{1}^{\prime \prime }\) with \(\partial {\mathcal {M}}_{1}^{\prime }=\partial {\mathcal {M}}_{1}^{\prime \prime }={\mathcal {N}}_1\) (i.e. cutting along \({\mathcal {N}}_1\) decomposes \({\mathcal {M}}_1\) into two manifolds with boundary, c.f. Definitions 5.1 and 5.11) with \({\mathcal {K}}_{1}\subset \mathring{{\mathcal {M}}}_{1}\).
Then, \(\mathrm{D} _{1}\) is Fredholm if and only if \(\mathrm{D} _{2}\) is Fredholm and in that case
The term \(\alpha _{0,\mathrm{D} _{i}} = \alpha _{0,{\tilde{\mathrm{D} }}_{i}}{{|_{}}_{}}_{{\mathcal {K}}_i}\) is the constant term appearing in the asymptotic expansion as \(t \rightarrow 0\) of the kernel
where \({\tilde{\mathrm{D} }}_{i}\) is an extension of \(\mathrm{D} _{i}\) on an larger closed manifold containing \({\mathcal {K}}_{i}\).
2 Preliminaries
Let \(({\mathcal {M}},\mu )\) be a connected measured manifold with compact boundary \(\partial {\mathcal {M}} \subset {\mathcal {M}}\) and \(({\mathcal {E}},\mathrm {h}^E), ({\mathcal {F}},\mathrm {h}^F)\rightarrow {\mathcal {M}}\) two Hermitian vector bundles over \({\mathcal {M}}\). The function spaces \(\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}},{\mathcal {E}})\), \(\mathrm{C}^{\infty }_{\mathrm{c}}({\mathcal {M}},{\mathcal {F}})\) and \(\mathrm{C}^{\infty }_{\mathrm{cc}}({\mathcal {M}},{\mathcal {E}})\), respectively, denote smooth sections, compactly supported smooth sections (which are allowed to touch the boundary) and compactly supported smooth sections supported away from the boundary.
Furthermore, let \(\mathrm{D} :\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}},{\mathcal {E}})\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}},{\mathcal {F}})\) be a first-order elliptic differential operator. Recall that in this case, there exists a unique formal adjoint \(\mathrm{D} ^\dagger :\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}},{\mathcal {F}})\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}},{\mathcal {E}})\) to \(\mathrm{D} \). That is,
where \(u\in \mathrm{C}^{\infty }_{\mathrm{cc}}({\mathcal {M}},{\mathcal {E}})\) and \(v\in \mathrm{C}^{\infty }_{\mathrm{cc}}({\mathcal {M}},{\mathcal {F}})\). The maximal operator corresponding to \(\mathrm{D} \) is given by \(\mathrm{D} _{\max } := (\mathrm{D} ^\dagger {{|_{}}_{}}_{\mathrm{C}^{\infty }_{\mathrm{cc}}})^*\), where \(*\) denotes the \(\mathrm{L}^{2}_{\mathrm{}}\)-adjoint. The minimal extension is \(\mathrm{D} _{\min } :=\overline{\mathrm{D} {{|_{}}_{}}_{\mathrm{C}^{\infty }_{\mathrm{cc}}}}\). By construction, it is clear that \(\mathrm{D} _{\min } \subset \mathrm{D} _{\max }\).
In order to understand boundary conditions purely from data on the boundary, we need to ensure that potential “implicit” boundaries at infinity, arising from incompleteness, are ruled out. To capture this, we require the following notion.
Definition 2.1
The operators \(\mathrm{D} \) is said to be complete if the subspace \(\left\{ u \in \mathrm {dom}(\mathrm{D} _{\max }): \mathrm{spt} {\text { }}u\ \text {compact in }{\mathcal {M}}\right\} \) is dense in \(\mathrm {dom}(\mathrm{D} _{\max })\).
Note that in this definition, since our convention is \(\partial {\mathcal {M}} \subset {\mathcal {M}}\), the dense subspace consists of sections that are allowed to touch the boundary. This automatically self-improves in regularity: for complete \(\mathrm{D} \), we obtain \(\mathrm{C}^{\infty }_{\mathrm{c}}({\mathcal {M}}, {\mathcal {E}})\) is dense in \(\mathrm {dom}(\mathrm{D} _{\max })\). See Theorem 2.3 (i) in [7].
Let us now assume that \(\mathrm{D} \) and \(\mathrm{D} ^\dagger \) are complete operators. This ensures that can be controlled purely in terms of a certain function space on the boundary. We will see that this function space is described via the class of gadgets on the boundary captured in the following definition.
Definition 2.2
A first-order differential operator \(\mathrm{A} :\mathrm{C}^{\infty }_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\) is called an adapted boundary operator (to \(\mathrm{D} \)) if there exists an inward pointing covectorfield \(\tau \in \mathrm{C}^{\infty }_{\mathrm{}}(\partial {\mathcal {M}}, \mathrm{T}^*{\mathcal {M}})\) such that the principal symbol of \(\mathrm{A} \) satisfies:
for all \(x\in \partial {\mathcal {M}}\) and \(0\ne \xi \in \mathrm{T}^*{\mathcal {M}}\).
In [7], two important assertions are made. The first is that for any given inward pointing \(\tau \in \mathrm{C}^{\infty }_{\mathrm{}}(\partial {\mathcal {M}}, \mathrm{T}^*{\mathcal {M}})\), there exists an adapted boundary operator \(\mathrm{A} \) satisfying (1). Moreover, such an \(\mathrm{A} \) can always be chosen invertible \(\omega \)-bisectorial (the spectrum sits in a bisector in the complex plane containing the real line, and there are resolvent estimates of the form \(\Vert (\zeta - A)^{-1} \Vert \le C\) outside of this bisector). Moreover, the spectral cuts \(\chi ^{-}(\mathrm{A} )\) and \(\chi ^{+}(\mathrm{A} )\), respectively, projecting to the generalised eigenspaces to the left and right of the imaginary axis, exist as pseudo-differential operators of order zero. The second assertion is that, on defining
and assuming that \(\mathrm{D} \) and \(\mathrm{D} ^\dagger \) are complete, we obtain that the boundary trace map \(\gamma : \mathrm{C}^{\infty }_{\mathrm{c}}({\mathcal {M}},{\mathcal {E}}) \rightarrow \mathrm{C}^{\infty }_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\) given by \(u\mapsto u{{|_{}}_{}}_{\partial {\mathcal {M}}}\) extends uniquely to a bounded surjection \(\gamma :\mathrm {dom}(\mathrm{D} _{\max })\rightarrow \check{\mathrm {H}}_{\mathrm{A} }(\mathrm{D} )\) with \(\ker \gamma =\mathrm {dom}(\mathrm{D} _{\min })\). See Proposition 4.6 and Theorem 2.3 in [7].
A particular consequence of these results is that
where the isomorphism is the canonical quotient map induced from the boundary trace map \(\gamma \). Note that space \(\check{\mathrm {H}}_{\mathrm{A} }(\mathrm{D} )\) is fixed as a set—it is the range of the boundary trace map \(\gamma \). An adapted boundary operator \(\mathrm{A} \) only determines a particular way to compute its topology. This justifies writing \(\check{\mathrm {H}}(\mathrm{D} )\) in place of \(\check{\mathrm {H}}_{\mathrm{A} }(\mathrm{D} )\), where the latter captures the particular norm for the topology given in terms of \(\mathrm{A} \).
From a geometric point of view, the particular operator \(\mathrm{A} \) can be thought of as analogous to a coordinate system. There are many choices for \(\mathrm{A} \), where some choices may be better in computations for a given problem than others. If the completeness assumption on \(\mathrm{D} \) or \(\mathrm{D} ^\dagger \) is discarded, then “incompleteness” away from the boundary can render the Banach space isomorphism in (3) to fail.
The isomorphism (3) illustrates that all extensions of \(\mathrm{D} _{\min }\) contained in \(\mathrm{D} _{\max }\) can be identified uniquely to a subspace of \(\check{\mathrm {H}}(\mathrm{D} )\). An extension is closed if and only if the subspace corresponding to this operator in \(\check{\mathrm {H}}(\mathrm{D} )\) is closed. Boundary conditions are precisely closed subspaces of \(\check{\mathrm {H}}(\mathrm{D} )\) and the space \(\check{\mathrm {H}}(\mathrm{D} )\) is the total space of boundary conditions for \(\mathrm{D} \). The adjoint boundary condition is given by \(B^\dagger =\left\{ v{{|_{}}_{}}_{\partial {\mathcal {M}}}: v\in \mathrm {dom}(\mathrm{D} _{B}^*)\right\} \) and \(\mathrm{D} _B^*=\mathrm{D} ^\dagger _{B^\dagger }\).
Keeping the isomorphism (3) in mind, note that the subspace \(B_+ :=\chi ^+(\mathrm{A} )\mathrm{H}^\mathrm{-\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\) is a perfectly legitimate boundary condition. However, it is easy to see from this that \(\mathrm {dom}(\mathrm{D} _{B_+})\not \subset \mathrm{H}^\mathrm{1}_{\mathrm{loc}}({\mathcal {M}},{\mathcal {E}})\). Therefore, unlike the situation for closed manifolds, we do not automatically have that extensions of an elliptic first-order operator \(\mathrm{D} \) are \(\mathrm{H}^\mathrm{1}_{\mathrm{loc}}\)-regular. When a boundary condition \(B\subset \check{\mathrm {H}}_{\mathrm{A} }(\mathrm{D} )\) further satisfies \(B\subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\), then we say that B is elliptically semi-regular. If both B and \(B^\dagger \) are elliptically semi-regular, then we say that B is elliptically regular. These are the quintessential class of boundary condition that will be used in this paper.
While this qualitative description of elliptically regular boundary conditions is conceptually appealing, a tangible characterisation is required to work with them. To that end, we introduce the following notion.
Definition 2.3
[Graphical \(\mathrm{L}^{2}_{\mathrm{}}\)-decomposition] Let \(B\subset \check{\mathrm {H}}( \mathrm{D} )\) and \(\mathrm{A} \) an invertible bisectorial adapted boundary operator to \(\mathrm{D} \). Suppose that
-
(i)
There exist mutually complementary subspaces \(W_{\pm }\) and \(V_{\pm }\) of \(\mathrm{L}^{2}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) \) such that
$$\begin{aligned} W_{\pm }\oplus V_{\pm }=\chi ^{\pm }(\mathrm{A} )\mathrm{L}^{2}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) . \end{aligned}$$ -
(ii)
\(W_{\pm },W_{\pm }^{*}\subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) \) are finite dimensional.
-
(iii)
There exists a bounded linear map
$$\begin{aligned} g: V_{-}\rightarrow V_{+} \end{aligned}$$such that
$$\begin{aligned} g( V_{-}\cap \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) )&\subset V_{+}\cap \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) , \\ g^{*}( V_{+}^{*}\cap \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) )&\subset V_{-}^{*}\cap \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) , \end{aligned}$$and
$$\begin{aligned} B&=\left\{ v+gv: v\in V\_\cap \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) \right\} \oplus W_{+}. \end{aligned}$$
Then, we say that B is \(\mathrm{L}^{2}_{\mathrm{}}\)-graphically decomposable with respect to \(\chi ^+(\mathrm{A} )\).
A key result from [7], generalising the results of [6], is the following.
Theorem 2.4
[7, Theorem 2.9] A subspace B is an elliptically regular boundary condition, i.e. \(B\subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\) and \(B^\dagger \subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {F}})\) if and only if for some (and hence all) invertible bisectorial adapted boundary operators \(\mathrm{A} \), B is \(\mathrm{L}^{2}_{\mathrm{}}\)-graphically decomposable with respect to \(\chi ^{+}(\mathrm{A} )\).
Motivated by Atiyah–Patodi–Singer [3] and in light of the developments in [7], for a given invertible bisectorial adapted boundary operator \(\mathrm{A} \), its associated Atiyah–Patodi–Singer (APS) boundary condition is defined as
From Theorem 2.4, it is easy to see that this is an elliptically regular boundary condition.
3 Coercivity and Index
It is of import for us to be able to understand when extensions of operators are Fredholm. Much like the notion of completeness for an operator ensures the lack of potential “boundary” near infinity, the following condition ensures a sense of “Fredholmness” near infinity.
Definition 3.1
The operator \(\mathrm{D} \) is said to be coercive at infinity if there exists \(C > 0\) and a compact \({\mathcal {K}}\subset {\mathcal {M}}\) such that
for all \(u\in \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}},{\mathcal {E}})\) such that \(\mathrm{spt} {\text { }}u \subset {\mathcal {M}}\setminus {\mathcal {K}}\).
The following proposition provides a method in which to detect the coercivity at infinity of an operator, through the use of elliptically regular boundary conditions.
Proposition 3.2
Let B be semi-elliptically regular, i.e. B is a boundary condition and \(B\subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) \). Then, \(\mathrm{D} \) is coercive at infinity if and only if \(\mathrm{D} _{B}\) has finite dimensional kernel and closed range.
Proof
The proof mirrors the proof of Theorem 8.5 in [6].
The key idea in the proof of this, in the “only if” direction, is to use the elliptic semi-regularity of B to assert that \(\mathrm {dom}(\mathrm{D} _{B})\subset \mathrm{H}^\mathrm{1}_{\mathrm{loc}}({\mathcal {M}},{\mathcal {E}})\). This ensures the estimate
whenever \(u\in \mathrm {dom}(\mathrm{D} _B)\) and \(\chi \in \mathrm{C}^{\infty }_{\mathrm{c}}({\mathcal {M}}, [0,1])\) which is identically 1 on \({\mathcal {K}}'\), a compact set satisfying \({\mathcal {K}}\subset {\mathcal {K}}'\). Since \({\mathcal {K}}'\) is compact, \(\mathrm{H}^\mathrm{1}_{\mathrm{}}({\mathcal {K}}',{\mathcal {E}})\) embeds compactly into \(\mathrm{L}^{2}_{\mathrm{}}({\mathcal {K}}',{\mathcal {E}})\). Given a bounded sequence \(u_n\) in \(\mathrm {dom}(\mathrm{D} _{B})\) such that \(\mathrm{D} _{B} u_n \rightarrow v\), we obtain \(u \in \mathrm{L}^{2}_{\mathrm{loc}}({\mathcal {M}},{\mathcal {E}})\) such that \(u_n \rightarrow v\), possibly on passing to a subsequence. Then, using (4), we obtain \(u \in \mathrm{L}^{2}_{\mathrm{}}({\mathcal {M}},{\mathcal {E}})\). That is, we have shown that for a bounded sequence \(u_n \subset \mathrm {dom}(\mathrm{D} _{B})\), there is a convergence subsequence \(u_{n_k}\), which yields that \(\mathrm{D} _{B}\) has finite dimensional kernel and closed range (c.f. Proposition A.3 in [6]). \(\square \)
As an immediate consequence, we obtain the following Fredholmness result.
Corollary 3.3
If \(\mathrm{D} ,\mathrm{D} ^{\dagger }\) are coercive at infinity, and B is elliptically regular, then \(\mathrm{D} _{B}\) is Fredholm and
4 Deformations of Boundary Conditions
A virtue of being able to identify the entirety of boundary conditions using (2) and (3) is the ability to study perturbations and deformations of boundary conditions.
Definition 4.1
A family of boundary conditions \(B_{s}\subset \check{\mathrm {H}}(\mathrm{D} ) \) for \(s\in \left[ 0,1\right] \) is said to be a continuous deformation from \(B_{0}\) to \(B_{1}\), if there exist isomorphisms
with \(s\mapsto \varphi _{s}\in \mathrm{C}^{0}_{\mathrm{}}([0,1],{\mathcal {L}}( B_{0},\check{\mathrm {H}}(\mathrm{D} ) )).\)
Remark 4.2
In what is to follow, deformations of boundary conditions are paramount for elliptically regular boundary conditions. For such a boundary condition B, in addition to the fact that B is closed in \(\check{\mathrm {H}}(\mathrm{D} )\), we have that \(B\subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {M}},{\mathcal {E}})\) is closed. Since \(\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {M}},{\mathcal {E}})\subset \check{\mathrm {H}}(\mathrm{D} )\), which in particular means we have the estimate:
we and use Lemma A.3 in [7] to assert that
for all \(u\in B\). Since the implicit constant appearing in (5) only depends on \(\mathrm{A} \), the implicit constant in (6) is independent of B. Therefore, if we have \(B_s\subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\) for all \(s\in [0,1]\), then we obtain
In particular, this is the case when \(B_s\) is elliptically regular for all \(s\in [0,1]\).
The following proposition describes the way in which the deformation of a boundary condition deforms the operator itself. In the light of (3), this is certainly to be expected.
Proposition 4.3
Let \(\mathrm{D} \) and \(\mathrm{D} ^\dagger \) be complete and suppose that \(s\mapsto \varphi _{s}\) is a continuous deformation of boundary conditions. Then, there exists a map \(s\mapsto \Phi _{s}\in {\mathcal {L}}(\mathrm {dom}(\mathrm{D} _{B_{0}}) ,\mathrm {dom}(\mathrm{D} _{\max }) ) \) such that \(\Phi _{s}\mathrm {dom}(\mathrm{D} _{B_{0}}) =\mathrm {dom}(\mathrm{D} _{B_{s}}) \).
Proof
Recall that . Since \(\mathrm {dom}(\mathrm{D} _{B_s})\subset \mathrm {dom}(\mathrm{D} _{\max }) \) is a closed subspace and , we obtain that
in the sense of Banach spaces with the constant in the isomorphism independent of \(B_{s}\).
Now,
In the fourth isomorphism, \(s\mapsto \varphi _{s}\) is continuous and determines \(\Phi _{s}:\mathrm {dom}(\mathrm{D} _{B_{0}})\rightarrow \mathrm {dom}(\mathrm{D} _{B_{s}}) \) continuously. The conclusion follows. \(\square \)
With the use of Remark 4.2, we obtain the following corollary for elliptically regular boundary conditions.
Corollary 4.4
Let \(\mathrm{D} \) and \(\mathrm{D} ^\dagger \) be complete and coercive at infinity. Let \(\mathrm{A} \) be any invertible bisectorial adapted boundary operator and B be an elliptically regular boundary condition. Write
with respect to \(\chi ^+(\mathrm{A} )\) (see Definition 2.3). Define
where we recall \(V_{\pm }\oplus W_{\pm }=\chi ^{\pm }(\mathrm{A} )\mathrm{L}^{2}_{\mathrm{}}(\partial M,E) \) from Definition 2.3.
Then, \(s\mapsto \varphi _{s}: B_{0}\rightarrow \check{\mathrm {H}}(\mathrm{D} )\) is a continuous deformation of boundary conditions and
Proof
It is immediate from construction that \(\varphi _{s}: B_0\rightarrow B_s\) is an isomorphism with \(\varphi _0 =\mathrm{id}\). By what we have said in Remark 4.2, it is a continuous deformation of boundary conditions.
Let \(\Phi _{s}:\mathrm {dom}(\mathrm{D} _{B_{0}})\rightarrow \mathrm {dom}(\mathrm{D} _{B_{s}}) \) be the induced isomorphism from Proposition 4.3. Then, we have that \(\mathrm{D} _{B_{s}}\circ \Phi _{s}:\mathrm {dom}(\mathrm{D} _{B_{0}})\rightarrow \mathrm{L}^{2}_{\mathrm{}}( {\mathcal {M}},{\mathcal {E}}) \) is bounded, continuous in s, and therefore,
since the index is invariant under a continuous deformation. But since \(\Phi _{s}\) is an isomorphism, the dimension of the kernel and cokernel remains unchanged, so therefore \({\text {ind}}(\mathrm{D} _{B_{s}}) ={\text {ind}}(\mathrm{D} _{B_{s}}\circ \Phi _{s}) \). \(\square \)
Lemma 4.5
Let \(\mathrm{D} \) and \(\mathrm{D} ^\dagger \) be complete and coercive at infinity. Let \(B_{1}\subset B_{2}\) be elliptically regular boundary conditions. Then, and
Proof
The condition \(B_{1}\subset B_{2}\) is equivalent to \(\mathrm{D} _{B_{1}}\subset \mathrm{D} _{B_{2}}\). Therefore, \(\mathrm {dom}(\mathrm{D} _{B_{1}})\subset \mathrm {dom}(\mathrm{D} _{B_{2}}) \), \(\ker (\mathrm{D} _{B_{1}})\subset \ker (\mathrm{D} _{B_{2}}) \) and \(\mathrm {ran}(\mathrm{D} _{B_{1}})\subset \mathrm {ran}(\mathrm{D} _{B_{2}}) \). Note that the ranges are closed because \(B_{i}\) are Fredholm boundary conditions.
Since these are Hilbert spaces, we find orthogonal complements
Note that \(R_{i}\cong \mathrm {ran}(\mathrm{D} _{B_{i}}) \) via \(\mathrm{D} : R_{i}\rightarrow \mathrm {ran}(\mathrm{D} _{B_{i}}) \) and therefore, \(R_1\subset R_2\) let
Therefore,
Now
where the first isomorphism is readily verified, and the second follows from our construction above.
We prove that is finite dimensional. It suffices to prove that K and R are finite dimensional. First, we note that K is finite dimensional, since \(\ker (\mathrm{D} _{B_{2}}) \) is finite dimensional by Fredholmness of \(B_2\).
To show R is finite dimensional, note
where the second isomorphism follows from the readily verifiable fact:
when \(X\subset Y\subset {\mathcal {H}}\) are closed subspaces of a Hilbert space \({\mathcal {H}}\). By the Fredholmness of \(B_1\), \({\text {coker}}(\mathrm{D} _{B_{1}})\) is finite dimensional and hence R is finite dimensional.
Now we prove the index formula in the conclusion. We simply calculate
\(\square \)
Remark 4.6
This argument only requires that \(\mathrm{D} _{B_1}\) and \(\mathrm{D} _{B_2}\) are Fredholm operators. Therefore, the assumption of elliptic regularity of \(B_1\) and \(B_2\) can be relaxed and replaced by the condition that \(B_i\) are Fredholm boundary conditions, by which we mean that \(\mathrm{D} _{B_i}\) is a Fredholm operator.
Combining these results, we obtain the following theorem of this section.
Theorem 4.7
Let \(\mathrm{D} \) and \(\mathrm{D} ^\dagger \) be complete and coercive at infinity. Fix to \(\mathrm{A} \) be an adapted boundary operator and B an elliptically regular boundary condition. Let \(W_{\pm }\) be the subspaces arising from the graphical decomposition of B with respect to \(\chi ^+(\mathrm{A} )\) as given in Definition 2.3.
Proof
For notational convenience, write \(B_{-}:=\mathrm {B_{APS}}(\mathrm{A} )\). Using Theorem 2.4, write \(B =\mathrm {graph}(g{{|_{}}_{}}_{\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}})\oplus W_+\), where \(\chi ^\pm (\mathrm{A} )\check{\mathrm {H}}(\mathrm{D} ) = V_\pm \oplus W_{\pm }\). Let \(B_{0}:=V_{-}\oplus W_{+}\) as in Corollary 4.4 and from there, we obtain
Now let us consider \(B_{-}\oplus W_{+}\), which is an elliptically regular boundary condition since \(W_{+}\subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}\) is finite dimensional and \(B_{-}=\chi ^{-}(\mathrm{A} )\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}}) \). Since \(B_{-}\oplus W_{+}\supset B_{0}\) and
using Proposition 4.5,
Also, \(B_{-}\subset B_{-}\oplus W_{+}\) and therefore,
Combining these two equations, we get
which is the formula appearing in the conclusion. \(\square \)
Remark 4.8
The subspaces \(W_{\pm }\) can be described explicitly as
where
This space is isomorphic to the dual space of \(\check{\mathrm {H}}(\mathrm{D} )\), which readily follows from the fact that \(\left\langle \cdot ,\cdot \right\rangle : \check{\mathrm {H}}_{\mathrm{A} }(\mathrm{D} ) \times \hat{\mathrm {H}}_{\mathrm{A} }(\mathrm{D} ) \rightarrow {\mathbb {C}}\) is a perfect paring extending the \(\mathrm{L}^{2}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\) inner product.
The \(\hat{\mathrm {H}}_{\mathrm{A} }(\mathrm{D} )\) space is canonically isomorphic to \(\check{\mathrm {H}}_{{\tilde{\mathrm{A} }}}(\mathrm{D} ^\dagger )\) via \(\upsigma _0 = \upsigma _{\mathrm{D} }(\cdot , \tau )\), where \({\tilde{\mathrm{A} }} := - (\upsigma _0^{-1})^*\mathrm{A} \upsigma _0^*\) is the adapted operator for \(\mathrm{D} ^\dagger \) canonically determined from \(\mathrm{A} \). The advantage of \(\hat{\mathrm {H}}_{\mathrm{A} }(\mathrm{D} )\) over \(\check{\mathrm {H}}_{{\tilde{\mathrm{A} }}}(\mathrm{D} ^\dagger )\) is that it captures the adjoint problem over \({\mathcal {E}} \rightarrow \partial {\mathcal {M}}\) rather than over \({\mathcal {F}} \rightarrow \partial {\mathcal {M}}\).
5 Splittings and Decompositions
We now consider the way in which to relate the index of an operator to two operators obtained by cutting a manifold along a compact two-sided hypersurface. For that, throughout this section, assume that \({\mathcal {M}}^{\prime }\) is a connected manifold with \(\partial {\mathcal {M}}^{\prime } =\emptyset \).
Definition 5.1
Let \({\mathcal {N}}\subset {\mathcal {M}}^{\prime }\) be a two-sided compact hypersurface in \({\mathcal {M}}^{\prime }\) (i.e. \({\mathcal {N}}\) has a trivial normal bundle). Then, by “cutting along \({\mathcal {N}}\)”, we obtain the manifold with boundary
where \({\mathcal {N}}_{1}={\mathcal {N}}\), \({\mathcal {N}}_{2}=-{\mathcal {N}}\) (i.e. with opposite orientation) and with \(\partial {\mathcal {M}}={\mathcal {N}}_{1}\sqcup {\mathcal {N}}_{2}\).
Given a density \(\mu ^{\prime }\) on \({\mathcal {M}}^{\prime }\) and bundles \({\mathcal {E}}',{\mathcal {F}}'\rightarrow {\mathcal {M}}^{\prime }\), there are the naturally and canonically induced objects \(\mu ,{\mathcal {E}},{\mathcal {F}}\) via pullback to \({\mathcal {M}}\). If \(\mathrm{D} ':\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}^{\prime },{\mathcal {E}}')\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}^{\prime },{\mathcal {F}}')\), then it is clear that there is a naturally induced operator \(\mathrm{D} :\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}},{\mathcal {E}})\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}},{\mathcal {F}})\).
Proposition 5.2
We have
Suppose that \(\mathrm{A} _{0}\) is an invertible bisectorial adapted boundary operator on \({\mathcal {N}}_{1}={\mathcal {N}}\). Then,\(-\mathrm{A} _{0}\) is an invertible bisectorial adapted boundary operator on \({\mathcal {N}}_{2}\) and \(\mathrm{A} :=\mathrm{A} _{0}\oplus (-\mathrm{A} _{0})\) is an invertible bisectorial adapted boundary operator on \(\partial {\mathcal {M}}={\mathcal {N}}_{1}\sqcup {\mathcal {N}}_{2}\). Moreover,
Proof
The splitting of \(\mathrm{L}^{2}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\) follows immediately from the fact that \({\mathcal {M}} ={\mathcal {N}}_1\sqcup {\mathcal {N}}_2\).
For the splitting of \(\check{\mathrm {H}}(\mathrm{D} )\), note that
\(\square \)
Since \({\mathcal {N}}\) is compact, completeness and coercivity at infinity on \({\mathcal {M}}\) for \(\mathrm{D} \) is an inherited property from \({\mathcal {M}}'\). The following is immediate from using Definition 3.1 along with the fact that \({\mathcal {N}}\) is compact.
Lemma 5.3
\(\mathrm{D} ,\mathrm{D} ^{\dagger }\) are complete and coercive at infinity if and only if \(\mathrm{D} '\) and \((\mathrm{D} ') ^{\dagger }\) are.
In order to connect information regarding the operator \(\mathrm{D} '\) on \({\mathcal {M}}'\), the boundaryless manifold, and \({\mathcal {M}}\) obtained from cutting along \({\mathcal {N}}\), we define the following.
Definition 5.4
The subspace
is called the matching condition.
Remark 5.5
Note that \(\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\) is a dense subspace of \(\check{\mathrm {H}}(\mathrm{D} )\). Therefore, it can never be a boundary condition (i.e. closed). However, since \(\partial {\mathcal {M}} ={\mathcal {N}}_1\sqcup {\mathcal {N}}_2\), as we have already see in Proposition 5.2,
That means that, in this special situation, \(\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},{\mathcal {E}})\) is canonically identified to a closed subspace of \(\check{\mathrm {H}}(\mathrm{D} )\). It is for this reason that the subspace \(\mathrm {B_{M}}\) has a chance of being an boundary condition. This is asserted below.
Lemma 5.6
\(\mathrm {B_{M}}\) is an elliptically regular boundary condition.
Proof
The full assertion, including that \(\mathrm {B_{M}}\) is a boundary condition, can be obtained if we can write it as a graph as in Definition 2.3 and by invoking Theorem 2.4.
In light of Proposition 5.2, define
Moreover, define \(g: V_{-}\rightarrow V_{+}\) by
Then,
By Theorem 2.4, we have that \(\mathrm {B_{M}}\) is an elliptically regular boundary condition. \(\square \)
Remark 5.7
Historically, attention has been focussed on elliptically regular boundary conditions that can be obtained as ranges of pseudo-differential operators of order zero acting on \(\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}},{\mathcal {E}})\). Pseudo-differential operators of order zero are pseudo-local. By definition of \(\mathrm {B_{M}}\), information at \({\mathcal {N}}_1\) is matched to that of \({\mathcal {N}}_2\). Since \({\mathcal {N}}_1\) and \({\mathcal {N}}_2\) can be very far from each other, pseudo-locality is precluded for the matching condition and hence cannot be obtained as a range of a pseudo-differential projector of order zero. This demonstrates the power and usefulness of the graphical decomposition. It is also a fundamental and important observation that lead to the development of the graphical decomposition in [6].
Using the results for deformation in the previous section, we now reduce the matching condition to the APS condition.
Lemma 5.8
Let \(\mathrm{A} _{0}\) be an invertible bisectorial adapted boundary operator on \({\mathcal {N}}\) and \(\mathrm{A} :=\mathrm{A} _{0}\oplus ( -\mathrm{A} _{0}) \), the induced invertible bisectorial adapted boundary operator on \(\partial {\mathcal {M}} ={\mathcal {N}}_{1}\sqcup {\mathcal {N}}_{2}\). Then,
and
Proof
We have
Now, for the choices of \(V_{\pm }\) used in Lemma 5.6, i.e. \(V_{\pm }:=\chi ^{\pm }(\mathrm{A} _{0})\mathrm{L}^{2}_{\mathrm{}}({\mathcal {N}}_{1},{\mathcal {E}}) \oplus \chi ^{\mp }(\mathrm{A} _{0})\mathrm{L}^{2}_{\mathrm{}}({\mathcal {N}}_{2},{\mathcal {E}})\) and for g as defined there, let
Clearly this is a continuous deformation of \(\mathrm {B_{M}}\) to \(\mathrm {B_{M}}^{0}=\mathrm {B_{APS}}(\mathrm{A} ) \) and so by Corollary 4.4, the conclusion follows. \(\square \)
Combining these results, we can now prove the following generalised splitting theorem.
Theorem 5.9
[Splitting theorem] Let \(({\mathcal {M}}^{\prime },\mu ')\) be a connected boundaryless measured manifold and \(({\mathcal {E}}',\mathrm {h}^{{\mathcal {E}}'}),({\mathcal {F}}', \mathrm {h}^{{\mathcal {F}}'}) \rightarrow {\mathcal {M}}'\) be Hermitian bundles, carrying a first-order differential operator \(\mathrm{D} ':\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}',{\mathcal {E}}')\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}',{\mathcal {F}}')\) which is complete and coercive at infinity. Suppose that \({\mathcal {N}}\) is a two-sided hypersurface and let \({\mathcal {M}},\mu ,{\mathcal {E}},{\mathcal {F}},\mathrm{D} \), denote the induced objects be as above obtained from cutting \({\mathcal {M}}'\) along \({\mathcal {N}}\). Let \(B_1 \subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}}_1,E)\) and \(B_2 \subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}}_2,E)\) be a closed subspaces. Identifying \(\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}}_{i},E) \) with \(\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},{\mathcal {E}}) \), assume that \(B_1, B_2 \subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},E)\) are complementary subspaces satisfying
where \(\oplus \) is the internal direct sum in \(\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},{\mathcal {E}})\). Noting \(\mathrm {B_{APS}}(\mathrm{A} ) = \chi ^-(\mathrm{A} ) \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}} (\partial {\mathcal {M}},{\mathcal {E}}) = \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},{\mathcal {E}}) \subset \check{\mathrm {H}}(\mathrm{D} )\), we have
Proof
Let \(\mathrm {B_{M}}\) be the matching condition as defined in Definition 5.4. On identifying the pullback sections, say via a map \(\Phi \) from \({\mathcal {E}}'\) to \({\mathcal {E}}\) , we get
By the assumption that \(\mathrm{D} '\) and \((\mathrm{D} ')^\dagger \) are complete and coercive at infinity, by Lemma 5.3, the same holds for the induced \(\mathrm{D} \) and \(\mathrm{D} ^\dagger \). Moreover, it is easy to see that
From Lemma 5.8,
which is the required conclusion. \(\square \)
Remark 5.10
This result is a direct generalisation of the result in the case when \(\mathrm{D} \) admits a self-adjoint adapted boundary operator \(\mathrm{A} \) on \({\mathcal {N}}\). We can let \(B_{1}\subset \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},{\mathcal {E}}) \) be elliptically regular on \({\mathcal {N}}_{1}\) and \(B_{2}:=B_{1}^{\perp ,\mathrm{L}^{2}_{\mathrm{}}}\cap \mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},{\mathcal {E}}) \) considered as a boundary condition on \({\mathcal {N}}_{2}\).
Now choose \(\mathrm{A} _{0}\) invertible self-adjoint adapted boundary operator, which can always be obtained by subtracting a sufficiently small number from the self-adjoint boundary adapted operator whose existence we assumed. Set
Write
But since \(B_{1}\perp B_{2}\) in \(\mathrm{L}^{2}_{\mathrm{}}\), we have that \(V_{\pm ,2}=V_{\mp 1}\), \(W_{\pm ,2}=W_{\mp ,1}\) and \(g_{2}=-g_{1}^{*}\).
The adjoint boundary condition for \(B_{1}\oplus B_{2}\) is \(B_{2}\oplus B_{1}\). Therefore, \(B_1\oplus B_2 =\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},{\mathcal {E}})\) and so Theorem 5.9 applies.
Definition 5.11
Suppose \({\mathcal {N}}\subset {\mathcal {M}}'\) is a two-sided hypersurface and that by cutting along \({\mathcal {N}}\), we obtain \({\mathcal {M}}' ={\mathcal {M}}_1\sqcup {\mathcal {M}}_2\) with \(\partial {\mathcal {M}}_1 =\partial {\mathcal {M}}_2 ={\mathcal {N}}\). Then, we say that \({\mathcal {N}}\) separates \({\mathcal {M}}'\) (into \({\mathcal {M}}_1\) and \({\mathcal {M}}_2\)).
As before, we obviously obtain induced objects \({\mathcal {E}}_i,{\mathcal {F}}_i,\mathrm{D} _i\) et cetera via pullback to \({\mathcal {M}}_i\). The splitting theorem applies in a particular and useful way when \({\mathcal {N}}\) separates \({\mathcal {M}}^{\prime }\), leading to a decomposition theorem.
Corollary 5.12
Assume the hypothesis of Theorem 5.9. In addition, assume that \({\mathcal {N}}\) separates \({\mathcal {M}}'\) into \({\mathcal {M}}_1\) and \({\mathcal {M}}_2\), and \(\mathrm{A} _{0}\) be an invertible bisectorial adapted boundary operator on \({\mathcal {N}}\) pointing into \(\partial {\mathcal {M}}_1\). Let
Then,
Proof
This is immediate from \(\mathrm{D} ' =\mathrm{D} _1\oplus \mathrm{D} _2\) and invoking Theorem 5.9. \(\square \)
6 The Phi and Relative Index Theorems
In this section, we prove the \(\Phi \) and relative index theorems. For that, we will fix two measured manifolds \(({\mathcal {M}}_1,\mu _1)\) and \(({\mathcal {M}}_2,\mu _2)\). These will be equipped with Hermitian vector bundles \(({\mathcal {E}}_i,\mathrm {h}^{{\mathcal {E}}_i})\rightarrow {\mathcal {M}}_i\) and \(({\mathcal {F}}_i,\mathrm {h}^{{\mathcal {F}}_i})\rightarrow {\mathcal {M}}_i\) carrying first-order elliptic differential operators \(\mathrm{D} _i :\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}_i,{\mathcal {E}}_i)\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}_i,{\mathcal {F}}_i)\).
Definition 6.1
Let \({\mathcal {M}}_{1},{\mathcal {M}}_{2}\) be manifolds and \(({\mathcal {E}}_{i},h^{{\mathcal {E}}_{i}}) ,({\mathcal {F}}_{i},h^{{\mathcal {F}}_{i}})\rightarrow {\mathcal {M}}_{i}\) Hermitian vector bundles. Let \(\mathrm{D} _{i}:\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}_i,{\mathcal {E}}_{i})\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}_i,{\mathcal {F}}_{i})\) and \({\mathcal {K}}_{i}\subset {\mathcal {M}}_{i}\) a closed subset. Then, we say that \(\mathrm{D} _{1}\) and \(\mathrm{D} _{2}\) agree outside \({\mathcal {K}}_{1},{\mathcal {K}}_{2}\) if they are related by vector bundle isometries \({\mathcal {E}}_{1}{{|_{}}_{}}_{{\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1}}\cong {\mathcal {E}}_{2}{{|_{}}_{}}_{{\mathcal {M}}_{2}\setminus {\mathcal {K}}_{2}}\) and \({\mathcal {F}}_{1}{{|_{}}_{}}_{{\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1}}\cong {\mathcal {F}}_{2}{{|_{}}_{}}_{{\mathcal {M}}_{2}\backslash {\mathcal {K}}_{2}}\) satisfying the following.
-
(i)
There is a diffeomorphism \(f:{\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1}\rightarrow {\mathcal {M}}_{2}\setminus {\mathcal {K}}_{2}\).
-
(ii)
There exist vector bundle isometries
$$\begin{aligned} I_{{\mathcal {E}}}:{\mathcal {E}}_{1}{{|_{}}_{}}_{{\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1}}\rightarrow {\mathcal {E}}_{2}{{|_{}}_{}}_{{\mathcal {M}}_{2}\setminus {\mathcal {K}}_{2}} \quad \text {and}\quad I_{{\mathcal {F}}}:{\mathcal {F}}_{1}{{|_{}}_{}}_{{\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1}}\rightarrow {\mathcal {F}}_{2}{{|_{}}_{}}_{{\mathcal {M}}_{2}\setminus {\mathcal {K}}_{2}} \end{aligned}$$over f. That is, \(I_{\mathcal {E}}\) and \(I_{\mathcal {F}}\) are fibrewise linear isometries such that the following diagrams commute:
$$\begin{aligned} \begin{array}{ccc} {\mathcal {E}}_{1}{{|_{}}_{}}_{{\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1}} &{}\overset{I_{{\mathcal {E}}}}{\longrightarrow } &{}{\mathcal {E}}_{2}{{|_{}}_{}}_{{\mathcal {M}}_{2}\setminus {\mathcal {K}}_{2}}\\ \downarrow &{} &{}\downarrow \\ {\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1} &{}\overset{f}{\longrightarrow } &{}{\mathcal {M}}_{2}\setminus {\mathcal {K}}_{2} \end{array} \quad \text {and}\quad \begin{array}{ccc} {\mathcal {F}}_{1}{{|_{}}_{}}_{{\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1}} &{}\overset{I_{{\mathcal {F}}}}{\longrightarrow } &{}{\mathcal {F}}_{2}{{|_{}}_{}}_{{\mathcal {M}}_{2}\setminus {\mathcal {K}}_{2}}\\ \downarrow &{} &{}\downarrow \\ {\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1} &{}\overset{f}{\longrightarrow } &{}{\mathcal {M}}_{2}\setminus {\mathcal {K}}_{2}. \end{array} \end{aligned}$$ -
(iii)
The operators \(\mathrm{D} _1\) and \(\mathrm{D} _2\) are related by \(I_{\mathcal {E}}, I_{\mathcal {F}}\) and f. Explicitly,
$$\begin{aligned} I_{{\mathcal {F}}}\circ (\mathrm{D} _{1}u)\circ f^{-1}=\mathrm{D} _{2}( I_{{\mathcal {E}}}\circ u\circ f^{-1}) \end{aligned}$$for all \(u\in \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}_{1}\setminus {\mathcal {K}}_{1},{\mathcal {E}}_{1}) \).
Theorem 6.2
Let \(({\mathcal {M}}_{1},\mu _1)\), \(({\mathcal {M}}_{2},\mu _2)\) be measured manifolds without boundary and \(({\mathcal {E}}_{i},\mathrm {h}^{{\mathcal {E}}_{i}}),({\mathcal {F}}_{i},\mathrm {h}^{{\mathcal {F}}_{i}})\rightarrow {\mathcal {M}}\) Hermitian bundles with \(\mathrm{D} _{i}:\mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}_i,{\mathcal {E}}_i)\rightarrow \mathrm{C}^{\infty }_{\mathrm{}}({\mathcal {M}}_i,{\mathcal {F}}_i)\), first-order elliptic and coercive at infinity.
Suppose the following:
-
(i)
\({\mathcal {K}}_i\subset {\mathcal {M}}_i\) such that \(\mathrm{D} _1,\mathrm{D} _2\) agree outside of \({\mathcal {K}}_1,{\mathcal {K}}_2\) as in in Definition 6.1;
-
(ii)
the densities \(\mu _i\) satisfy \(\mu _{1}=f^{*}\mu _{2}\) on \({\mathcal {M}}_1\setminus {\mathcal {K}}_1\);
-
(iii)
there exists a compact two-sided hypersurfaces \({\mathcal {N}}_{1}\) separating \({\mathcal {M}}_{1}={\mathcal {M}}_{1}^{\prime }\cup {\mathcal {M}}_{1}^{\prime \prime }\) with \(\partial {\mathcal {M}}_{1}^{\prime }=\partial {\mathcal {M}}_{1}^{\prime \prime }={\mathcal {N}}_{1}\) and \({\mathcal {K}}_{1}\subset \mathring{\mathcal {M}}_{1}^{\prime }\).
Then, \({\mathcal {N}}_2 := f({\mathcal {N}}_1)\) separates \({\mathcal {M}}_2 ={\mathcal {M}}_{2}^{\prime }\cup {\mathcal {M}}_{2}^{\prime \prime }\) with \({\mathcal {K}}_2\subset \mathring{\mathcal {M}}_2'\).
Denote the induced operators on \({\mathcal {M}}_i'\) and \({\mathcal {M}}_i''\) from \(\mathrm{D} _i\) by \(\mathrm{D} _{i}^{\prime }\) and \(\mathrm{D} _{i}^{\prime \prime }\), respectively, and fix an invertible bisectorial adapted boundary operator \(\mathrm{A} \) to \(\mathrm{D} _{1}^{\prime }\) on \({\mathcal {M}}_{1}^{\prime }\). Let \(B_{1}:=\chi ^{-}(\mathrm{A} )\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}(\partial {\mathcal {M}}_{1},{\mathcal {E}}_{1}) \) and \(B_{2}\) be identified with \(B_{1}\) under \(( I_{E},I_{F},f) \). Then, \(\mathrm{D} _{i},\mathrm{D} _{i,B_{i}}^{\prime }\) are Fredholm operators and
Proof
Since \({\mathcal {M}}_1\setminus {\mathcal {K}}_1\) is diffeomorphic to \({\mathcal {M}}_2\setminus {\mathcal {K}}_2\), it is clear that \({\mathcal {N}}_2 = f({\mathcal {N}}_1)\) separates \({\mathcal {M}}_2 ={\mathcal {M}}_{2}^{\prime }\cup {\mathcal {M}}_{2}^{\prime \prime }\) and \({\mathcal {K}}_2\subset \mathring{\mathcal {M}}_2'\).
By Proposition 5.2, since \(\mathrm{A} \) is an invertible bisectorial adapted boundary operator on \(\partial {\mathcal {M}}_{1}^{\prime }\), we obtain that \(-\mathrm{A} \) is an invertible bisectorial adapted boundary operator on \(\partial {\mathcal {M}}_{1}^{\prime \prime }\). On setting \(B_{1}^{\prime }:=B_{1}\)
from Corollary 5.12, we obtain
Let \(B_{2}^{\prime }:=B_{2}\) and \(B_{2}^{\prime \prime }\) be the boundary condition \(B_{2}^{\prime \prime }\) pulled across to \(\partial {\mathcal {M}}_{2}^{\prime \prime }\) via \(( I_{E},I_{F},f) \), we get
Since \(\mathrm{D} _{1}\) and \(\mathrm{D} _{2}\) agree outside \({\mathcal {K}}_{1}\) and \({\mathcal {K}}_{2}\), and \(\mu _1 = f^*\mu _2\) on \({\mathcal {M}}_1 \setminus {\mathcal {K}}_1\),
By taking the difference we obtain the conclusion. \(\square \)
To obtain the relative index theorem, we want to express the right hand side of this index theorem in terms of the local quantities \(\alpha _{0,\mathrm{D} _i}\) as described in the hypothesis of this theorem. These quantities are accessed by embedding the manifold \({\mathcal {M}}_i'\) inside a larger closed manifold and appropriately extending \(\mathrm{D} _i\).
Lemma 6.3
Let \({\mathcal {M}}_{1}\) and \({\mathcal {M}}_{2}\) be two compact manifolds with boundary such that \(\mathrm{D} _{1},\mathrm{D} _{2}\) elliptic agree outside \({\mathcal {K}}_{i}\subset \mathring{\mathcal {M}}_{i}\). Then, there are \({\tilde{{\mathcal {M}}}}_{i}\) compact with \(\partial {\tilde{{\mathcal {M}}}}_{i}=\emptyset \) such that the following holds.
-
(i)
\({\mathcal {M}}_{i}\subset {\tilde{{\mathcal {M}}}}_{i}\),
-
(ii)
\({\mathcal {E}}_{i}\subset {\tilde{{\mathcal {E}}}}_{i}\), \(\mathrm {h}^{{\tilde{{\mathcal {E}}}}_{i}}\) smooth with \(\mathrm {h}^{{\tilde{{\mathcal {E}}}}_{i}}{{|_{}}_{}}_{{\mathcal {M}}_{i}}=\mathrm {h}^{{\mathcal {E}}_{i}}\),
-
(iii)
\({\tilde{\mathrm{D} }}_{i}\) elliptic such that \(\mathrm{D} _{i}\) and \({\tilde{\mathrm{D} }}_{1}\) and \({\tilde{D}}_{2}\) agree outside \({\mathcal {K}}_{1},{\mathcal {K}}_{2}\),
-
(iv)
\({\tilde{\mathrm{D} }}_{i}{{|_{}}_{}}_{{\mathcal {K}}_{i}}=\mathrm{D} _{i}{{|_{}}_{}}_{{\mathcal {K}}_{i}}\).
Proof
Take \({\mathcal {M}}_{i}\) and set \({\mathcal {M}}_{1}^{\mathrm {2nd}} :={\mathcal {M}}_1\) as the second copy of \({\mathcal {M}}_1\). We will glue this second copy \({\mathcal {M}}_1^{\mathrm {2nd}}\) to \({\mathcal {M}}_i\), regardless of whether \(i=1\) or \(i=2\). That is, define
identifying inside \(U_i :={\mathcal {M}}_i\setminus {\mathcal {K}}_i\), which by hypothesis is identified with \({\mathcal {M}}_1\setminus {\mathcal {K}}_1\) via a diffeomorphism.
By hypothesis, the \(\mathrm{D} _{i}\) agree on \(U_{i}\) open and containing \(\partial {\mathcal {M}}_{i}\). In \(U_{i}\), \(\mathrm{D} _{1}\) and \(\mathrm{D} _{2}\) agree through identification by \(( I_{{\mathcal {E}}},I_{{\mathcal {F}}},f) \). So on doubling, we keep the smooth coefficients and obtain \({\tilde{\mathrm{D} }}_{i}\).
Similarly, \(\mathrm {h} ^{{\tilde{{\mathcal {E}}}}_{i}}\) have smooth coefficients also. Therefore, the conclusions as stated follow. \(\square \)
With this at our aid, we now prove the relative index theorem in the context of a general first-order elliptic differential operator, extending Theorem 1.21 in [6] and Theorem 4.18 in [10]
Proof of Theorem 1.1
Since \({\mathcal {K}}_{i}\) are compact, applying Corollary 3.3 to a manifold without boundary gives that \(\mathrm{D} _{i}\) are Fredholm if and only if \(\mathrm{D} _{i}\) are coercive at infinity, say with respect to a set \({\tilde{{\mathcal {K}}}}_{i}\) (c.f Definition 3.1). But \({\mathcal {K}}_{i}\cup {\tilde{{\mathcal {K}}}}_{i}\) is still compact and \(\mathrm{D} _{i}\) are coercive at infinity with respect to \({\mathcal {K}}_{i}\cup {\tilde{{\mathcal {K}}}}_{i}\) and hence it is easy to see that \(\mathrm{D} _{1}\) is Fredholm if and only if \(\mathrm{D} _{2}\) is Fredholm since \(\mathrm{D} _{1},\mathrm{D} _{2}\) agree outside the compact set \({\mathcal {K}}_{i}\cup {\tilde{{\mathcal {K}}}}_{i}\).
Now from Theorem 6.2, we obtain \({\mathcal {N}}_2 = f({\mathcal {N}}_1)\) separates \({\mathcal {M}}_2 ={\mathcal {M}}_2'\cup {\mathcal {M}}_2''\) with \({\mathcal {K}}_2\subset \mathring{\mathcal {M}}_2'\). Let \(\mathrm{D} _i'\) and \(\mathrm{D} _i''\) be the induced operators on \({\mathcal {M}}_i'\) and \({\mathcal {M}}_i''\), respectively. Choosing \(B_{1}:=\chi ^{-}(\mathrm{A} )\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},{\mathcal {E}}) \) for an invertible bisectorial adapted boundary operator \(\mathrm{A} \) on \({\mathcal {N}}_1\), and with \(B_2\) pulled back to \({\mathcal {N}}_2 = f({\mathcal {N}}_1)\) via \((I_{\mathcal {E}},I_{\mathcal {F}},f)\), we obtain from Theorem 6.2 that
On application of Lemma 6.3, we obtain \({\tilde{{\mathcal {M}}}}_{i}\) containing \({\mathcal {M}}_i'\) and \({\tilde{\mathrm{D} }}_{i}\). But \({\tilde{\mathcal {M}}}_{i}\) is closed, \({\tilde{\mathrm{D} }}_{i}\) is elliptic on a closed manifold, so by Corollary 5.12,
where \(B_{1}^{\prime \prime }:=\chi ^{+}(\mathrm{A} )\mathrm{H}^\mathrm{\frac{1}{2}}_{\mathrm{}}({\mathcal {N}},{\mathcal {E}}) \) and \(B_2''\) is \(B_1''\) identified on \({\tilde{{\mathcal {M}}}}_2''\) through \(({\tilde{I}}_E,{\tilde{I}}_F,{\tilde{f}})\) given by Lemma 6.3.
By construction, \({\tilde{\mathrm{D} }}_{1}\) and \({\tilde{\mathrm{D} }}_{2}\) agree outside of \({\mathcal {K}}_{1},{\mathcal {K}}_{2}\). In particular, \({\tilde{\mathrm{D} }}_{1}\) and \({\tilde{\mathrm{D} }}_{2}\) agree on \({\tilde{{\mathcal {M}}}}_{1}^{\prime \prime }\) and \({\tilde{{\mathcal {M}}}}_{2}^{\prime \prime }\). Therefore,
and
Since \({\tilde{{\mathcal {M}}}}_{i}\) are closed and \({\tilde{\mathrm{D} }}_i\) are first-order elliptic, we can apply Atiyah–Singer index theorem to obtain
where \(\alpha _{0,{\tilde{\mathrm{D} }}_i}\) is the constant term in asymptotic expansion of
as \(t \rightarrow 0\). See Theorem (EIII) and the accompanying Remark 2) in [1].
The operators \(\mathrm{D} _{1},\mathrm{D} _{2}\) agree outside \({\mathcal {K}}_{1},{\mathcal {K}}_{2}\) and so certainly \({\tilde{\mathrm{D} }}_{1},{\tilde{\mathrm{D} }}_{2}\) agree outside \({\mathcal {K}}_{1},{\mathcal {K}}_{2}\). Moreover, since we assume \(\mu _2 = f^*\mu _1\),
Also, \({\tilde{\mathrm{D} }}_{i}=\mathrm{D} _{i}\) on \({\mathcal {K}}_{i}\), so
for \(x\in {\mathcal {K}}_{i}\). Hence, we conclude
\(\square \)
Remark 6.4
If we were to dispense with using Lemma 6.3, we would need to directly compute \({\text {ind}}(\mathrm{D} _{i,B_{i}}^{\prime })\). In the situation where \(\mathrm{A} _1 :=\mathrm{A} \) is self-adjoint, we can accomplish this using the Atiyah–Patodi–Singer index theorem. By pulling across \(\mathrm{A} \) to \({\mathcal {M}}_2'\), to obtain \(\mathrm{A} _2\), we have that \(\dim \ker \mathrm{A} _2 =\dim \ker \mathrm{A} _1\) and \(\eta _{\mathrm{A} _1}(s) =\eta _{\mathrm{A} _2}(s)\). Therefore, these terms cancel, and we obtained the stated relative index formula. The advantage of using the Atiyah–Singer index theorem as opposed to the Atiyah–Patodi–Singer index theorem is that we do not require additional assumptions on the \(\mathrm{D} _i\).
Remark 6.5
As noted in [6], when the operators \(\mathrm{D} _i\) are Dirac-type on Riemannian manifold \(({\mathcal {M}}_i, \mathrm {g}_i)\), the quantities \(\alpha _{0,\mathrm{D} _i}\) can be computed pointwise and explicitly in local coordinates from the coefficients of \(\mathrm{D} _i\) and their derivatives (c.f. Chapter 4 in [8]). However, as we have aforementioned, the Rarita–Schwinger operator is a naturally determined operator from physics and geometry which falls outside of the Dirac-type regime. For this and other geometric operators, understanding these quantities geometrically as for the Dirac-type case, beyond the abstract description arising from the asymptotic expansion, is likely to be interesting and insightful. These are open questions in the field which are current and actively pursued.
References
Atiyah, M., Bott, R., Patodi, V.K.: On the heat equation and the index theorem. Invent Math. 19, 279–330 (1973)
Atiyah, M.F., Patodi, V.K., Singer, I.M.: Spectral asymmetry and Riemannian geometry. Bull. Lond. Math. Soc. 5, 229–234 (1973)
Atiyah, M.F., Patodi, V.K., Singer, I.M.: Spectral asymmetry and Riemannian geometry I. Math. Proc. Camb. Philos Soc. 77, 43–69 (1975)
Atiyah, M.F., Patodi, V.K., Singer, I.M.: Spectral asymmetry and Riemannian geometry II. Math. Proc. Camb. Philos. Soc. 78(3), 405–432 (1975)
Atiyah, M.F., Patodi, V.K., Singer, I.M.: Spectral asymmetry and Riemannian geometry III. Math. Proc. Camb. Philos. Soc. 79(1), 71–99 (1976)
Bär, C., Ballmann, W.: Boundary Value Problems for Elliptic Differential Operators of First Order, 2012, Surveys in Differential Geometry. Vol. XVII, pp. 1–78, Surveys in Differential Geometry, vol. 17. International Press, Boston, MA
Bär, C., Bandara, L.: Boundary Value Problems for General First-Order Elliptic Differential Operators J Funct. Anal. 282(12), 109–445 (2022)
Berline, N., Getzler, E., Vergne, M.: Heat Kernels and Dirac Operators, Grundlehren Text Editions, Springer, Berlin. Corrected reprint of the 1992 original (2004) 2273508
Bunke, U.: A \(K\)-theoretic relative index theorem and Callias-type Dirac operators. Math. Ann. 303(2), 241–279 (1995)
Gromov, M., Lawson, H.B., Jr.: Positive scalar curvature and the Dirac operator on complete Riemannian manifolds, 1983. Inst. Hautes Études Sci. Publ. Math. 58, 83–196 (1984)
Acknowledgements
The author was supported by SPP2026 from the German Research Foundation (DFG). Penelope Gehring and Peter Grabs are duly acknowledged for their help in the delivery of a graduate level course at the University of Potsdam from which this paper emerged. The author also wishes to thank Christian Bär for useful discussions, encouragement and support. Last but not least, the anonymous referee is acknowledged for their helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bandara, L. The Relative Index Theorem for General First-Order Elliptic Operators. J Geom Anal 33, 10 (2023). https://doi.org/10.1007/s12220-022-01048-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-01048-1
Keywords
- Relative index theorem
- Index Theory
- First-order elliptic operator
- Elliptically regular boundary condition