The theory of pseudo-differential operators on the noncommutative n-torus

The methods of spectral geometry are useful for investigating the metric aspects of noncommutative geometry and in these contexts require extensive use of pseudo-differential operators. In a foundational paper, Connes showed that, by direct analogy with the theory of pseudo-differential operators on finite-dimensional real vector spaces, one may derive a similar pseudo-differential calculus on noncommutative n-tori, and with the development of this calculus came many results concerning the local differential geometry of noncommutative tori for n=2,4, as shown in the groundbreaking paper in which the Gauss-Bonnet theorem on the noncommutative two-torus is proved and later papers. Certain details of the proofs in the original derivation of the calculus were omitted, such as the evaluation of oscillatory integrals, so we make it the objective of this paper to fill in all the details. After reproving in more detail the formula for the symbol of the adjoint of a pseudo-differential operator and the formula for the symbol of a product of two pseudo-differential operators, we extend these results to finitely generated projective right modules over the noncommutative n-torus. Then we define the corresponding analog of Sobolev spaces and prove equivalents of the Sobolev and Rellich lemmas.