Homology of an integer torus endomorphism
ID: homology-of-an-integer-torus-endomorphism
On the torus , an integer matrix defines an endomorphism. The coordinate circles give a basis of the first homology group, and the induced map on that group is . The Künneth theorem identifies higher integral homology with the exterior powers of , so the degree- map is . In top degree it is multiplication by . The map is a homeomorphism precisely when is a unimodular matrix; a merely nonsingular integer matrix need not have an integer inverse.
New to topics? Read the docs here!