Let us consider the set S^A(\R^n) of rapidly decreasing functions G:\R^n \to A, where A is a separable C^*-algebra. We prove a version of the Calderón-Vaillancourt theorem for pseudodifferential operators acting on S^A(\R^n) whose symbol is A-valued. Given a skew-symmetric matrix, J, we prove that a pseudodifferential operator that commutes with G(x+JD), G\in S^A(\R^n), is of the form F(x-JD), for F a C^\infty-function with bounded derivatives of all orders.
Motivated by the recent paper of Boggiatto-Garello in J. Pseudo-Differ. Oper. Appl. \textbf{11} (2020), 93-117, where a Gabor operator is regarded as pseudodifferential operator with symbol $p(x,ω)$ periodic on both the variables, we study the continuity and invertibility, on general time frequency invariant spaces, of pseudodifferential operators with completely periodic symbol and general $τ$ quantization.
Given a separable unital C*-algebra A, let E denote the Banach-space completion of the A-valued Schwartz space on Rn with norm induced by the A-valued inner product $<f,g>=\int f(x)^*g(x) dx$. The assignment of the pseudodifferential operator B=b(x,D) with A-valued symbol b(x,ξ) to each smooth function with bounded derivatives b defines an injective mapping O, from the set of all such symbols to the set of all operators with smooth orbit under the canonical action of the Heisenberg group on the algebra of all adjointable operators on the Hilbert module E. It is known that O is surjective if A …
A C*algebra A generated by a class of zero-order classical pseudodifferential operator on a cylinder RxB, where B is a compact riemannian manifold, containing operators with periodic symbols, is considered. A description of the K-theory index map associated to the continuous extension to A of the principal-symbol map is given. That index map takes values in K_0 of the commutator ideal E of the algebra, which is isomorphic to Z^2. It maps the K_1-class of an operator invertible modulo E to the Fredholm indices of a pair of elliptic pseudodifferentail operators on SxB, where S denotes the circle…
In this paper we prove sufficient conditions for the Fredholm property of a non-smooth pseudodifferential operator $P$ which symbol is in a Hölder space with respect to the spatial variable. As a main ingredient for the proof we use a suitable symbol-smoothing.
We introduce an abstract theory of the principal symbol mapping for pseudodifferential operators extending the results of a preceding paper and providing a simple algebraic approach to the theory of pseudodifferential operators in settings important in noncommutative geometry. We provide a variant of Connes' trace theorem which applies to certain noncommutative settings, with a minimum of technical preliminaries. Our approach allows us to consider in a operators with non-smooth symbols, and we demonstrate the power of our approach by extending Connes' trace theorem to operators with non-smooth…
We define new symbol classes for pseudodifferntial operators and investigate their pseudodifferential calculus. The symbol classes are parametrized by commutative convolution algebras. To every solid convolution algebra over a lattice we associate a symbol class. Then every operator with such a symbol is almost diagonal with respect to special wave packets (coherent states or Gabor frames), and the rate of almost diagonalization is described precisely by the underlying convolution algebra. Furthermore, the corresponding class of pseudodifferential operators is a Banach algebra of bounded opera…
Given a separable unital C*algebra $C$, let $E_n$ denote the Hilbert module equal to the completion of the Schwartz space of rapidly decreasing smooth functions from $R^n$ to $C$ equipped with the $C$-valued inner product given by integration. Let $B$ denote the space of all smooth functions with bounded derivatives from $R^n$ to $C$. For each $a$ in $B$, let $O(a)$ denote the pseudodifferential operator of symbol $a$. $O$ maps $B$ to $H$, the set of all adjointable operators on $E_n$ which have smooth orbit under the canonical action of the Heisenberg group. We construct a left inverse for $O…
Polyhomogeneous symbols, defined by Kohn-Nirenberg and Hörmander in the 60's, play a central role in the symbolic calculus of most pseudodifferential calculi. We prove a simple characterisation of polyhomogeneous functions which avoids the use of asymptotic expansions. Specifically, if $U$ is open subset of $\mathbb{R}^d$, then a polyhomogeneous symbol on $U \times \mathbb{R}^d$ is precisely the restriction to $t=1$ of a function on $U \times \mathbb{R}^{d+1}$ which is homogeneous for the dilations of $\mathbb{R}^{d+1}$ modulo Schwartz class functions. This result holds for arbitrary graded di…
Let A denote the C*algebra of bounded operators on L2(R) generated by: (i) all multiplications a(M) by functions a\in C[-\infty,+\infty], (ii) all multiplications by 2π-periodic continuous functions and (iii) all Fourier multipliers F^{-1}b(M)F, where F denotes the Fourier transform and b is in C[-\infty,+\infty]. The Fredholm property for operators in A is governed by two symbols, the principal symbol σand an operator-valued symbol γ. We give two proofs of the fact that K0(A) and K1(A) are isomorphic, respectively, to Z and Z\oplus Z: by computing the connecting mappings in the standard K-the…
Starting out from a new description of a class of parameter-dependent pseudodifferential operators with finite regularity number due to G. Grubb, we introduce a calculus of parameter-dependent, poly-homogeneous symbols whose homogeneous components have a particular type of point-singularity in the covariable-parameter space. Such symbols admit intrinsically a second kind of expansion which is closely related to the expansion in the Grubb-Seeley calculus and permits to recover the resolvent-trace expansion for elliptic pseudodifferential oerators originally proved by Grubb-Seeley. Another appli…
We present a calculus of pseudodifferential operators that contains both usual parameter-dependent operators -- where a real parameter τ enters as an additional covariable -- as well as operators not depending on τ. Parameter-ellipticity is characterized by the invertibility of three associated principal symbols. The homogeneous principal symbol is not smooth on the whole co-sphere bundle but only admits directional limits at the north-poles, encoded by a principal angular symbol. Furthermore there is a limit-family for τ\to+\infty. Ellipticity permits to construct parametrices that are invers…
We compute the Hochschild, cyclic, and periodic cyclic homology groups of algebras of families of Laurent complete symbols on manifolds with corners. We show in particular that the spectral sequence associated with Hochschild homology degenerates at $E^2$ and converges to Hochschild homology. As a byproduct, we deduce an identification of the space of residue traces on fibrations by manifolds with corners. In the process, we prove several general results about algebras of complete symbols on manifolds with corners.
We compute the Chern-Connes character (a map from the $K$-theory of a C$^*$-algebra under the action of a Lie group to the cohomology of its Lie algebra) for the $L^2$-norm closure of the algebra of all classical zero-order pseudodifferential operators on the sphere under the canonical action of ${\rm SO}(3)$. We show that its image is $\mathbb{R}$ if the trace is the integral of the principal symbol.
The goal of this paper is to construct a calculus whose higher indices are naturally elements in the twisted K-theory groups for Lie groupoids. Given a Lie groupoid $G$ and a $PU(H)$-valued groupoid cocycle, we construct an algebra of projective pseudodifferential operators. The subalgebra of regularizing operators identifies with the naturally associated smooth convolution algebra of the associated twisted gerbe. We develop the associated symbolic calculus, symbol short exact sequences and existence of parametrices. In particular the algebra of projective operators appears as a quantization o…
We extend the classical regularity theorem of elliptic operators to maximally hypoelliptic differential operators. More precisely, given vector fields $X_1,\ldots,X_m$ on a smooth manifold which satisfy Hörmander's bracket generating condition, we define a principal symbol for \textit{any} linear differential operator. Our symbol takes into account the vector fields $X_i$ and their commutators. We show that for an arbitrary differential operator, its principal symbol is invertible if and only if the operator is maximally hypoelliptic. This answers affirmatively a conjecture due to Helffer and …
This paper is based on talks delivered in summer 2008 at the Conference on Motives, QFT and Pseudodifferential Operators in Boston, and at the Trimester programme Geometry and Physics, Hausdorff Institute for Mathematics in Bonn The paper surveys the pseudodifferential calculus with parameter, resolvent expansions, Dixmier trace, noncommutative residue, Kontsevich-Vishik canonical trace as well some aspects of regularized integrals on spaces of symbols.
Let L^\star be a filtered algebra of abstract pseudodifferential operators equipped with a notion of ellipticity, and T^\star be a subalgebra of operators of the form P_1AP_0, where P_0 and P_1 are two projections. The elements of L^\star act as linear continuous operators in certain scales of abstract Sobolev spaces, the elements of the subalgebra in the corresponding subspaces determined by the projections. We study how the ellipticity in L^\star descends to T^\star, focusing on parametrix construction, Fredholm property, and homogeneous principal symbols. Applications concern SG-pseudodiffe…
We study the complex powers $A^{z}$ of an elliptic, strictly positive pseudodifferential operator $A$ using an axiomatic method that combines the approaches of Guillemin and Seeley. In particular, we introduce a class of algebras, ``extended Weyl algebras,'' whose definition was inspired by Guillemin's paper on the subject. An extended Weyl algebra can be thought of as an algebra of ``abstract pseudodifferential operators.'' Many algebras of pseudodifferential operators are extended Weyl algebras. Several results typical for algebras of pseudodifferential operators (asymptotic completeness, co…
We identify Melrose's suspended algebra of pseudodifferential operators with a subalgebra of the algebra of parametric pseudodifferential operators with parameter space $\R$. For a general algebra of parametric pseudodifferential operators, where the parameter space may now be a cone $Γ\subset\R^p$, we construct a unique ``symbol valued trace'', which extends the $L^2$-trace on operators of small order. This allows to construct various trace functionals in a systematic way. Furthermore we study the higher-dimensional eta-invariants on algebras with parameter space $\R^{2k-1}$. Using Clifford r…
The Hochschild and cyclic homology groups are computed for the algebra of `cusp' pseudodifferential operators on any compact manifold with boundary. The index functional for this algebra is interpreted as a Hochschild 1-cocycle and evaluated in terms of extensions of the trace functionals on the two natural ideals, corresponding to the two filtrations by interior order and vanishing degree at the boundary, together with the exterior derivations of the algebra. This leads to an index formula which is a pseudodifferential extension of that of Atiyah, Patodi and Singer for Dirac operators; togeth…
We construct an algebra of pseudodifferential operators on each groupoid in a class that generalizes differentiable groupoids to allow manifolds with corners. We show that this construction encompasses many examples. The subalgebra of regularizing operators is identified with the smooth algebra of the groupoid, in the sense of non-commutative geometry. Symbol calculus for our algebra lies in the Poisson algebra of functions on the dual of the Lie algebroid of the groupoid. As applications, we give a new proof of the Poincaré-Birkhoff-Witt theorem for Lie algebroids and a concrete quantization …
Let $Γ$ be a compact group acting on a smooth, compact manifold $M$, let $P \in ψ^m(M; E_0, E_1)$ be a $Γ$-invariant, classical pseudodifferential operator acting between sections of two equivariant vector bundles $E_i \to M$, $i = 0,1$, and let $α$ be an irreducible representation of the group $Γ$. Then $P$ induces a map $π_α(P) : H^s(M; E_0)_α\to H^{s-m}(M; E_1)_α$ between the $α$-isotypical components of the corresponding Sobolev spaces of sections. When $Γ$ is finite, we explicitly characterize the operators $P$ for which the map $π_α(P)$ is Fredholm in terms of the principal symbol of $P$…
We characterize the groupoids for which an operator is Fredholm if, and only if, its principal symbol and all its boundary restrictions are invertible. A groupoid with this property is called {\em Fredholm}. Using results on the Effros-Hahn conjecture, we show that an almost amenable, Hausdorff, second countable groupoid is Fredholm. Many groupoids, and hence many pseudodifferential operators appearing in practice, fit into this framework. In particular, one can use these results to characterize the Fredholm operators on manifolds with cylindrical and poly-cylindrical ends, on manifolds that a…
