Analyticity for singular sums of squares of degenerate vector fields

Recently J. J. Kohn (2005) proved $C^\infty$ hypoellipticity for

$P_k=L\overline{L} + \overline{L}\vert z\vert^{2k}L =-\overline{L}... ...quad} L={\partial \over \partial z} + i\overline{z}{\partial \over \partial t},$

(the negative of) a singular sum of squares of complex vector fields on the complex Heisenberg group, an operator which exhibits a loss of ${k-1}$ derivatives. Subsequently, M. Derridj and D. S. Tartakoff proved analytic hypoellipticity for this operator using rather different methods going back to earlier methods of Tartakoff. Those methods also provide an alternate proof of the hypoellipticity given by Kohn.

In this paper, we consider the equation

$P_{m,k}=L_m\overline{L_m} + \overline{L_m}\,\vert z\vert^{2k}L_m ... ... \over \partial z} + i\overline{z}\vert z\vert^{2m}{\partial \over \partial t},$

for which the underlying manifold is only of finite type, and prove analytic hypoellipticity using methods of Derridj and Tartakoff. This operator is also subelliptic with large loss of derivatives, but the exact loss plays no role for analytic hypoellipticity. Nonetheless, these methods give a proof of $C^\infty$ hypoellipticity with precise loss as well, which is to appear in a forthcoming paper by A. Bove, M. Derridj, J. J. Kohn and the author.