Elliptic Boundary Value Problems and Partial Group Actions

Abstract

We consider a smooth compact manifold with boundary, $M$, embedded in a smooth manifold of the same dimension on which an amenable group $Γ$ acts by isometries. We do not assume $M$ to be invariant under $Γ$. This results in a {\em partial action} of $Γ$ on $M^\circ$: For $g\in Γ$ we let $M^\circ_g = g(M^\circ)\cap M^\circ$ and obtain diffeomorphisms $g:M^\circ_{g^{-1}} \to M^\circ_g$. We assume that any two images of $\partial M$ under $ Γ$ either coincide or are disjoint and that only finitely many lie in $M$. The spherical blow-up of these images of $\partial M$ in $M$ yields a manifold $Y$ with boundary consisting of finitely many components. Moreover, $Y$ inherits a partial action of~$Γ$. We can then define the $C^*$-algebra $\mathcal A=\overline{Ψ_Γ(Y,\partial Y)}$ of operators on $L^2(Y)\oplus L^2(\partial Y)$, generated by the algebra $Ψ(Y,\partial Y)$ of operators of order and type zero in Boutet de Monvel's calculus on $Y$ and partial isometries associated with the partial action. Denote by $Σ=\overline{Ψ(Y,\partial Y)}/\mathbb K$ its symbol space. If the partial action of $Γ$ on Prim$(Σ)$ is topologically free, we find a criterion for the Fredholm property of the operators in $\overline{Ψ_Γ(Y,\partial Y)}$. Moreover, we obtain the classification of the elliptic elements in $\overline{Ψ_Γ(Y,\partial Y)}$ modulo stable homotopies: For $\mathcal A_0= C(Y\sqcup \partial Y)\rtimesΓ$ $${\rm Ell}(\mathcal A_0,\mathcal A)\cong K_0(C_0(T^*Y^\circ)\rtimesΓ)\oplus K_0(C(\partial Y)\rtimes Γ).$$ If $Γ$ is finitely generated and of polynomial growth, then the elements associated with the second summand do not contribute to the index.