Pseudodifferential operators are formal Laurent series in the formal inverse ∂−1 of the derivative operator ∂ whose coefficients are holomorphic functions on the Poincaré upper half-plane. Given a discrete subgroup Γ of SL(2,ℝ), automorphic pseudodifferential operators for Γ are pseudodifferential operators that are Γ-invariant, and they are closely linked to Jacobi-like forms and modular forms for Γ. We construct linear maps from the space of automorphic pseudodifferential operators and from the space of Jacobi-like forms for Γ to the cohomology space of the group Γ, and prove that these maps are compatible with the respective Hecke operator actions.

We construct invariants of relative K-theory classes of multiparameter dependent pseudodifferential operators, which recover and generalize Melrose's divisor flow and its higher odd-dimensional versions of Lesch and Pflaum. These higher divisor flows are obtained by means of pairing the relative K-theory modulo the symbols with the cyclic cohomological characters of relative cycles constructed out of the regularized operator trace together with its symbolic boundary. Besides giving a clear and conceptual explanation to the essential features of the divisor flows, namely homotopy invariance, additivity and integrality, this construction allows to uncover the previously unknown even-dimensional counterparts. Furthermore, it confers to the totality of these invariants a purely topological interpretation, that of implementing the classical Bott periodicity isomorphisms in a manner compatible with the suspension isomorphisms in both K-theory and in cyclic cohomology. We also give a precise formulation, in terms of a natural Clifford algebraic suspension, for the relationship between the higher divisor flows and the spectral flow.

We characterize microlocal regularity, in the $\mathcal{G}^{\infty}$-sense, of Colombeau generalized functions by an appropriate extension of the classical notion of micro-ellipticity to pseudodifferential operators with slow-scale generalized symbols. Thus we obtain an alternative, yet equivalent, way of determining generalized wavefront sets that is analogous to the original definition of the wavefront set of distributions via intersections over characteristic sets. The new methods are then applied to regularity theory of generalized solutions of (pseudo)differential equations, where we extend the general non-characteristic regularity result for distributional solutions and consider propagation of $\mathcal{G}^{\infty}$-singularities for homogeneous first-order hyperbolic equations.

We introduce an action of a discrete subgroup $\varGamma$ of $SL(2,\mathbb{R})^n$ on the space of pseudodifferential operators of $n$ variables, and construct a map from the space of Hilbert modular forms for $\varGamma$ to the space of pseudodifferential operators invariant under such a $\varGamma$-action, which is a lifting of the symbol map of pseudodifferential operators. We also obtain a necessary and sufficient condition for a certain type of pseudodifferential operator to be $\varGamma$-invariant.

AMS 2000 Mathematics subject classification: Primary 11F41; 35S05

The aim of the paper is to construct a calculus of pseudodifferential operators (PDOs) on a smooth manifold $M$ without using local coordinate systems. Instead we deal with linear connections $\Gamma$ of $M$.

The fact that a linear connection $\Gamma$ is a global object enables one to associate with a PDO its full symbol, which is a function on the cotangent bundle $T^*M$ (depending on the choice of $\Gamma\,$). This idea was put forward by H. Widom. He has suggested a method of defining full symbols of PDOs on a manifold with a linear connection and constructed a version of symbolic calculus. However, H. Widom defined the classes of PDOs in local coordinates, using standard local phase functions.

On the contrary, in the paper the PDOs are defined in a coordinate-free way, with use of invariant oscillatory integrals over $T^*M\,$. The invariant approach allows us to define $\tau$-symbols of pseudodifferential operators acting on a manifold; in particular, we introduce the Weyl symbols. In fact, it is a kind of quantization on a manifold provided with a linear connection.

The results are applied to study of semi-elliptic differential operators and functions of the Laplacian on a closed Riemannian manifold.

1991 Mathematical Subject Classification: 35S05, 58G30.