The solvability of pseudo-differential operators

We give a new proof of the Nirenberg-Treves conjecture: that local solvability of principal type pseudodifferential operators is equivalent to condition (Psi). This condition rules out sign changes from - to + of the imaginary part of the principal symbol along the oriented bicharacteristics of the real part. We obtain local solvability by proving a localizable a priori estimate for the adjoint operator with a loss of arbitrary more than 3/2 derivatives (compared with the elliptic case)