We study a class of degenerate elliptic operators (which is a slight
extension of the sums of squares of real-analytic vector fields
satisfying the Hörmander condition). We show that, in dimensions
and
, for every operator
in such a class and
for every distribution
such that
is real-analytic, the analytic singular support of
,
, is a “negligible”
set. In particular, we provide (optimal) upper estimates for the Hausdorff dimension of
. Finally, we show
that in dimension
,
there exists an operator in such a class and a distribution
such
that
is of
dimension
.
Keywords
sums of squares, analytic hypoellipticity, analytic
singular support, analytic stratifications