nLab
motivation for sheaves, cohomology and higher stacks

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

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

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

structures in a cohesive (∞,1)-topos

The following is (supposed to be) a pedagogical motivation of the concepts sheaf, stack, infinity-stack and higher topos theory. It assumes only that the reader has a working knowledge of topological spaces and aims to provide from that an intuitive but useful idea of the relevance of the circle of ideas of categories and sheaves, cohomology, sheaf cohomology and a bit of higher topos theory.

Actually, the reader need not even know anything about topological spaces. The only assumption we need is that a space is something that has probes by test spaces (points, say). The reader can jump right to The basic idea of sheaves.

Contents

Motivation: maps between topological spaces

Classes of maps between topological spaces encode interesting information.

To pick just one example: there is a topological space that goes by the name K(,2)K(\mathbb{Z},2) or U(1)\mathcal{B}U(1) and is called an Eilenberg-Mac Lane space. It has the peculiar property that for any other space XX, the homotopy classes [X,U(1)][X, \mathcal{B}U(1)] of continuous maps from XX to U(1)\mathcal{B}U(1) characterize the following:

  • they correspond to equivalence classes of circle bundles over XX: that is, to spaces PP equipped with a map to XX such that over a contractible open subset UXU \subset X the space PP looks like the product of UU with the circle, P| UU×S 1P|_U \simeq U \times S^1 (and such that the identification respects the action of the group U(1)U(1) on the circle). One says that U(1)\mathcal{B}U(1) is the classifying space for circle bundles: [X,U(1)]{[X, \mathcal{B}U(1)] \simeq \{ circle bundles over X}/X \}/{\sim}.

    • one says that U(1)\mathcal{B}U(1) is the classifying space for circle bundles or that it represents the assignment of circle bundles to spaces – to some extent the topic of sheaves, and cohomology is all about the notion of such representability

    • A famous such circle bundle you may have seen is the Hopf bundle, which is a way to map the 3-dimensional sphere S 3S^3 to the familiar 2-dimensional sphere S 2S^2, such that over small parts US 2U \subset S^2 of the 2-sphere the 3-sphere looks like the product space U×S 1U \times S^1.

    • This particular circle bundle corresponds to a very special class of maps XU(1)X \to \mathcal{B}U(1): namely the collection of maps [S 2,U(1)][S^2, \mathcal{B}U(1)] happens to have the structure of the abelian group \mathbb{Z} of integers under addition, and the Hopf bundle corresponds to the the generating element 11 of this group;

    • generally, this abelian group formed by [X,U(1)][X, \mathcal{B}U(1)] is famous under another name: it is called the second integral cohomology group of XX, denoted H 2(X,)H^2(X, \mathbb{Z}).

  • There is a similar such cohomology group H n+1(X,)H^{n+1}(X,\mathbb{Z}) of XX for every natural number nn: the (n+1)(n+1)st integral cohomology group of XX – and all these groups are naturally realized in terms of homotopy classes of maps from XX into some topological space – called the Eilenberg-MacLane spaces K(,n+1)K(\mathbb{Z}, n+1) or nU(1)\mathcal{B}^{n} U(1) – and again each element in these groups can be identified with a certain geometric structure living over XX, called a circle nn-bundle or (n1)(n-1)-gerbe: [X, nU(1)]={[X, \mathcal{B}^{n} U(1)] = \{ circle nn-bundles on X}/X \}/{\sim}.

So these cohomology groups encode a lot of interesting information about topological spaces; but there is some useful information about a space, which is not encoded in maps from it to another topological space:

  • in particular, if the space XX in question is not just a topological space but carries extra structure, such as being a smooth manifold, then one is interested in smooth circle bundles over XX which are equipped with a connection \nabla: a good rule which assigns to each smooth path γ:xy\gamma : x \to y in XX an identification between the two circles over its endpoints;

    x S x 1 γ (γ) y S y 1 \array{ x && \stackrel{\nabla}{\mapsto} & S^1_x \\ \downarrow^\gamma &&& \downarrow^{\nabla(\gamma)} \\ y && \stackrel{\nabla}{\mapsto} & S^1_y }
    • this is the point where these considerations become of interest for physics: there bundles with connection, and then n-bundles, or (n1)(n-1)-gerbes, with connection encode gauge fields such as the electromagnetic field.

    • you might guess that there is a smooth manifold classifying smooth circle bundles with connection – but there is not, not unless one stretches the meaning of manifold and of space in general a bit

    • so maybe we just need a slightly more flexible notion of what “space” should mean.

  • the generalization of the notion of space which does accomplish this: the notion of a sheaf

    • (there is a very general abstract nonsense way to understand sheaves as generalized spaces in the context of a very general abstract duality between the notions of space and quantity. The following is an informal way to understand this).

The basic idea of sheaves

To understand what a sheaf is, recall which aspect of the notion of topological space was relevant in the above examples nU(1)\mathcal{B}^{n} U(1): these spaces were entirely characterized by how one can map other spaces into them:

X[X, nU(1)]. X \mapsto [X,\mathcal{B}^{n} U(1)] .

This is a general strategy that one can adopt: suppose I dream up a space but don’t tell you which one it is, but I give you hints: for each other space UU that you can dream up, I tell you how you can probe my space by mapping your space UU into it.

  • Let’s now call the space which I dreamed up XX, the generic symbol for spaces. For every space UU that you come up with, I do some secret computation and then present you with the result: I hand you a set, let’s call it X(U)X(U), and tell you that this is the set of ways that UU can be mapped into XX:

    X(U)={X(U) = \{ ways to map UU into some hypothetical X}X \}

      =: {probes of XX by UU}.

  • Will you be able, in general, to guess my space XX from this information UX(U)U \mapsto X(U)? No. So, to be fair, I should provide a bit more information. To actually get a feeling for what my space XX is like, you need to know something about how different ways of probing my space relate to each other.

  • If you give me a map UfVU \stackrel{f}{\to} V from one test space to another, then for any element VpXV \stackrel{p}{\to} X of X(V)X(V), I can produce an element UfVpXU \stackrel{f}{\to} V \stackrel{p}{\to} X of X(U)X(U). In other words, your map UVU \to V induces a transformation X(U)X(V)X(U) \leftarrow X(V). To be fair, I should tell you at least what this transformation is!

  • Well, fine: I’ll do it. If you give me a map UfVU \stackrel{f}{\to} V from one test space to another, I’ll give you a map of sets, denoted X(U)X(f)X(V)X(U) \stackrel{X(f)}{\leftarrow} X(V), that supposedly indicates how VV-probes of XX turn into UU-probes when you precompose them with ff.

Do you need still more information to guess my space XX? No, you have enough! This somewhat remarkable fact is closely related to a fundamental statement of category theory: the Yoneda lemma and its implication on representable functors. These terms will be discussed in a moment…

First, there is a bit more to the game than mentioned so far: you need to be sure that even if I won’t reveal my space XX to you directly, the little information about it which I do provide, that rule UX(U)U \mapsto X(U), I should provide honestly and consistently. Some consistency checks to assure that I am not just making things up but am giving you consistent information about my secret space XX are the following:

  • it must be true that when you hand me the identity map Id U:UUId_U : U \to U on a test space, that then I return you the identity map Id X(U):X(U)X(U)Id_{X(U)} : X(U) \to X(U) on the set of probes of XX by UU;

  • also, it must be true that when you first hand me two consecutive maps of test spaces, f:UVf : U \to V and g:VWg : V \to W, and then hand me their composite gf:UWg \circ f : U \to W, that my reply X(gf):X(W)X(U)X(g \circ f) : X(W) \to X(U) to the latter is the result of composing my two replies about the former: X(gf)=X(W)X(g)X(V)X(f)X(U)X(g \circ f) = X(W) \stackrel{X(g)}{\to} X(V) \stackrel{X(f)}{\to} X(U).

Such an assignment UX(U)U \mapsto X(U) of sets to spaces which satisfies the above two properties is what is called a presheaf: this, in turn, is nothing but what is called a functor on a category:

  • the category in question here is the collection of test topological spaces UU, called objects, equipped with continuous maps f:UVf : U \to V between them, called morphisms, which may be composed when their domains and targets match. This composition is associative in the obvious way and on every object UU there is an identity map Id U:UUId_U : U \to U, composition with which does nothing. This category is known by the name Top; Top={Top = \{ topological spaces and continuous maps between them} \}

  • the other category in the game, namely the category called Set whose objects are sets and whose morphisms are functions between sets: Set={Set = \{ sets and functions between them} \}

  • the probe-game which we are playing can hence be understood as being an assignment of objects in Set to objects in Top and of morphisms in Set to morphisms in Top which satisfies the above consistency conditions: this is called a contravariant Set-valued functor, or a presheaf, on Top and it is denoted X():Top opSetX(-) : Top^{op} \to Set

We say presheaf instead of just functor, even though taken at face value a presheaf is just a functor, to indicate that there is one further, more nontrivial consistency check on the information about probes of my secret space XX which you should do: it must be true that you can piece together the information which I give for small test spaces to deduce information about probes by bigger test spaces.

  • More precisely, if I tell you the set X(U)X(U) of probes of my secret space XX by the test space UU, and if you then chop up UU into two pieces V 1V_1 and V 2V_2 sitting inside UU by inclusion maps p i:V iUp_i : V_i \hookrightarrow U, with a bit of overlap V 1V 2V_1 \cap V_2, then it ought to be true that all the probes by UU in X(U)X(U) can be entirely and exactly be reconstructed from taking probes by V 1V_1 in X(V 1)X(V_1) and by V 2V_2 in X(V 2)X(V_2) and see if they match over the overlap V 1V 2V_1 \cap V_2 of the two small probes:

  • in symbols, the collection of pairs in {\{ matching maps from V 1V_1 and V 2V_2 to X}X(V 1)×X(V 2)X \} \hookrightarrow X(V_1) \times X(V_2) whose elements coincide when restricted to the overlap

    X(V 1)×X(V 2)restrictsecondelementrestrictfirstelementX(V 1V 2)X(V_1) \times X(V_2) \stackrel{\stackrel{restrict first element}{\to}}{\stackrel{restrict second element}{\to}} X(V_1 \cap V_2)

    should be exactly all the possible maps in X(U)X(U): {\{ matching probes of XX on V 1V_1 and V 2}X(U)V_2 \} \simeq X(U).

  • one says that the set {\{ matching probes of XX on V 1V_1 and V 2}V_2 \} is the equalizer of the two parallel morphisms

    X(V 1)×X(V 2)restrictsecondelementrestrictfirstelementX(V 1V 2): X(V_1) \times X(V_2) \stackrel{\stackrel{restrict first element}{\to}}{\stackrel{restrict second element}{\to}} X(V_1 \cap V_2) :

    the optimal solution to mapping into X(V 1)×X(V 2)X(V_1) \times X(V_2) such that these two maps become equal;

  • this condition is called a sheaf or descent condition: one thinks of the sheaf of descending from the cover to the base along the map (V 1V 2)p 1p 2U(V_1 \sqcup V_2) \stackrel{p_1 \sqcup p_2}{\to} U;

This now is a sensible game to play: I don’t tell you directly which space XX I am thinking of, but I do give you all the information UX(U)U \mapsto X(U) about its probes X(U)X(U) by test spaces UU, subject to the conditions that

  • X()X(-) is functorial and hence a presheaf;

  • X()X(-) satisfies descent and is therefore a sheaf

Sheaves more general than spaces

So far we have been talking about using topological spaces as probe spaces, hence about presheaves on the category Top. One can use other systems SS of test spaces as long as SS forms a category and such that there is an agreement about how some of its objects UU, can be covered by other objects, such as the V 1V_1 and V 2V_2 above. Such an agreement of what counts as a cover in a category is called a coverage or a Grothendieck topology, and a category equipped with such an information is called a site;

Here are some important examples:

  • A popular choice is to fix one particular topological space ZZ and probe all generalized spaces using only open subsets UZU \subset Z of ZZ. These open subsets form the category of open subsets S=Op(Z)S = Op(Z) and the choice of coverage is the obvious one. Sheaves on Op(Z)Op(Z) are generalized spaces over ZZ.

  • Another relevant choice is to use instead of all topological test spaces in the category Top all smooth manifolds as test spaces, in the category S=S = Diff.

  • Or the combination of these: the test spaces in the category Op(Z)Op(Z) for ZZ a smooth manifold.

We had motivated this language of sheaves as a reformulation of the familar notion of spaces in a somewhat more indirect form: a rule for how to probe a space. But now something strange happens: it turns out that there are collections of probe information X():S opSetX(-) : S^{op} \to Set which do obey the rules, i.e. do form a sheaf, but for which there is nevertheless no test space in SS that it describes probes into. And in fact, this is the generic case.

  • On the other hand, maybe this just means that our notion of “ordinary space” was a bit too restrictive: after all, we noticed that all that really matters usually are the ways we can probe a given space by other spaces; and that the information about such probes is useful if only it obeys the rules of being a sheaf.

  • So we have every justification then to regard sheaves in general as perfectly valid generalized spaces; or more precisely: we regard sheaves as rules for how to probe generalized spaces, and we take these generalized spaces to be entirely specified by their sheaves of probes.

Examples:

  • The notion of “generalized” here depends on the perspective of our probes. For the probe category of the form S=Op(Z)S = Op(Z) with ZZ a topological space, most sheaves are “generalized spaces” in that they do not describe maps into a space in SS, i.e. an open subset of ZZ. But every sheaf on Op(Z)Op(Z) can be shown to correspond to maps from ZZ to an ordinary topological space EE which is equipped with a continuous map p:EZp : E \to Z down to ZZ, such that pp is locally a homeomorphism. Such EE are called étale spaces over ZZ.

  • A sheaf on S=S = Diff is a generalized smooth space. These may be very different from ordinary manifolds and ordinary topological spaces. There are generalized smooth spaces with a single point and still many curves in them. In fact, the generalized classifying space for smooth circle bundles with connection that we are still after is of this form.

Maps between generalized spaces

Since we are thinking of sheaves F X:S opSetF_X : S^{op} \to Set and F Y:S opSetF_Y : S^{op} \to Set as characterizing ‘generalized spaces’ XX and YY, we better have a good notion of maps between sheaves F XF YF_X \to F_Y that corresponds to a sensible notion of maps XYX \to Y between generalized spaces.

That’s easy to figure out: if f:XYf : X \to Y is supposed to be a map between generalized spaces, whatever these are, then in particular it turns every probe pX(U)p \in X(U), of XX which we are thinking of as a probe map p:UXp : U \to X, to a probe fpY(U)f \circ p \in Y(U) of YY, which we should think of as the composite map fp:UpXfYf \circ p : U \stackrel{p}{\to} X \stackrel{f}{\to} Y that simply maps the image of UU in XX further to an image of UU in YY using the map f:XYf : X \to Y.

  • nota bene: for the time being there is no space XX such that thinking of probes pX(U)p \in X(U) as maps p:UXp : U \to X of some sort would literally make sense. However, once we impose some consistency conditions on the probe sets X(U)X(U) precisely this will make sense. And to motivate these consistency conditions in the first place, it is best to already think of probes pX(U)p \in X(U) as being maps p:UXp : U \to X.

  • so in terms of their collections (sheaves) of probes a map f:XYf : X \to Y of generalized spaces should be given for each probe space UU by a map of sets of probes f U:X(U)Y(U)f_U : X(U) \to Y(U), to be thought of as encoding the post-composition map f U:(UpX)(UpXfY)f_U : (U \stackrel{p}{\to} X) \mapsto (U \stackrel{p}{\to} X \stackrel{f}{\to} Y)

  • but we can also pre-compose: given a map ϕ:UV\phi : U \to V of test spaces, we also have the probe transformation map from above, X(ϕ):X(V)X(U)X(\phi) : X(V) \to X(U) which is to be thought of as acting by X(ϕ):(VpX)(UϕVpX)X(\phi) : (V \stackrel{p}{\to} X) \mapsto (U \stackrel{\phi}{\to} V \stackrel{p}{\to} X)

  • and we can combine both pre- and postcomposition and send (VpX)(UϕVpXfY)(V \stackrel{p}{\to} X) \mapsto (U \stackrel{\phi}{\to} V \stackrel{p}{\to} X \stackrel{f}{\to} Y)

  • in this notation it is manifestly clear that it must not matter whether we first pre- and then post-compose, or the other way around. But recall that so far writing p:VXp : V \to X for a probe pX(V)p \in X(V) is just notation. So we need to enforce the obvious here on our formalism explicitly, lest the interpretation of generalized spaces breaks down.

  • namely this means that the map X(V)f VY(V)ϕ *Y(U)X(V) \stackrel{f_V}{\to} Y(V) \stackrel{\phi^*}{\to} Y(U) which first turns a VV-probe of XX into a VV-probe of YY and then turns the result into a UU-probe of YY, must coincide with the map X(V)ϕ *X(U)f UY(U)X(V) \stackrel{\phi^*}{\to} X(U) \stackrel{f_U}{\to} Y(U) which first turns a VV-probe of XX into a UU-probe of XX and then turns the result into a UU-probe of YY.

  • Such an equality between two different composite maps is conveniently depicted as a square

    X(U) f U Y(U) X(ϕ) Y(ϕ) X(V) f V Y(V) \array{ X(U) &\stackrel{f_U}{\to}& Y(U) \\ \uparrow^{X(\phi)} && \uparrow^{Y(\phi)} \\ X(V) &\stackrel{f_V}{\to}& Y(V) }

    The fact that the two ways of going from the bottom left to the top right of the square are supposed to be equal is called. “the square commutes”, or “the square is commutative”.

So that then is our definition of maps f:XYf : X \to Y between generalized spaces XX and YY: if UX(U)U \mapsto X(U) and VX(V)V \mapsto X(V) are the probe-assignments that define XX and YY, then the map ff is defined by probe-transformations f U:X(U)Y(U)f_U : X(U) \to Y(U) such that for all maps ϕ:UV\phi : U \to V the above squares commute.

  • Such a collection of data is called a natural transformation between the probe-assigning functors X()X(-) and Y()Y(-). Clearly, its a transformation, and it being “natural” just means that it satisfies the obvious consistency condition we discussed.

With this understanding of maps between generalized spaces in hand, we should go back and compare it to the notion of probes of generalized spaces by ordinary spaces.

  • we had started the discussion with observing that every ordinary topological space XX defines a sheaf of probes by the assignment UX(U)U \mapsto X(U) := {maps from UU to XX} =: Maps(U,X)Maps(U,X).

  • this way every ordinary space is a generalized space, of course;

  • but that should make us nervous: because it means that now there are two different definitions of what a map from a test topological space UU to a topological space should be:

    • on the one hand, it should be an element in X(U)=Top(U,X)X(U) = Top(U,X), where TopTop indicates a set of maps of topological spaces;

    • on the other hand, we can regard both UU and XX as generalized spaces and then look at the set Sh(U,X)Sh(U,X) of maps of generalized spaces between them, as just discussed above;

    • if these two notions of maps don’t coincide, then the whole picture of generalized spaces so far runs into inconsistencies!

    • luckily it doesn’t, as one can check. Both notions of maps, while defined differently, happen to be perfectly equivalent. This statement is a simple exercise to prove, and still is the fundamental fact which makes the important idea of generalized spaces work – this fact is called the Yoneda lemma: it says that

      Top(U,X) =:X(U) =Sh(U,X) \begin{aligned} Top(U,X) &=: X(U) \\ & = Sh(U,X) \end{aligned}

      or more formally

      Hom Sheaves(U,X)X(U). Hom_{Sheaves}(U,X) \simeq X(U) .
  • as a slogan: The Yoneda lemma says that the idea of generalized spaces determined by their collections of probes is consistent.

This point is so important that it is worthwhile to build it into our very notation, so that we can’t help but think of the situation in this way.

  • We agree for any two generalized spaces XX and YY to write X(Y)X(Y) for the collection of maps from YY to XX: X(Y):=Sh(Y,X) X(Y) := Sh(Y,X), the set of maps of generalized spaces from YY to XX.

  • If Y=UY = U happens to be an ordinary space, then X(U)X(U) consistently and equivalently denotes both: the collection of probes of XX by the ordinary space UU, and the collection of maps of UU into XX, with UU regarded as a generalized space itself.

  • (This notation is for instance used in the book Categories and Sheaves, see page 25.)

And more: a topos of generalized spaces

It turns out that we can keep going this way. There is not just a natural notion of maps between generalized spaces given by sheaves, but every important type of operation on spaces has its analogs as an operation on sheaves: one says that sheaves form a topos: a place where we can go to study generalized homotopy theory, more general than the place of topological spaces, but where still all the crucial constructions familiar from topological spaces make sense.

Higher sheaves: \infty-stacks

Once we are at this point, we should go even a bit further: we have been talking about sets of probes X(U)X(U). But of course for XX a true topological space and UU a topological space, there is not just a set, but a topological space of maps UXU \to X (using the compact-open topology on spaces of continuous maps). So we should be looking at sheaves with values in topological spaces: functors X():S opTopX(-) : S^{op} \to Top satisfying some suitable condition.

There is only one thing we need to take care of, then: since a topological spaces is a bit more flexible than a plain set, we should be a bit careful about when two sheaves UX(U)U \mapsto X(U) with values in topological spaces are to be regarded as equal for all practical purposes: recall that X(U)X(U) is to be thought of as the space of all ways of mapping a probe space UU into a space XX. It’s not the single points (maps) in this space which matter so much, but they way they hang together.

  • All “ways of hanging together” in a topological space X(U)X(U) are measured by a collection of groups called the homotopy groups π n(X(U))\pi_n(X(U)), one for each natural number nn.

  • So if we are being careful, we should recognize that two sheaves X:S opTopX : S^{op} \to Top and Y:S opTopY : S^{op} \to Top must characterize essentially the same generalized space if there is a rule f:XYf : X \to Y for turning for each test space UU, probes of XX into probes of YY, f U:X(U)Y(U)f_U : X(U) \to Y(U), as before, such that for sufficiently small UU this comparison map of probe spaces does not change the homotopy groups, i.e. so that all induced homomorphism π n(f U,x):π n(X(U))π n(X(V),f U(x))\pi_n(f_U, x) : \pi_n(X(U)) \to \pi_n(X(V), f_U(x)) of homotopy groups are isomorphisms of groups. One says that such f Uf_U is a weak homotopy equivalence.

  • If a comparison map f:XYf : X \to Y exists with these properties (for small enough UU, recall), then one says that our generalized spaces XX and YY defined by these sheaves are weakly equivalent or quasi-isomorphic.

There are several ways to deal with this complication that sheaves with values in topological spaces are very flexible, so flexible that it may require a bit of effort to determine if two of them determine the same generalized space, for all practical purposes.

One nice way to deal with it is to again go back to our attitude that everything should be determined by how we map other things into it: if f:XYf : X \to Y is a weak equivalence of sheaves, as above, then we we would expect that for ZZ any other sheaf, the induced map of spaces of probes Z(f):Z(Y)Z(X)Z(f) : Z(Y) \to Z(X) of ZZ by XX and YY is a weak homotopy equivalence.

  • Recall from the discussion in the above section “maps of generalized spaces” that Z(Y)Z(Y) is just another way saying “space of maps of generalized spaces from YY to ZZ”, and similarly for Z(X)Z(X).

Now, that may fail to be true, simply because we are using an awkward realization of the sheaf ZZ. It may be that we have to straighten out ZZ a bit, without really changing it, for the above to be true. Indeed, if things are set up correctly, there should always a sheaf of topological spaces ZZ' which is equivalent to ZZ, but for which the above consistency condition is true: the map Z(f):Z(Y)Z(X)Z'(f) : Z'(Y) \to Z'(X) between spaces of probes of ZZ' by XX and by YY is a homotopy equivalence.

The sheaves with this niceness property are called infinity-stacks or (infinity,1)-sheaves. Recall that despite the fancy terminology, these things are nothing but consistent rules for something that may be probed with test spaces UU, VV, …

  • in applications this means that before we compute the space of maps [X,A][X,A] between generalized spaces, we first have two ensure that at least one of them is sufficiently straightened out. One says one picks a resolution. More on that below.

Generalized cohomology

We come back to our original motivation. Recall that we were looking at cohomology groups of spaces XX by mapping XX into other spaces. We noticed that there is in general interesting information about XX which cannot be gained by mapping it into an ordinary topological space. Starting from this we have now arrived at a more general notion of space, called a higher sheaf or an \infty-stack.

  • So let’s state for the record that we succeeded: we will say now for XX and AA generalized spaces, \infty-stacks, that the collection of maps

    H(X,A):=[X,A] H(X,A) := [X,A]

    from XX to AA is the cohomology of XX with coefficients in AA.

  • Indeed, one finds that despite their enlarged generality, these \infty-stacks behave in all relevant aspects just like ordinary sheaves and ordinary topological spaces do. So one says that \infty-stacks form an infinity-topos (more precisely: an (infinity,1)-topos): a place where we can go in order to do the familiar homotopy theory of topological spaces in a more general context.

Complexes of sheaves: abelian \infty-stacks

Another term for this generalized cohomology theory thus obtained is nonabelian cohomology. The reason for that terms is a historic one: before arriving at the full picture of higher topos theory as described here, people had a pretty good guess about some aspects of this story, and this aspect they called sheaf cohomology. It turns out that sheaf cohomology is precisely the abelian part of general cohomology. So now general cohomology is sometimes called nonabelian cohomology to distinguish it from the more traditional cohomology theory.

Here is what “abelian part of general cohomology” means:

  • For many sheaves that appear in practice, the topological space X(U)X(U) assigned to any test space UU is not just a topological space, but happens to have the structure of an abelian group, too.

  • In this case a cascade of simplifications kicks in: first of all, such topological spaces, by a special case of something called the homotopy hypothesis (which is now really a precise theorem) can be identified with simplicial abelian groups.

  • Second, by another theorem called the Dold-Kan correspondence, simplicial abelian groups are equivalently encoded more simply in the collection of data given by (non-positively graded) chain complexes in abelian groups.

  • {abelian chain complexes} \simeq {simplicial abelian groups} \subset {Kan complexes} \simeq {nice topological spaces}

By an abelian sheaf one means a sheaf UX(U)U \mapsto X(U) which takes values in chain complexes of abelian groups (or, more generally, in complexes in another abelian category). Under the above correspondences, we understand this as a special case of a sheaf with values in topological spaces.

  • By abelian sheaf cohomology one means nothing but the above general higher topos theoretic notion of cohomology given by the simple idea of collections of maps from one generalized space to another. Only that in the special case of abelian sheaves a wealth of particular computational techniques are used to compute these mapping spaces (such as derived categories and derived functors) which are not available in the fully general case. This wealth of computational machinery employed, useful as it is, sometimes hides the simple conceptual reasoning underlying everything.

There is a collection of tools available for computing explicitly the cohomologies H(X,A):=[X,A]H(X,A) := [X,A] for the case that the coefficient space can be thought of as a complex of abelian groups, or a complex of modules, these tools go by names like

and so forth; historically many concepts in abelian sheaf theory were thought to be defined in terms of these constructions. From a more modern perspective all these are just tools for unraveling an independent reality. This also explains why there are so many different tools which yield the same results. Most notably in the context of abelian sheaf cohomology there are two general ways for computing this cohomology called

  • right derived global section functor

  • Čech cohomology;

these two methods differ in whether one computes using “resolutions” of either the coefficient object AA (this happens in the right derived global section functor approach) or in the domain object XX (this happens in Čech cohomology).

Examples

Recall that we started the search for a generalized notion of space motivated by the fact that a circle bundle on a space XX may be encoded by a map from XX to some topological space U(1)\mathcal{B}U(1), but that the same was not true for circle bundles with connection. We had wanted to obtain a generalized notion of space such that this is remedied.

  • Indeed, this is now the case. There is a famous abelian sheaf, called the second Deligne complex which we may denote by [P 1(),U(1)][P_1(-), \mathcal{B}U(1)] or ¯ 1U(1)\bar \mathcal{B}_1 U(1) (as explained at Deligne cohomology and at groupoid of Lie-algebra valued forms), which has precisely the property that maps from a manifold XX into it classify circle bundles with connection on XX. Moreover, by varying the two parameters here we get the following cases

    • A=[P 0(),U(1)]=U(1)A = [P_0(-), \mathcal{B}U(1)] = \mathcal{B}U(1); H(X,A)=H 2(X,A)H(X,A) = H^2(X,A) is second integral cohomology – classifies line bundles;

    • A=[P 1(),U(1)]=¯ 1U(1)A = [P_1(-), \mathcal{B}U(1)] = \bar \mathcal{B}_1 U(1); H(X,A)=H¯ 2(X,)H(X,A) = \bar H^2(X,\mathbb{Z}) is second differential integral cohomology – classifies line bundles with connection;

    • A=[P 2(),U(1)]=¯ 2U(1)A = [P_2(-), \mathcal{B}U(1)] = \bar \mathcal{B}_2 U(1); H(X,A)=H¯ flat 2(X,) H(X,A) = \bar H_{flat}^2(X,\mathbb{Z}) is second flat differential integral cohomology – classifies smooth line bundles with flat connection;

    • A=[P 0(), 2U(1)]= 2U(1)A = [P_0(-), \mathcal{B}^2U(1)] = \mathcal{B}^2U(1); H(X,A)=H 3(X,A)H(X,A) = H^3(X,A) is third integral cohomology – classifies line bundle gerbes;

    • A=[P 1(), 2U(1)]=¯ 1 2U(1)A = [P_1(-), \mathcal{B}^2U(1)] = \bar \mathcal{B}^2_1 U(1) – classifies line bundle gerbes with connective structure;

    • A=[P 2(), 2U(1)]=¯ 2 2U(1)A = [P_2(-), \mathcal{B}^2U(1)] = \bar \mathcal{B}^2_2 U(1); H(X,A)=H¯ flat 3(X,) H(X,A) = \bar H_{flat}^3(X,\mathbb{Z}) is third differential integral cohomology – classifies smooth line bundle gerbes with connection;

    • A=[P 3(), 2U(1)]=¯ 3 2U(1)A = [P_3(-), \mathcal{B}^2U(1)] = \bar \mathcal{B}^2_3 U(1); H(X,A)=H¯ flat 3(X,) H(X,A) = \bar H_{flat}^3(X,\mathbb{Z}) is third flat differential integral cohomology – classifies line bundle gerbes with flat connection;

Notice that all these objects AA do indeed behave, and can be treated like, generalized spaces. For instance one can look at paths in these spaces and for instance form their fundamental groupoids. One finds results such that for instance

  • Π 1(¯ 2U(1))R\Pi_1(\bar \mathcal{B}_2 U(1)) \simeq \mathcal{B}R

  • more generally: for GG any Lie group, we have Π 1(¯ 2G)G^\Pi_1(\bar \mathcal{B}_2 G) \simeq \mathcal{B}\hat G, where G^\hat G is the unique simply connected Lie group covering GG.

category: motivation

Revised on February 7, 2014 12:06:18 by Aaron F (173.174.127.237)