Local solvability and non-solvability are classified for left-invariant differential operators on the Heisenberg group H_1 of the form L=P_n(X,Y)+Q(X,Y) where the P_n are certain homogeneous polynomials of order n greater than or equal to 2 and Q is of lower order with X= \partial_x, Y=\partial_y+x\partial_w on R^3. We extend previous studies of operators of the form P_n(X,Y) via representations involving ordinary differential operators with a parameter.Comment: 37 pages. Minor corrections in text; results unchanged. Slightly condensed version to appear in Math.
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.