The following is a folklore result : Let $X$ be a compact Riemann surface of genus at least $2$ and let $f : X \rightarrow X$ be a biholomorphism. Then $f$ acts nontrivially on $H\_1(X;\mathbb{Z})$.


I have two questions about this.


1. Who proved this first?
2. One proof I have been told derives this from the Lefschetz fixed point theorem. Namely, all the fixed points of $f$ have degree $1$, so the sum of the degrees of the fixed points is nonnegative. However, if $f$ acts as the identity on $H\_1(X;\mathbb{Z})$, then the Lefschetz fixed point theorem says that the sum of the degrees of the fixed points is $1-2g+1$, which is negative. Where is the original source for this proof?


I found a couple of sources that give the reference


J.-P. Serre. Rigidit´e de foncteur d’Jacobi d’´echelon n ≥ 3. Sem. H.
Cartan, 1960/1961, Appendix to Exp. 17, 1961.


for both questions 1 and 2. However, I see nothing in this reference about the Lefschetz fixed point theorem, and also no reference to Riemann surfaces (it is all about self-maps of abelian varieties).



Automorphisms of higher-genus Riemann surfaces act nontrivially on homology (Reference Request)
The result itself seems to be due to A. Hurwitz: 
"Uber algebraische Gebilde mit eindeutigen Transformationen in sich," Math. Ann., 41:403–442, 1893. 


At least, this is what Babai refer to on page 42 [here](http://people.cs.uchicago.edu/~laci/handbook/handbookchapter27.pdf), as well as 
Macbeath on page 106 [here](http://library.msri.org/books/Book35/files/macbeath.pdf). 


If you read German, you should take a look at the paper and check if this is a correct reference and if Hurwitz used arguments similar to the ones appearing in the proof of Lefschetz fixed-point theorem. My guess, however, is that he used an argument similar to the one in Rita's comment. 


Note also that Lefschetz in his original paper on the fixed point theorem, see page 48 [here](http://www.ams.org/journals/tran/1926-028-01/S0002-9947-1926-1501331-3/S0002-9947-1926-1501331-3.pdf), already knew how to prove the result on conformal self-maps using his theorem. He also mentions earlier work by Kerekjarto and Birkhoff (in 2-dimensional case), so if you are very determined, you could try to dig out the earlier references. 


Sorry, in my earlier answer I misunderstood your question. 


