nLab characteristic class of a linear representation

Contents

Context

Representation theory

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

Given a linear representation of a finite group GG on a finite-dimensional vector space VV, this induces an associated vector bundle over the classifying space BGB G. The characteristic classes of this vector bundle, notably it Chern classes or Pontryagin, are hence entirely determined by the linear representation, and may be associated with it.

Definition

Under the identification of the representation ring with the equivariant K-theory of the point (see there) and the Atiyah-Segal completion map

R (G)KU G 0(*)()^KU(BG) R_{\mathbb{C}}(G) \simeq KU_G^0(\ast) \overset{ \widehat{(-)} }{\longrightarrow} KU(BG)

one may ask for Chern classes of the K-theory class V^KU(BG)\widehat{V} \in KU(B G) expressed in terms of the actual character of the representation VV.

(…)

Examples

First Chern class

There is a closed formula at least for the first Chern class (Atiyah 61, appendix):

For 1-dimensional representations VV their first Chern class c 1(V^)H 2(BG,)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))Hom_{Grp}(G,U(1)) to the group cohomology H grp 2(G,)H^2_{grp}(G, \mathbb{Z}) and further to the ordinary cohomology H 2(BG,)H^2(B G, \mathbb{Z}) of the classifying space BGB G:

c 1(()^):Hom Grp(G,U(1))H grp 2(G,)H 2(BG,). 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 nn-dimensional linear representations VV their first Chern class c 1(V^)c_1(\widehat V) is the previously defined first Chern-class of the line bundle nV^\widehat{\wedge^n V} corresponding to the nn-th exterior power nV\wedge^n V of VV. The latter is a 1-dimensional representation, corresponding to the determinant line bundle det(V^)= nV^det(\widehat{V}) = \widehat{\wedge^n V}:

c 1(V^)=c 1(det(V^))=c 1( nV^). c_1(\widehat{V}) \;=\; c_1(det(\widehat{V})) \;=\; c_1( \widehat{\wedge^n V} ) \,.

(Atiyah 61, appendix, item (7))

More explicitly, via the formula for the determinant as a polynomial in traces of powers (see there) this means that the first Chern class of the nn-dimensional representation VV is expressed in terms of its character χ V\chi_V as

(1)c 1(V)=χ ( nV):gk 1,,k n=1nk =nl=1n(1) k l+1l k lk l!(χ V(g l)) k l c_1(V) = \chi_{\left(\wedge^n V\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}

For example, for a representation of dimension n=2n = 2 this reduces to

c 1(V)=χ VV:g12((χ V(g)) 2χ V(g 2)) c_1(V) = \chi_{V \wedge V} \;\colon\; g \;\mapsto\; \frac{1}{2} \left( \left( \chi_V(g)\right)^2 - \chi_V(g^2) \right)

(see also e.g. tom Dieck 09, p. 45)

Example

Let G= 2n+1G =\mathbb{Z}_{2n+1} be a finite cyclic group of odd order and let k[ 2n+1]k[\mathbb{Z}_{2n+1}] be its regular representation. Then the first Chern class vanishes:

c 1(k[ 2n+1])=0 c_1\big( k[\mathbb{Z}_{2n+1}]\big) \;=\; 0
Proof

The underlying set of 2n+1\mathbb{Z}_{2n+1} constitutes the canonical linear basis of k[ 2n+1]k[\mathbb{Z}_{2n+1}]. Moreover, this carries a canonical linear order (e,g 1,g 2,,g 2n+1)(e, g_1, g_2, \cdots, g_{2n+1}). With respect to this ordering, the action of each group element g ng \in \mathbb{Z}_n is by a cyclic permutation. Since for odd number of elements the signature of a cyclic permutation is +1+1, it follows that for every group element

g(eg 1g 2n+1)=+eg 1g 2n+1. g(e \wedge g_1 \wedge \cdots \wedge g_{2n+1}) = + e \wedge g_1 \wedge \cdots \wedge g_{2n+1} \,.

This shows that the character of 2n+1k[ 2n+1]\wedge^{2n+1}k[\mathbb{Z}_{2n+1}] equals that of the trivial representation 1\mathbf{1}

Properties

Splitting principle

see at Symonds’ explicit Brauer induction

Let GG be a finite group, let the ground field to be the complex numbers.

Then by the Brauer induction theorem every virtual representation

[V]R (G) [V] \in R_\mathbb{C}(G)

has a presentation as a virtual combination of induced representations of 1-dimensional representations:

[V]=H iGW iRep(H i),dim(W i)=1n i[ind H i GW i] [V] \;=\; \underset{ \mathclap{ {H_i \hookrightarrow G} \atop { { W_i \in Rep(H_i) \,, } \atop { dim(W_i) =1 } } } }{\sum} n_i \left[ ind_{H_i}^G W_i \right]

Of course this expansion is not unique.

According to Symonds 91, p. 4 & Prop. 2.4, there is a natural choice for this expansion, and for this there holds a splitting principle for the corresponding Chern classes summarized in the total Chern class (formal sum of all Chern classes)

c(V)1+c 2(V)+c 2(V)+kH 2k(BG,) c(V) \;\coloneqq\; 1 + c_2(V) + c_2(V) + \cdots \;\in\; \underset{k}{\prod} H^{2 k}\big( B G , \mathbb{Z}\big)

as follows:

(2)ch(V)=H iGW iRep(H i),dim(W i)=1𝒩 H i G(ch(W i)=(1+c 1(W i)) α(W i))kH 2k(BG,) ch \left( V \right) \;=\; \underset{ \mathclap{ {H_i \hookrightarrow G} \atop { { W_i \in Rep(H_i)\,, } \atop { dim(W_i) = 1 } } } }{\prod} \mathcal{N}_{H_i}^G \Big( \overset{ \mathclap{ = (1 + c_1(W_i)) } }{ \overbrace{ ch\left(W_i\right) } } {}^{\alpha(W_i)} \Big) \;\; \in \underset{ k \in \mathbb{N} }{\prod} H^{2k}\big(B G, \mathbb{Z} \big)

where

  1. the transfer maps

    (3)𝒩 H G:H (BH,)H (BG,) \mathcal{N}_H^G \;\colon\; H^\bullet(B H, \mathbb{Z}) \longrightarrow H^\bullet( B G, \mathbb{Z} )

    are from Evens 63, bottom of p. 7,

  2. the α(W i)\alpha(W_i)-s are the Euler characteristics of certain CW-complexes, described in Symonds 91, p. 3.

Here over the brace we used that the W iW_i are 1-dimensional, so that at most their first Chern class may be non-vanishing.

Notice that the transfer maps (3) are multiplicative under cup product (Evens 63, prop. 4), whence Symonds 91 refers to them as the “mutliplicative transfer”.

References

  • Michael Atiyah, Appendix of Characters and cohomology of finite groups, Publications Mathématiques de l’IHÉS, Volume 9 (1961) , p. 23-64 (numdam)

  • Leonard Evens, A Generalization of the Transfer Map in the Cohomology of Groups, Transactions of the American Mathematical Society Vol. 108, No. 1 (Jul., 1963), pp. 54-65 (doi:10.1090/S0002-9947-1963-0153725-1, jstor:1993825)

  • Leonard Evens, On the Chern Classes of Representations of Finite Groups, Transactions of the American Mathematical Society, Vol. 115 (Mar., 1965), pp. 180-193 (doi:10.2307/1994264)

  • F. Kamber, Philippe Tondeur, Flat Bundles and Characteristic Classes of Group-Representations, American Journal of Mathematics, Vol. 89, No. 4 (Oct., 1967), pp. 857-886 (doi:10.2307/2373408)

  • Ove Kroll, An Algebraic Characterisation of Chern Classes of Finite Group Representations, Bulletin of the LMS, Volume19, Issue3 May 1987 Pages 245-248 (doi:10.1112/blms/19.3.245)

  • J. Gunarwardena, B. Kahn, C. Thomas, Stiefel-Whitney classes of real representations of finite groups, Journal of Algebra Volume 126, Issue 2, 1 November 1989, Pages 327-347 (doi:10.1016/0021-8693(89)90309-8)

  • Arnaud Beauville, Chern classes for representations of reductive groups (arXiv:math/0104031)

splitting principle:

Last revised on May 15, 2019 at 14:09:49. See the history of this page for a list of all contributions to it.