Local solvability of partial differential operators on the Heisenberg group

In this article the following class of partial differential operators is examined for local solvability: Let P(X, Y) be a homogeneous polynomial of degree n ≥ 2 in the non-commuting variables X and Y. Suppose that the complex polynomial P(iz, 1) has distinct roots and that P(z, 0) = zⁿ. The operators which we investigate are of the form P(X, Y) where X = δ_x and Y = δ_y + xδ_w for variables (x, y, w) ∈ ?³. We find that the operators P (X, Y) are locally solvable if and only if the kernels of the ordinary differential operators P(iδ_x, ± x)* contain no Schwartz-class functions other than the zero function. The proof of this theorem involves the construction of a parametrix along with invariance properties of Heisenberg group operators and the application of Sobolev-space inequalities by Hörmander as necessary conditions for local solvability.