What are picard categories, where can I learn more about them, and why should I care to? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T00:15:48Z http://mathoverflow.net/feeds/question/24912 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/24912/what-are-picard-categories-where-can-i-learn-more-about-them-and-why-should-i-c What are picard categories, where can I learn more about them, and why should I care to? lambdafunctor 2010-05-16T19:05:40Z 2011-01-08T19:47:21Z <p>I have the category-theoretic background of the occasional stroll through Mac Lane's text, so excuse my ignorance in this regard. I was trying to learn all that I could on the subject of tensor algebras, and higher exterior forms, and I ran into the notion of cohomological determinants. Along this line of inquiry, I ran into the generous use of the notion of a Picard category, and kept running into frustration in trying to find some sort of exposition of what these structures are. So where can I find out more about these structures, and about (cohomological) determinants in K-theory, which seem to be a hot topic among AG, AT, and RT researchers alike at the moment. Thanks!</p> http://mathoverflow.net/questions/24912/what-are-picard-categories-where-can-i-learn-more-about-them-and-why-should-i-c/24933#24933 Answer by Timo Schürg for What are picard categories, where can I learn more about them, and why should I care to? Timo Schürg 2010-05-16T21:02:07Z 2010-05-17T00:09:38Z <p>I ran across Picard categories in a totally different area of mathematics, but maybe it helps.</p> <p>In short, a Picard category is a group object in the category of groupoids. </p> <p>Picard categories come up when you study Picard stacks. Roughly, a Picard stack is a sheaf of Picard categories. The classical example is taking a two-term (perfect??) complex of sheaves, and asssociating to such a complex the Groupoid quotient of the one term by the other. This is important when you want to produce a geomteric object from such a complex. This is an important tool in defining virtual fundamental classes as in <a href="http://arxiv.org/abs/alg-geom/9601010" rel="nofollow">http://arxiv.org/abs/alg-geom/9601010</a>. </p> <p>Before I tell you to many things that are not true, here are the references I know of: </p> <p>Lecture notes of Martin Olsson at <a href="http://math.berkeley.edu/~molsson/MSRISummer07.pdf" rel="nofollow">http://math.berkeley.edu/~molsson/MSRISummer07.pdf</a>, Lecture 5. You can even watch that on video: <a href="http://www.msri.org/calendar/sgw/WorkshopInfo/419/show_sgw" rel="nofollow">http://www.msri.org/calendar/sgw/WorkshopInfo/419/show_sgw</a></p> <p>The definitive reference is Expos´e XVIII of SGA 4. You used to be able to get that at the Grothendieck circle. Now its still availabe on all the usual Russian sites. </p> <p>And finally there are very friendly and down to earth lectures of Barbara Fantechi at <a href="http://www.openeya.org/sissa/" rel="nofollow">http://www.openeya.org/sissa/</a> . I think lecture 3 or lecture 4 is about Picard categories. </p> http://mathoverflow.net/questions/24912/what-are-picard-categories-where-can-i-learn-more-about-them-and-why-should-i-c/24954#24954 Answer by David Ben-Zvi for What are picard categories, where can I learn more about them, and why should I care to? David Ben-Zvi 2010-05-17T00:23:39Z 2010-05-17T00:23:39Z <p>Determinants are discussed (in a language relevant to this current question) in <a href="http://mathoverflow.net/questions/7124/determinant-of-a-perfect-complex/" rel="nofollow">this MO question</a>.</p> <p>One place Picard categories naturally appear is as fundamental (aka Poincare) groupoids -- specifically those of infinite loop spaces (which are a refined homotopical version of abelian group objects in spaces, so form a natural source of abelian groups in categories. In fact Picard categories are equivalent to spectra which have only two consecutive homotopy groups, which up to shift we may as well take to be $\pi_0$ and $\pi_1$ -- one direction is given by the fundamental groupoid.</p> <p>The important example of the Picard category of graded lines over a field arises this way from the algebraic K-theory spectrum of the field, via the determinant line construction (see eg Beilinson's paper referred to in the answers to the above MO link). </p> <p>Another example important in rep theory is the Picard category of sheaves of twisted differential operators. This is discussed in detail in the famous "Proof of Jantzen Conjectures" paper of Beilinson-Bernstein.</p>