Lower bounds for operators on graded Lie groups

In this note we present a symbolic pseudo-differential calculus on graded nilpotent Lie groups and, as an application, a version of the sharp Garding inequality. As a corollary, we obtain lower bounds for positive Rockland operators with variable coefficients as well as their Schwartz-hypoellipticity.