Grothendieck Riemann Roch involving Higher K ? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-25T05:39:28Zhttp://mathoverflow.net/feeds/question/56207http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/56207/grothendieck-riemann-roch-involving-higher-kGrothendieck Riemann Roch involving Higher K ?Shizhuo Zhang2011-02-21T19:46:34Z2011-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#56230Answer by profilesdroxford54 for Grothendieck Riemann Roch involving Higher K ?profilesdroxford542011-02-22T00:14:44Z2011-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#56240Answer by David Roberts for Grothendieck Riemann Roch involving Higher K ?David Roberts2011-02-22T02:50:22Z2011-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>