We are concerned with the problem of real analytic regularity of the solutions
of sums of squares with real analytic coefficients. The Treves conjecture
defines a stratification and states that an operator of this type is analytic
hypoelliptic if and only if all the strata in the stratification are symplectic
manifolds.
Albano, Bove, and Mughetti (2016) produced an example where the operator has
a single symplectic stratum, according to the conjecture, but is not analytic
hypoelliptic.
If the characteristic manifold has codimension 2 and if it consists of a single
symplectic stratum, defined again according to the conjecture, it has been shown that
the operator is analytic hypoelliptic.
We show here that the above assertion is true only if the stratum is single,
by producing an example with two symplectic strata which is not analytic
hypoelliptic.
Keywords
sums of squares of vector fields, analytic hypoellipticity,
Treves conjecture