Abstract
Given a manifold with boundary endowed with an action of a discrete group on it, we consider the algebra of operators generated by elements in the Boutet de Monvel algebra of pseudodifferential boundary value problems and shift operators acting on functions on the manifold and its boundary. Provided that the group is of polynomial growth and its action is isometric, we construct a Chern character for elliptic elements in this algebra with values in a de Rham type cohomology of the fixed point manifolds for the group action and obtain an index formula in terms of this Chern character. Our index formula contains as special cases the index formula by Fedosov for boundary value problems in the Boutet de Monvel algebra and the index formula by Nazaikinskii, Savin and Sternin for operators on a closed manifold associated with an isometric group action.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The aim of this work is to give a solution of the index problem for nonlocal elliptic boundary value problems associated with isometric actions of discrete groups on manifolds with boundary.
The index problem in elliptic theory (see [1]) consists in computing indices of elliptic operators in terms of topological invariants of the principal symbol of operators and topological invariants of manifolds on which the operators are defined.
Index formulas are known in many geometric situations. In particular, many authors developed index theory for elliptic boundary value problems in the framework of classical boundary value problems (see [2,3,4]) and for Boutet de Monvel algebra of pseudodifferential boundary value problems with boundary and coboundary operators (see [5,6,7,8,9,10]).
Firstly, we note that obtaining index formulas in the case of pseudodifferential boundary value problems was of significant difficulty because principal symbols of the boundary value problems in question are operator functions defined on the cotangent bundle of the boundary of the manifold and it was necessary to construct topological invariants which take into account this operator function. These difficulties were overcame in [8], where a topological index of elliptic problems in Boutet de Monvel algebra was defined using special regularized traces on the algebra of principal symbols.
Secondly, we note that all known proofs of the index formulas for elliptic boundary value problems use stable homotopies (these homotopies are constructed using K-theory of the \(C^*\)-algebra of symbols), which allow to reduce the boundary value problem to such a form that its index is equal to the index of an operator on the double of the manifold with boundary. In this case, the index is easy to calculate using Atiyah–Singer formula (see [3, 7, 8, 10]).
Noncommutative geometry of Connes [11] contributes greately to the development of index theory. In noncommutative geometry, one usually considers algebras of operators, the principal symbols of which generate essentially noncommutative algebras. The algebras of crossed product type associated with group actions on manifolds (see [12,13,14,15,16,17,18,19,20,21,22]) appear in many applications. The corresponding equations on the manifold in question include pseudodifferential operators as well as shift operators along the orbits of the group action. For such operators, ellipticity conditions were obtained. They provide Fredholm solvability of the problem in Sobolev spaces (see [15]). However, index formulas were obtained only in the case of smooth closed manifolds (see [19, 20, 22, 23]). As a first step towards obtaining index formulas for boundary value problems associated with group actions on manifolds with boundary, a classification (up to stable homotopies) of elliptic boundary value problems was obtained and K-groups of the corresponding symbol algebra were calculated in [24].
In the present paper, we construct the topological index for elliptic boundary value problems on manifolds with boundary endowed with an isometric action of a discrete group of polynomial growth in the sense of Gromov [25]. More precisely, for the principal symbol of such a problem we construct the Chern character with values in a de Rham type cohomology of the cotangent bundle of fixed point submanifolds. The definition of Chern character uses traces on the algebra of noncommutative differential forms from [20] and on regularized traces from [8] on the algebra of symbols of Boutet de Monvel operators. Unlike the paper [8], where a topological index is constructed as a number, we refine this construction and construct a Chern character for the symbol in suitable cohomology groups, and the topological index is obtained from it by taking product with the Todd class of the manifold and integrating over the fundamental cycle.
Let us briefly describe the contents of the paper. In Sect. 2, we recall the definitions related to the Boutet de Monvel algebra of pseudodifferential boundary value problems on a manifold with boundary. In Sect. 3, we study the algebra generated by Boutet de Monvel operators and shift operators associated with isometric actions of discrete groups of polynomial growth on manifolds with boundary. We state an ellipticity condition for the elements in this algebra, their Fredholm property is established. After that we solve the index problem. To this end, we construct (in Sect. 4) cohomology of de Rham type for manifolds, whose boundary is the total space of a fibration (the cotangent bundle of a manifold with boundary has this structure and this structure implicitly appears in [8]). Furthermore, in Sect. 5, we introduce noncommutative differential forms on the boundary and regularized traces on them. These constructions enable us to define the Chern character for elliptic problems as a cohomology class on the cotangent bundle of the manifold of fixed points of the group action, considered as a manifold with fibered boundary (in the sense of Sect. 4). Next, in Sect. 6, we give the definition of the Todd class of the manifold and state the index theorem. The proof of the index theorem is given in Sects. 7 and 8. To this end, we establish a homotopy classification of elliptic boundary value problems, which enables us to make a homotopy of the boundary value problem to a quite simple boundary value problem in a neighborhood of the boundary of the manifold. Next, for such a problem the index formula can be checked by a reduction of the operator to the double and application of the index formula in [20] on the double.
2 Boutet de Monvel algebra
Let us recall the main properties of the Boutet de Monvel algebra (for more detailed exposition see [5, 7, 26, 27, 33]).
Let M be a smooth compact manifold with boundary X. We suppose that M is endowed with a Riemannian metric. In a neighborhood of the boundary we use local coordinates \(x=(x',x_n)\) on M, where \(\mathrm{dim}M=n\), \(x'=(x_1,\ldots ,x_{n-1})\) are local coordinates on X, and \(x_n\) is a defining function of the boundary, i.e., the boundary is locally defined by the equation \(x_n=0\), while M is defined by the inequality \(x_n\ge 0\). Denote as \((\xi ',\xi _n)\) the variables dual to \((x',x_n)\). Then \((x',x_n,\xi ',\xi _n)\) define local coordinates for the cotangent bundle \(T^*M\). We fix a Riemannian metric on M.
Let us consider Boutet de Monvel operators of zero order and type. We write such operators as follows
where
-
A is a classical pseudodifferential operator (\(\psi \)DO) of order zero on M; its complete symbol satisfies the transmission property (see below);
-
\(A_X\) is a \(\psi \)DO of order zero on X;
-
B, C and G are boundary, coboundary and Green operators, respectively (or trace, potential, singular Green operators in the terminology of Boutet de Monvel [5]).
Recall that a classical symbol \(a=a(x',x_n,\xi ',\xi _n)\) with an asymptotic expansion
into its homogeneous components \(a_l\) satisfies the transmission property, if its order \(m\in {\mathbb {Z}}\) and for all \(k\in {\mathbb {Z}}_+\) and arbitrary multi-index \(\alpha =(\alpha _1,...,\alpha _{n-1})\in {\mathbb {Z}}^{n-1}_+\) the following equality holds:
where
The principal symbol of operator (1) is the pair \(\sigma ({\mathcal {D}})=(\sigma _M({\mathcal {D}}),\sigma _X({\mathcal {D}}))\), where the first component is called the interior symbol and is a function
where \(S^*M=\{(x,\xi )\in T^*M,|\xi |=1\}\) is the cosphere bundle of M, where \(\sigma (A)\) is the principal symbol of A (if a is the complete symbol of A, then \(\sigma (A)\) is equal to the leading order term \(a_m\) in (2)). The second component is called the boundary symbol and is an operator function
on the cosphere bundle \(S^*X\) of the boundary, where \({\mathcal {B}}\) is the algebra of bounded operators,
stands for the space of images with the respect to the Fourier transform \({\mathcal {F}}_{x_n\rightarrow \xi _n}\) of the Schwartz space \({\mathcal {S}}(\overline{{\mathbb {R}}}_+)\) of smooth rapidly decaying at infinity functions on \(\overline{{\mathbb {R}}}_+\). Denote the norm closure of \(H_+\subset L^2({\mathbb {R}})\) by \(\overline{H}_+\). Similarly, we define the space \(H_-\) as
Next, we define the projection \(\Pi _+:H_+\oplus H_-\rightarrow H_+\) to the first summand and the continuous functional
Note that if \(u\in L^1({\mathbb {R}})\cap (H_+\oplus H_-)\), then
Let us denote the algebra of boundary symbols (5) by \(\Sigma _X\subset C^\infty (S^*X,{\mathcal {B}}({\overline{H}}_+\oplus {\mathbb {C}}))\). To describe explicitly the elements in \(\Sigma _X\), we consider smooth functions
-
\(b(x',\xi ',\xi _n)\in C^\infty (S^*X,H_-)\);
-
\(c(x',\xi ',\xi _n)\in C^\infty (S^*X,H_+)\);
-
\(g(x',\xi ',\xi _n,\eta _n)\in C^\infty (S^*X,H_+\otimes H_-)\);
-
\(q(x',\xi ')\in C^\infty (S^*X)\).
Here the spaces \(H_\pm \), their topological tensor products, and smooth functions on \(S^*X\) are considered as Fréchet spaces. Then an arbitrary boundary symbol \(a_X\in \Sigma _X\) is a smooth operator family
with the parameters \((x',\xi ')\in S^*X\). Operator (7) acts on pairs \(h\in {\overline{H}}_+, v\in {\mathbb {C}}\) as follows:
Here \(a(x',0,\xi ',\xi _n)\) is the restriction to the boundary of a symbol homogeneous of degree zero with the transmission property on M. The function \(a(x',0,\xi ',\xi _n)\) is called the principal symbol of the boundary symbol \(a_X\). It is known that smooth families (7) form an algebra.
Let us denote the algebra of matrices (1) by \(\Psi _B(M)\subset {\mathcal {B}}(L^2(M)\oplus L^2(X))\). This algebra is called the Boutet de Monvel algebra.
Theorem 1
([7], Section 2.2.4.4, Corollary 2) The symbol mapping
is well defined and continuously extends to a monomorphism of \(C^*\)-algebras
where \({\mathcal {K}}\subset \overline{\Psi _B(M)}\) is the ideal of compact operators.
Note that the mappings in Theorem 1 are not surjective: first, the interior and boundary symbols satisfy additional properties (3) and (7). Moreover, they satisfy certain compatibility conditions.
The regularized trace \({{\,\mathrm{Tr}\,}}'\) of a boundary symbol \(a_X\in \Sigma _X\) is defined by the formula
The mapping
does not possess the trace property. More precisely, the following trace defect formula was obtained in [8, Section 2.4, Lemma 2.1]: given \(a_{X,1}, a_{X,2}\in \Sigma _X\), we have
where \(a_1, a_2\) are the principal symbols of \(a_{X,1}, a_{X,2}\) respectively.
3 \(\Gamma \)-Boutet de Monvel operators: Fredholm property
Group actions and shift operators. Let \(\Gamma \) be a discrete finitely generated group of isometries \(\gamma :M\rightarrow M\), which preserve the boundary \(\gamma (X)=X\). We suppose that the local coordinates near the boundary are chosen such that \(x_n\) is a \(\Gamma \)-invariant function. Given \(\gamma \in \Gamma \), we define the shift operator
This operator is unitary if we equip the \(L^2\)-spaces with the norms, defined by the volume forms associated with the Riemannian metric. The mapping \(\gamma \mapsto T_\gamma \) defines a unitary representation of \(\Gamma \) on \(L^2(M) \oplus L^2(X)\).
It is known that compositions \(T_\gamma {\mathcal {D}}T_\gamma ^{-1}\), where \({\mathcal {D}}\) is a Boutet de Monvel operator and \(\gamma \in \Gamma \), is also a Boutet de Monvel operator. Moreover, the interior and boundary symbols of \(T_\gamma {\mathcal {D}}T_\gamma ^{-1}\) are equal to
Here the actions of \(\Gamma \) on M and X are lifted to the bundles \({T}^*M\) and \(T^*X\) using codifferentials \(\partial \gamma =(d\gamma ^t)^{-1}\) of the corresponding diffemorphisms (here \(d\gamma \) is the differential of \(\gamma \), while \(d\gamma ^t\) is its dual mapping of the cotangent bundle).
\(\Gamma \)-Boutet de Monvel operators. Let us recall the definition of smooth crossed products (see [28] or [22]). Let \({\mathcal {A}}\) be a Fréchet algebra with seminorms \(\Vert \cdot \Vert _m\), \(m\in {\mathbb {N}}\), and \(\Gamma \) be a group of polynomial growth in the sense of Gromov (see [25]), acting on \({\mathcal {A}}\) by automorphisms \(a\mapsto \gamma (a)\), where \(a\in {\mathcal {A}}\) and \(\gamma \in \Gamma \). Then the smooth crossed product denoted by \({\mathcal {A}}\rtimes \Gamma \) is the vector space of functions \(f:\Gamma \rightarrow {\mathcal {A}}\), which rapidly decay at infinity in the sence of the following estimates:
for all \(N,m\in {\mathbb {N}}\) and \(\gamma \in \Gamma \), where the constant \(C_{m,N}\) does not depend on \(\gamma \). Here \(|\gamma |\) is the length of \(\gamma \) in the word metric on \(\Gamma \). Finally, we assume that the action of \(\Gamma \) on \({\mathcal {A}}\) satisfies the following property: given \(m\in {\mathbb {N}}\), there exists \(k\in {\mathbb {N}}\) and a real polynomial P(z) such that the following inequality
holds for all a and \(\gamma \). The product in \({\mathcal {A}}\rtimes \Gamma \) is defined by the formula:
It can be shown that the right hand side in (11) is an element of \({\mathcal {A}}\rtimes \Gamma \), i.e., this space is an algebra.
The action of \(\Gamma \) on Fréchet algebras \(C^\infty (S^*M), \Sigma _X\) and \(\Psi _B(M)\) satisfies the conditions above, and the following smooth crossed products are defined: \(C^\infty (S^*M)\rtimes \Gamma , \Sigma _X\rtimes \Gamma \) and \(\Psi _B(M)\rtimes \Gamma \). Elements \(\left\{ {\mathcal {D}}_\gamma \right\} _{\gamma \in \Gamma }\) in the smooth crossed product \(\Psi _B(M)\rtimes \Gamma \) define operators
Definition 1
Operators in (12) are called \(\Gamma \)-Boutet de Monvel operators.
Definition 2
The symbol of operator (12) is a pair \(\sigma ({\mathcal {D}})=(\sigma _M({\mathcal {D}}),\sigma _X({\mathcal {D}}))\), which consists of the interior and the boundary symbols
The operators (12) form an algebra and symbols (13) enjoy the composition formula: given \({\mathcal {D}}_1,{\mathcal {D}}_2\in \Psi _B(M)\rtimes \Gamma \), we have \(\sigma _M({\mathcal {D}}_1{\mathcal {D}}_2)=\sigma _M({\mathcal {D}}_1)\sigma _M({\mathcal {D}}_2)\) and \(\sigma _X({\mathcal {D}}_1 {\mathcal {D}}_2)=\sigma _X({\mathcal {D}}_1)\sigma _X({\mathcal {D}}_2)\).
Operators, acting between ranges of projections. A matrix \(\Gamma \)-Boutet de Monvel operator is a triple \(({\mathcal {D}}, {\mathcal {P}}_1, {\mathcal {P}}_2)\) such that
-
\( {\mathcal {D}}\in \mathrm{Mat}_N(\Psi _B(M)\rtimes \Gamma )\) is a matrix with the components in \(\Psi _B(M)\rtimes \Gamma \);
-
\( {\mathcal {P}}_j\in \mathrm{Mat}_N((C^\infty (M)\oplus C^\infty (X))\rtimes \Gamma ),\; j=1,2, \) are projections;
-
the following relation is satisfied \({\mathcal {P}}_2{\mathcal {D}}{\mathcal {P}}_1={\mathcal {D}}.\)
Then we define the operator
Acting between the ranges of the projections on the \(L^2\)-spaces. Denote operator (14) by \(({\mathcal {D}}, {\mathcal {P}}_1, {\mathcal {P}}_2)\).
Definition 3
Operator \(({\mathcal {D}}, {\mathcal {P}}_1, {\mathcal {P}}_2)\) is elliptic, if there exists a matrix operator \(({\mathcal {R}}, {\mathcal {P}}_2, {\mathcal {P}}_1)\) such that the following equalities hold
Theorem 2
An elliptic operator (14) has Fredholm property.
Proof
The proof is standard (see, for instance, [15]). Indeed, let \(({\mathcal {D}}, {\mathcal {P}}_1, {\mathcal {P}}_2)\) be elliptic. Denote the symbol of \({\mathcal {R}}\) by
We represent the operators \({\mathcal {D}}, {\mathcal {R}}\) as
where \(\Vert {\mathcal {D}}_\gamma \Vert _m\rightarrow 0, \Vert {\mathcal {R}}_\gamma \Vert _m\rightarrow 0\) rapidly, for all \(m\in {\mathbb {N}}\), and write their symbols as
Then (15) is equivalent to
We obtain
It follows from (16) that
Hence, by Theorem 1 we have
where \(K_\gamma \) is a compact operator and \(\Vert K_\gamma \Vert _m\rightarrow 0\) as \(|\gamma |\rightarrow \infty \). Therefore, (17) and (18) give
where \(K_1\) is a compact operator.
Similarly one can prove that \({\mathcal {D}}{\mathcal {R}}={\mathcal {P}}_2+K_2\), where \(K_2\) is a compact operator. Then by Atkinson’s theorem operator (14) has Fredholm property. \(\square \)
\(\Gamma \)-Shapiro-Lopatinskii condition. Consider a nonlocal boundary value problem
where \(D=\sum \nolimits _{\gamma \in \Gamma }D_\gamma T_\gamma \), \({\text {ord}}D=d\), \(B_j=\sum \nolimits _{\gamma \in \Gamma }B_{j\gamma } T_\gamma \), \({\text {ord}}B_j=b-j\). Here \(\{D_\gamma \}\) are differential operators on M and \(\{B_{j\gamma }\}\) are differential operators on X. The functions u, f, g are elements of spaces
where \(P_1,P_2\) are \(N\times N\) matrix projections over \(C^\infty (M)\rtimes \Gamma \) and \(P_3\) is \(N_d\times N_d\) matrix projection over \(C^\infty (X)\rtimes \Gamma \). We realize problem (19) as the following operator (cf. (14))
We suppose here that \(D=P_2DP_1\) and \(P_3B=B\), where \(B=(B_0,...,B_{d-1})\).
Note that in the local case, i.e., when \(D,B_j,P_j\) do not contain shift operators \(T_\gamma \) for \(\gamma \ne e\), problem (20) is a classical boundary value problem. We give the ellipticity condition of problem (20), which generalizes the Shapiro–Lopatinskii condition. To this end, we write (19) in a neighborhood of the boundary as
To state an analogue of Shapiro–Lopatinskii condition for problem (21) let us define an analogue of the Calderon bundle in this situation. To this end, we define for simplicity \({\mathcal {A}}=C^\infty (S^*X)\rtimes \Gamma \) and consider the homogeneous system of linear ordinary differential equations
where \(u\in C^\infty ({\mathbb {R}}, {\mathcal {A}}\otimes {\mathbb {C}}^N)\). Suppose that the triple \((D,P_1,P_2)\) is interior elliptic (this means that (15) holds for the interior symbols of of these operators). Then the solutions \(u\in P_1C^\infty ({\mathbb {R}}, {\mathcal {A}}\otimes {\mathbb {C}}^N)\) of (22) either tends to zero as \(x_n\rightarrow +\infty \) or \(x_n\rightarrow -\infty \). Moreover, only the solution \(u(x_n)\equiv 0\) tends to zero as \(x_n\rightarrow \infty \) and \(x_n\rightarrow -\infty \). Denote by \(L_\pm (D)\) the Cauchy data subspaces of solutions of (22), which tend to zero as \(x_n\rightarrow \pm \infty \):
Then \(L_\pm (D)\subset {\mathcal {A}}\otimes {\mathbb {C}}^{N_d}\) are right \({\mathcal {A}}\)-modules. Moreover, they are finitely generated and projective. Denote by \(Q\in \mathrm{Mat}_{N_d}({\mathcal {A}})\) a projection defining \(L_+(D)\).
Definition 4
Problem (21) with the interior elliptic triple \((D,P_1,P_2)\) satisfies the Shapiro–Lopatinskii condition if the triple \((\sigma (D),Q,P_3)\) is elliptic on \(S^*M\), i.e., there exists triple \((\sigma (R),P_3,Q)\) such that \(\sigma (R)\sigma (B)=\sigma (Q)\), \(\sigma (B)\sigma (R)=\sigma (P_3)\) in \(\mathrm{Mat}_{N_d}(C^\infty (S^*X)\rtimes \Gamma )\).
Theorem 3
Let the operator \(D: P_1H^s(M,{\mathbb {C}}^N)\rightarrow P_2H^{s-d}(M,{\mathbb {C}}^N)\) in (19) be elliptic and the Shapiro–Lopatinskii condition be satisfied (in the sense of Definition 4). Then (20) has Fredholm property.
4 Two de Rham complexes for manifolds with fibered boundary
Given a smooth manifold M with boundary \(\partial M\), we suppose that the boundary is the total space of a locally trivial fiber bundle \(\pi :\partial M\rightarrow X\) with the fiber F. Then the pair \((M,\pi )\) is called a manifold with fibered boundary.
The embedding \(i:\partial M\rightarrow M\) induces the restriction mapping \(i^*:\Omega ^*(M)\rightarrow \Omega ^*(\partial M)\) of the differential forms to the boundary. The projection \(\pi \) defines the induced mapping \(\pi ^*:\Omega ^*(X)\rightarrow \Omega ^*(\partial M)\) and the mapping
of integration of compactly supported differential forms over the fiber F (see, for instance, [29]). Here we suppose that the fibers of \(\pi \) have orientation continuously depending on the point of the base. Let us recall the definition of the integral in (23).
Definition 5
Given a form \(\omega \in \Omega _c^k(\partial M)\), its integral over the fibers of \(\pi :\partial M\rightarrow X\) is the differential form denoted by \(\pi _*{\omega }\in \Omega _c^{k-\nu }(X)\) and such that
for all differential forms \(\omega _1\) on X.
The following properties are valid:
-
1.
\(\pi _*(\omega \wedge \pi ^*\omega _1)=(\pi _*\omega )\wedge \omega _1,\) for all forms \(\omega \in \Omega _c^k(\partial M), \omega _1\in \Omega _c^l(X)\);
-
2.
\(d(\pi _*\omega ) = (-1)^\nu \pi _*(d\omega )\), for all forms \(\omega \in \Omega _c^k(\partial M)\).
For simplicity, we suppose that X and \(\partial M\) are oriented, and the orientation of \(\partial M\) is given by the orientations of the fibers and the base.
Let us consider the graded morphism
of the de Rham complexes on M and X. Denote the cone of \(\pi _*i^*\) by \((\Omega ^*(M,\pi ),\partial )\), where
Note that
The last equality follows from (24).
We denote the cohomology groups of the complex \((\Omega _c^*(M,\pi ),\partial )\) by \(H_c^* (M,\pi )\).
Also, we consider the complex \(({\widetilde{\Omega }}^*(M,\pi ),{{\widetilde{\partial }}})\):
Note that \(di^*\omega =d\pi ^*\omega _X\) since \(i^*\omega =\pi ^*\omega _X\). Hence, \(i^*d\omega =\pi ^*d\omega _X\), since \(i^*\) and \(\pi ^*\) are the induced mappings on differential forms. Hence, \({\widetilde{\partial }}\) is well defined. We denote the cohomology groups of the complex \(({\widetilde{\Omega }}^*(M,\pi ),{\widetilde{\partial }})\) by \({\widetilde{H}}^*(M,\pi )\).
Component-wise exterior product of differential forms gives the product
This operation enjoys the Leibniz rule
Indeed, given
we have
It follows from the Leibniz rule (27) that \(\wedge \) defines a product in cohomology
Finally, we suppose that M and X are oriented manifolds and their orientations are compatible with the orientation of the fibers in the following way. Denote \(n=\mathrm{dim}M\) and choose as positively oriented the form \((-1)^n dt_1\wedge \cdots \wedge dt_\nu \wedge dy_1\wedge \cdots \wedge dy_k\wedge dx_n\), where \(t_1,\ldots ,t_\nu \) are some positively oriented coordinates on the fiber, \(y_1,\ldots ,y_{n-\nu -1}\) are some positively oriented coordinates on X, while \(x_n\ge 0\) is a defining function of the boundary.
We define the linear functional
To prove that this functional is well defined, it suffices to show that it vanishes on exact forms. We choose compactly supported forms
and compute
5 Chern character of elliptic symbols
In this section, we define the Chern character for symbols of elliptic operators (14). The definition uses noncommutative differential forms on cotangent bundles \(T^*M\) and \(T^*X\) which we now define.
Noncommutative differential forms. Regularized trace. Let \(C^\infty _{tr}(T^*M)\subset C^\infty (T^*M)\) be the subalgebra of classical symbols of order \(\le 0\), which satisfy the transmission property (see (3)). Let \(\Omega _{T^*M}\subset \Omega (T^*M)\) be the subalgebra of differential forms on \(T^*M\) with coefficients in \(C^\infty _{tr}(T^*M)\).
By \({{\widetilde{\Sigma }}}_X\subset C^\infty (T^*X,{\mathcal {B}}({\overline{H}}_+\oplus {\mathbb {C}}))\) we denote the subalgebra of operator families \(a_X(x',\xi ')\), \((x',\xi ')\in T^*X\), such that the family \(a_X(x',\xi ')\) is defined as in (7), where \(b\in C^\infty (T^*X,H_-), c\in C^\infty (T^*X,H_+)\), \(g\in C^\infty (T^*X,H_+\otimes H_-)\), \(q(x',\xi ')\in C^\infty (T^*X)\), while function \(a(x',0,\xi ',\xi _n)\) is the restriction to the boundary \(\partial (T^*M)\simeq T^*X\times {\mathbb {R}}\) of a symbol \(a(x',x_n,\xi ',\xi _n)\in C^\infty _{tr}(T^*M)\).
By \(\Omega _{T^*X}\subset \Omega (T^*X,{\mathcal {B}}({\overline{H}}_+\oplus {\mathbb {C}}))\) denote the subalgebra of differential forms on \(T^*X\) with coefficients in \({{\widetilde{\Sigma }}}_X\). Let us consider the action of \(\Gamma \) on the Frechet algebras \(\Omega _{T^*M}\) and \(\Omega _{T^*X}\) of differential forms and corresponding smooth crossed products
These crossed products are differential graded algebras with respect to the gradings defined by the gradings of the differential forms and the differentials defined by the exterior differential on differential forms.
Given \(\gamma \in \Gamma \), we define the mappings (cf. [20, 30])
Here \(M^\gamma \subset M\) and \(X^\gamma \subset X\) are the submanifolds of fixed points of isometry \(\gamma \). To define these mappings, we introduce auxiliary notations. Denote the closure of \(\Gamma \) in the compact Lie group of isometries of M by \({\overline{\Gamma }}\). This closure is a compact Lie group. Let \(C^\gamma \subset {\overline{\Gamma }}\) be the centralizerFootnote 1 of \(\gamma \). The centralizer is a closed Lie subgroup in \({\overline{\Gamma }}\). The elements of centralizer are denoted by h, while the induced Haar measure on the centralizer is denoted by dh. Next, for an element \(\gamma '\in \langle \gamma \rangle \) in the conjugacy class of \(\gamma \), we fix an arbitrary element \(z=z(\gamma ,\gamma ')\), which conjugates \(\gamma \) and \(\gamma '=z\gamma z^{-1}\). Any such element defines diffeomorphism \(\partial z:T^*M^\gamma \rightarrow T^*M^{\gamma '}\) of the corresponding fixed point manifolds.
We define the first functional in (29) by
and the second functional by
Here
where \({{\,\mathrm{Tr}\,}}':{{\widetilde{\Sigma }}}_X \rightarrow C^\infty (T^*X)\) is the regularized trace defined earlier in (9).
Proposition 1
The following assertions hold:
-
1.
The summands in (30) and (31) do not depend on the choice of the elements z.
-
2.
Functionals (30) and (31) have the following properties:
$$\begin{aligned}&\tau ^\gamma (\omega _1\wedge \omega _2)=(-1)^{\deg \omega _1\deg \omega _2}\tau ^\gamma (\omega _2\wedge \omega _1),\text { for all } \omega _1,\omega _2\in \Omega _{T^*M}\rtimes \Gamma ,\nonumber \\ \end{aligned}$$(32)$$\begin{aligned}&d\tau ^\gamma _X(\omega ) = \tau ^\gamma _X(d\omega ),\quad \text {for all }\omega \in \Omega _{T^*X}\rtimes \Gamma .\nonumber \\ \end{aligned}$$(33)
Proof
Let us prove 1. Indeed, let \(z_1\) be another element such that \(\gamma '=z_1\gamma z_1^{-1}\). Then for the summands in (30) we have:
Here in the last equality we made the change of variable \(z_1h=zh'\) in the integral and used the invariance of the Haar measure. Equality (31) is proved similarly.
Now let us move on to part 2. Let us show that \(\tau ^\gamma \) is a graded trace, i.e., equality (32) holds. It suffices to prove this property for the following forms \(\omega _1, \omega _2\):
Then
Since (30) does not depend on the choice of z, we set \(z=e\in \Gamma \).
On the one hand, for \(\gamma =\gamma _1\gamma _2\) we have
since the form is integrated over \({T^*M^\gamma }\) and over this manifold we have \(\gamma ^*={\mathrm{Id}}\). Since \(h\in C^\gamma \) in (34), we have \(h^*\gamma ^*=\gamma ^*h^*\). Hence, (34) gives us
since \(\gamma =\gamma _1\gamma _2\) and \(\gamma ^*{\gamma _1^*}^{-1}=\gamma _2^*\).
On the other hand, for \(z=\gamma _2\), we have
Here in the last equality we used (35).
Now we prove equality (33):
\(\square \)
Definition of the Chern character. Consider an elliptic operator \(({\mathcal {D}}, {\mathcal {P}}_1, {\mathcal {P}}_2)\). For brevity, we frequently denote it simply by \({\mathcal {D}}\). We extend the interior symbols \(\sigma _M({\mathcal {D}}), \sigma _M({\mathcal {R}})\) of the original operator and its almost inverse to \(T^*M\) as smooth symbols, which have the transmission property. We extend the boundary symbols \(\sigma _X({\mathcal {D}})\) and \(\sigma _X({\mathcal {R}})\) to \(T^*X\) as smooth symbols. We denote such extensions by
Suppose that these extensions are compatible, i.e., the principal symbol of the boundary symbol is equal to the restriction of the interior symbol to the boundary and the following equalities hold:
where
The desired extensions can be defined as follows. The interior symbols \(\sigma _M({\mathcal {D}}), \sigma _M({\mathcal {R}})\) are extended to \(T^*M\) by homogeneity of order zero and are then multiplied by a smooth cut-off function \(\chi (|\xi |)\) equal to 0 for \(|\xi |\) small and equal to 1 for \(|\xi |\ge 1\).
Similarly, the boundary symbols \(\sigma _X({\mathcal {D}}), \sigma _X({\mathcal {R}})\) are extended from \(S^*X\) to the domain \(|\xi '|\ge 1\) as twisted homogeneous functions of degree zero. Recall that a boundary symbol \(a_X(x',\xi ')\) is twisted homogeneous of degree zero for \(|\xi '|\ge 1\) if \(\forall |\xi '|\ge 1, x'\in X\) and \(\lambda \ge 1\) we have
where
is the action of the dilation group.
Then we choose arbitrary extensions of the components of boundary, coboundary and Green components (b, c, g, q) in (8) to the domain \(|\xi '|\le 1\) such that (36) holds.
We define the noncommutative connections
where \(d'\) stands for the exterior derivative on \(T^*X\). We also define a connection on \(T^*M\)
and a connection on \(T^*X\)
Lemma 1
The curvatures of \({\widetilde{\nabla }}_{P_1}\) and \({\widetilde{\nabla }}_{P'_1}\) are equal to
Proof
Indeed, we have
\(\square \)
Let us define the differential forms with compact supports
on the cotangent bundles of the submanifolds of fixed points by the formulas
Here and below we denote the extensions of mappings (29) to the matrix algebras over the corresponding crossed products again by \(\tau ^\gamma , \tau _X^\gamma \). The extensions are obtained as the compositions of the matrix trace and mappings (29). Using the fact that
at infinity in the cotangent bundles, one can show that the noncommutative differential forms in (39) and (40) have compact supports on \(T^*M\) and \(T^*X\). Hence, the Chern forms (39) and (40) have compact supports on \(T^*M^\gamma \) and \(T^*X^\gamma \) respectively.
Remark
Since \(\tau ^\gamma \) is a graded trace, (39) can be written as
The boundary \(\partial (T^*M^\gamma )\simeq T^*X^\gamma \times {\mathbb {R}}\) is fibered over \(T^*X^\gamma \) with the fiber \({\mathbb {R}}\). We denote the corresponding projection by \(\pi ^\gamma :\partial (T^*M^\gamma )\rightarrow T^*X^\gamma \) and the embedding \(\partial (T^*M^\gamma )\subset T^*M^\gamma \) by \(i_\gamma \). Hence, the pair \((T^*M^\gamma ,\pi ^\gamma )\) is a manifold with fibered boundary in the sense of Sect. 4.
Proposition 2
Given \(\gamma \in \Gamma \), we have
In other words, the pair \(({\text {ch}}_{T^*M}^\gamma \sigma ({\mathcal {D}}),-{\text {ch}}_{T^*X}^\gamma \sigma ({\mathcal {D}}))\) is closed in the complex \((\Omega _c^*(T^*M^\gamma ,\pi ^\gamma ),\partial )\), see (25), and we denote its cohomology class by
This class does not depend on the choice of the elements \(a,r,a_X,r_X\) and does not change under homotopies of elliptic symbols.
Proof
1. Equality (41) can be proven in a standard way (see, for instance, [31])
The last equality holds, since the commutators in it are equal to zero.
2. Next, let us prove equality (42). Let us calculate the right hand side in (42). We denote the restriction of the curvature form \({\widetilde{\Omega }}_{P_1}\) to \(\partial T^*M\) by \(\Omega _1={\widetilde{\Omega }}_{P_1}|_{\partial T^*M}\). It is clear that \(\Omega _1\) is equal to the curvature form for the pair of restrictions \((a|_{\partial T^*M},r|_{\partial T^*M})\). Also we denote by \(\Omega _2=\Omega _2(\xi _n)={\widetilde{\Omega }}_{P_1}|_{\partial T^*X}\cap \{\xi _n=\mathrm {Const}\}\) the family of curvature forms for the restrictions \((a|_{\partial T^*M\cap \{\xi _n=\mathrm{const}\}},r|_{\partial T^*M\cap \{\xi _n=\mathrm{const}\}})\), where \(\xi _n\) is considered as a parameter. We have
Here \(\tau ^\gamma _0\) stands for the trace defined as in (30) but for the manifold \(\partial T^*M=T^*X\times {\mathbb {R}}\), while \(\frac{\partial }{\partial \xi _n}\lrcorner \) stands for the substitution of \(\frac{\partial }{\partial \xi _n}\) into the differential form. Note that the integrand in (43) is compactly supported. Hence, its integral is well defined. By Lemma 1, we have
We now substitute \(\partial /\partial \xi _n\) into each of the summands in (44). To this end, we represent the connections in the following form:
For the first summand in (44), we have
since \(P_1\) does not depend on \(\xi _n\). For the second summand in (44), we have
We now substitute \(\partial /\partial \xi _n\) into (46):
For the third summand in (44), we get
Substituting (45), (47) and (48) into (43), we obtain
As in (43), the argument of \(\tau ^\gamma _0\) in (49) is compactly supported.
3. To calculate the left hand side in (42), we first prove two auxiliary lemmas
Lemma 2
For each form \(\omega '\in {\text {Mat}}_N(\Omega _{T^*X} \rtimes \Gamma )\) such that \(\omega '=P'_1\omega 'P'_1\), we have
Proof
The difference between the left and right hand sides in (50) is equal to
where in the last line we used the trace property: \(\tau ^\gamma _X(\omega 'P'_1)=\tau ^\gamma _X(P'_1\omega ')\). The last equality holds, since \(P'_1\) acts as a scalar operator in the variable \(\xi _n\). In the last equality in (51) we used the identity \(P'_1(d'P'_1)P'_1=0\) for the projection \(P'_1\).
This completes the proof of Lemma 2. \(\square \)
Using Lemma 2, we obtain the following expression for the left hand side in (42)
For the first summand in (52), we have
For the second summand in (52), we obtain
Substituting the last two formulas into (52), we get
The next lemma is a generalization of (10).
Lemma 3
Given forms \(\omega _{X,1},\omega _{X,2}\in \Omega _{T^*X} \rtimes \Gamma \), we have
where \(\omega _1,\omega _2\) are the principal symbols of \(\omega _{X,1}\) and \(\omega _{X,2}\) while
Proof
Consider noncommutative forms
As in the proof of Proposition 1, it suffices to consider the symbols \(a_{X,1},a_{X,2}\) of the following form
such that \(\gamma =\gamma _1\gamma _2\).
A computation shows that
Substituting (55) and (56) into \(\tau ^\gamma _X[\omega _{X,1},\omega _{X,2}]\), we obtain
Consider now the first summand in (57). Here we take \(z=e\). We substitute (55) into the first summand in (57) and get
Since \(h\in C^\gamma ,\) we have \(h^*{\gamma ^*}^{-1} = {\gamma ^*}^{-1}h^*\), and \({\gamma ^*}^{-1}h^*=h^*\) since the form in (58) is considered over \(T^*X^\gamma \). Thus, (58) is equal to
Now we consider the second summand in (57). Here \(\gamma '=\gamma _2\gamma _1\) and \(z'=\gamma _2\). We substitute (56) into the second summand in (57)
since \(\gamma _2^*=\gamma ^*{\gamma _1^*}^{-1}\). Equality \(h^*\gamma ^*=h^*\) over \(T^*X^\gamma \) implies that (60) is equal to
Finally, substitute (59) and (61) into (57) and obtain
Now we use (10) and show that (62) is equal to
where \(b_1,b_2\) are the principal symbols of \(b_{X,1}, b_{X,2}\), respectively. Here the used (55). The second equality in (54) is proved similarly.
This completes the proof of Lemma 3. \(\square \)
Now let us calculate the traces in (53) using Lemma 3:
where \({\widetilde{\nabla }}'_{P_1} = \nabla '_{P_1} + r\nabla 'a\) (we have \(({\widetilde{\nabla }}'_{P_1})^2=\Omega _2\)). Since the argument of \(\tau ^\gamma _0\) in (63) coincides with that in (49) and hence is compactly supported, we use (6) and (63) to obtain
Since the expressions in (49) and (64) are equal, we have desired equality (42).
4. Consider compatible families of interior symbols \(a_t,r_t\) over \(T^*M\times [0,1]\) and boundary symbols \(a_{X,t},r_{X,t}\) over \(T^*X\times [0,1]\), which smoothly depend on t. For such pairs of symbols, we consider the Chern forms \({\text {ch}}^\gamma _{T^*M\times [0,1]}\sigma ({\mathcal {D}})\) and \({\text {ch}}^\gamma _{T^*X\times [0,1]}\sigma ({\mathcal {D}})\). We represent the form \({\text {ch}}^\gamma _{T^*M\times [0,1]}\sigma ({\mathcal {D}})\) as
where \(\alpha (t),\beta (t)\in \Omega _{T^*M}\) are smooth families of forms. Here
By already proven item 1 of the theorem, we have \(d{\text {ch}}^\gamma _{T^*M\times [0,1]}\sigma ({\mathcal {D}})=0\). Using (65), we obtain
Therefore, we obtain
which gives us
Now we use the expansion
where \(\alpha _X(t),\beta _X(t)\in \Omega _{T^*X}\). Let us find \(\pi ^\gamma _*i^*_\gamma {\text {ch}}^\gamma _{T^*M\times [0,1]}\sigma ({\mathcal {D}})\). We obtain
Let us now find \(d{\text {ch}}^\gamma _{T^*X\times [0,1]}\sigma ({\mathcal {D}})\). Using expansion (66), we obtain
By the proven item 1 of the theorem, the left hand sides in (67) and (68) differ by a sign. Hence, their right hand sides differ by a sign:
which gives us
Integrating this equation, we obtain
Thus, we obtain
where
Equalities (69) and (70) imply that the difference
is a coboundary in the complex \((\Omega (T^*M^\gamma ,\pi ^\gamma ),\partial )\). This proves the homotopy invariance of the Chern character.
Let now \(a_1, r_1, a_{X,1}, r_{X,1}\) be different extensions of the elliptic symbols to \(T^*M\) and \(T^*X\). Then we consider the homotopies
where \(t\in [0,1]\). At \(t=0\) we have the set \(a,r,a_X,r_X\), while at \(t=1\) we have the set \(a_1, r_1, a_{X,1}, r_{X,1}\). Thus the homotopy invariance gives independence of the choice of the extensions. \(\square \)
6 Index theorem
To state our index formula, we need to define the necessary equivariant characteristic classes. Firstly, we define the Todd forms on \(M^\gamma \):
where \(\Omega ^\gamma \) is the curvature form of the Levi-Civita connection on \(M^\gamma \). The Todd form \({\text {Td}}(T^*X^\gamma \otimes {\mathbb {C}})\) on \(X^\gamma \) is defined in a similar way. The pair of these forms is closed in the complex \(({\widetilde{\Omega }}^*(M^\gamma ,\pi ^\gamma ),{{\widetilde{\partial }}})\) (see (26)) and its cohomology class is denoted by
Next, let \(N^\gamma \) be the normal bundle of \(M^\gamma \subset M\). Then we have the natural action of \(\gamma \) on \(N^\gamma \) and the following differential forms on \(M^\gamma \):
where \(\Omega \) is the curvature form of the exterior bundle \(\Lambda (N^\gamma )\), \(\gamma \) is considered as an endomorphism of the subbundles \(\Lambda ^{ev/odd}(N^\gamma )\) of even/odd forms and \( {{\,\mathrm{Tr}\,}}_{\Lambda ^{ev/odd}(N^\gamma )} \) is the fiber-wise trace functional on endomorphisms of the bundles \(\Lambda ^{ev/odd}(N^\gamma )\). Similarly, let \(N^\gamma _X\) be the normal bundle of \(X^\gamma \subset X\). Then one can define the form \({\text {ch}}^\gamma \Lambda ( {N}_X^\gamma \otimes {\mathbb {C}})\) on \(X^\gamma \) along the same lines. The pair \(({\text {ch}}^\gamma \Lambda ( {N}^\gamma \otimes {\mathbb {C}}),{\text {ch}}^\gamma \Lambda ( {N}_X^\gamma \otimes {\mathbb {C}}))\) is closed in the complex \(({\widetilde{\Omega }}^*(M^\gamma ,\pi ^\gamma ),{{\widetilde{\partial }}})\). We denote its cohomology class by
This class is invertible since its zero degree component is nonzero (see the proof in [1] or [20]).
Theorem 4
Let \({\mathcal {D}}\) be an elliptic operator in the sense of Definition 3. Then the following index formula holds:
where the summation is over the conjugacy classes in \(\Gamma \) and the series converges absolutely.
To prove this theorem, we need to establish some auxiliary statements.
7 Homotopy classification
\({\text {Ell}}\) -groups.
Let us denote the Abelian group of stable homotopy classes of elliptic \(\Gamma \)-Boutet de Monvel operators (14) by \({\text {Ell}}(M,\Gamma )\). We recall (for details see [32]) that two operators \(({\mathcal {D}},{\mathcal {P}}_1,{\mathcal {P}}_2)\) and \(({\mathcal {D}}',{\mathcal {P}}'_1,{\mathcal {P}}'_2)\) are called stably homotopic, if there exists a smooth homotopy of elliptic operators \(({\mathcal {D}}_t,{\mathcal {P}}_{1,t},{\mathcal {P}}_{2,t}), t\in [0,1]\) such that
where \(\mathrm {Triv}, \mathrm {Triv}'\) are some trivial operators. Here a trivial operator is an elliptic operator \(({\mathcal {D}},{\mathcal {P}}_1,{\mathcal {P}}_2)\) (see (14)), where \({\mathcal {D}}\) has components in the subalgebra
It can be proven in a standard way that stable homotopy is an equivalence relation on the set of elliptic operators (14). Then the set of elliptic operators (14) considered modulo stable homotopies is denoted by \({\text {Ell}}(M,\Gamma )\). This set is an Abelian group with respect to the direct sum of operators. The zero element of the group is defined by the equivalence class of operators \(({\mathcal {D}},{\mathcal {P}}_1,{\mathcal {P}}_2)\), where \({\mathcal {D}}\) is a matrix operator over \((C^\infty (M) \oplus C^\infty (X))\rtimes \Gamma \).
The aim of this section is to obtain an analogue of the Boutet de Monvel theorem, see [5, 9, 10], which provides stable homotopies of elliptic boundary value problems to a simple form in a neighborhood of the boundary. To state this result, we introduce some notations.
First, denote by \({\text {Ell}}(M^\circ ,\Gamma )\) the group of stable homotopy classes of triples \(({\mathcal {D}},{\mathcal {P}}_1,{\mathcal {P}}_2)\) (see above), where the components of \({\mathcal {D}}\) are in the subalgebra (74) in a neigborhood of the boundary \(X\subset M\).
Second, to each projection \(P\in {\text {Mat}}_N(C^\infty (X)\rtimes \Gamma )\), we assign a special boundary value problem. Namely, consider the matrix \(N\times N\) operator (cf. [3, Corollary 20.3.1]) on M:
where \(\Lambda _M,\Lambda _X\) are non-negative elliptic \(\psi \)DOs of order 1 on M and X respectively, \(\chi \in C^\infty (M)\) is a function such that \(0\le \chi \le 1\) and identically equal to one in a neighborhood of the boundary and equal to zero outside a slightly larger neighborhood of the boundary. Here we suppose that \(\Lambda _M\) and \(\Lambda _X\) commute with the actions of \(\Gamma \) on M and X. For instance, we can take \(\Lambda _M\) and \(\Lambda _X\) with principal symbols equal to those of the square roots of the Laplacians associated with the Riemannian metrics on M and X. Let us consider the following boundary value problem for operator (75)
Similarly to [7], one can show that this boundary value problem has Fredholm property and its Fredholm index is equal to zero. We now reduce problem (76) to a problem in \(L^2\) spaces. To this end, we denote by \(\Lambda _-\) operator (76) for \(P=0\). Note that the latter operator is Fredholm without any boundary conditions. Now let us define the zero order boundary value problem:
This problem is Fredholm with zero index as the composition of \(\Lambda _-^{-1}\), problem (76) and operator \(\Lambda _X^{1/2}\). Moreover, it is elliptic in the sense of Definition 3. Note that similar to [3, 7], the problem (77) is not a \(\Gamma \)-Boutet de Monvel operator (its interior symbol is only continuous on \(S^*M\), since the interior symbol of \(\Lambda _X\) as a \(\psi DO\) on M is not smooth). However, a small deformation of (77) as in [3, 7] gives a \(\Gamma \)-Boutet de Monvel operator with smooth symbols. We do not repeat this deformation here for brevity. We denote problem (77) by \([{\mathcal {D}}_P, {\mathcal {P}}_{1,P}, {\mathcal {P}}_{2,P}]\).
Theorem 5
(homotopy classification). The mapping
is an isomorphism of groups.
Proof
1. For the Fréchet algebras \(C^\infty (M),C^\infty (X),\Sigma ,\Sigma _X,\Psi _B(M),\ldots \) we consider their \(C^*\)-closures denoted by \(C (M),C (X),{\overline{\Sigma }},{\overline{\Sigma }}_X,\overline{\Psi _B}(M),\ldots \).
Denote by \({\overline{{\text {Ell}}}}(M,\Gamma )\) the group of stable homotopy classes of triples \(({\mathcal {D}},{\mathcal {P}}_1,{\mathcal {P}}_2)\) as in (14), where the elements are chosen from \(C^*\)-algebras
Similarly, we define the group \({\overline{{\text {Ell}}}}( M^\circ ,\Gamma )\).
Since our Fréchet algebras are spectral invariant in their \(C^*\)-closures, the natural mappings
are isomorphisms of Abelian groups. Hence, to prove Theorem 5, it suffices to establish the group isomorphism
2. Let us express \({\overline{{\text {Ell}}}}(M,\Gamma )\) in terms of the K-group of some \(C^*\)-algebra associated with the symbol algebra. Namely, by [32] we have the isomorphism of Abelian groups
where
is the cone of a homomorphism \(f:A\rightarrow B\) of \(C^*\)-algebras A and B. The mapping \(C(M)\oplus C(X)\rightarrow {\overline{\Sigma }}\) in (81) is a monomorphism, which takes a pair of functions f, g to the symbol \((f, \mathrm{diag}(f|_X,g))\).
For brevity, the \(C^*\)-algebra \({{\,\mathrm{Con}\,}}(C(M)\oplus C(X)\rightarrow {\overline{\Sigma }})\) is denoted by \({\mathcal {A}}\).
3. Denote by \({\overline{\Sigma }}_0\subset {\overline{\Sigma }}\) the ideal of all symbols with zero interior symbol. We consider the commutative diagram
where the space \(S^*_{tr}M\) is obtained from the cosphere bundle \(S^*M\) by identifying pairs of points \((x',0,0,\pm 1)\) on its boundary. Note that the interior symbol \(\sigma _M\) in (82) is well defined, since the interior symbols with the transmission property are continuous functions on \(S^*_{tr}M\). The rows in (82) are exact. The diagram (82) gives the short exact sequence
of crossed products of cones of vertical mappings in (82) and the corresponding periodic exact sequence of K-groups
4. Now let us calculate the K-groups in (83).
Lemma 4
We have group isomorphisms
Proof
Let us construct isomorphism (84). The isomorphism of \(C^*\)-algebras \({\overline{\Sigma }}_0\simeq C(S^*X,{\mathcal {K}})\) implies the desired isomorphism:
where we used the isomorphism of \(C^*\)-algebras \({{\,\mathrm{Con}\,}}(C(X)\rightarrow C(S^*X))\simeq C_0(T^*X)\) endowed with \(\Gamma \) actions.
Isomorphism (85) can be constructed similarly. \(\square \)
5. Using Lemma 4, we can write sequence (83) as
Here the boundary mappings \(\partial \) are the compositions
of projections to the first summand and restriction to the boundary \(T^*M|_X\simeq T^*X\times {\mathbb {R}}\).
6. Consider the exact sequence
which represents the direct sum of the exact sequence of the pair
and the sequence \(0\rightarrow K_*(C(X)\rtimes \Gamma ){\mathop {\rightarrow }\limits ^{id}}K_*(C(X)\rtimes \Gamma )\rightarrow 0\). We consider (87) as the upper row in the commutative diagram
The vertical mappings in this diagram (except the middle one) are identity mappings. Hence, using Lemma 4, we obtain from the diagram that the middle mapping is an isomorphism:
This isomorphism and (79), and (81) give the desired isomorphism in Theorem 5. \(\square \)
8 Proof of the index theorem
Let us now prove Theorem 4.
1. We claim that the left and right hand sides in (73) define homomorphisms of Abelian groups
Indeed, the analytical index is invariant with respect to homotopies of elliptic operators. It is equal to zero in the case of trivial elliptic operators, since trivial operators are invertible. Thus, the analytical index \({\text {ind}}\) does not change under stable homotopies and it defines a group homomorphism
On the other hand, the topological index is also invariant with respect to homotopies of elliptic symbols. It is equal to zero for the trivial operators, since the Chern character of the symbol of such operators is equal to zero.
2. By Theorem 5, it is sufficient to prove the equality of the indices a) in the case of operators in \({\text {Ell}}(M^\circ ,\Gamma )\) (i.e., operators trivial in a neighborhood of the boundary); b) in the case of special boundary value problems (77).
3. Case a): since the operator is trivial in a neighborhood of the boundary, it can be extended to the double of the manifold preserving the analytical index. In this case (73) follows from the index theorem in [20]. Indeed, consider an elliptic triple \(({\mathcal {D}},{\mathcal {P}}_1,{\mathcal {P}}_2)\), trivial in a neighborhood of the boundary \(X\subset M\). Triviality means that \({\mathcal {D}}\) has components in subalgebra (74). Then we have
where \({P}_{1,2}\in {\text {Mat}}_N(C^\infty (M))\rtimes \Gamma \) are the components of \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\) on M, while D is a pseudodifferential operator in \({\mathcal {D}}\) on M.
Denote by 2M the double of M. As a topological space, it is obtained by gluing two copies of M along the boundary. The space of \(C^\infty \)-functions is defined by the formula
where \(M_\varepsilon \) is the manifold obtained by gluing M and the cylinder \(X\times (-\varepsilon ,0]\) along the boundary.
We assume that the coefficients of \((D,P_1,P_2)\) do not depend on \(x_n\) for small \(|x_n|\). Under this assumption we consider symmetric extensions of \((D,P_1,P_1)\) to the double (as in [34]) and denote the extension by \(({\tilde{D}},{\tilde{P}}_1,{\tilde{P}}_2)\). On the one hand, the operator \({\tilde{D}}:{\mathrm{Im}}{\tilde{P}}_1\rightarrow {\mathrm{Im}}{\tilde{P}}_2\) is isomorphic to the direct sum of two copies of the original operator \(D:{\mathrm{Im}}P_1\rightarrow {\mathrm{Im}}P_2\). Thus, we get
On the other hand, we apply the index formula in [20] to compute the index of \(({\tilde{D}},{\tilde{P}}_1,{\tilde{P}}_2)\) and obtain
Since \({\tilde{D}}\) is trivial for small \(|x_n|\), the integrand in (92) is identically equal to zero for small \(|x_n|\). Further, since \(({\tilde{D}},{\tilde{P}}_1,{\tilde{P}}_2)\) is defined by a symmetric extension of \((D,P_1,P_2)\), we obtain from (91) that
Hence, (90), (91), (93) imply the desired index formula
for our operator \((D,P_1,P_2)\).
4. Case b): the analytical index is equal to zero for special boundary value problems (77). The proof is similar to that in [3, Proposition 20.3.1] (cf. [7, Sec.3.1.2.1]) and we do not repeat it here. The topological index is also equal to zero.
Indeed, given projection P and corresponding problem \(({\mathcal {D}}_P,{\mathcal {P}}_{1,P},{\mathcal {P}}_{2,P})\), see (77), the topological index in (4) is equal to the sum of contribution of conjugacy classes \(\langle \gamma \rangle \subset \Gamma \). Each such contribution
is equal to the sum of integrals of the forms representing the cohomology classes over \(T^*M^\gamma \) and \(T^*X^\gamma \). We claim that each integral is equal to zero.
First, choose local coordinates \((y,\eta )\) in \(T^*X^\gamma \) and introduce spherical coordinates
Then it follows from (75),(76), (77) and (71),(72) that the differential forms, which represent components on \(T^*X^\gamma \) of the cohomology class in (94), have no differentials \(d\omega \). Hence, the integral over \(T^*M^\gamma \) is equal to zero.
Second, choose coordinates \((y,x_n,\eta ,\tau )\) in a neighborhood of the boundary of \(T^*M^\gamma \). Here we also introduce spherical coordinates (95) and also note that the integrand in the integral over \(T^*M^\gamma \) has no differentials \(d\omega \). Hence, the integral is equal to zero.
5. By 3. and 4. functionals (89) are equal on the generators of \({\text {Ell}}(M,\Gamma )\). Hence, these functionals are equal on \({\text {Ell}}(M,\Gamma )\). This completes the proof of the index theorem.
Data availibility statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
We recall that the centralizer of \(\gamma \) is a subgroup of elements which commute with \(\gamma \).
References
Atiyah, M.F., Singer, I.M.: The index of elliptic operators I. Ann. Math. 87, 484–530 (1968)
Atiyah, M.F., Bott, R.: The index problem for manifolds with boundary. In: Bombay Colloquium on Differential Analysis, pp. 175–186. Oxford University Press, Oxford (1964)
Hörmander, L.: The Analysis of Linear Partial Differential Operators. III. Springer, Berlin (1985)
Wloka, J.T., Rowley, B., Lawruk, B.: Boundary Value Problems for Elliptic Systems. Cambridge University Press, Cambridge (1995)
Boutet de Monvel, L.: Boundary problems for pseudodifferential operators. Acta Math. 126, 11–51 (1971)
Eskin, G. I.: Boundary Value Problems for Elliptic Pseudodifferential Equations. Nauka, Moscow, 1973. English transl.: Transl. Math. Monogr. 52 (1981), American Mathematical Society, Providence
Rempel, S., Schulze, B.-W.: Index Theory of Elliptic Boundary Problems. Akademie-Verlag, Berlin (1982)
Fedosov, B.V.: Index theorems. In: Partial differential equations, VIII, volume 65 of Encyclopaedia Math. Sci, pp. 155–251. Springer, Berlin (1996)
Melo, S.T., Nest, R., Schrohe, E.: \(C^\ast \)-structure and \(K\)-theory of Boutet de Monvel’s algebra. J. Reine Angew. Math. 561, 145–175 (2003)
Melo, S.T., Schick, Th., Schrohe, E.: A \(K\)-theoretic proof of Boutet de Monvel’s index theorem for boundary value problems. J. Reine Angew. Math. 599, 217–233 (2006)
Connes, A.: Noncommutative Geometry. Academic Press Inc., San Diego, CA (1994)
Connes, A.: \(C^{\ast } \) algèbres et géométrie différentielle. C. R. Acad. Sci. Paris Sér. A-B 290(13), A599–A604 (1980)
Connes, A., Dubois-Violette, M.: Noncommutative finite-dimensional manifolds. I. Spherical manifolds and related examples. Commun. Math. Phys. 230(3), 539–579 (2002)
Antonevich, A., Lebedev, A.: Functional-Differential Equations, I.: In: \(C^*\)-Theory. Longman, Harlow (1994)
Antonevich, A., Belousov, M., Lebedev, A.: Functional differential equations. II. \(C^*\)-applications. Parts 1, 2. Number 94, 95 in Pitman Monographs and Surveys in Pure and Applied Mathematics. Longman, Harlow (1998)
Landi, G., van Suijlekom, W.: Principal fibrations from noncommutative spheres. Commun. Math. Phys. 260(1), 203–225 (2005)
Connes, A., Landi, G.: Noncommutative manifolds, the instanton algebra and isospectral deformations. Commun. Math. Phys. 221(1), 141–159 (2001)
Ponge, R., Wang, H.: Noncommutative geometry and conformal geometry. I. Local index formula and conformal invariants. J. Noncommut. Geom. 12(4), 1573–1639 (2018)
Perrot, D.: A Riemann–Roch theorem for one-dimensional complex groupoids. Commun. Math. Phys. 218(2), 373–391 (2001)
Nazaikinskii, V.E., Savin, A.Y., Sternin, B.Y.: Elliptic Theory and Noncommutative Geometry Operator Theory: Advances and Applications, vol. 183. Birkhäuser Verlag, Basel (2008)
Rosenberg, J.: Noncommutative variations on Laplace’s equation. Anal. PDE 1(1), 95–114 (2008)
Savin, A.Y., Sternin, B.: Index of elliptic operators for diffeomorphisms of manifolds. J. Noncommut. Geometry 8(3), 695–734 (2014)
Perrot, D.: Local index theory for operators associated with Lie groupoid actions. J. Topol. Anal. (2021). https://doi.org/10.1142/S1793525321500059. Preliminary version in arXiv:1401.0225 (2014)
Savin, A.Y., Sternin, B.Y.: Homotopy classification of elliptic problems associated with discrete group actions on manifolds with boundary. Ufa Math. J. 8(3), 122–129 (2016)
Gromov, M.: Groups of polynomial growth and expanding maps. Inst. Hautes Études Sci. Publ. Math. 53, 53–73 (1981)
Grubb, G.: Functional Calculus of Pseudo-Differential Boundary Problems. Progress in Mathematics, Birkhäuser, Boston (1986)
Schrohe, E.: A short introduction to Boutet de Monvel’s calculus. In Approaches to singular analysis (Berlin, 1999), volume 125 of Oper. Theory Adv. Appl., pages 85–116. Birkhäuser, Basel (2001)
Schweitzer, L.B.: Spectral invariance of dense subalgebras of operator algebras. Internat. J. Math. 4(2), 289–317 (1993)
Berline, N., Getzler, E., Vergne, M.: Heat Kernals and Dirac Operators. Grundlehren der mathematischen Wissenschaften 298. Springer, Berlin (1992)
Savin, Ay., Sternin, B.Y.: On the index of noncommutative elliptic operators over \({C}^*\)-algebras. Sbornik. Math. 201(3), 377–417 (2010)
Zhang, W.: Lectures on Chern-Weil theory and Witten deformations. Nankai Tracts in Mathematics, vol. 4. World Scientific Publishing Co., Inc., River Edge, NJ (2001)
Savin, A.: Elliptic operators on manifolds with singularities and \({K}\)-homology. K-Theory 34(1), 71–98 (2005)
Brenner, V. A., Shargorodsky, E. M.: Boundary Value Problems for Elliptic Pseudodifferential Operators. Partial Differential Equations IX. Elliptic Boundary Value Problems, volume 79 of Encyclopaedia of Mathematical Sciences, 145–215, Springer Verlag, (1997)
Schulze, B.-W., Sternin, B., Shatalov, V.: On the index of differential operators on manifolds with conical singularities. Ann. Glob. Anal. Geom. 16(2), 141–172 (1998)
Acknowledgements
The work of A. V. Boltachev was supported by Russian Foundation for Basic Research (RFBR) Grant 19-01-00574, the work of A. Yu. Savin was supported by RFBR Grant 19-01-00447.
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
About this article
Cite this article
Boltachev, A.V., Savin, A.Y. Elliptic boundary value problems associated with isometric group actions. J. Pseudo-Differ. Oper. Appl. 12, 50 (2021). https://doi.org/10.1007/s11868-021-00422-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11868-021-00422-x