The local limit theorem on nilpotent Lie groups

A local limit theorem is proven on connected, simply connected nilpotent Lie groups, for a class of generating measures satisfying a moment condition and a condition on the characteristic function of the abelianization. The result extends an earlier local limit theorem of Alexopoulos which treated absolutely continuous measures with a continuous density of compact support, and also extends local limit theorems of Breuillard and Diaconis–Hough which treated general measures on the Heisenberg group.