28
$\begingroup$

Recently I was told (by an algebraic geometer) that when algebraic geometers look at the Calculus of Functors, they think of stacks.

When I look at the Calculus of Functors, I see a categorification of polynomial approximation. While I am at best a beginner at algebraic geometry, I would like to understand why he is saying this.

My motivation is twofold. First, I want to know why he is saying this, and second, because I am beginning to learn about stacks, and I want to come at it with some intuition. I have pursued the obvious routes of reading about them in general (such as Tolland's Blog Post).

Specifically, my question is

How does one see Calculus of Functors as stacks?

A secondary question,

Is there some highly degenerate way to look at stacks to see polynomial approximation?

Thanks!

$\endgroup$
12
  • 1
    $\begingroup$ I have no clue about question one, although of course I am curious. In question two, what do you mean by "degenerate"? $\endgroup$ Jul 27, 2010 at 0:44
  • 8
    $\begingroup$ You're probably more likely to get answer if you give some idea of what the calculus of functors is. $\endgroup$
    – JBorger
    Jul 27, 2010 at 1:34
  • 16
    $\begingroup$ Calculus of functors is an organizing principle in homotopy theory. It is named for an analogy with (differential) calculus. Calculus is concerned with approximating functions by linear functions; functor calculus is concerned with approximating functors of a certain kind by a special kind of functor that may be called linear. Linearity of functions is a lot like a sheaf condition, in a way, so I can see that it might suggest descent. Like calculus, functor calculus has nth degree Taylor polynomials, not just for n=1. That's the sense of "polynomial approximation" here. $\endgroup$ Jul 27, 2010 at 2:50
  • 10
    $\begingroup$ There's a pretty good wikipedia page on the topic here : en.wikipedia.org/wiki/Calculus_of_functors (n.b. : the above exchange between Bischof and Goodwillie may become clearer once the reader learns that the calculus of functors is often known as the Goodwillie Calculus). $\endgroup$ Jul 27, 2010 at 4:22
  • 7
    $\begingroup$ The "homotopy calculus" of functors from Top to Top (or to Spectra) doesn't look a whole lot like stacks to me, but the "manifold calculus" of space-valued functors on some poset of subspaces of a manifold M does look very much like stacks to me. When I last thought about this (which was during Tom's talks at the Georgia topology conference), it looked kind of as though there was a hierarchy of different Grothendieck topologies on that poset of subspaces, and an nth degree polynomial functor was a stack relative to the nth topology. $\endgroup$ Jul 27, 2010 at 4:27

2 Answers 2

22
$\begingroup$

Consider an arbitrary site (or an ∞-site) S. In fact, the constructions below only depend on the underlying topos (or ∞-topos) T of S, and not on S itself. Below “sheaf”, “∞-sheaf”, “stack”, and “∞-stack” are all synonyms for presheaves (of spaces) that satisfy homotopy descent.

The nth Weiss topology (n≥0 or n=∞) on T is defined by declaring a family {U_i→X} to be a covering family if its kth cartesian power {U_i^k→X^k} is a covering family of X^k in T for any 0≤k≤n. If m≤n, then the mth topology contains the nth topology. The category of n-polynomial functors is defined to be the category of sheaves in the nth Weiss topology. The 1st Weiss topology almost coincides with the original topology (for k=0 we see that the empty cover (of the intitial object) is excluded from the 1st Weiss topology), so a sheaf in the ordinary sense is a sheaf in the 1st Weiss topology that is reduced.

Given a presheaf F on T, i.e., a functor T^op→Spaces (one can also take Sets or any other nice target category), we define the nth Taylor approximation T_n(F) as the sheafification of F in the nth Weiss topology. We have a canonical tower F→T_∞(F)→⋯→T_n(F)→⋯→T_0(F).

If S is the site of manifolds (or the cartesian site), we recover the manifold calculus.

If S is the ∞-site of manifolds (i.e., enriched in spaces, and T=Sh(S,sSet)=Fun(S^op,sSet)_descent is its ∞-topos), then we recover the enriched manifold calculus, as defined by Boavida and Weiss.

If S=sSet^op, we recover the homotopy calculus, provided that we replace Čech covers with hypercovers as explained in https://nforum.ncatlab.org/discussion/6946/weiss-topology-and-goodwillie-calculus/.

$\endgroup$
6
  • $\begingroup$ Sounds great. Should this answer come with a reference or with the announcement of a reference? $\endgroup$ Feb 9, 2016 at 11:00
  • 2
    $\begingroup$ @UrsSchreiber: I learned this material from Hiro Tanaka's notes Manifold calculus is dual to factorization homology. It is more-or-less explained in this way in the paper of Boavida and Weiss. $\endgroup$ Feb 9, 2016 at 11:58
  • 1
    $\begingroup$ Could we check the claim for Goodwillie calculus? Boavida-Weiss do not quite speak about that explicitly, do they. What exactly is the claim meant to be for this case? $\endgroup$ Feb 13, 2016 at 13:56
  • 1
    $\begingroup$ @UrsSchreiber: I answered on nForum. $\endgroup$ Feb 13, 2016 at 15:10
  • 1
    $\begingroup$ I don't think the nforum discussion substantiates the claim that the homotopy calculus comes from the Weiss topology -- just that it comes from some hypertopology related to the atomic topology. After all, the $n$th Weiss topology of the atomic topology is still the atomic topology. Of course, the manifold calculus does come from the Weiss topology. See comments #45-47 at the nforum discussion. $\endgroup$
    – Tim Campion
    May 21, 2018 at 16:03
4
$\begingroup$

EDIT:

  • Regarding the original question: I think that ultimately the sense in which functor calculus is like stacks is that we are peforming localizations of a functor category. Moreover, these localizations are left exact. This leads to similarities in how the localizations are described (via descent with respect to certain "covering" diagrams, which can be described as (hyper)covers if you like) and how the localizations are constructed. More on this below.

  • Regarding the analogy between manifold calculus and Goodwillie calculus: In both cases, we have a tower of localizations of a functor category $Fun(C,D)$. In both cases, we have natural descriptions of the localizations in terms of descent with respect to certain "covering" diagrams, and in both cases the tower of localizations corresponds to a filtration of the collection of "covering" diagrams for the strongest localization.

    But I don't think these filtrations arise in analogous ways. In the manifold calculus, the strongest localization comes from the usual Grothendieck topology on the site of manifolds: "covers" are Cech covers in the usual sense; the $n$th localization is at the subcollection of $n$-Weiss covers as described by Dmitri Pavlov. In the homotopy calculus, we start with a "cover" being any strongly cartesian cube in $Spaces^{op}$; the $n$th localization is obtained by restricting to cubes of dimension $\geq n+1$. There's no Weiss anything in sight.


Here is a nuts-and-bolts comparison, which I think lurks behind the Rezk / Lurie approach to Goodwillie calculus in Higher Algebra, 6.1.1. I'm comparing to 6.2.2 in Higher Topos Theory for the sheaf case.

  1. Recall that a functor $F: \mathcal C \to \mathcal D$ is $n$-excisive if it takes strongly cocartesian $n$-cubes to cartesian $n$-cubes. So what we have are a bunch of "covering" diagrams on $\mathcal C^{op}$ (given by the $n$-cubes which are strongly cocartesian in $\mathcal C$) and we are localizing $Fun(\mathcal (C^{op})^{op}, \mathcal D)$ with respect to these "covers", just like when we localize a category of presheaves at the "covers" of a Grothendieck topology to get sheaves.

  2. So much could be said of any localization, but the analogy extends further, to the way that the localization is computed. For sheafification, we have the Grothendieck plus construction $F^+(C) = \varinjlim_U \varprojlim_{C' \in U} F(C')$ where the colimit is over covers $U$ of $C$. The sheafification of $F$ is computed by iterating this construction [1]. In Goodwillie calculus we do exactly the same thing, but it's simpler because there's always a unique finest cover of any object $C \in \mathcal C$, namely the unique strongly cocartesian cube with $C$ at the initial vertex and the terminal object at all of the vertices adjacent to the terminal vertex. This construction is called $T_n(F)(C) = \varprojlim_{C'} F(C')$ where the limit is over the aforementioned finest cover (the colimit was computed by evaluating at the finest cover). We iterate this construction to produce the $n$th polynomial approximation $P_n(F)$.

  3. If you look at Lurie's treatment, the analogy extends further to the reasoning why this construction correctly computes the localization of $F$. In each case, one shows that the resulting functor is local by inputting a cover $U$ of an object $C$, and then factoring the natural transformation $FU \Rightarrow F^+U$ (resp. $FU \Rightarrow T_n(F)U$) through a limit diagram; applying this factorization to each $F^{+\alpha}U \Rightarrow F^{+\alpha^+}U$ (resp. $T_n^\alpha(F)U \Rightarrow T_n^{\alpha^+}(F)U$) produces a cofinal chain of limit diagrams [2]. Universality comes because the map $F \to F^+$ (resp. $F \to T_n(F)$) is local by construction.

  4. Then the verification that this localization is left exact proceeds in the same way in both cases: the construction $F \mapsto F^+$ (resp. $F \mapsto T_n(F)$) preserves finite limits because (finite) limits commute with limits [3]. Then the localization functor commutes is a filtered colimit of these functors, so it also commutes with finite limits, because finite limits commute with filtered colimits.


[1] In the case of ordinary sheaves, the iteration actually stabilizes after two steps, but in homotopical contexts it may need to be iterated transfinitely.

[2] In the sheaf case, we need to iterate long enough so that the colimit over the $F^{+\alpha}$'s commutes with th limit; in the Goodwillie case, we usually just assume we're in a situation where finite limits commute with filtered colimits, and then since our "covers" are finite, this suffices.

[3] In the sheaf case, we need to know that so do filtered colimits.

$\endgroup$
2
  • $\begingroup$ I think I see now: the analogy something that is also explained by Dmitri Pavlov: Grothendieck topologies and the notion of cover used in Goodwillie calculus both form what Dmitri Pavlov calls a "Grothendieck hypertopology", which (under certain conditions?) can be used to describe all left-exact localizations. $\endgroup$
    – Tim Campion
    May 11, 2018 at 15:28
  • 1
    $\begingroup$ Yes, in fact the homotopy calculus of functors can be obtained by taking ∞-sheaves in a hypertopology that is not induced by an ordinary Grothendieck topology. I edited my answer to indicate this explicitly. $\endgroup$ May 12, 2018 at 0:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.