I've run across a way of combining the integral cohomology of the real projective space $RP^\infty$ with its cohomology with twisted coefficients, that seems very simple and natural, but which I don't recall every seeing before, so my question is: Has this been noticed before and, if so, where is it published?

Let me describe the result in a relatively simple way, then comment on how I actually came to it. We know that $H^n(RP^\infty;\mathbb{Z})$ is $\mathbb Z$ if $n=0$, $\mathbb Z/2$ if $n>0$ is even, and 0 otherwise. If $\mathbb Z_-$ denotes the local coefficient system on $RP^\infty$ on which the nontrivial loop acts as $-1$ on $\mathbb Z$, we know that $H^n(RP^\infty;\mathbb Z_-)$ is $\mathbb Z/2$ if $n>0$ is odd, and 0 otherwise.

Let $R = \mathbb{Z}\times\mathbb{Z}/2$ and write elements of $R$ as $n + \epsilon\gamma$, where $n\in\mathbb Z$ and $\epsilon\in\mathbb Z/2$. Define a group graded on $R$ by $$ H^{n+\epsilon\gamma}(RP^\infty) = \begin{cases} H^n(RP^\infty;\mathbb Z) & \text{if $\epsilon=0$} \\ H^n(RP^\infty;\mathbb Z_-) & \text{if $\epsilon=1$.} \end{cases} $$ This is a graded ring, using the pairing of coefficient systems $\mathbb Z_- \otimes \mathbb Z_- \cong \mathbb Z$, etc. With this definition, $$ H^*(RP^\infty) \cong \mathbb Z[w]/\langle 2w \rangle $$ where $w\in H^{1+\gamma}(RP^\infty) = H^1(RP^\infty;\mathbb Z_-)$. (The class $w$ is the Euler class of the canonical line bundle over $RP^\infty$.) This could also be viewed as a description of the cohomology of the group $\mathbb Z/2$, of course. Similar simple descriptions can be given for the cohomologies of the truncated spaces $RP^k$.

Where this actually came from: Stefan Waner and I recently published a Springer Lecture Notes volume in which we describe ordinary equivariant (co)homology graded on "representations of the fundamental groupoid" of a space. This can be applied in the nonequivariant case as well — the group of representations of the fundamental groupoid of $RP^\infty$ is exactly the $R$ above, and the general theory leads to the calculation of $H^*(RP^\infty)$ above with this grading.

Borelcohomology, which is just the cohomology of the homotopy orbits (yes, that is also $RO(G)$-graded) $\endgroup$ – Denis Nardin Dec 4 '17 at 13:54