Every induces a based homeomorphismIts inverse is , and under the lift-endpoint description of the fundamental group of the torus, its induced map on is multiplication by .
Any two connected degree-two coverings of the torus fit into a commuting square with homeomorphisms of their total and base spaces. They correspond to index-two subgroups of , which are kernels of the three nonzero maps . Reduction modulo two shows that acts transitively on these subgroups; the classification of connected covering spaces and the lifting criterion for a covering space then supply the homeomorphism of total spaces.
Articles by others on the same topic
There are currently no matching articles.