abstract: We consider a heat-type operator L structured on the generators of a Carnot group, multiplied by a uniformly positive matrix of bounded measurable coefficients depending only on time. We prove that if Lu is smooth with respect to the space variables, the same is true for u, with quantitative regularity estimates in the scale of Sobolev spaces defined by right invariant vector fields.
Seminario Prof. Bramanti