added the corollary (here) on equivariant complex orientation of equivariant complex K-theory

]]>added statement of the equivariant K-theory of projective $G$-spaces (here)

]]>for the proof of equivariant Bott periodicty I have added pointer to page and verse in

- Michael Atiyah,
*Bott periodicity and the index of elliptic operators*, The Quarterly Journal of Mathematics, Volume 19, Issue 1, 1968, Pages 113–140 (doi:10.1093/qmath/19.1.113)

added a brief remark on equivariant Bott periodicity, with pointer to section 5 in:

- Max Karoubi,
*Bott Periodicity in Topological, Algebraic and Hermitian K-Theory*, In: Friedlander E., Grayson D. (eds) Handbook of K-Theory, Springer 2005 (doi:10.1007/978-3-540-27855-9_4)

Where is Atiyah’s original proof?

]]>added pointer to

- Max Karoubi,
*Equivariant K-theory of real vector spaces and real vector bundles*, Topology and its Applications, 122, (2002) 531-456 (arXiv:math/0509497)

added pointer to

- Yimin Yang,
*On the Coefficient Groups of Equivariant K-Theory*, Transactions of the American Mathematical Society Vol. 347, No. 1 (Jan., 1995), pp. 77-98 (jstor:2154789)

added pointer to

- Wolfgang Lück, Bob Oliver, Section 1 of:
*Chern characters for the equivariant K-theory of proper G-CW-complexes*, In: Aguadé J., Broto C., Casacuberta C. (eds.)*Cohomological Methods in Homotopy Theory*Progress in Mathematics, vol 196. Birkhäuser 2001 (doi:10.1007/978-3-0348-8312-2_15)

for another construction of the representing $G$-space for equivariant K-theory

]]>added pointer to:

- Bertrand Guillou, Peter May,
*Equivariant iterated loop space theory and permutative G-categories*,*Algebr. Geom. Topol. 17 (2017) 3259-3339*(arXiv:1207.3459)

I have added a References subsection (here) on equivariant topological K-theory being represented by a naive G-spectrum.

Currently it reads as follows:

That $G$-equivariant topological K-theory is represented by a topological G-space is

- Michael Atiyah, Graeme Segal, Corollary A3.2 in:
*Twisted K-theory*(arXiv:math/0407054)

This is enhanced to a representing naive G-spectrum in

- Daniel Freed, Michael Hopkins, Constantin Teleman, Appendix A.5 of:
*Loop groups and twisted K-theory I*, Journal of Topology, Volume 4, Issue 4, December 2011, Pages 737–798 (arXiv:0711.1906)

Review includes:

- Valentin Zakharevich, Section 2.2 of:
*K-Theoretic Computation of the Verlinde Ring*(pdf)

In its incarnation (under Elmendorf’s theorem) as a Spectra-valued presheaf on the $G$-orbit category this is discussed in

- James Davis, Wolfgang Lück,
*Spaces over a Category and Assembly Maps in Isomorphism Conjectures in K- and L-Theory*, K-Theory 15:201–252, 1998 (pdf)

Fixing a typo in the coefficient groups of equivariant KO for n = 6; Greenlees’ reference has the correct group.

Arun Debray

]]>appended to the previous discussion the explicit formula for $c_1$ of an $n$-dimensional representation $V$ as a polynomial in its character values (here):

$c_1(V) = \chi_{\left(V^{\wedge^n}\right)} \;\colon\; g \;\mapsto\; \underset{ { k_1,\cdots, k_n \in \mathbb{n} } \atop { \underoverset{\ell = 1}{n}{\sum} \ell k_\ell = n } }{\sum} \underoverset{ l = 1 }{ n }{\prod} \frac{ (-1)^{k_l + 1} }{ l^{k_l} k_l ! } \left(\chi_V(g^l)\right)^{k_l}$ ]]>Much clearer!

]]>Sorry for being unclear. How about this:

For 1-dimensional representations $V$ their first Chern class $c_1(\widehat{V}) \in H^2(B G, \mathbb{Z})$ is their image under the canonical isomorphism from 1-dimensional characters in $Hom_{Grp}(G,U(1))$ to the group cohomology $H^2_{grp}(G, \mathbb{Z})$ and further to the ordinary cohomology $H^2(B G, \mathbb{Z})$ of the classifying space $B G$:

$c_1\left(\widehat{(-)}\right) \;\colon\; Hom_{Grp}(G, U(1)) \overset{\simeq}{\longrightarrow} H^2_{grp}(G,\mathbb{Z}) \overset{\simeq}{\longrightarrow} H^2(B G, \mathbb{Z}) \,.$More generally, for $n$-dimensional representations $V$ their first Chern class $c_1(\widehat V)$ is the previously defined first Chern-class of the line bundle $\widehat{\wedge^n V}$ corresponding to the $n$-th exterior power $\wedge^n V$ of $V$. The latter is a 1-dimensional representation, corresponding to the determinant line bundle $det(\widehat{V}) = \widehat{\wedge^n V}$:

$c_1(\widehat{V}) \;=\; c_1(det(\widehat{V})) \;=\; c_1( \widehat{\wedge^n V} ) \,.$ ]]>I think I’m struggling with the grammar. So first Chern class is an equivalence, so a map? Then “the first Chern class of $X$” is the image of this map applied to $X$? But above you’re saying this image for $\widehat{V}$ is an isomorphism.

]]>Have expanded the respective paragraph to now read like so:

For 1-dimensional representations $V$ the first Chern class of $\widehat{V}$ is just the canonical isomorphism of 1-dimensional characters with group cohomology of $G$ and then with ordinary cohomology of the classifying space $B G$

$c_1\left(\widehat{(-)}\right) \;\colon\; Hom(G, U(1)) \overset{\simeq}{\longrightarrow} H^2_{grp}(G,\mathbb{Z}) \simeq H^2(B G, \mathbb{Z}) \,,$while for any $n$-dimensional representation $V$ the first Chern class is this isomorphism applied to the $n$th exterior power $\wedge^n V$ of $V$ (which is a 1-dimensional representation, namely the “determinant line bundle” of $widehat{V}$, to which the previous definition of $c_1$ applies):

$c_1(V) = c_1(\wedge^n V) \,.$ ]]>Yes, that’s indeed what is meant (but we may want to add superscripts to make it seem less surprising):

First we define $c_1$ for line bundles/1d reps, then we define $c_1$ on any vector bundle/rep by saying that it’s the previously defined $c_1$ of the determinant line bundle/top exterior power.

]]>Is this what was meant

]]>$c_1(V) = c_1(\wedge^n V)$?

added (towards the end of this subsection) the expression for $c_1$ of a complex representation regarded as a vector bundle over $B G$ (from the appendix of Atiyah 61)

]]>I have added statement of the remarkable fact that equivariant KO-theory of the point subsumes the representations rings over $\mathbb{R}$, $\mathbb{C}$ and $\mathbb{H}$:

$KO_G^n(\ast) \;\simeq\; \left\{ \array{ 0 &\vert& n = 7 \\ R_{\mathbb{H}}(G)/ R_{\mathbb{R}}(G) &\vert& n = 6 \\ R_{\mathbb{H}}(G)/ R_{\mathbb{C}}(G) &\vert& n = 5 \\ R_{\mathbb{H}}(G) \phantom{/ R_{\mathbb{R}}(G) } &\vert& n = 4 \\ 0 &\vert& n = 3 \\ R_{\mathbb{C}}(G)/ R_{\mathbb{H}}(G) &\vert& n = 2 \\ R_{\mathbb{R}}(G)/ R_{\mathbb{C}}(G) &\vert& n = 1 \\ R_{\mathbb{R}}(G) \phantom{/ R_{\mathbb{R}}(G)} &\vert& n =0 } \right.$ ]]>slightly expanded the paragraph “Relation to representation theor” (here), adding mentioning also of $KO^0_G(\ast) \simeq R_{\mathbb{R}}(G)$

]]>added to *equivariant K-theory* comments on the relation to the operator K-theory of crossed product algebras and to the ordinary K-theory of homotopy quotient spaces (Borel constructions). Also added a bunch of references.

(Also finally added references to Green and Julg at *Green-Julg theorem*).

This all deserves to be prettified further, but I have to quit now.

]]>