黎曼流形
连续实值海森堡群提供了亚黎曼流形的一个例子。对于海森堡群，哈密顿量为