nLab
Chern character

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Differential cohomology

Contents

Idea

Traditionally, in the strict sense of the term, the Chern character is a universal characteristic class of vector bundles or equivalently of their topological K-theory classes, which is a rational combination of all Chern classes.

This is a special case of the following more general construction (Hopkins-Singer 02, section 4.8):

for EE a spectrum representing a generalized (Eilenberg-Steenrod) cohomology theory there is a canonical localization map

ch E:EEH ch_E \;\colon\; E \longrightarrow E \wedge H\mathbb{R}

to the smash product with the Eilenberg-MacLane spectrum over the real numbers. This represents the EE-Chern character (see also Bunke-Gepner 13, around def. 2.1).

In the case that E=E = KU this reproduces the traditional Chern character. (In which case this is a map from a complex oriented cohomology theory of chromatic level 1 to chromatic level 0. More generally one can also consider higher chromatic Chern characters that take values not in ordinary cohomology but in some cohomology theory of higher chromatic level. See at higher chromatic Chern character for more on this.)

The Chern character ch Ech_E may be used to define differential cohomology refinements E^\hat E of the cohomology theory EE by choosing a differential form-model for EHE \wedge H\mathbb{R} (Hopkins-Singer 02, see also at differential function complex). In that case ch Ech_E is the real cohomology class associated to a chern character differential form CH ECH_E via the de Rham theorem. Here CH ECH_E has the interpretation of being the curvature forms of the differential cohomology cocycles thought of as ∞-connections.

This may be turned around (Bunke-Nikolaus-Völkl 13, prop. .3.5): given any refinement E^\hat E of EE in a tangent cohesive (∞,1)-topos THT \mathbf{H}, then it is induced from homotopy pullback of its de Rham coefficients along a Chern character map

ch E=Πθ E^:EΠ(E^)Π dRE^, ch_E = \Pi \theta_{\hat E} \;\colon\; E \simeq \Pi(\hat E) \longrightarrow \Pi \flat_{dR} \hat E \,,

where Π\Pi is the shape modality and θ E\theta_E the Maurer-Cartan form of EE. This reproduces the above definition for ordinary differential form models, see at differential cohomology diagram – Hopkins-Singer coefficients.

But more generally, given for instance a K(n)-localization EL K(n)EE \longrightarrow L_{K(n)} E then any choice of cohesive refinement of L K(n)EL_{K(n)} E (i.e. lift through the unit of the shape modality Π\Pi) which is in the kernel of \flat yields a generalized differential cohomology theory E^\hat E whose intrinsic Chern-character Πθ E^\Pi \theta_{\hat E} is the K(n)K(n)-localization. See at differential cohomology diagram – Chern character and differential fracture.

In words this is summarized succintly as: The Chern character is the shape of the Maurer-Cartan form.

In the context of algebraic K-theory Chern characters appear at Beilinson regulators. There are analogues in algebraic geometry (e.g. a Chern character between Chow groups and algebraic K-theory) and in noncommutative geometry (Chern-Connes character) where the role of usual cohomology is taken by some variant of cyclic cohomology.

Examples

For vector bundles and topological K-theory

The classical theory of the Chern character applies to the spectrum of complex K-theory, E=KUE = KU. In this case, the Chern character is made up from Chern classes: each characteristic class is by Chern-Weil theory in the image of a certain element in the Weil algebra via taking the class of evaluation at the curvature operator for some choice of a connection. Consider the symmetric functions in nn variables t 1,,t nt_1,\ldots, t_n and let the Chern classes of a complex vector bundle ξ\xi (representing a complex K-theory class) be c 1,,c nc_1,\ldots, c_n. Define the formal power series

ϕ=ϕ n(t 1,,t n)=e t 1++e t n= k=0 1k!(t 1 k++t n k) \phi = \phi^n(t_1,\ldots, t_n) = e^{t_1}+\ldots+e^{t_n}= \sum_{k=0}^\infty \frac{1}{k!} (t_1^k+\ldots+t_n^k)

Then ch(χ)=ϕ(c 1,,c n)ch(\chi) = \phi(c_1,\ldots,c_n).

Let us describe this a bit differently. The cocycle H 0(X,KU)H^0(X,KU) may be represented by a complex vector bundle, and the image of this cocycle under the Chern-character is the class in even-graded real cohomology that is represented (under the deRham theorem isomorphism of deRham cohomology with real cohomology) by the even graded closed differential form

ch():= jk jtr(F F )Ω 2(X), ch(\nabla) := \sum_{j \in \mathbb{N}} k_j tr( F_\nabla \wedge \cdots \wedge F_\nabla) \;\; \in \Omega^{2 \bullet}(X) \,,

where

  • \nabla is any chosen connection on the vector bundle;

  • F=F Ω 2(X,End(V))F = F_\nabla \in \Omega^2(X,End(V)) is the curvature of this connection;

  • k jk_j \in \mathbb{R} are normalization constants, k j=1j!(12πi) jk_j = \frac{1}{j!} \left( \frac{1}{2\pi i}\right)^j;

  • the trace of the wedge products produces the curvature characteristic forms.

The Chern character applied to the Whitney sum of two vector bundles is a sum of the Chern characters for the two: ch(ξη)=ch(χ)+ch(η)ch(\xi\oplus \eta) = ch(\chi)+ch(\eta) and it is multiplicative under the tensor product of vector bundles: ch(ξη)=ch(χ)ch(η)ch(\xi\otimes\eta)=ch(\chi)ch(\eta). Therefore we get a ring homomorphism.

For spectra and generalized cohomology theories

Let EE be a spectrum The isomorphism

H(,E)H(,(π *E)) H(-,E)\otimes \mathbb{R} \;\; \stackrel{\simeq}{\to} \;\; H(-,(\pi_* E)\otimes \mathbb{R})

that defines the Chern-character map is induced by a canonical cocycle on the spectrum EE that is called the fundamental cocycle.

This is described for instance in section 4.8, page 47 of Hopkins-Singer Quadratic Functions in Geometry, Topology,and M-Theory.

For cohesive stable homotopy types

More generally, for E^\hat E a stable homotopy type in a cohesive (∞,1)-topos, then the underlying bare homotopy type is EΠ(E^)E \coloneqq \Pi(\hat E) and the corresponding Chern character is

chΠθ E^:EΠ(E^)Π dRE^. ch \coloneqq \Pi \theta_{\hat E} \;\colon\; E \simeq \Pi(\hat E) \longrightarrow \Pi \flat_{dR} \hat E \,.

For more on this see at differential cohomology diagram.

Properties

Push-forward and Grothhendieck-Riemann-Roch theorem

The behaviour of the Chern-character under fiber integration in generalized cohomology along proper maps is described by the Grothendieck-Riemann-Roch theorem.

References

The universal Chern character for generalized (Eilenberg-Steenrod) cohomology theory is discussed in section 4.8, page 47 of

in the context of differential cohomology via differential function complexes.

The observation putting this into the general context of differential cohomology diagrams (see there) of stable homotopy types in cohesion is due to

based on

A characterization of Chern-character maps for K-theory is in

A discussion of Chern characters in terms of free loop space objects in derived geometry is in

which conjectures a construction that is fully developed in

See also

  • Marc Hoyois, Chern character and derived algebraic geometry (2009) (pdf)

Revised on September 6, 2014 11:57:59 by Urs Schreiber (89.15.239.246)