References for equivariant K-theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T07:29:16Z http://mathoverflow.net/feeds/question/5986 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/5986/references-for-equivariant-k-theory References for equivariant K-theory David Speyer 2009-11-18T17:40:36Z 2012-07-04T00:13:11Z <p>I want a good introduction to localization in equivariant $K$-theory. This introduction can be simple in several ways:</p> <ol> <li>I only care about torus actions.</li> <li>I only care about $K^0$.</li> <li>I only care about very nice spaces. I would be fine if the only spaces considered were $G/P$'s and smooth projective toric varieties.</li> </ol> <p>However, I want this exposition to include the following:</p> <ol> <li>How to compute a $K$-class from a Hilbert series.</li> <li>Given $X \to Y$ nice spaces, how describe push back and pull forward in terms of the map $X^T \to Y^T$.</li> <li>Ideally, this reference would also give the generators and relations presentation of $K$-theory for the sort of examples mentioned above. I mean formulas like $$K^0(\mathbb{P}^{n-1}) = K^0(\mathrm{pt})[t, t^{-1}]/(t-\chi_1)(t-\chi_2) ... (t - \chi_n)$$ where $\chi_i$ are the characters of the torus action. But I can find other references for this sort of thing.</li> </ol> <p>The best reference I currently know is the appendix to <a href="http://www.ams.org/mathscinet-getitem?mr=1970011" rel="nofollow">Knutson-Rosu</a>.</p> http://mathoverflow.net/questions/5986/references-for-equivariant-k-theory/5989#5989 Answer by Andrew Stacey for References for equivariant K-theory Andrew Stacey 2009-11-18T18:33:31Z 2009-11-18T18:33:31Z <p>My understanding is that Atiyah and Segal did a lot of this to deal with equivariant index theory, so that's the place that I'd start: Atiyah and Segal's original papers, or any decent book on index theory (I seem to remember a question about that some time ago). I don't know if that would answer your <em>specific</em> queries, though.</p> http://mathoverflow.net/questions/5986/references-for-equivariant-k-theory/5991#5991 Answer by David Ben-Zvi for References for equivariant K-theory David Ben-Zvi 2009-11-18T18:50:20Z 2009-11-18T18:50:20Z <p>I like the book by Chriss and Ginzburg (Representation Theory and Complex Geometry) very much, and I think it fits many of your requirements.</p> http://mathoverflow.net/questions/5986/references-for-equivariant-k-theory/6741#6741 Answer by David Speyer for References for equivariant K-theory David Speyer 2009-11-24T22:57:16Z 2012-07-04T00:13:11Z <p>I spent the last few days<sup>1</sup> reading references on equivariant K-theory. I just pulled together the following bibliography for my collaborators and I can't see a reason not to make it public. This list tilts heavily towards combinatorics and classical algebraic geometry.</p> <p>My general conclusion is that there are several good references on equivariant K-theory localization, but they are all too dense for someone who has never seen this stuff before. Fortunately, there are good, slow, introductions to equivariant cohomology, and the two fields are similar enough that you can get the motivation and examples from the cohomology papers and then dive into the K-theory tomes.</p> <p>This post is Community Wiki, so feel free to add your own favorites.</p> <h2>Short papers with lots of nice examples</h2> <p>1: Julianna Tymoczko's <a href="http://arxiv.org/abs/math/0503369" rel="nofollow">introduction</a> to equivariant cohomology</p> <p>2: Early parts of Knutson-Tao's <a href="http://front.math.ucdavis.edu/0112.5150" rel="nofollow">paper</a> on the equivariant cohomology of the Grassmannian</p> <h2>More detailed references on equivariant cohomology:</h2> <p>3: Fulton's <a href="http://www.math.washington.edu/~dandersn/eilenberg/" rel="nofollow">notes</a>. See lectures 4 and 5 for localization, lectures 6 - 10 for special features of homogeneous spaces.</p> <p>4: Section 2 of Guillemin and Zara's first <a href="http://front.math.ucdavis.edu/9808.5135" rel="nofollow">paper</a>, explaining which parts of the story are pure combinatorics.</p> <h2>References specifically for K-theory</h2> <p>5: Chapters 5 and 6 of <em>Complex Geometry and Representation Theory</em>, by Chriss and Ginzburg. Lots and lots of detail, and focuses on flag varieties in particular. One of the only places I've found that describes how to pushforward to something other than a point.</p> <p>6: Guillemin and Zara's K-theory <a href="http://front.math.ucdavis.edu/0007.5165" rel="nofollow">paper</a>. This is similar to the previous paper of theirs that I cite, but terser and for K-theory. </p> <p>7: A <a href="http://www.ams.org/mathscinet-getitem?mr=366928" rel="nofollow">paper</a> of Nielsen, which seems to have anticipated a lot of the results in this field, and has some nice examples at the end. (Note: The MathSciNet review is in French, but the paper is in English.)</p> <p>8: Knutson and Rosu's <a href="http://front.math.ucdavis.edu/9912.5088" rel="nofollow">paper</a>, establishing localization in equivariant K-theory and explaining equivariant Grothendieck-Riemann-Roch.</p> <p>William Fulton also tells me that he and Graham are working on an expository article, which I expect will be excellent.</p> <p><sup>1</sup> For those who are curious, I am not learning this material for the first time. Rather, I originally learned it by skimming a lot of papers, going to talks and asking Allen Knutson about anything that confused me. I am now playing the role of Allen to others, so I need to learn the subject better.</p>