EN
The sub-Laplacian on the Heisenberg group is first decomposed into twisted Laplacians parametrized by Planck's constant. Using Fourier-Wigner transforms so parametrized, we prove that the twisted Laplacians are globally hypoelliptic in the setting of tempered distributions. This result on global hypoellipticity is then used to obtain Liouville's theorems for harmonic functions for the sub-Laplacian on the Heisenberg group.