Analytic Hypoellipticity and the Treves Conjecture

We are concerned with the problem of the analytic hypoellipticity; precisely, we focus on the real analytic regularity of the solutions of sums of squares with real analytic coefficients. Treves conjecture states that an operator of this type is analytic hypoelliptic if and only if all the strata in the Poisson-Treves stratification are symplectic. We discuss a model operator, P, (firstly appeared and studied in [3]) having a single symplectic stratum and prove that it is not analytic hypoelliptic. This yields a counterexample to the sufficient part of Treves conjecture; the necessary part is still an open problem.