Paper 4, Section II, F

Algebraic Topology
Part II, 2014

State the Lefschetz fixed point theorem.

Let XX be an orientable surface of genus gg (which you may suppose has a triangulation), and let f:XXf: X \rightarrow X be a continuous map such that

  1. f3=IdXf^{3}=\operatorname{Id}_{X},

  2. ff has no fixed points.

By considering the eigenvalues of the linear map f:H1(X;Q)H1(X;Q)f_{*}: H_{1}(X ; \mathbb{Q}) \rightarrow H_{1}(X ; \mathbb{Q}), and their multiplicities, show that gg must be congruent to 1 modulo 3 .