Explanation for the Chern character - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T21:00:13Z http://mathoverflow.net/feeds/question/6144 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/6144/explanation-for-the-chern-character Explanation for the Chern character Sam Derbyshire 2009-11-19T18:11:28Z 2010-03-17T06:20:01Z <p>The Chern character is often seen as just being a convenient way to get a ring homomorphism from K-theory to (ordinary) cohomology.</p> <p>The most usual definition in that case seems to just be to define the Chern character on a line bundle as $\mathrm{ch}(L) = \exp(c_1(L))$ and then extend this; then for example $\mathrm{ch}(L_1 \otimes L_2) = \exp(c_1(L_1 \otimes L_2)) = \exp(c_1(L_1) + c_2(L_2)) = \mathrm{ch}(L_1) \mathrm{ch}(L_2)$; then we can use this to define a Chern character on general vector bundles.</p> <p>This all seems a bit ad-hoc, and it doesn't give much insight as to why such a thing exists anyway.</p> <p>An explanation I like a lot better comes from even complex oriented cohomology theories. Given any complex oriented periodic cohomology theory, such as K-theory or periodic (ordinary) cohomology, we have $H(\mathbb{CP}^\infty) \cong H(P)[[t]]$ for $P$ a point. Seeing as $\mathbb{CP}^\infty$ is the classifying space for line bundles, this gives us a way of having "generalised Chern classes" for any line bundle corresponding to any cohomology theory, and even for any vector bundle.</p> <p>We have a link between complex oriented periodic cohomology theories and formal group laws, corresponding to what corresponds to $c_1(L_1 \otimes L_2)$ in $\mathbb{CP}^\infty$: for ordinary cohomology, as above, we get that $c_1(L_1 \otimes L_2) = c_1(L_1) + c_1(L_2)$ which gives the additive formal group law, and for K-theory we get $c_1(L_1 \otimes L_2) = c_1(L_1) + c_1(L_2) + c_1(L_1) c_2(L_2)$ which is the multiplicative formal group law. The fact that over $\mathbb{Q}$ (but not over $\mathbb{Z}$) there is an isomorphism between the formal group laws given by the exponential map, and this reflects in the cohomology, giving the Chern character $K(X) \otimes_\mathbb{Z} \mathbb{Q} \to \prod_n H^{2n}(X,\mathbb{Q})$.</p> <p>I'm not too sure what the exact formulation in that second case is, but more importantly I was wondering if there are any other, cleaner interpretations of the Chern character (I've been hearing about generalised Chern characters, and I have no idea where they would come from in this case). It seems like there should be a way to link the Chern character to things like the genus of a multiplicative sequence, and tie it in with other similar ideas for example the Todd genus or the L-genus given by similar formal power series. I guess the trouble is that I don't see how these related ideas all fit in together.</p> http://mathoverflow.net/questions/6144/explanation-for-the-chern-character/6188#6188 Answer by Tyler Lawson for Explanation for the Chern character Tyler Lawson 2009-11-19T22:34:01Z 2009-11-20T15:58:48Z <p>For a general complex oriented cohomology theory represented by a ring spectrum R, there is a "Hurewicz map" from R to its smash product HZ &and; R with the Eilenberg-Mac Lane object for the integers. R has a formal group law associated to it as you stated. So does HZ &and; R; in fact, it carries the formal group law from HZ (the additive group), the one from R, and an isomorphism between them. You can think of this isomorphism of as a "logarithm" for the formal group law of R.</p> <p>For certain complex oriented cohomology theories R (the so-called "Landweber exact" theories) you can say more. Complex K-theory, which is represented in the stable homotopy category by a spectrum called KU, is one such example. In Landweber exact cases, the Hurewicz map of graded rings from &pi;<sub><code>*</code></sub>R to H<sub><code>*</code></sub>R is the universal map from &pi;<sub><code>*</code></sub>R (with its formal group law) to a ring where this formal group law has a choice of logarithm.</p> <p>In the case of K-theory (and in some other cases), this universal ring is the rationalization. So you can think of the Chern character as simply the Hurewicz homomorphism, or as the universal way to adjoin a logarithm to the formal group law of K-theory.</p> http://mathoverflow.net/questions/6144/explanation-for-the-chern-character/6479#6479 Answer by Michael Ortiz for Explanation for the Chern character Michael Ortiz 2009-11-22T19:30:57Z 2009-11-22T19:30:57Z <p>There is a nice discussion about multiplicative sequences, &amp;c., in Lawson and Michelsohn's book "Spin Geometry". It discusses things like the Todd genus, the A-hat genus, and so on, but also the Chern character and the ring homomorphism from K-theory to ordinary cohomology. It is a readable exposition and perhaps "connects the dots" in a way that would be helpful to you.</p> http://mathoverflow.net/questions/6144/explanation-for-the-chern-character/18466#18466 Answer by Peter Teichner for Explanation for the Chern character Peter Teichner 2010-03-17T06:20:01Z 2010-03-17T06:20:01Z <p>There is a beautiful explanation of the Chern character that my student Fei Han proved in his thesis: The Chern character is given by the map that "crosses with the circle". The hard part is to explain why domain and range of this map are K-theory respectively de Rham cohomology. This uses isomorphisms</p> <p>$K^0(X) \cong 1|1-EFT[X]$ and $H^{ev}_{dR}(X) \cong 0|1-EFT[X]$</p> <p>where $d|1-EFT[X]$ are concordance classes of $d|1$-dimensional Euclidean field theories over the manifold $X$. Since the circle of length one is a Euclidean 1-manifold, it is not hard to believe, modulo the precise definitions, that crossing with it gives a map as required. </p> <p>In fact, his result works even before taking concordance classes, where the left hand side is replace by vector bundles with connection and the right hand side becomes (even closed) differential forms.</p>