We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.DG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Differential Geometry

Title: Fredholm conditions and index for restrictions of invariant pseudodifferential operators to isotypical components

Abstract: Let $\Gamma$ be a finite group acting on a smooth, compact manifold $M$, let $P \in \psi^m(M; E_0, E_1)$ be a $\Gamma$-invariant, classical pseudodifferential operator acting between sections of two equivariant vector bundles $E_i \to M$, $i = 0,1$, and let $\alpha$ be an irreducible representation of the group $\Gamma$. Then $P$ induces a map $\pi_\alpha(P) : H^s(M; E_0)_\alpha \to H^{s-m}(M; E_1)_\alpha$ between the $\alpha$-isotypical components of the corresponding Sobolev spaces of sections. We prove that the map $\pi_\alpha(P)$ is Fredholm if, and only if, $P$ is "$\alpha$-elliptic", an explicit condition that we define in terms of the principal symbol of $P$ and the action of $\Gamma$ on the vector bundles $E_i$. The result is not true for non-discrete groups. In the process, we also obtain several results on the structure of the algebra of invariant pseudodifferential operators on $E_0 \oplus E_1$, especially in relation to induced representations. We include applications to Hodge theory and to index theory of singular quotient spaces.
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Functional Analysis (math.FA); Operator Algebras (math.OA)
Cite as: arXiv:2004.01543 [math.DG]
  (or arXiv:2004.01543v1 [math.DG] for this version)

Submission history

From: Alexandre Baldare [view email]
[v1] Thu, 2 Apr 2020 13:31:29 GMT (42kb)

Link back to: arXiv, form interface, contact.