I was hoping for an explicit reference to the description of the mod 2 cohomology of a cyclic group $C\_{2r}=\langle t \rangle$ of even order in terms of Stiefel-Whitney classes, i.e., that


$H^\*(BZ\_{2r};\mathbb{F}\_2)=\mathbb{F}\_2[x,y]/(x^2-ry)$, where $x=w\_1(\chi)$ is the 1st Stiefel-Whitney class of the representation $\chi:Z\_{2r} \rightarrow \mathbb{R}$ sending $t$ to -1, and $y=w\_2(\rho)$ is the 2nd Stiefel-Whitney class (1st Chern class reduced mod 2) of the standard representation $\rho: \mathbb{Z}\_{2r}\rightarrow \mathbb{C}$.


Thanks.



Reference for Mod 2 cohomology of $BZ_{2r}$ in terms of Stiefel-Whitney Classes
It is true that statements like this are completely classical and yet hard to find stated just like that in the literature! If noone has a reference, I would suggest to go as follows :


-- the cohomology groups are given in the book by Cartan and Eilenberg (oldest reference I can think of!)


-- the cohomology ring is obtained by looking at the exact sequence $G \to S^1 \to S^1$ where $G$ is your cyclic group of order $n$ and the map $S^1 \to S^1$ is multiplication by $n$; there is a fibration $G \to S^1 \to S^1 \to BG \to BS^1 \to BS^1$, and the "Gysin exact sequence" of the $S^1 \to BG \to BS^1$ part gives you the multiplicative structure. You have to use that $BS^1 = \mathbb{P}^1(\mathbb{C})$. In a nutshell: it is standard algebraic topology.


--this next step is probably more relevant to your question. It is always the case that $H^1(G, \mathbb{F}\_2) = Hom(G, \mathbb{F}\_2)$ (reference: any book on cohomology, such as Cartan-Eilenberg). This identifies the elements in degree $1$ as Stiefel-Whitney classes by definition (of course $\mathbb{F\_2} = O\_1(\mathbb{R})$...)


Then, the exponential exact sequence $0\to \mathbb{Z} \to \mathbb{C} \to \mathbb{C}^\times \to 1$ gives you $H^2(G, \mathbb{Z}) = Hom(G, S^1) ~~~(= Hom(G, GL\_1(\mathbb{C})))$ when $G$ is finite. From there you can identify the elements in degree $2$.


OK this is way too long. I agree that a good reference would be better.


