Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

May 5, 2009

Journal Club – Geometric Infinity-Function Theory – Week 2

Posted by Urs Schreiber

This week it is my turn to talk in our Journal Club on Geometric \infty-Function Theory about section 2, “Preliminaries” of “Integral Transforms”.

Previous week we had Alex Hoffnung on section 1, Introduction.

For the further schedule see the Journal Club’s nnLab page. We are still looking for volunteers for sections 5 and 6.

The stuff I have is to be found in section 2, “preliminaries” at

[[geometric infinity-function theory]].

Please see there!

This is to some extent to be read as a commented link list that is supposed to guide you through the list of linked keywords, the entries on which will contain more details and background information than found in this text here. I want to say that I created many of these entries with their use in the Journal Club in mind, but that, due to the nature of the nnLab, they contain much more and much better information than I could have typed myself.

Among all the nnLab regulars I want to thank in particular the crew which was most active in the last few weeks, which includes notably Toby Bartels, Timothy Porter, Mike Shulman and Zoran Škoda. That daily, very fruitful and constructive interaction on the Lab was one of the more pleasant experiences in my life and hopefully will continue to be.

Posted at May 5, 2009 3:18 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1960

5 Comments & 2 Trackbacks

Re: Journal Club – Geometric Infinity-Function Theory – Week 2

John Francis’s thesis is available on dspace:

http://dspace.mit.edu/handle/1721.1/43792

Posted by: Sam on May 5, 2009 9:01 PM | Permalink | Reply to this

Re: Journal Club – Geometric Infinity-Function Theory – Week 2

Thanks!!

I added the link to the wiki entry.

Just had a very quick look at the thesis:

example 2.3.8 is one of the statements I was looking for: that E E_\infty-monoidal (,1)(\infty,1)-categories are indeed the same as symmetric monoidal (,1)(\infty,1)-categories (obvious as that may be).

Do we have the other statement, that E 1E_1-monoidal (,1)(\infty,1)-cats in John Francis’ sense are precisely the monoidal (,1)(\infty,1)-cats in Jacob Lurie’s sense?

Posted by: Urs Schreiber on May 5, 2009 9:35 PM | Permalink | Reply to this

Re: Journal Club – Geometric Infinity-Function Theory – Week 2

Just to say that I did read through the above blog post, as well as the entry at the nLab. Thanks, it’s been very helpful. I did indeed marvel at the fact that the definition of a stable (,1)(\infty, 1)-category is short, simple and transparent. (At least, it seems that way to someone like me who hasn’t quite gotten into the details yet). I continue to read.

Posted by: Bruce Bartlett on May 7, 2009 7:48 PM | Permalink | Reply to this

Re: Journal Club – Geometric Infinity-Function Theory – Week 2

Just to say that I did read through the above blog post, as well as the entry at the nLab.

Thanks for the ping, Bruce!

BTW, here is a remark, akin to something similar I just said to Alex Hoffnung:

if you feel hesitant to create the entry [[perfect infinity-stack]] due to doubts on the reliablility of your information or so, consider creating it anyway containing just a green query box with maybe some preliminary remarks and otherwise lots of questions.

The earlier you do, the earlier the army of lurkers around here can jump on that entry and start improving it.

Posted by: Urs Schreiber on May 7, 2009 8:23 PM | Permalink | Reply to this

Journal Club – Geometric Infinity-Function Theory – Week 3

Well it’s my turn to give a write-up in the Journal Club. The topic for this week is perfect stacks, and it concerns Section 3 of David Ben-Zvi, John Francis and David Nadler’s paper Integral transforms and Drinfeld centers in derived algebraic geometry.

As I understand it, we need the concept of perfect stacks because they represent the most general context in which the important theorems of geometric infinity-function theory hold — namely, that algebraic and geometric operations on their categories of sheaves are nicely compatible.

This is even more succinctly put in the heading area of the paper:

Compact objects are as necessary to this subject as air to breathe.

That, by the way, is apparantly a statement made by R.W. Thomson, to A. Neeman, to the authors via the book Triangulated categories, to me via the paper we are studying, and now to you, dear reader!

Now I’m pretty shoddy on some of the more homological/algebro-geometric aspects that I need to understand this stuff properly, being more accustomed to working with down-to-earth things such as smooth manifolds and differential forms, as opposed to spectra of rings and such like. Urs and Alex perhaps come from a similar viewpoint. Chris might know this stuff quite well. Anyhow, I’m going to try and keep Urs’s \infty-stacky incarnation of smooth geometry via generalized smooth spaces and ω\omega-groupoids on the side, and ask questions as we go along about how “perfectness” translates into this context, if indeed it does.

As I understand it, a derived stack XX is roughly speaking something which assigns a \infty-groupoid X(U)X(U) to each ‘space’ UU

(1)UX(U) U \mapsto X(U)

in a manner which is compatible with gluing. In other words, a derived stack is an ‘\infty-sheaf’. In the case of this paper, we fix a ‘commutative derived ring’ kk, and then the category of ‘spaces’ in question is the opposite of the \infty-category of derived kk-algebras.

The concrete application closest to my sphere of understanding is the case where k=k=\mathbb{C}, so that the category of `spaces’ is the opposite of the category of connective commutative differential graded algebras over \mathbb{C}.

To go over into Urs’s framework, I think the category of ‘spaces’ is just the category ManMan of good old smooth manifolds, while the concept of \infty-groupoid translates into ‘globular strict ω\omega-groupoid’.

So in Urs’s setup, a `derived stack’ is nothing but a smooth ω\omega-groupoid.

Question 1. Is this correct?

Okay, now suppose we’ve got one of these derived stacks XX. The natural notion of a function on one of these guys is the \infty-category of quasi-coherent sheaves over XX, written QC(X)QC(X). The way to define QC(X)QC(X) is as follows. Any stack XX can be expressed as a gluing or colimit of affine derived schemes:

(2)Xcolim UAff /XU. X \simeq colim_{U \in Aff_{/X}} U.

I’m not exactly sure what an affine derived scheme is, but in Urs’s setup I think this means that any generalized smooth space can be expressed as a colimit of (the stacks represented by) smooth manifolds:

(3)Xcolim UMan /XU. X \simeq colim_{U \in Man_{/X}} U.

Come to think of it, I’m not quite sure what that means either, but I know it has something to do with the ‘coYoneda lemma’ which I stumbled onto on the nLab.

Anyhow, an affine thingy is something of the form U=SpecAU = Spec A for some algebra thingy AA, so we can define QC(U)QC(U) for affine thingys to be to be the \infty-category of AA-modules. And then we can define QC(X)QC(X) for a general stack XX as the appropriate gluing together of these module categories:

(4)QC(X)=lim UAff /XQC(U). QC(X) = lim_{U \in Aff_{/X}} QC(U).

Question 2. I’m actually a bit uncomfortable with this, since it’s not a concrete ‘definition’ in the classical sense of the word, since the original expression of XX as a colimit wasn’t canonical, and neither is the limit above. I know these sorts of definitions are rife in homotopy theory though, so I guess I must just accept it? I would be happier if there was a nice canonical concrete expression.

Question 3. In Urs’s picture, does the concept of QC(X)QC(X) make sense? Is it the \infty-category of vector-bundles on XX (possibly equipped with connection) Or is it more of a ‘local-system’ thing?

Ok, so here’s what it means for a derived stack to be perfect. We want QC(X)QC(X) to be ‘generated’ by some smaller subcategory consisting of ‘finite objects’. There are two candidates for what ‘generated’ might mean (we’ll get to this) and there are three candidates for what ‘finite objects’ might mean.

The good news is that we don’t have to know a lot about quasicoherent sheaves to discuss this matter.

The three candidates for what ‘finite object’ might mean are as follows.

  • An object MQC(X)M \in QC(X) is perfect if its restriction f *Mf^*M to any affine chart f:UXf : U \rightarrow X is perfect, in the sense that it lies in the smallest subcategory of QC(U)QC(U) containing A=Spec(U)A = Spec(U) and which is closed under finite colimits and retracts.
  • An object MQC(X)M \in QC(X) is compact if Hom(M,)Hom(M, \cdot) commutes with all colimits (equivalently, with all coproducts).
  • An object MQC(X)M \in QC(X) is strongly dualizable (or dualizable for short) if it has a dual M M^\vee in the categorical sense — that is, if there exists an object M M^\vee together with unit and trace maps u:1M Mu : 1 \rightarrow M^\vee \otimes M and τ:MM 1\tau : M \otimes M^\vee \rightarrow 1 satisfying the snake diagrams.
The cool thing is that these three definitions are clearly quite natural, and they ask questions of the geometry of XX, the categorical structure of QC(X)QC(X), and the monoidal structure of QC(X)QC(X) respectively.

I wish I could get some more familiarity with how these three concepts work out in specific examples. From the nLab, I see that the concept of a ‘compact’ object can be applied to any category, except in general one should ask that Hom(M,)Hom(M, \cdot) only commutes with all filtered colimits. There’s a nice example: a topological space XTopX \in Top is compact if and only if the hom-functor

(5)Hom(X,):TopTop \Hom(X, \cdot) : Top \rightarrow Top

commutes with all filtered colimits. I’d like to understand this example!

I wish I could understand this concept of filtered colimit better. I need to go back to point-set topology and understand what a ‘filter’ means. I wish John would write an expository article explaining filters (in topological spaces), and how they generalize to filtered colimits.

Anyhow, the interesting fact is that these three notions (perfecness, compactness, dualizable) all coincide in the affine situation. Moreover, ‘strongly dualizable’ and ‘perfect’ are apparantly local properties, so therefore they always coincide. The only problem-child is ‘compact object’, which is not a local property and hence might not glue nicely. More on that later.

Having discussed the various candidates for the notion of ‘finite object’, we must still discuss what we are going to mean when we say that they ‘generate’ our category QC(X)QC(X). The two candidates are:

  • QC(X)QC(X) is the inductive limit of the category of finite objects (basically, this says that QC(X)QC(X) is the formal completion of the category of finite objects).
  • QC(X)QC(X) is compactly generated by the finite objects — that is, there is a set of finite objects C iCC_i \in C such that if Hom(C i,M)0Hom(C_i, M) \cong 0 for all ii, then M0M \cong 0.

The choice made in this paper is as follows.

Definition. A derived stack XX is said to be perfect if it has affine diagonal and if the \infty-category QC(X)QC(X) is the inductive limit

(6)QC(X)IndPerf(X) QC(X) \simeq Ind Perf (X)

of the full \infty-subcategory Perf(X)Perf(X) of perfect complexes. A morphism XYX \rightarrow Y is said to be perfect if its fibers X× YUX \times_Y U over affines UYU \rightarrow Y are perfect.

The main point is that we could have used any of the other notions, because of the following nice fact.

Proposition. For a derived stack XX with affine diagonal, the following are equivalent:

  • XX is perfect.
  • QC(X)QC(X) is compactly generated, and its compact and dualizable objects coincide.

The proof of this apparantly comes down to checking the following lemma:

Lemma. If NN is a retract of a dualizable object MM, then NN is also dualizable.

I tried to prove this using string diagrams, but I got stuck. I think it’s because I’m not incorporating the closed structure (ie. the internal hom).

Question 4. Give a nice string diagram proof of this statement.

So let’s summarize where we are (we’re only at the end of Section 3.1!):

  • We’ve defined the derived category QC(X)QC(X) of quasicoherent sheaves on a derived stack XX.
  • We’ve said what it means for QC(X)QC(X) to be perfect. This boiled down to making one of a number of different natural choices. Happily, they turn out all to be equivalent, precisely when QC(X)QC(X) is perfect!
  • The good news for n-category cafe denizens is that all of these choices appear to be reasonably ‘elementary’ and don’t require sky-high formalism. This appears to go for the proofs too. Thus the concept of ‘perfectness’ has something fundamental and important to say about monoidal-ish categories (see Question 4 above, as well as the fact that being ‘closed under retracts’ ties in very nicely with the 2-Hilbert space formalism). Let’s try to get to grips with it.

The remaining two sections deal with base change and the projection formula for perfect morphisms (section 3.2), and that many common classes of stacks are perfect (section 3.3). I think one can only appreciate these sections properly once one has been working with schemes and algebro-geometric stacks for a while… then when one reads the results, one will say “oh, that’s nice, because that particular property was always a problem in the so-and-so approach”. Sadly I am not in that boat.

Posted by: Bruce Bartlett on May 11, 2009 7:07 PM | Permalink | Reply to this
Read the post Journal Club -- Geometric Infinity-Function Theory -- Week 3
Weblog: The n-Category Café
Excerpt: This week in our Journal Club on [[geometric ∞-function theory]] Bruce Bartlett talks about section 3 of "Integral Transforms": perfect stacks. So far we had Week 1: Alex Hoffnung on Introduction Week 2, myself on Preliminaries See here for...
Tracked: May 11, 2009 11:21 PM
Read the post Journal Club -- Geometric Infinity-Function Theory -- Week 4
Weblog: The n-Category Café
Excerpt: Chris Brav reviews technical details about tensor products and integral transforms of quasi-coherent sheaves on perfect stacks.
Tracked: May 18, 2009 7:24 AM

Post a New Comment