group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
(2,1)-quasitopos?
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.
Classes of maps between topological spaces encode interesting information.
To pick just one example: there is a topological space that goes by the name or and is called an Eilenberg-Mac Lane space. It has the peculiar property that for any other space , the homotopy classes of continuous maps from to characterize the following:
they correspond to equivalence classes of circle bundles over : that is, to spaces equipped with a map to such that over a contractible open subset the space looks like the product of with the circle, (and such that the identification respects the action of the group on the circle).
Thus, one says that is the classifying space for circle bundles (circle bundles over ) 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 fibration, which is a way to map the 3-dimensional sphere to the familiar 2-dimensional sphere , such that over small parts of the 2-sphere the 3-sphere looks like the product space .
This particular circle bundle corresponds to a very special class of maps : namely the collection of maps happens to have the structure of the abelian group of integers under addition, and the Hopf fibration corresponds to the generating element of this group;
generally, this abelian group formed by is famous under another name: it is called the second integral cohomology group of , denoted .
There is a similar such cohomology group of for every natural number : the st integral cohomology group of – and all these groups are naturally realized in terms of homotopy classes of maps from into some topological space – called the Eilenberg-MacLane spaces or – and again each element in these groups can be identified with a certain geometric structure living over , called a circle -bundle or -gerbe: circle -bundles on .
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 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 which are equipped with a connection : a good rule which assigns to each smooth path in an identification between the two circles over its endpoints;
this is the point where these considerations become of interest for physics: there bundles with connection, and then n-bundles, or -gerbes, with connection encode gauge fields such as the electromagnetic field. See at geometry of physics for more on this.
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
To understand what a sheaf is, recall which aspect of the notion of topological space was relevant in the above examples : these spaces were entirely characterized by how one can map other spaces into them:
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 that you can dream up, I tell you how you can probe my space by mapping your space into it.
ways to map into some hypothetical
=: {probes of by }.
Will you be able, in general, to guess my space from this information ? No. So, to be fair, I should provide a bit more information. To actually get a feeling for what my space 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 from one test space to another, then for any element of , I can produce an element of . In other words, your map induces a transformation . 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 from one test space to another, I’ll give you a map of sets, denoted , that supposedly indicates how -probes of turn into -probes when you precompose them with .
Do you need still more information to guess my space ? 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 to you directly, the little information about it which I do provide, that rule , 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 are the following:
it must be true that when you hand me the identity map on a test space, that then I return you the identity map on the set of probes of by ;
also, it must be true that when you first hand me two consecutive maps of test spaces, and , and then hand me their composite , that my reply to the latter is the result of composing my two replies about the former: .
Such an assignment 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 , called objects, equipped with continuous maps 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 there is an identity map , composition with which does nothing. This category is known by the name 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: 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
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 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 of probes of my secret space by the test space , and if you then chop up into two pieces and sitting inside by inclusion maps , with a bit of overlap , then it ought to be true that all the probes by in can be entirely and exactly reconstructed from taking probes by in and by in and see if they match over the overlap of the two small probes:
in symbols, the collection of pairs in matching maps from and to whose elements coincide when restricted to the overlap
should be exactly all the possible maps in : matching probes of on and .
one says that the set matching probes of on and is the equalizer of the two parallel morphisms
the optimal solution to mapping into 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 ;
This now is a sensible game to play: I don’t tell you directly which space I am thinking of, but I do give you all the information about its probes by test spaces , subject to the conditions that
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 of test spaces as long as forms a category and such that there is an agreement about how some of its objects , can be covered by other objects, such as the and 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 and probe all generalized spaces using only open subsets of . These open subsets form the category of open subsets and the choice of coverage is the obvious one. Sheaves on are generalized spaces over .
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 Diff.
Or the combination of these: the test spaces in the category for 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 which do obey the rules, i.e. do form a sheaf, but for which there is nevertheless no test space in 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 with a topological space, most sheaves are “generalized spaces” in that they do not describe maps into a space in , i.e. an open subset of . But every sheaf on can be shown to correspond to maps from to an ordinary topological space which is equipped with a continuous map down to , such that is locally a homeomorphism. Such are called étale spaces over .
A sheaf on 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.
Since we are thinking of sheaves and as characterizing ‘generalized spaces’ and , we better have a good notion of maps between sheaves that corresponds to a sensible notion of maps between generalized spaces.
That’s easy to figure out: if is supposed to be a map between generalized spaces, whatever these are, then in particular it turns every probe , of which we are thinking of as a probe map , to a probe of , which we should think of as the composite map that simply maps the image of in further to an image of in using the map .
nota bene: for the time being there is no space such that thinking of probes as maps of some sort would literally make sense. However, once we impose some consistency conditions on the probe sets precisely this will make sense. And to motivate these consistency conditions in the first place, it is best to already think of probes as being maps .
so in terms of their collections (sheaves) of probes a map of generalized spaces should be given for each probe space by a map of sets of probes , to be thought of as encoding the post-composition map
but we can also pre-compose: given a map of test spaces, we also have the probe transformation map from above, which is to be thought of as acting by
and we can combine both pre- and postcomposition and send
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 for a probe 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 which first turns a -probe of into a -probe of and then turns the result into a -probe of , must coincide with the map which first turns a -probe of into a -probe of and then turns the result into a -probe of .
Such an equality between two different composite maps is conveniently depicted as a square
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 between generalized spaces and : if and are the probe-assignments that define and , then the map is defined by probe-transformations such that for all maps the above squares commute.
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 defines a sheaf of probes by the assignment := {maps from to } =: .
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 to a topological space should be:
on the one hand, it should be an element in , where indicates a set of maps of topological spaces;
on the other hand, we can regard both and as generalized spaces and then look at the set 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
or more formally
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 and to write for the collection of maps from to : , the set of maps of generalized spaces from to .
If happens to be an ordinary space, then consistently and equivalently denotes both: the collection of probes of by the ordinary space , and the collection of maps of into , with regarded as a generalized space itself.
(This notation is for instance used in the book Categories and Sheaves, see page 25.)
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.
Once we are at this point, we should go even a bit further: we have been talking about sets of probes . But of course for a true topological space and a topological space, there is not just a set, but a topological space of maps (using the compact-open topology on spaces of continuous maps). So we should be looking at sheaves with values in topological spaces: functors satisfying some suitable condition.
There is only one thing we need to take care of, then: since a topological space is a bit more flexible than a plain set, we should be a bit careful about when two sheaves with values in topological spaces are to be regarded as equal for all practical purposes: recall that is to be thought of as the space of all ways of mapping a probe space into a space . 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 are measured by a collection of groups called the homotopy groups , one for each natural number .
So if we are being careful, we should recognize that two sheaves and must characterize essentially the same generalized space if there is a rule for turning for each test space , probes of into probes of , , as before, such that for sufficiently small this comparison map of probe spaces does not change the homotopy groups, i.e. so that all induced homomorphism of homotopy groups are isomorphisms of groups. One says that such is a weak homotopy equivalence.
If a comparison map exists with these properties (for small enough , recall), then one says that our generalized spaces and 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 is a weak equivalence of sheaves, as above, then we would expect that for any other sheaf, the induced map of spaces of probes of by and is a weak homotopy equivalence.
Now, that may fail to be true, simply because we are using an awkward realization of the sheaf . It may be that we have to straighten out a bit, without really changing it, for the above to be true. Indeed, if things are set up correctly, there should always be a sheaf of topological spaces which is equivalent to , but for which the above consistency condition is true: the map between spaces of probes of by and by 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 , , …
We come back to our original motivation. Recall that we were looking at cohomology groups of spaces by mapping into other spaces. We noticed that there is in general interesting information about 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 -stack.
So let’s state for the record that we succeeded: we will say now for and generalized spaces, -stacks, that the collection of maps
from to is the cohomology of with coefficients in .
Indeed, one finds that despite their enlarged generality, these -stacks behave in all relevant aspects just like ordinary sheaves and ordinary topological spaces do. So one says that -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.
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 assigned to any test space 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} {simplicial abelian groups} {Kan complexes} {nice topological spaces}
By an abelian sheaf one means a sheaf 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.
There is a collection of tools available for computing explicitly the cohomologies 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 (this happens in the right derived global section functor approach) or in the domain object (this happens in Čech cohomology).
Recall that we started the search for a generalized notion of space motivated by the fact that a circle bundle on a space may be encoded by a map from to some topological space , 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 or (as explained at Deligne cohomology and at groupoid of Lie-algebra valued forms), which has precisely the property that maps from a manifold into it classify circle bundles with connection on . Moreover, by varying the two parameters here we get the following cases
; is second integral cohomology – classifies line bundles;
; is second differential integral cohomology – classifies line bundles with connection;
; is second flat differential integral cohomology – classifies smooth line bundles with flat connection;
; is third integral cohomology – classifies line bundle gerbes;
– classifies line bundle gerbes with connective structure;
; is third differential integral cohomology – classifies smooth line bundle gerbes with connection;
; is third flat differential integral cohomology – classifies line bundle gerbes with flat connection;
Notice that all these objects 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
more generally: for any Lie group, we have , where is the unique simply connected Lie group covering .
Last revised on July 15, 2024 at 19:15:33. See the history of this page for a list of all contributions to it.