Steiner's formula in the Heisenberg group

Steiner's tube formula states that the volume of an ∈-neighborhood of a smooth regular domain in ℝn is a polynomial of degree n in the variable ∈ whose coefficients are curvature integrals (also called quermassintegrals). We prove a similar result in the sub-Riemannian setting of the first Heisenberg group. In contrast to the Euclidean setting, we find that the volume of an ∈-neighborhood with respect to the Heisenberg metric is an analytic function of ∈ that is generally not a polynomial. The coefficients of the series expansion can be explicitly written in terms of integrals of iteratively defined canonical polynomials of just five curvature terms.