Spectral estimates for the Heisenberg Laplacian on cylinders

We study Riesz means of eigenvalues of the Heisenberg Laplacian with Dirichlet boundary conditions on a cylinder in dimension three. We obtain an inequality with a sharp leading term and an additional lower order term.