Heisenberg nilmanifold as a torus mapping torus
ID: heisenberg-nilmanifold-as-a-torus-mapping-torus
The quotient of the real Heisenberg group by the Integer Heisenberg group is the mapping torus of the torus automorphismIts universal cover is the contractible real Heisenberg group, so its fundamental group is the integer Heisenberg group.
New to topics? Read the docs here!