geometric infinity-function theory


Higher geometry

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory





Extra stuff, structure and property



structures in a cohesive (∞,1)-topos



This entry is about the work by David Ben-Zvi, John Francis and David Nadler on application of a (∞,1)-categorical realization of geometric function theory to extended quantum field theory in the context in which Jacob Lurie proved the cobordism hypothesis.

So far this work is presented in the two articles

This entry is supposed to be the nnLab-working area for a ” Journal Club – Geometric \infty-function theory “. The corresponding discussion page at the nn-Café is Journal Club – Geometric ∞-Function Theory

The idea is to

  • jointly discuss at the nnCafé section-by-section these articles; to get an idea for what’s going on;

  • add here, step by step, links to keywords appearing in these sections, and create the corresponding entries describing them.

  • This is supposed to be a recursive and iterative process, which, if successful, will eventually create here a useful repository of entries that describe and explain the various aspects of the topic.

Basic idea in three words

Geometric \infty-function theory is about the ∞-categorification of the following basic fact of matrix calculus: for XX and YY finite sets, for kk a field and for C(X)C(X) and C(Y)C(Y) the kk-vector spaces of kk-valued functions on XX and YY, respectively, we have natural isomorphisms

C(X)C(Y)C(X×Y)LinMap(C(X),C(Y))C(X) *C(Y) C(X) \otimes C(Y) \simeq C(X \times Y) \simeq LinMap(C(X), C(Y)) \simeq C(X)^* \otimes C(Y)

of finite-dimensional vector spaces.

In geometric \infty-function theory one replaced the finite sets here with generalized spaces called perfect derived stacks, and kk-valued functions by something like kk-vector bundles on these.

That’s it, essentially. The point is that this simple statement then turns out to be a powerful organization and unification tool for lots of structures appearing in representation theory and functorial quantum field theory.


We will try to proceed as follows: we go through the sections of the two articles, step by step, possibly several steps for one section. Each week on Monday, one of us produces a “report” on the section he or she was assigned to read.

This “report” would try to give a rough idea of what is going on in a given section. A report may be anything from a heap of questions (likely) to a complete detailed rederivation of all the details (maybe not quite as likely, but let’s not exclude it!) The more questions, the more we all get involved, which is the whole point of doing this online.

I (Urs) am imagining that whatever the report is like, it consists of

  • a bulleted list of whatever needs to be listed, with links to whatever deserves to be linked to, here in this nnLab-entry, in the following list of sections;

  • a comment to the blog entry that maybe copies this entire content but at least alerts the blog readers about the new material now to be found here, accompanied by some comments as seems necessary.

The idea is that we have discussion on the blog but distill whatever we can into the nnLab here.

Here is the list of reports, as planned so far:


The central structural theorem of TQFT, the cobordism theorem states that (∞,n)-categorical extended topological quantum field theories are entirely determined by their value in the point, which has to be an object in an (∞,n)-category with high dualizability properties.

Very generally, the point of geometric \infty-function theory is to construct and study concrete realizations of the FQFTs guaranteed to exist by this theorem.

The central tool, from which this entry draws its title, is an (∞,1)-categorical version of geometric function theory:

the rough idea is that the data the FQFT assigns to a manifold Σ\Sigma is a collection Z(Σ)Z(\Sigma) of \infty-functions – the physical fields – on Σ\Sigma, or, more generally, sections of some \infty-bundle on Σ\Sigma, and that the morphism Z(Σ):Z(Σ in)Z(Σ out)Z(\Sigma) : Z(\Sigma_{in}) \to Z(\Sigma_{out}) assigned by the FQFT to a cobordism Σ:Σ inΣ out\Sigma : \Sigma_{in} \to \Sigma_{out} is obtained from a pull-push-operation on the objects of Z(Σ in)Z(\Sigma_{in}) through a span to obtain objects in Z(Σ out)Z(\Sigma_{out}).

This picture arises naturally and is maybe best understood in terms of FQFTs that arise as σ-models, namely which are represented by a target space object PP:

assume that PP is some kind of generalized space (which will usually mean: an (∞,1)-sheaf, see motivation for sheaves, cohomology and higher stacks for motivation of this point) and regard the manifolds Σ\Sigma as special cases of generalized manifolds.

Writing [,P][- , P] for the internal hom in the given context, every cobordism cospan is sent to a span

[,P]:( Σ Σ in Σ out)( [Σ,P] p 1 p 2 [Σ in,P] [Σ out,P]). [-, P] : \left( \array{ && \Sigma \\ & \nearrow && \nwarrow \\ \Sigma_{in} &&&& \Sigma_{out} } \right) \mapsto \left( \array{ && [\Sigma, P] \\ & {}^{p_1}\swarrow && {}^{p_2}\searrow \\ [\Sigma_{in}, P] &&&& [\Sigma_{out}, P] } \right) \,.

If now C([Σ in,P])C([\Sigma_{in},P]) denotes some sensible collection of \infty-functions on the mapping space [Σ in,P][\Sigma_{in}, P], there will be an ∞-categorical pull-push operation

p 2p 1 *():C([Σ in,P])C([Σ out,P]) \int_{p_2} p_1^*(-) : C([\Sigma_{in}, P]) \to C([\Sigma_{out}, P])

generalizing the analogous operation as described as groupoidification.

As described at geometric function theory, such pull-push operations can naturally be regarded as vast generalization of familiar matrix calculus, including in particular operations like Fourier–Mukai transformations.


In IntTrans the basic machinery of these \infty-categorical pull-push operations is established.

In CharTheo the particular case of an FQFT is considered whose defining assigment to the point is the differential graded Hecke category

H G=D(B\(G/B)) H_G = D( B \backslash (G/B))

of BB-equivariant D-modules on the flag variety G/BG/B of a complex reductive group GG with Borel subgroup BB.

(… more to say here …)

Keyword list

The following is supposed to going to be a list of linked keywords corresponding section-by-section to the Ben-Zvi/Francis/Nadler articles above.

Integral Transforms

1. Introduction

I am going to use this space (the introduction) as my sandbox and a place to begin a conversation on things I want to talk about it. This way things do not muck up areas that Urs and others have made nice and they can be transported to the appropriate areas later.

  • Drinfeld centers

Comment by David Ben-Zvi from n-category cafe

One quick comment: the Drinfeld center is not a “sub” in any reasonable sense (except in the loose sense that it’s a categorical limit). This is easy to see already for the category of representations of a finite group, where the Drinfeld center (or modules for the Drinfeld double) is the category of G-equivariant vector bundles on the group G (I think they also go by the name Yetter-Drinfeld modules?) Likewise the center of a ring in the derived world (ie Hochschild cohomology) is not really a subring - even for a commutative ring, its derived center doesn’t map in injectively (for a smooth commutative ring the Hochschild-Kostant-Rosenberg theorem tells us that Hochschild cohomology is the exterior algebra on derivations of the ring). I think we have to abandon the notions of sub and quotient in the homotopical world and stick to notions like (homotopy) limit and colimit.

I want to start replying to/understanding this comment. I have some reading to do first so I will just leave this query box as is for now.

1.1 Perfect stacks

1.2 Tensors and functors

1.3 Centers and traces

1.4 Hecke categories

1.5 Topological field theory

2. Preliminaries

Recall that the goal of geometric \infty-function theory is

  • to establish a good higher categorical version of linear algebra (“integral transform” = “higher matrix multiplication”!)

  • such that interesting classes of σ-model extended TQFTs Z PZ_P are represented by generalized spaces PP

    • in that the “higher linear map” Z P(Σ)Z_P(\Sigma) assigned by the QFT to a cobordism cospan Σ Σ in Σ out\array{ && \Sigma \\ & \nearrow && \nwarrow \\ \Sigma_{in} &&&& \Sigma_{out}} is given by the span [Σ,P] [Σ in,P] [Σ out,P]\array{ && [\Sigma,P] \\ & \swarrow && \searrow \\ [\Sigma_{in},P] &&&& [\Sigma_{out}, P]}.

This clearly requires that

One point made by the Ben-Zvi/Francis/Nadler work is that a good working context of higher category theory in which a good notion of geometric \infty-function theory can be set up nicely is the context assembled and developed in the PhD thesis of Jacob Lurie, consisting of

Especially for the newcomer and non-expert it must be understood that the plethora of high-powered terminology appearing here is conceptually simplified and unified by their description in the higher categorical context – so you gain by trying to learn this stuff here first before going into the standard literature:

This is the reason why we bother with geometric \infty-function theory and devote a detailed discussion to it: geometric \infty-function theory carries the promise of getting close to the sought-for Lawvere-ification of quantum field theory – providing its natural language.

2.1 \infty-categories

The ∞-categories that we are dealing with here are

There are several reasons for

in the present context, the main one being that they allow to make precise the ideas summarized in the

In principle one will want to eventually understand geometric function theory in the context of more general higher category theory, in particular for (∞,n)-categories, but a great deal is already gained by just (hah!) looking at (∞,1)-categories – not the least because (only) for them a working well-developed full theory exists at the moment, developed by Andre Joyal and further developed by Jacob Lurie:

This subsumes and unifies notably a wealth of more-or-less ad-hoc constructions that have been known for a bit longer. In particular the theory of model categories is realized as a way to, well, model (,1)(\infty,1)-categories:

In particular every

is naturally a

2.1.1 Enhancing triangulated categories

The aim of geometric \infty-function theory is to develop a good \infty-categorical generalization of the simple notion of

  • sets of functions on spaces


  • \infty-categories of \infty-functions” on ”()(\infty)-spaces”

essentially following the general philosophy of space and quantity.

Whatever the answer is, the collection of such \infty-functions should be

  • abelian


  • monoidal

in a suitable sense.

From various examples it has become clear that the right vertical categorification of a function XX \to \mathbb{C} is a functor XVect X \to Vect_{\mathbb{C}}, which – if sufficiently well behaved – we may regard as a vector bundle on XX.

Indeed, just as functions [X,][X,\mathbb{C}] form a vector space, functors [X,Vect ][X, Vect_{\mathbb{C}}] naturally form a 2-vector space.

Such a 2-vector space is in particular an abelian category. This is one of the ways in which we expect \infty-functions to form an abelian collection.

Experience shows that the right (or at least a very good) \infty-vertical categorification of abelian category is a

It turns out that just as model categories and related homotopical categories are best thought of as, well, models for (,1)(\infty,1)-categories, so various constructions in homological algebra – and in the end really all of modern homological algebra – is best thought of as models for stable (∞,1)-categories.

This concerns notably


which, in turn, are already enhanced triangulated categories: namely dg-enriched versions thereof.

At this point you are urged to really have a look at the entry on stable (∞,1)-category and marvel about the fact that

  • the definition of stable (,1)(\infty,1)-category is short, simple and transparent.

It’s the most obvious thing in the world. And yet, it turns out that the rather involved definitions of derived triangulated category follow from this simple definition when one decides to look at just the 1-categorical shadow given by the homotopy category of the stable (∞,1)-category.

This is a general pattern here:

  • (,1)(\infty,1)-categorical notions – and in particular quasi-categorical notions – are conceptually simple and lend themselves to the formulation and description of higher categorical situations;

  • but for concrete constructions in terms of them there is a wealth of tools with different areas of applicability, many of which have been understood and developed as theories in their own right for a considerable time.

2.2 monoidal \infty-categories

A central aspect of geometric \infty-function theory is that we regard the collection C(X)C(X) of \infty-functions assigned to a generalized space XX (concretely modeled as QC(X)QC(X), see section 3 below) not just as a higher vector space but naturally as a higher algebra. Indeed, the central two theorems/properties of geometric function theory concern the interplay between the geometry of intersections or pullbacks

of generalized spaces and the algebra of tensor products

C(Y 1) C(X)C(Y 2). C(Y_1) \otimes_{C(X)} C(Y_2) \,.

In order to formulate this, one needs a good general theory of higher algebra. Just as ordinary algebra takes place inside a monoidal category, higher algebra takes place in a monoidal (∞,1)-category:

an “\infty-monoid” or “\infty-algebra” (to distinguish from the traditional A∞ algebra, which is supposedly a special case) is an algebra/monoid object in a monoidal (∞,1)-category.

In order to characterize the (,1)(\infty,1)-categories C(X)C(X) as algebra objects in such a sense we profit from the ease with which quasi-categories naturally reflect on themselves and allow us with comparative ease to talk about the (∞,1)-category of (∞,1)-categories (,1)Cat 1(\infty,1)Cat_1.

Since (,1)Cat 1(\infty,1)Cat_1 itself is a symmetric monoidal (∞,1)-category, we will essentially identify the \infty-algebras C(X)C(X) as algebra objects in (,1)Cat 1(\infty,1)Cat_1.

But there is actually a slight technical simplification: we don’t deal with all (,1)(\infty,1)-categories, but just with presentable (∞,1)-categories. See there for the (long) list of nice properties and characterization of presentable (,1)(\infty,1)-categories.


Notice that this means in particular that the “additive” structure on C(X)C(X) is taken to be nothing but the (,1)(\infty,1)-categorical colimit operation inside C(X)C(X): this is the operation with respect to which (∞,1)-functors in (,1)Cat 1 L(\infty,1)Cat_1^L are linear, and with respect to which the tensor product is bilinear.

In terms of this higher algebra we will obtain the two central (defining) theorems of geometric \infty-function theory.


Fundamental theorem of geometric \infty-function theory

For XYXX \to Y \leftarrow X' morphisms of nice generalized spaces (perfect ∞-stacks) and for \infty-functions C()=QC()C(-) = QC(-) (given by the assignment of (,1)(\infty,1)-categories of quasicoherent sheaves) we have

  • \infty-matrices (integral transforms) are \infty-functions on fiber products in that the following equivalence holds: C(X× YX)C(X) C(Y)C(X) C(X \times_Y X') \simeq C(X) \otimes_{C(Y)} C(X')

  • \infty-linear maps are given by \infty-matrices in that also the following equivalence holds: C(X× YX)Fun C(Y)(C(X),C(X))C(X \times_Y X') \simeq Fun_{C(Y)}(C(X), C(X'));

The following discussion aims to describe the role played by ∞-stacks and their morphisms in the context of geometric \infty-funcion theory.

We place ourselves in the context of an (∞,1)-category HH of (possibly derived) \infty-stacks, i.e. of (∞,1)-sheaves.

Recall what this means:

The fundamental datum that we fix once and for all and which determines what HH is like is a choice of category SS equipped with the structure of a site. HH is going to be the (,1)(\infty,1)-category of generalized spaces which may be probed by objects of SS in a way that is consistent with the way one glues objects in SS using its structure of a site. More generally, SS itself may be an (,1)(\infty,1)-category.

It is actually not hard to say this in a precise and fairly explicit way.

First the precise way.

The same in one sentence: HH is a sub-(∞,1)-topos of the (∞,1)-topos of (∞,1)-presheaves on SS.

Or equivalently: HH is an (∞,1)-category of (∞,1)-sheaves on SS.

Now the fairly explicit way:

There are various different but equivalent explicit realizations, or models, for (∞,1)-categories. Of these consider quasi-categories, which are
simplicial sets that are weak Kan complexes, and SSet-enriched categories. These are related by the homotopy coherent nerve functor:

N:SSet-CatSSet N : SSet\text{-}Cat \to SSet

which has a left adjoint

F:SSetSSet-Cat F : SSet \to SSet\text{-}Cat

that sends every simplicial set to the SSet-enriched category freely generated from it. One can think for SS a quasi-category of F(S)F(S) as a semi-strictification of it, in which composition of morphisms along 0-cells is strictly associative.

It is convenient and usual to switch back and forth between these two models. Quasi-categories tend to give rise to conceptually more transparent definitions, while SSet-categories tend to be more convenient for many explicit computations.

To get back to our (∞,1)-category of (∞,1)-sheaves HH, we describe it in terms of these models as follows.

  • SS is some small simplicial set which we can assume to be a weak Kan complex;

  • -Grpd:=N(Kan)\infty\text{-}Grpd := N(Kan) is the simplicial set which is the image under the homotopy coherent nerve functor of the full SSet-subcategory of SSet on Kan complexes;

  • PSh(S)=SSet(S op,-Grpd)PSh(S) = SSet(S^{op},\infty\text{-}Grpd) is just the simplicial set of simplicial maps between the simplicial sets S opS^{op} and -Grpd)\infty\text{-}Grpd).

For explicitly constructing HH as a full sub-(,1)(\infty,1)-category of PSh(S)PSh(S) in practice one usually switches from the quasi-category picture to the SSet-enriched category picture. So assume HH explicitly to be an SSet-enriched category and i:HF(PSh(S))i : H \to F(PSh(S)) the suitable inclusion SSet-functor.

Notice that its left adjoint () *:PSh(S)N(H)(-)^* : PSh(S) \to N(H) is (∞,1)-sheafification: it sends every (∞,1)-presheaf to the corresponding (∞,1)-sheaf. In other words, this is \infty-stackification. Describing the full \infty-stackification of a given (,1)(\infty,1)-presheaf explicitly is usually hard. Moreover, it is usually much more than one wants to actually know.

Therefore a common approach to constructing HH is as an SSet-enriched category which has precisely the same objects as F(PSh(S))F(PSh(S)) has, but where every object is (,1)(\infty,1)-equivalent to its (,1)(\infty,1)-sheafification. This is in particular what happens in the most developed explicit model for HH, due to K. Brown, A. Joyal, J. Jardine and others, in which (for SS an ordinary 1-category) HH is constructed as the canonical SSet-enrichment of the model category structure on Funct(S op,SSet)Funct(S^{op}, SSet).

For such a model of HH, let AA be an object, i.e. an (,1)(\infty,1)-presheaf which need not be an (,1)(\infty,1)-sheaf/\infty-stack, and let XX be any other object, then the simplicial set

H(X,A) H(X,A)

(which, if it is not Kan already, we are to think of as representing the \infty-groupoid obtained from its Kan-fibration replacement)

is equivalent to H(X,A¯)H(X,\bar A), where A¯\bar A is the \infty-stackification of AA.

This is most familiar in detail, if maybe not conceptually, in the context of abelian sheaf cohomology: an (ordinary) sheaf AA with values in non-negatively graded chain complexes is, by the Dold-Kan correspondence, a special case of an (,1)(\infty,1)-presheaf with values in -Grpd\infty\text{-}Grpd. Computing the abelian sheaf cohomology of AA on XX can be understood as being the computation of the \infty-stackification of AA evaluated on XX.

Moreover, for a fixed (,1)(\infty,1)-presheaf AA, homming into it yields a functor

H(,A):H opSSet H(-, A) : H^{op} \to SSet

which, being SSetSSet-valued, we are entitled to call an (,1)(\infty,1)-presheaf on HH. In as far as HH is thought of as an (,1)(\infty,1)-category of \infty-stacks, this is an (,1)(\infty,1)-presheaf or \infty-prestack on \infty-stacks.

It is natural, suggestive and common to write A(X):=H(X,A)A(X) := H(X,A), following the guide of the Yoneda lemma, even if XX is far from being representable.

Let for instance Vect HVect_\infty \in H be an (,1)(\infty,1)-presheaf which assigns to each test domain USU \in S an \infty-groupoid Vect (U)Vect_\infty(U) of some kind of \infty-vector bundles on UU. Then Vect Vect_\infty is, regarded as a generalized space modeled on XX, the classifying space of \infty-vector bundles, essentially by definition.

So for XHX \in H any other \infty-stack/generalized space,

Vect (X):=H(X,Vect ) Vect_\infty(X) := H(X, Vect_\infty)

is the (simplicial set whose Kan-fibrant replacement is) the \infty-groupoid of (some kind of) \infty-vector bundles of on XX.

If the XX here is an \infty-groupoid valued presheaf which really takes values in higher groupoids and not just in sets, then XX is actually to be regarded as a generalized \infty-groupoid itself, of course. One often thinks of such XX as orbifolds. If we write X 0XX_0 \hookrightarrow X for the presheaf of objects in XX, then

  • Vect (X 0)Vect_\infty(X_0) is the \infty-groupoid of \infty-vector bundles on X 0X_0

  • Vect (X)Vect_\infty(X) is the \infty-groupoid of equivariant \infty-vector bundles on X 0X_0,

where the equivariance in question is that encoded by the inclusion X 0XX_0 \hookrightarrow X.

This is notably relevant for the fundamental ∞-groupoid:

assume that our site SS is monoidal and equipped with a cosimplicial object, i.e. a functor Δ S:ΔS\Delta_S : \Delta \to S from the simplex category, such that Δ S[0]\Delta_S[0] is a generator of SS, then there is canonically the functor

Π:SH \Pi : S \to H

which sends each test object X 0X_0 to the (,1)(\infty,1)-presheaf that sends each domain VV to the VV-family version of the singular simplicial complex of UU:

Π(X 0):US(VΔ ,X 0). \Pi(X_0) : U \mapsto S(V \otimes \Delta^\bullet, X_0) \,.

The inclusion of the space of objects in Π(X 0)\Pi(X_0) is just X 0Π(X 0)X_0 \hookrightarrow \Pi(X_0). From the above we now have

  • H(X 0,Vect )=:Vect (X 0)H(X_0, Vect_\infty) =: Vect_\infty(X_0) is the \infty-groupoid of \infty-vector bundles on X 0X_0

  • H(Π(X 0),Vect )H(\Pi(X_0),Vect_\infty) =: Vect (Π(X))Vect_\infty(\Pi(X)) is the \infty-groupoid of Π\Pi-equivariant \infty-vector bundles on X 0X_0.

By unwrapping what ”Π\Pi-equivariance” means, one finds that this may equivalently be stated as

  • H(Π(X 0),Vect )H(\Pi(X_0),Vect_\infty) =: Vect (Π(X))Vect_\infty(\Pi(X)) is the \infty-groupoid of flat \infty-vector bundles with connection on X 0X_0.

It should be noted here that we can combine different levels of equivariance:

we may left Kan extend Π:SH\Pi : S \to H along the inclusion SHS \hookrightarrow H to a functor Π:HH\Pi : H \to H, so that for XX itself n \infty-orbifold of sorts, Π(X)\Pi(X) is the fundamental \infty-groupoid of that. We still have a canonical inclusion XΠ(X)X \hookrightarrow \Pi(X). If moreover X 0XX_0 \hookrightarrow X is the inclusion from above, we have

  • H(X 0,Vect )=:Vect (X 0)H(X_0, Vect_\infty) =: Vect_\infty(X_0) is the \infty-groupoid of \infty-vector bundles on X 0X_0

  • H(X,Vect )=:Vect (X)H(X, Vect_\infty) =: Vect_\infty(X) is the \infty-groupoid of equivariant \infty-vector bundles on X 0X_0;

  • H(Π(X),Vect )H(\Pi(X),Vect_\infty) =: Vect (Π(X))Vect_\infty(\Pi(X)) is the \infty-groupoid of equivariant \infty-vector bundles on X 0X_0 with flat connection.

Morphisms from the fundamental ∞-groupoid are also called local systems.

2.4 derived loop spaces

Of particular interest in this study of geometric \infty-function theory is the behaviour of \infty-functions on loop spaces. The (,1)(\infty,1)-category C(ΛX)C(\Lambda X) of \infty-functions on the free loop space ΛX\Lambda X of a sufficiently nice generalized space (a perfect ∞-stack) XX turns out to be the ∞-trace? or ∞-center? of that of XX

C(ΛX)Tr(C(C))Tr(CX). C(\Lambda X) \simeq Tr( C(C)) \simeq Tr (C X) \,.

which in turn are identified with the \infty-version of ∞-Hochschild homology?

Tr(C(X)):=HH *(C(X)):=C(X) C(X)C(X) opC(X) Tr(C(X)) := HH_*(C(X)) := C(X) \otimes_{C(X)\otimes C(X)^{op}} C(X)

and ∞-Hochschild cohomology?

Z(C(X)):=HH *(C(X)):=End C(X)C(X) op(C(X)) Z(C(X)) := HH^*(C(X)) := End_{C(X) \otimes C(X)^{op}}(C(X))

of XX.

All these statements, powerful as they are, become trivialities, due to the naturality of the language that we are using, once we realize the following:

homotopy pullbacks and loop space objects

one of the central crucial facts of higher category theory is that

the fiber product of a point with itself is not the point, but the loop space object based at the point:

let x:*Xx : * \to X be a morphism from the terminal object ** to some object XX in some \infty-category, then the \infty-categorical pullback of xx along itself is the based loop space object Ω xX\Omega_x X.

Ω xX * x * x X. \array{ \Omega_x X &\to& * \\ \downarrow &\Downarrow& \downarrow^x \\ * &\stackrel{x}{\to}& X } \,.

This should be intuitively quite clear: the \infty-pullback commutes only up to a 2-cell, a homotopy from the constant map on xx to the constant map on xx. But such a homotopy is nothing but a loop in XX, so Ω xX\Omega_x X is the object that remembers all possible ways to make this diagram commute up to a 2-cell.

Notice, by the way, that this phenomenon is the source of all “long exact sequences” that you’ll ever run into: if we are for instance in a stable (∞,1)-category, so that the terminal object ** is even a zero object, *=0* = 0, then a sequence

ABC A \to B \to C

is exact (a fibration sequence) if the first morphism is the kernel of the second, meaning that we have a pullback

A 0 B C. \array{ A &\to& 0 \\ \downarrow &\Downarrow& \downarrow \\ B &\to& C } \,.

But then, since \infty-pullback squares compose just as ordinary pullback squares do, further computing the kernel of the kernel ABA \to B does not produce 0, as it would in an ordinary abelian category, but produces loops in CC

ΩC A 0 0 B C \array{ \Omega C &\to& A &\to& 0 \\ \downarrow &\Downarrow& \downarrow &\Downarrow& \downarrow \\ 0 &\to& B &\to& C }

since the total (outer) diagram is of the form

ΩC 0 0 C. \array{ \Omega C &\to& 0 \\ \downarrow &\Downarrow& \downarrow \\ 0 &\to& C } \,.


  • the \infty-kernel of an \infty-kernel is not 0, but is loops.

Continuing this way one obtains long exact sequences

ΩB 0 Ω¯f ΩC A 0 0 B f C \array{ \Omega B &\to& 0 \\ \downarrow_{\bar \Omega f} && \downarrow \\ \Omega C &\to& A &\to& 0 \\ \downarrow &\Downarrow& \downarrow &\Downarrow& \downarrow \\ 0 &\to& B &\stackrel{f}{\to}& C }

induced from the single map f:BCf : B \to C.

For the purposes of geometric \infty-function theory what is more relevant than this construction of based loop spaces as kernels is the construction of unbased loop space objects. By a similar reasoning, one finds that the free loop space ΛX\Lambda X of a generalized space XX is the \infty-pullback of the morphism XId×IdX×XX \stackrel{Id \times Id}{\to}X \times X along itself

ΛX X Id×Id X Id×Id X×X \array{ \Lambda X &\to& X \\ \downarrow && \downarrow^{Id \times Id} \\ X &\stackrel{Id \times Id}{\to}& X \times X }

The intuitive reasoning is the same as before, only that now we don’t fix a single point. For more details and in particular for descriptions and examples of how to explicitly compute these loops space objects by homotopy limits see the examples listed at

Notice that when we speak of “homotopy” in the above, we mean categorical homotopies. These loop space constructions see only homotopies which actually exist as morphisms. If it is isn’t clear what is meant by that statement, see the discusssion at constant ∞-stack for the two different perspectives on a topological space, once as a categorically discrete but topologically non-discrete object, once as a topologically discrete but categorically non-discrete object:

In order for the above homotopy pullbacks to compute the intended loop spaces of topological spaces, these topological spaces need to be regarded as the topologically discrete(!) ∞-groupoids they correspond to, i.e. as constant ∞-stacks.

Now, with the understanding of loop space objects as homotopy pullbacks understood, the above statement about \infty-Hochschild (co)homology becomes essentially a triviality:

we have

C(ΛX)C(X× X×XX) byloopspaceashomotopypullback C(X)× C(X)×C(X)C(X) byfundamentaltheoremofgeometricfunctiontheory HH *(C(X)):=:Tr(C(X)) bydefinitionoftrace/Hochschildhomology \begin{aligned} C(\Lambda X) \simeq C(X \times_{X \times X} X) & by\;\; loop \;\;space\;\; as \;\;homotopy\;\; pullback \\ \cdots \simeq C(X) \times_{C(X)\times C(X)} C(X) & by \;\;fundamental \;\;theorem \;\;of\;\; geometric \infty-function\;\; theory \\ \cdots \simeq HH_*(C(X)) :=: Tr(C(X)) & by \;\;definition \;\;of \;\;trace/ Hochschild homology \end{aligned}

or equivalently

C(ΛX)C(X× X×XX) byloopspaceashomotopypullback Fun C(X)(C(X),C(X)) byfundamentaltheoremofgeometricfunctiontheory HH *(C(X)):=:Z(C(X)) bydefinitionofcenter/Hochschildcohomology \begin{aligned} C(\Lambda X) \simeq C(X \times_{X \times X} X) & by \;\;loop\;\; space\;\; as\;\; homotopy\;\; pullback \\ \cdots \simeq Fun_{C(X)}(C(X), C(X)) & by \;\;fundamental \;\;theorem \;\;of \;\;geometric \infty-function \;\;theory \\ \cdots \simeq HH^*(C(X)) :=: Z(C(X)) & by \;\;definition \;\;of \;\;center/Hochschild cohomology \end{aligned}

2.5 E nE_n-structures

While for an ordinary monoids there is just one notion of commutativity (either it is or it is not commutative), already a monoidal category distinguishes between being just braided monoidal or fully symmetric monoidal.

This pattern continues, as expressed by the periodic table of k-tuply monoidal categories.

A higher category may be a k-tuply monoidal n-category or more generally k-tuply monoidal (n,r)-category for different values of kk. The lowest value of k=1k= 1 (since for k=0k = 0 there is no monoidal structure at all) corresponds to monoidal product which is \infty-associative, i.e. associative up to higher coherent homotopies, but need not have any degree of commutativity.

One says that an nn-category is symmetric monoiodal if it is “as monoidal as possible”, i.e. \infty-tuply monoidal. In particular, in Noncommutative algebra and Commutative algebra Jacob Lurie describes

It turns out that the monoidal (,1)(\infty,1)-categories that we are concerned with here in general have a tuplicity of monoidalness (heh) in between 1 and \infty:

For each 1n1 \leq n \leq \infty let E nE_n denote the little n-disk operad whose topological space of E n kE_n^k of kk-ary operations is the space of embedding of kk nn-dimensional disks (balls) in one nn-dimensional disk without intersection, and whose composition operation is the obvious one obtained from gluing the big outer disks into given inner disks.

In John Francis’ PhD thesis (reference EnAction below ) the theory of (∞,1)-categories equipped with an action of the E nE_n-operad is established, so that

  • (,1)(\infty,1)-categories with an E 1E_1-action are precisely monoidal (∞,1)-categories – 1-fold monoidal (,1)(\infty,1)-categories;

  • (,1)(\infty,1)-categories with an E E_\infty-action are precisely symmetric monoidal (∞,1)-categories\infty-tuply monoidal (,1)(\infty,1)-categories;

  • (,1)(\infty,1)-categories with an E nE_n-action for 1<n<1 \lt n \lt \infty are the corresponding nn-tuply monoidal (,1)(\infty,1)-categories in between.

Remark The second statement is example 2.3.8 in EnAction. The first seems to be clear but is maybe not in the literature. Jacob Lurie is currently rewriting Higher Algebra such as to build in a discussion of E nE_n-operadic structures in the definition of kk-tuply monoidal (,1)(\infty,1)-categories.

Now, since geometric \infty-function theory is indeed geometric, we obtain a simple but powerful statement about the kk-tupliness (heh) of the monoidal structure on our (,1)(\infty,1)-category of \infty-functions C(X)C(X) of a space XX:

As described above, by the fundamental theorem of geometric \infty-function theorey , higher traces on C(X)C(X) corresponds to forming higher loop spaces of XX. More generally, the E nE_n-center Z E n(C(X))Z_{E_n}(C(X)) of C(X)C(X) may be taken to be C([S n,X])C([S^n,X]), where [S n,X][S^n, X] is my notation for the nn-sphere space of the generalized space XX. But there is,

  • by construction, a natural action of E n+1E_{n+1} on [S n,X][S^n,X];

  • accordingly, a natural action of E n+1E_{n+1} on C([S n,X])C([S^n,X]);

  • accordingly, due to the fundamental theorem a natural action of E n+1E_{n+1} on Z E n(C(X))Z_{E_n}(C(X)).

Again, due to the good formalism, this statement becomes almost a tautology. Notice that this statement is otherwise known as the Kontsevich conjecture, which categorifies the Deligne conjecture.

For more on this see also the blog entry

and in particular David Ben-Zvi’s comments to that.

Okay, this entire section here needs more details and in particular more links to nLab entries with more details.

3. perfect stacks

In this section of the paper, the notion of a perfect ∞-stack is defined, which is the general context in which the ideas of geometric \infty-function theory apply thoroughly without modifications.

In general, for any derived stack XX one can define the (,1)(\infty, 1)-category QC(X)QC(X) of ‘functions on XX’. One writes XX as a colimit of affine derived schemes Xcolim UAff /XUX \simeq colim_{U \in Aff_{/X}} U and then one sets

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

where QC(U)QC(U) for an affine stack U=SpecAU = Spec A is simply defined as Mod AMod_A.

One incarnation of derived stack in differential geometry is as an ω\omega-groupoid internal to differential graded manifolds. Since differential graded manifolds are ‘affine’, in the sense that knowledge of global functions is sufficient to determine the manifold, the limit construction above is not necessary. Hence, for such a derived stack (an ω\omega groupoid XX internal to differential graded manifolds) we can more simply set

(2)QC(X)=smoothωfunctorsfromXtochaincomplexes QC(X) = smooth \omega-functors from X to chain complexes

since the latter plays the role of a ‘derived \mathbb{C}-module’.

Bruce: I’m shooting in the dark here with this ω\omega-groupoid sentence above. Am I right? What does that boil down to concretely?

A derived stack XX is perfect when QC(X)QC(X) is ‘finitely generated’ in an appropriate sense. One first has to decide what means by a ‘finite object’, and then one must decide what it means for QC(X)QC(X) to be ‘generated’ by these objects. There are various routes one could take, but happily in the context of perfect stacks these all turn out to be equivalent. (In fact, it seems more or less true that perfect stacks are precisely those stacks where these various requirements coincide).

definition of a perfect stack

base change and projection formula

constructions of perfect stacks

4. Tensor products and integral transforms

Classical algebra is all about constructions in the category Ab of abelian groups. A ring RR in the usual sense is a monoid object in Ab, i.e. an object RAbR \in {\mathbf Ab} together with multiplication and unit morphisms m:RRRm: R \otimes R \rightarrow R and η:R\eta: \mathbb{Z} \rightarrow R so that we have commutativity of appropriate diagrams expressing associativity and unity. Likewise, a right module MM over RR in the usual sense is an object MAbM \in {\mathbf Ab} together with an action morphism a:MRMa: M \otimes R \rightarrow M such that appropriate diagrams commute, and similarly for left modules.

Brave new algebra is about constructions in the stable (∞,1)-category of spectra S S_{\infty}, which, like Ab, is closed symmetric monoidal (under smash product of spectra) and (co) complete. This means that we can consider algebra objects RR and commutative algebra objects AA in S S_{\infty}, as well as modules over them.

Even more generally, one can develop a fearless new algebra in which we consider some closed, symmetric monoidal and (co)complete \infty-category CC and algebras and commutative algebras in it (see higher algebra). For our purposes, we take CC to be Pr LPr^{L}, the \infty-category of presentable (∞,1)-categories with morphisms given by colimit preserving functors. (More on the closed monoidal structure below.)

The particular algebra objects in Pr LPr^{L} of interest to BZFN are stable (∞,1)-categories QC(X)QC(X) of quasi-coherent sheaves on a perfect derived stack XX (the homotopy category of QC(X)QC(X) being the good old-fashioned derived category of quasi-coherent sheaves). Here QC(X)QC(X) is symmetric monoidal under the usual tensor product of quasi-coherent sheaves. Given two perfect derived stacks X 1,X 2X_{1}, X_{2}, consider the diagram

X 1×X 2 p 1 p 2 X 1 X 2 \array{ && X_1 \times X_2 \\ & {}^{p_1}\swarrow && \searrow{}^{p_2} \\ X_1 &&&& X_2 }

Given an object 𝒫QC(X 1×X 2)\mathcal{P} \in QC(X_1 \times X_2), we can define a functor Φ 𝒫:QC(X 1)QC(X 2)\Phi_{\mathcal{P}}: QC(X_1) \rightarrow QC(X_2) by pulling-back along p 1p_1, tensoring with 𝒫\mathcal{P}, and then pushing-forward along p 2p_2. Thus given an object QC(X 1)\mathcal{F} \in QC(X_1), we have Φ 𝒫():=p 2 *(p 1 *𝒫)\Phi_{\mathcal{P}}(\mathcal{F}):= {p_2}_{*}({p_1}^{*}\mathcal{F} \otimes \mathcal{P}). We think of this an integral transform of the sheaf \mathcal{F} with respect to the kernel 𝒫\mathcal{P}.

In fact, because of the naturality of the above operations, this process gives a functor

Φ:QC(X 1×X 2)Fun L(QC(X 1),QC(X 2)),\Phi: QC(X_1 \times X_2) \rightarrow Fun^{L}(QC(X_1), QC(X_2)),

where Fun L(QC(X 1),QC(X 2))Fun^{L}(QC(X_1), QC(X_2)) is the internal Hom in Pr LPr^{L} and consists of colimit preserving functors and their natural transformations.

The main result of section 4 of BZFN (which has been called above the fundamental theorem of geometric \infty-function theory)is that this functor and its cousins are equivalences. As a slogan:

integral transforms = colimit preserving functors

This was first proved in the context of differential graded categories by Toën, building on work of Bondal, Orlov, and others. Note that one can define a functor Φ\Phi in the same way at the level of triangulated categories, but it is known to be badly behaved, and in fact could not be well-behaved, since we do not know how to make the category of triangulated categories into a closed symmetric monoidal category.

4.1 Tensor products of \infty-categories

In order to be more precise, we need to look at the closed, symmetric monoidal structure on Pr LPr^{L}, as developed by Jacob Lurie DAG II.4 and DAG III.6. The internal hom between two presentable (∞,1)-categories C,DC,D is Fun L(C,D)Fun^{L}(C,D), which consists of colimit preserving (∞,1)-functors. To construct it, one considers CC and DD as quasi-categories or weak Kan complexes. Functors from CC to DD are just maps of simplicial sets, so the (∞,1)-category of (∞,1)-functors from CC to DD is just the simplicial set of maps (internal Hom in simplicial sets) Fun(C,D)Fun(C,D). This is indeed an \infty-category again, whenever DD is an \infty-category/weak Kan complex. Now inside of Fun(C,D)Fun(C,D), we take the \infty-subcategory spanned by 00-simplices representing colimit preserving functors to get Fun L(C,D)Fun^{L}(C,D).

Chris: (If there is some inaccuracy noted by anyone, feel free to comment. I might have forgotten some fibrant or cofibrant replacement somewhere.)

For the tensor product of presentable (∞,1)-categories we construct the \infty-category CDC \otimes D which is ‘the universal recipient of a bilinear functor’ from C×DC \times D. Here, we think of coproducts in CC and DD as addition, so if a functor C×DEC \times D \rightarrow E preserves colimits in each variable, then in particular it preserves coproducts and so is ‘bilinear’. Such a bilinear functor will factor uniquely (in a homotopic sense) through a universal bilinear functor C×DCDC \times D \rightarrow C \otimes D, just like for bilinear maps and tensor products of abelian groups.

Now given the above closed symmetric monoidal structure on Pr LPr^{L} and since Pr LPr^{L} also has limits and colimits, we can have all kinds of fun. For instance, given an algebra object RPr LR \in Pr^{L}, a right RR-module MPr LM \in Pr^{L}, and a left RR-module NPr LN \in Pr^{L}, we can form their relative tensor product over RR, M RNPr LM \otimes_R N \in Pr^{L} as the coequalizer of the pair of functors

MRNαβMNM \otimes R \otimes N \underoverset{\alpha}{\beta}{\rightrightarrows} M \otimes N

where α\alpha is the action of RR on the right of MM and β\beta is the action of RR on the left of NN. (This generalizes the relative tensor product of modules over a ring in the category of abelian groups, which is defined to have exactly this coequalizing property.)

In section of 4.1 BZFN, there are various results, which are consequences of the (∞,1)-categorical Barr–Beck theorem.

Chris: They seem interesting and useful, but I don’t seem to need them just at the moment, so I’ll come back to them some other time.

4.2 Sheaves on fiber products

In our present context, we consider a morphism of perfect derived stacks q:XYq: X \rightarrow Y. By pulling-back along qq and tensoring, we make M=QC(X)M=QC(X) into a R=QC(Y)R=QC(Y)-module. To see this, note that the functor (?)q *(?):QC(X)×QC(Y)QC(X)(?) \otimes q^{*}(?): QC(X) \times QC(Y) \rightarrow QC(X) is indeed bilinear since pullback q *q^{*} is the left adjoint of pushforward q *q_{*}, so preserves colimits, as does \otimes, being the left adjoint of the internal Hom of sheaves (‘sheaf’ or ‘local’ Hom). Thus by the universal property of the tensor product of (,1)(\infty,1)-categories, we do indeed get an action functor QC(X)QC(Y)QC(Y)QC(X) \otimes QC(Y) \rightarrow QC(Y).

Now given a pair of perfect derived stacks X 1,X 2X_1, X_2 over YY, we get two R=QC(Y)R=QC(Y)-modules M=QC(X 1)M=QC(X_1) and N=QC(X 2)N=QC(X_2) (left and right don’t matter here, since R=QC(Y)R=QC(Y) is symmetric monoidal) and we can form their relative tensor product

QC(X 1) QC(Y)QC(X 2).QC(X_1) \otimes_{QC(Y)} QC(X_2).

Now we can define a functor

:=p 1 *?p 2 *?:QC(X 1) QC(Y)QC(X 2)QC(X 1× YX 2).\boxtimes:={p_1}^{*}? \otimes {p_2}^{*}?: QC(X_1) \otimes_{QC(Y)} QC(X_2) \rightarrow QC(X_1 \times_Y X_2).

(We see that the above functor is bilinear (since pullbacks and tensor products preserve colimits) and coequalizes the action of QC(Y)QC(Y) on QC(X 1)QC(X_1) and QC(X 2)QC(X_2) (by commutativity of the fibre product diagram), so \boxtimes does indeed define a functor.)

The first step in proving that ‘integral transforms=colimit preserving functors’ is to show that \boxtimes is an equivalence. Then one has to show that QC(X 1)QC(X_1) is self-dual as a QC(Y)QC(Y)-module, and so conclude that

QC(X 1) QC(Y)QC(X 2)QC(X 1) * QC(Y)QC(X 2)Fun Y L(QC(X 1),QC(X 2)).QC(X_1) \otimes_{QC(Y)} QC(X_2) \simeq QC(X_1)^{*}\otimes_{QC(Y)} QC(X_2)\simeq Fun_{Y}^{L}(QC(X_1),QC(X_2)).

As an intermediate step, BZFN first establish an equivalence :QC(X 1) cQC(X 2) cQC(X 1×X 2) c\boxtimes: QC(X_1)^{c} \otimes QC(X_2)^{c} \simeq QC(X_1 \times X_2)^{c}, where the superscript cc denotes the \infty-subcategories of compact objects. (Here, we use the tensor product of small, stable idempotent complete \infty-categories QC(X 1) cQC(X 2) cQC(X_1)^{c} \otimes QC(X_2)^{c}, which is just like that for presentable \infty-categories except that bilinear functors are only required to preserve finite colimits.) Proposition 3.22 established that the external product \otimes takes compact objects to compact objects, so we do get a functor as above, and that the category QC(X 1×X 2) cQC(X_1 \times X_2)^{c} is generated by external products. To prove that \boxtimes is an equivalence, it is therefore sufficient to prove that for M i,N iQC(X i)M_i,N_i \in QC(X_i), we have a natural isomorphism

Hom X 1×X 2(M 1M 2,N 1N 2)Hom X 1(M 1,N 1)Hom X 2(M 2,N 2),Hom_{X_1 \times X_2}(M_1 \boxtimes M_2, N_1 \boxtimes N_2) \simeq Hom_{X_1}(M_1, N_1) \otimes Hom_{X_2}(M_2, N_2),

which is a nice exercise using the dualizability of the M iM_i and the projection formula.

Having established the equivalence :QC(X 1) cQC(X 2) cQC(X 1×X 2) c\boxtimes: QC(X_1)^{c} \otimes QC(X_2)^{c} \simeq QC(X_1 \times X_2)^{c}, we can now establish the equivalence without the superscript cc. Since (by definition of a perfect stack) Ind(QC(X i) c)QC(X i)Ind(QC(X_i)^{c})\simeq QC(X_i) and the fact (Proposition 4.4) that Ind:IdemPr LInd: Idem \rightarrow Pr^{L} from small idempotent complete stable \infty-categories to Pr LPr^{L} is symmetric monoidal, we get that

QC(X 1)QC(X 2)Ind(QC(X 1) cQC(X 2) c)Ind(QC(X 1×X 2) c)QC(X 1×X 2).QC(X_1) \otimes QC(X_2) \simeq Ind(QC(X_1)^{c} \otimes QC(X_2)^{c}) \simeq Ind(QC(X_1 \times X_2)^{c}) \simeq QC(X_1 \times X_2).

This gives the absolute version of the equivalence we want. To make it relative over YY, one has to think about how to actually compute QC(X 1) QC(Y)QC(X 2)QC(X_1) \otimes_{QC(Y)} QC(X_2) and X 1× YX 2X_1 \times_{Y} X_2 in concrete terms. For the former, you use Barr-Beck and realize the category as modules for the monad π *π *\pi_{*}\pi^{*}, where π:X 1× YX 2X 1×X 2\pi: X_1 \times_{Y} X_2 \rightarrow X_1 \times X_2. For the latter, you realize the fibre product as the limit of a cosimplicial diagram. Then some comparision takes place. It would be hard to give a nicer, more concise explanation than in BZFN, so for further details, take a look.

Now given the equivalence :QC(X 1) QC(Y)QC(X 2)QC(X 1× YX 2)\boxtimes: QC(X_1) \otimes_{QC(Y)} QC(X_2) \rightarrow QC(X_1 \times_Y X_2), it remains to see that given a morphism p:XYp: X \rightarrow Y of perfect stacks, QC(X)QC(X) is self-dual as a QC(Y)QC(Y)-module. For this, we use the already established equivalence QC(X) QC(Y)QC(X)QC(X× YX)QC(X) \otimes_{QC(Y)} QC(X) \simeq QC(X \times _Y X). To establish self-duality, we need to define a trace τ:QC(X) QC(Y)QC(X)QC(Y)\tau: QC(X) \otimes_{QC(Y)} QC(X) \rightarrow QC(Y) and unit u:QC(Y)QC(X) QC(Y)QC(X)u: QC(Y) \rightarrow QC(X) \otimes_{QC(Y)} QC(X) so that the composition idτuid:QC(Y)QC(Y)id \otimes \tau \circ u \otimes id: QC(Y) \rightarrow QC(Y) is the identity. To do this, consider the relative diagonal morphism Δ:XX× YX\Delta: X \rightarrow X \times_Y X and define u=Δ *p *u=\Delta_{*}\p^{*} and τ:p *Δ *\tau: p_{*}\Delta^{*}. Then a diagram chase and the base-change formula show that uu and τ\tau satisfy the necessary conditions.

The final result from this section, Corollary 4.12, is useful for the applications to topological field theory:

Given a finite simplicial set Σ\Sigma a perfect stack XX, we may form the mapping stack X ΣX^{\Sigma}, which is again perfect. Then there is an equivalence QC(X Σ)QC(X)ΣQC(X^{\Sigma}) \simeq QC(X) \otimes \Sigma.

Chris:Haven’t thought this through. Someone may comment, or I’ll come back to it later.

4.3 Geometric base stacks

The ‘fundamental theorem’ described above can be extended to the case where X 1YX_1 \rightarrow Y is a perfect morphism of geometric stacks (X 1X_1 and YY need not be absolutely perfect) and X 2YX_2 \rightarrow Y is an arbitrary morphism of stacks.

Bruce: What’s a geometric stack?

Chris: A stack is geometric if it is quasi-compact (any open cover has a finite sub-cover) and the diagonal morphism is representable and affine, though that probably doesn’t help much. I don’t know much about stacks yet, but maybe someone else can explain this. I think the point is that one needs some hypotheses to actually prove stuff for stacks.

5. Applications

In this section, BZFN study the categorical center Z\mathit{Z} and trace Tr\mathit{Tr} of presentable mononoidal \infty-categories, which will be defined as analogues of some classical algebraic notions.

Two geometric cases are of special interest.

When the monoidal category is QC(X)QC(X), then there are equivalences

Z(QC(X))QC(LX)Tr(QC(X)),\mathit{Z}(QC(X))\simeq QC(LX) \simeq \mathit{Tr}(QC(X)),

where LX=X× X×XXLX=X \times_{X \times X} X, the derived loop space of XX.

When the monoidal category is QC(X× YX)QC(X \times_Y X) equipped with convolution, then there is an equivalence

Z(QC(X× YX))QC(LY)\mathit{Z}(QC(X \times_Y X))\simeq QC(LY)

and once Grothendieck duality has been worked out for derived stacks, then there will be another equivalence

QC(LY)Tr(QC(X× YX)).QC(LY) \simeq \mathit{Tr}(QC(X \times_Y X)).

The categorical center is a generalization of lots of things: the center of an algebra, the Hochschild cochain complex of an algebra, the Drinfeld double of a monoidal category… It turns out to be an E 2E_2-category, the \infty-categorical version of a braided monoidal category. That’s probably explained in section 6.

Some background

Let’s start with a good old-fashioned algebra AA (an algebra object in AbAb of VectVect). We can form the center Z(A)Z(A) of AA, which again is a commutative algebra. One can also form the endomorphisms of AA as a bimodule over itself: End AA op(A)End_{A \otimes A^{op}}(A). The natural homomorphism

Z(A)End AA op(A)Z(A) \rightarrow End_{A \otimes A^{op}}(A)

that sends a central element xx to multiplication by xx is an isomorphism of algebras (multiplication by xx is indeed a bimodule endomorphism since xx is central and every bimodule endomorphism φ\varphi is of this form since it is determined by φ(1)=x\varphi(1)=x).

If we consider AA as an algebra object in the (dg enhanced) derived category of AbAb, then we can also consider the derived endomorphisms of AA as an AA-bimodule, which is a dg algebra (defined up to quasi-isomorphism) that we may think of as the derived center of AA:

RHom AA op(A,A).RHom_{A \otimes A^{op}}(A,A).

The cohomology of this dg algebra is a graded algebra known as the Hochschild cohomology of AA. Its zeroth graded piece is of course just the classical center Z(A)=End AA op(A)Z(A)=End_{A \otimes A^{op}}(A).

To compute RHom AA op(A,A)RHom_{A \otimes A^{op}}(A,A) in practice, one has take a projective resolution of the first entry AA as an AA-bimodule and then write down the complex of HomHoms from this resolution to AA. The standard such resolution is the ‘bar resolution’ of AA, which is built using the functor

L=A?:ModA opModAA op,L=A \otimes ?: Mod A^{op} \rightarrow Mod A \otimes A^{op},

which is left adjoint to the forgetful functor R:ModAA opModA opR:Mod A \otimes A^{op} \rightarrow Mod A^{op}. Then LRLR is a comonad on ModAA opMod A \otimes A^{op} and so applying it to AA gives (in the usual way) an augmented simplicial object whose kkth term is A k+1A^{\otimes k+1}. In particular, the 1-1st term is just AA. By taking alternating sums of the face maps, one gets a complex C *(A)C_*(A) of free AA-bimodules that can be shown to be exact and so provides a resolution of AA. Then the HomHom complex

Hom AA op(C *(A),A)Hom_{A \otimes A^{op}}(C_*(A),A)

is known as the Hochschild cochain complex of AA and provides the standard model for the derived center of AA.

Now for the categorical trace. Given two bimodules M,NM,N we can form their relative tensor product M AA opNM \otimes_A\otimes A^{op} N, giving a new bimodule. We think of this operation as a ‘bilinear pairing’ on the category of bimodules (remember, bilinear=colimit preserving). We could also take tensor product in the derived category of bimodules, which in practice requires that we resolve one of MM or NN by flat (or a fortiori free) AA-bimodules, and so get a derived pairing of bimodules. In particular, we could take the derived pairing of AA with itself as an AA-bimodule to get the Hochschild chain complex

A AA opC *(A),A \otimes_{A \otimes A^{op}} C_*(A),

whose homology is the Hochschild homology of AA.

Centers and traces

The above constructions can be carried over to algebra objects AA in a closed symmetric monoidal \infty-category 𝒞\mathcal{C}. In particular, we consider C=Pr LC=Pr^{L}, the \infty-category of presentable \infty-categories.

We define the categorical center to be the endomorphism object

End AA op(A)Pr L,End_{A \otimes A^{op}}(A) \in Pr^{L},

where we consider AA as module-category over itself on the left and on the right and we compute the internal HomHom in Pr LPr^{L} of AA with itself as bimodule.

Also we define the categorical trace to the the pairing object

A AA opAA \otimes_{A \otimes A^{op}} A

of AA with itself as a bimodule, using the tensor product in Pr LPr^{L} and then coequalizing the left and right actions of AA on itself to form the relative tensor product.

Centers of convolution categories

higher centers

epilogue: topological field theory

topological field theory from perfect stacks

Deligne-Kontsevich conjectures for derived centers

Character Quantum Field Theory

and so on

Background literature

For the general (∞,1)-categorical formalism

For the stable aspects

For the monoidal aspects

For the general TQFT background and in particular see

In particular see also the beginning of section 4.1 there for more on E nE_n-monoidal (,1)(\infty,1)-categories.

For more details on loop space objects for derived stacks

John Francis’ work on actions of the little k-cubes operad on (,1)(\infty,1)-categories is here

For more related material see Northwestern TFT Conference 2009.

Revised on July 7, 2013 22:57:51 by Urs Schreiber (