Grothendieck Riemann Roch involving Higher K ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T05:39:28Z http://mathoverflow.net/feeds/question/56207 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56207/grothendieck-riemann-roch-involving-higher-k Grothendieck Riemann Roch involving Higher K ? Shizhuo Zhang 2011-02-21T19:46:34Z 2011-02-22T04:50:48Z <p>As we know, Grothendieck Riemann Roch only involves $K_{0}$. Is there any work generalizing this formula to (Quillen's Higher K)? If there is, what is the meaning for such kind of formula?</p> <p>Thanks in advance</p> http://mathoverflow.net/questions/56207/grothendieck-riemann-roch-involving-higher-k/56230#56230 Answer by profilesdroxford54 for Grothendieck Riemann Roch involving Higher K ? profilesdroxford54 2011-02-22T00:14:44Z 2011-02-22T00:14:44Z <p>MR0624666 (83m:14013) Gillet, Henri Riemann-Roch theorems for higher algebraic K-theory. Adv. in Math. 40 (1981), no. 3, 203–289.</p> http://mathoverflow.net/questions/56207/grothendieck-riemann-roch-involving-higher-k/56240#56240 Answer by David Roberts for Grothendieck Riemann Roch involving Higher K ? David Roberts 2011-02-22T02:50:22Z 2011-02-22T04:50:48Z <p>There is the recent paper <a href="http://arxiv.org/abs/0907.2710" rel="nofollow">Algebraic K-theory, $A^1$-homotopy and Riemann-Roch theorems</a> by Riou, which gives a different proof of the results by Gillet referenced in the answer by profilesdroxford54.</p> <p>Abstract:</p> <blockquote> <p>In this article, we show that the combination of the constructions done in SGA 6 and the $A^1$-homotopy theory naturally leads to results on higher algebraic K-theory. This applies to the operations on algebraic K-theory, Chern characters and Riemann-Roch theorems. </p> </blockquote> <p>To give you a rough idea, algebraic K-theory is representable in the stable homotopy category arising from $A^1$-homotopy theory of schemes over a regular scheme. As far as I understand it, Grothendieck-Riemann-Roch is just a shadow of the maps from the spectrum representing algebraic K-theory to the Eilenberg-MacLane spectrum. But the paper above considers more than just stable homotopy.</p>