This is the entry page a wiki-version of the document differential cohomology in a cohesive topos . See there for a pdf-version.
We present Motivation for the developments here. Then we we give a leisurely survey of the general abstract theory and one of the concrete implementation in Smooth∞Grpd.
There are two different but related motivations for the consideration of differential cohomology in an -topos: from gauge theory in fundamental theoretical physics, and from Chern-Weil theory in pure mathematics.
The development of differential cohomology has and still is to a considerable extent motivated by structures appearing in fundamental physics in general and gauge theory in particular.
Classical Chern-Weil theory and the theory of secondary characteristic classes is a cornerstone of differential geometry. There are however various operations that suggests themselves naturally but are not possible in classical Chern-Weil theory. The theory that we present may be regarded as providing a context more general than classical differential geometry in which these constructions do exist.
This is discussed at
The framework of all our constructions is topos theory (Elephant) or rather, more generally, (∞,1)-topos theory (HTT)
In the sections Toposes and (∞,1)-Toposes below we leisurely recall and survey basic notions with an eye towards our central example of an (∞,1)-topos: that of smooth ∞-groupoid.
In these sections tthe reader is assumed to be familiar with basic notions of category theory (such as adjoint functors) and basic notions of homotopy theory (such as weak homotopy equivalences). A brief introduction to relevant basic concepts (such as Kan complexes and homotopy pullbacks) is given in section Concrete implementation in Smooth∞Grpd, which can be read independently of the discussion here.
Then in the sections Cohomology and Homotopy we describe, similarly leisurely, the intrinsic notions of cohomology and (geometric) homotopy in an (∞,1)-topos. Most aspects of what we say here involve fairly well-known facts, but the general abstract perspective of cohesive or at least ∞-connected (∞,1)-toposes seems to have not been fully appreciated before.
Finally in the section Differential cohomology we indicate how the combination of the intrinsic cohomology and geometric homotopy in a locally -connected -topos yields a good notion of differential cohomology in an (∞,1)-topos.
There are several different perspectives on the notion of topos . One is that a topos is a category that looks like a category of spaces that sit by local homeomorphisms over a given base space: all spaces that are locally modeled on a given base space.
The archetypical class of examples are sheaf toposes over a topological space : these are the categories of etale spaces over : topological spaces that are equipped with a local homeomorphisms . When is the point, this is just the category Set of all sets: spaces that are modeled on the point. This is the archetypical topos itself.
What makes the notion of toposes powerful is the following fact: even though the general topos contains objects that are considerably different from and possibly considerably richer than plain sets and even richer than etale spaces over a topological space, the general abstract category theoretic properties of every topos are essentially the same as those of . For instance in every topos all small limits and colimits exist and it is cartesian closed (even locally). This means that a large number of constructions in have immediate analogs internal to every topos, and the analogs of the statements about these constructions that are true in are true in every topos.
This may be thought of as saying that toposes are very nice categories of spaces in that whatever construction on spaces one thinks of, the resulting space with the expected general abstract properties will exist in the topos. In this sense toposes are convenient categories for geometry ∞- as in: convenient category of topological spaces, but even more convenient than that.
On the other hand, we can de-emphasize the role of the objects of the topos and instead treat the topos itself as a “generalized space” (and in particular, a categorified space). We then consider the sheaf topos as a representative of itself, while toposes not of this form are “honestly generalized” spaces. This point of view is supported by the fact that the assignment is a full embedding of (sufficiently nice) topological spaces into toposes, and that many topological properties of a space can be detected at the level of .
Contrary to that, here we are mainly concerned with toposes that are far from being akin to sheaves over a topological space, and instead behave like abstract fat points with geometric structure . This implies that the objects of these toposes are in turn generalized spaces modeled locally on this geometric structure. Such toposes are called gros toposes or big toposes. There is a formalization of the properties of a topos that make it behave like a big topos of generalized spaces inside of which there is geometry: this is the notion of cohesive toposes.
More concretely, the idea of sheaf toposes formalizes the idea that any notion of space is typically modeled on a given collection of simple test spaces . For instance differential geometry is the geometry that is modeled on Cartesian spaces , or rather on the category CartSp of Cartesian spaces and smooth functions between them.
A presheaf on such is a functor from the opposite category of to the category of sets.. We think of this as a rule that assigns to each test space the set of structure-preserving maps from the test space into the would-be space - the probes of by the test space . This assignment defines the generalized space modeled on . Every category of presheaves over a small category is an example of a topos. But these presheaf toposes, while encoding the geometry of generalized spaces by means of probes by test spaces in fail to correctly encode the topology of these spaces. This is captured by restricting to sheaves among all presheaves.
Each test space itself specifies a presheaf, by forming the hom-sets in . This is called the Yoneda embedding of test spaces into the collection of all generalized spaces modeled on them. Presheaves of this form are the representable presheaves. A bit more general than these are the locally representable presheaves: for instance on CartSp this are the smooth manifolds Diff whose presheaf-rule is . By definition a manifold is locally isomorphic to a Cartesian space, hence is locally representable as a presheaf on CartSp.
These examples of presheaves on are special in that they are in fact sheaves: the value of on a test space is entirely determined by the restrictions to each in a cover of the test space by other test spaces . We think of the subcategory of sheaves as consisting of those special presheaves that are those rules of probe-assignments which respect a certain notion of ways in which test spaces may glue together to a bigger test space.
One may axiomatize this by declaring that the collections of all covers under consideration forms what is called a Grothendieck topology on that makes a site. But of more intrinsic relevance is the equivalent fact that categories of sheaves are precisely the subtoposes of presheaf toposes
meaning that the embedding has a left adjoint functor that preserves finite limits. This may be taken to be the definition of Grothendieck toposes. The left adjoint is called the sheafification functor. It is determined by and determines a Grothendieck topology on .
For the choice CartSp such is naturally given by the good open cover coverage, which says that a bunch of maps in exhibit the test object as being glued together from the test objects if these form a good open cover of . With this notion of coverage every smooth manifold is a sheaf on .
But there are important genenralized spaces modeled on that are not smooth manifolds: topological spaces for which one can consistently define which maps from Cartesian spaces into them count as smooth in a way that makes this assignment a sheaf on CartSp, but which are not necessarily locally isomorphic to a Cartsian space: these are called diffeological spaces. A central example of a space that is naturally a diffeological space but not a finite dimensional manifold is a mapping space of smooth functions between smooth manifolds and : since the idea is that for any Cartesian space the smooth -parameterized families of points in are smooth -parameterized families of smooth maps , we can take the plot-assigning rule to be
It is useful to relate all these phenomena in the topos to their image in the archetypical topos Set. This is simply the category of sets, which however we should think of here as the category of sheaves on the category which contains only a single object and no nontrivial morphism: objects in here are generalized spaces modeled on the point . All we know about them is how to map the point into them, and as such they are just the sets of all possible such maps from the point.
Every category of sheaves comes canonically with an essentially unique geometric morphism to the topos of sets, given by a pair of adjoint functors
Here is called the global sections functor. If has a terminal object , then it is given by evaluation on that object: the functor sends a plot-assigning rule to the set of plots by the point : . For instance in CartSp the terminal object exists and is the ordinary point . If is a smooth manifold or diffeological space as above, then is simply its underlying set of points. So the functor can be thought of as forgetting the cohesive structure that is given by the fact that our generalized spaces are modeled on . It remembers only the underlying point-set.
Conversely, its left adjoint functor takes a set to the sheafification of the constant presheaf , which asserts that the set of its plots by any test space is always the same set . This is the plot-rule for discrete space modeled on given by the set : a plot has to be a constant map of the test space to one of the elements . For the case this interpretation is literally true in the familiar sense: the generalized smooth space is the discrete smooth manifold or discrete diffeological space with point set .
The examples for generalized spaces modeled on that we considered so far all had the property that the collection of plots into them was a subset of the set of maps of sets from to their underlying set of points. These are called concrete sheaves. Not every sheaf is concrete. The concrete sheaves form a subcategory inside the full topos which is itself almost, but not quite a topos: it is called the quasitopos of concrete objects
Non-concrete sheaves over may be exotic as compared to smooth manifolds, but they are still usefully regarded as generalized spaces modeled on . For instance for there is the sheaf given by saying that plots by are identified with closed differential n-forms on :
This sheaf describes a very non-classical space, which for has only a single point, , only a single curve, a single surface, etc., up to a single -dimensional probe, but then it has a large number of -dimensional probes. Despite the fact that this sheaf is very far in nature from the test spaces that it is modeled on, it plays a crucial and very natural role: it is in a sense a model for an Eilenberg-MacLane space . We shall see in Lie theory in an (∞,1)-topos that these sheaves are part of an incarnation of the L-∞-algebra and the sense in which it models an Eilenberg-MacLane space is precisely that of Sullivan models in rational homotopy theory. In any case, we want to allow ourselves to regard non-concrete objects such as on the same footing as diffeological spaces and smooth manifolds.
While therefore a general object in the sheaf topos may exhibit a considerable generalization of the objects that it is modeled on, for many natural applications this is still not quite general enough: if for instance is a smooth orbifold, then there is not just a set, but a groupoid of ways of probing it by a Cartesian test space : if a probe is connected by an orbifold transformation to another probe , then this constitutes a morphism in the groupoid of probes of by .
Even more generally, there may be an entire ∞-groupoid of probes of the generalized space by the test space : a set of probes with morphisms between different probes, 2-morphisms between these 1-morphisms, and so on.
Such structures are described in (∞,1)-category theory: where a category has a set of morphisms between any two objects, an -category has an -grouopoid of morphisms, whose compositions are defined up to higher coherent homotopy. The theory of -categories is effectively the combination of category theory and homotopy theory. The main fact about it, emphasized originally by André Joyal and then further developed in HTT, is that it behaves formally entirely analously to category theory: there are notions of (∞,1)-functors,
(∞,1)-limits, adjoint (∞,1)-functors etc, that satisfy all the familiar relations from category theory. For instance right adjoint -functors preserve all -limits, there is an adjoint (∞,1)-functor theorem, an (∞,1)-Grothendieck construction-theorem, and so on.
In particular, there is a notion of (∞,1)-presheaves on a category (or -category): -functors
to the -category ∞Grpd of -groupoids – there is an (∞,1)-Yoneda embedding, and so on. Accordingly, (∞,1)-topos theory proceeds in its basic notions along the same lines as we sketched above for topos theory:
an (∞,1)-topos of (∞,1)-sheaves is defined to be a reflective sub-(∞,1)-category
of an (∞,1)-category of (∞,1)-presheaves.
As before, such is essentially determined by and determines a Grothendieck topology or coverage on (for this to be precise we need to demand that the inclusion is a topological localization).
Since a -sheaf with values in groupoids is usually called a stack, a (∞,1)-sheaf is often also called an ∞-stack. The (∞,1)-category of (∞,1)-sheaves is called an (∞,1)-topos. This is the kind of context of generalized spaces in which we shall develop our constructions.
Specifically, in the spirit of the above discussion, the objects of the -topos of -sheaves on CartSp we shall think of as smooth ∞-groupoids. This is our main running example. We shall write for the -topos of smooth -groupoids.
But a crucial point of developing our theory in the language of -toposes is that all constructions work in great generality. By simply passing to another site , all constructions apply to the theory of generalized spaces modeled on the test objects in . Indeed, to really capture all aspects of -Lie theory, we should and will adjoin to our running example CartSp that of the slightly larger site ThCartSp of infinitesimally thickened Cartesian spaces. Ordinary sheaves on this site are the generalized spaces considered in synthetic differential geometry: these are smooth spaces such as smooth loci that may have infinitesimal extension. For instance the first order jet of the origin in the real line exists as an infinitesimal space in . Accordingly, ∞-groupoids modeled on ThCartSp are smooth ∞-groupoids that may have k-morphisms of infinitesimal extension. We will see that a smooth -groupoid all whose morphisms has infinitesimal extension is a Lie algebra or Lie algebroid or generally a ∞-Lie algebroid.
While (∞,1)-category theory provides a good abstract definition and theory of -groupoids modeled on test objects in a category in terms of the (∞,1)-category of (∞,1)-sheaves on , for concrete manipulations it is often useful to have a presentation of the (∞,1)-categories in question in terms of generators and relations in ordinary category theory. Such a generators-and-relations presentation is provided by the notion of a model category. Specifically, the -toposes of -presheaves that we are concerned with are presented in this way by a model structure on simplicial presheaves, i.e. on the functor category from to the category sSet of simplicial sets.
In terms of this model, the corresponding (∞,1)-category of (∞,1)-sheaves is given by another model structure on , called the left Bousfield localization at the set of covers in .
These models for ∞-stack (∞,1)-toposes have been proposed, known and studied since the 1970s and are therefore quite well understood. The full description and proof of their abstract role in higher category theory was established in Lurie, HTT.
Generators-and-relations presentation for -toposes
As before for toposes, there is a canonical (∞,1)-topos, which is ∞Grpd = itself: the collection of generalized ∞-groupoids that are modeled on the point. All we know about these generalized spaces is how to map a point into them and what the homotopies and higher homotopies of such maps are, but no further extra structure. So these are bare ∞-groupoids without extra structure. Also as before, every (∞,1)-topos comes with an essentially unique geometric morphism to this archetypical -topos given by a pair of adjoint (∞,1)-functors.
Again, if happens to have a terminal object , then is the operation that evaluates an -sheaf on the point: it produces the bare -groupoid underlying an -groupoid modeled on . For instance for CartSp an smooth ∞-groupoid is sent by to to the underlying -groupoid that forgets the smooth structure on .
Moreover, still in direct analogy to the 1-categorical case above, the left adjoint is the the (∞,1)-functor that sends a bare ∞-groupoid to the ∞-stackification of the constant -presheaf . This models the discretely structured -groupoid on . For instance for we have that is a smooth -groupoid with discrete smooth structure: all smooth families of points in it are actually constant.
We had mentioned that every topos behaves in most general abstract ways as the archetypical topos . Analogously, every -topos behaves in most general abstract ways as the archetypical -topos ∞Grpd. This, in turn, by the homotopy hypothesis-theorem, is equivalent to Top, the category of topological spaces, regarded as an (∞,1)-category by taking the 2-morphisms to be homotopies between continuous maps, 3-morphisms to be homotopies of homotopy, and so forth. The equivalence
is constituted by forming fundamental ∞-groupoids of topological spaces modeled by forming singular simplicial complexes and by forming geometric realization of simplicial sets.
In Top it is familiar – from the notion of classifying space and the Brown representability theorem in particular – that the cohomology of a topological space is defined as the set of homotopy classes of maps from to some coefficient space
For instance for an Eilenberg-MacLane space, we have that
is the ordinary integral singular cohomology of . Also nonabelian cohomology is modeled this way: for a (possibly nonabelian ) topological group and its classifying space we have that
is the degree-1 nonabelian cohomology of with coeffients in , which classifies -principal bundles on .
Since this only involves forming (∞,1)-categorical hom-spaces and since this is an entirely categorical operation, it makes sense to define for two objects in an arbitrary -topos the intrinsic cohomology of with coefficients in to be
where denotes the -groupoid of morphisms from to in .
It turns out that essentially every notion of cohomology considered in the literature is an example of this simple definition, for a suitable choice of . Notably abelian sheaf cohomology over a given site is the special case where and takes values in abelian simplicial groups. This example alone subsumes a wealth of further special cases, such as for instance Deligne cohomology.
There are some definitions in the literature of cohomology theories that are not special cases of this general concept, but in these cases it seems that the failure is with the traditional definition, not with the above notion. We shall be interested in particular in the group cohomology of Lie groups.
Originally this was defined using a naive direct generalization of the formula for bare group cohomology as
But this definition was eventually found to too coarse: there are structures that ought to be cocycles on Lie groups but do not show up in this definition. Graeme Segal therefore proposed a refined definition that was later rediscovered by Jean-Luc Brylinski, called differentiable Lie group cohomology . This refines the naive Lie group cohomology in that there is a natural morphism .
But in the (∞,1)-topos of smooth ∞-groupoids we have also the natural intrinsic definition of Lie group cohomology as
where the boldface denotes the intrinsic delooping in . We find that generally this naturally includes the Segal/Brylinski definition
and at least for a discrete group, or the group of real numbers or a quotient of these such as , the notions coincide
This general abstract reformulation of Lie group cohomology in -topos theory allows to deduce some properties of it in great generality. For instance one of the crucial aspects of the notion of cohomology is that a cohomology class on classifies certain structures over .
It is a classical fact that if is a (discrete) group and its delooping in Top, then the structure classified by a cocycle is the -principal bundle over obtained as the 1-categorical pullback
of the universal principal bundle over . But one finds that this pullback construction is just a 1-categorical model for what intrinsically is something simpler: this is just the homotopy pullback in Top of the point
This form of the construction of the -principal bundle classified by a cocycle makes sense in any (∞,1)-topos :
we shall say that for a group object in and its delooping and for a cocycle, i.e. just a morphism in , that the -principal ∞-bundle classified by is the (∞,1)-categorical pullback
in .
Let be a Lie group and a smooth manifold, both regarded naturally as objects in the -topos of smooth ∞-groupoids. Let be a morphism in . One finds that in terms of the presentation of by the model structure on simplicial presheaves this is a Cech 1-cocycle on with values in . The corresponding -pullback is (up to equivalence or course) the smooth -principal bundle classified in the usual sense by this cocycle.
The analogous proposition holds for a Lie 2-group and a -principal 2-bundle.
Generally, we can give a natural definition of -principal ∞-bundle in any -topos over any group object . One finds that it is the Giraud axioms that characterize (∞,1)-toposes that ensure that these are equivalently classified as the -bullbacks of morphisms . Therefore the intrinsic cohomology
in classifies -principal ∞-bundles over . Notice that itself here may be any object in .
Every (∞,1)-sheaf (∞,1)-topos canonically comes equipped with a geometric morphism given by pair of adjoint (∞,1)-functors
relating it to the archeytpical -topos of ∞-groupoids. Here produces the global sections of an (∞,1)-sheaf and produces the constant ∞-stack on a given ∞-groupoid.
In the cases that we are interested in here is a big topos of ∞-groupoids equipped with cohesive structure , notably equipped with smooth structure in our motivating example. In this case has the interpretation of sending a cohesive -groupoid to its underlying -groupoid, after forgetting the cohesive structure, and has the interpretation of forming -groupoids equipped with discrete cohesive structure. We shall write to indicate this.
But in these cases of cohesive (∞,1)-toposes there are actually more adjoints to these two functors, and this will be essentially the general abstract definition of cohesiveness. In particular there is a further left adjoint
to : the fundamental ∞-groupoid functor on a locally ∞-connected (∞,1)-topos. Following the standard terminology of locally connected toposes in ordinary topos theory we shall say that with such a property is a locally ∞-connected (∞,1)-topos. This terminology reflects the fact that if is a locally contractible topological space then is a locally contractible -topos. A classical result of Artin-Mazur implies, that in this case the value of on is, up to equivalence, the fundamental ∞-groupoid of :
which is the -groupoid whose
objects are the points of ;
morphisms are the (continuous) paths in ;
2-morphisms are the continuous homotopies between such paths;
k-morphisms are the higher order homotopies between -dimensional paths.
This is the object that encodes all the homotopy groups of in a canonical fashion, without choice of fixed basepoint.
Also the big (∞,1)-topos Smooth∞Grpd turns out to be locally -connected
as a reflection of the fact that every Cartesian space CartSp is contractible as a topological space. We find that for any paracompact smooth manifold, regarded as an object of Smooth∞Grpd, again is the corresponding fundamental ∞-groupoid. More in detail, under the homotopy hypothesis-equivalence we have that the composite
sends a smooth manifold to its homotopy type: the underlying topological space of , up to weak homotopy equivalence.
Analogously, for a general object we may think of as the generalized geometric realization in Top. For instance we find that if is presented by a simplicial paracompact manifold, then is the ordinary geometric realization of the underlying simplicial topological space of . This means in particular that for a Lie groupoid, computes its homotopy groups of a Lie groupoid as traditionally defined.
The ordinary homotopy groups of or equivalently of we call the geometric homotopy groups of , because these are based on a notion of homotopy induced by an intrisic notion of geometric paths in objects in . This is to be contrasted with the categorical homotopy groups of . These are the homotopy groups of the underlying -groupoid of . For instance for a smooth manifold we have that
but
This allows us to give a precise sense to what it means to have a cohesive refinement (continuous refinement, smooth refinement, etc.) of an object in . Notably we are interested in smooth refinements of classifying spaces for topological groups by deloopings of ∞-Lie groups and we may interpret this as saying that
in .
We now indicate how the combination of the intrinsic cohomology and the geometric homotopy in a locally ∞-connected (∞,1)-topos yields a good notion of differential cohomology in an (∞,1)-topos.
Using the defining adjoint (∞,1)-functors we may reflect the fundamental ∞-groupoid from Top back into by considering the composite endo-edjunction
The -unit may be thought of as the inclusion of into its fundamental -groupoid as the collection of constant paths in .
As always, the boldface is to indicate that we are dealing with a cohesive refinement of the topological structure . The symbol “” (“flat”) is to be suggestive of the meaning of this construction:
since for any cohesive object, we may think of as its cohesive fundamental -groupoid, a morphism
(hence a -valued cocycle on ) may be interpreted as assigning:
to each point in the fiber of the corresponding -principal ∞-bundle classified by the composite ;
to each path in an equivalence between the fibers over its endpoints;
to each homotopy of paths in an equivalence between these equivalences;
and so on.
This in turn we may think as being the flat higher parallel transport of an ∞-connection on the bundle classified by .
The adjunction equivalence allows us to identify as the coefficient object for this flat differential -valued cohomology on :
In Smooth∞Grpd and with an ordinary Lie group and an ordinary smooth manifold, we have that is the set of equivalence classes of ordinary -principal bundles on with flat connections.
The -counit provides the forgetful map
form -principal -bundles with flat connection to their underlying principal -bundles. Not every -principal -bundle admits a flat connection. The failure of this to be true – hence the obstruction theory to flat lifts – is measured by the homotopy fiber of the counit, which we shall denote , defined by the fact that we have a fiber sequence
As the notation suggests, it turns out that may be thought of as the coefficient object for nonabelian generalized de Rham cohomology. For instance for an odinary Lie group regarded as an object in , we have that is presented by the sheaf of Lie algebra valued differential forms with vanishing curvature 2-form. And for the circle Lie n-group we find that is presented by the complex of sheaves whose abelian sheaf cohomology is de Rham cohomology in degree
(More precisely, this is true for . For we get just the sheaf of closed 1-forms. This is due to the obstruction-theoretic nature of : as we shall see, in degree 1 it computes 1-form curvatures of groupoid principal bundles, and these are not quotiented by exact 1-forms.)
Moreover, in this case our fiber sequence extends not just to the left but also to the right
The induced morphism
we may think of as equipping an -principal n-bundle (equivalently an -[nLab:bundle gerbe]) with a connection, and then sending it to the higher curvature class of this connection.
The homotopy fibers
of this map therefore have the interpretation of being the cocycle -groupoids of circle n-bundles with connection. This is the realization in Smooth∞Grpd of the general definition of ordinary differential cohomology in a cohesive -topos.
All these definitions make sense in full generality for any locally ∞-connected (∞,1)-topos. We used nothing but the existence of the triple of adjoint (∞,1)-functors . We shall show for the special case that Smooth∞Grpd and an ordinary smooth manifold, that this general abstract definition reproduces ordinary differential cohomology over smooth manifolds as traditionally considered.
The advantage of the general abstract reformulation is that it generalizes the ordinary notion naturally to base objects that may be arbitrary smooth ∞-groupoids. This gives in particular the ∞-Chern-Weil homomorphism in an almost tautological form:
for any ∞-group object and its delooping, we may think of a morphism
as a representative of a characteristic class on , in that this induces a map
from -principal ∞-bundles to degree- cohomology-classes. Since the classification of -principal -bundles by cocycles is entirely general, we may equivalently think of this as the -principal -bundle given as the homotopy fiber of . A famous example is the Chern-Simons circle 3-bundle for a simply connected Lie group.
By postcomposing further with the canonical morphism this gives in total a differential characteristic class
that sends a -principal ∞-bundle to a class in de Rham cohomology
This is the generalization of the plain Chern-Weil homomorphism.associated with the characteristic class . In cases accessible by traditional theory, it is well known that this may be refined to what are called the assignment of secondary characteristic classes to -principal bundles with connection, taking values in ordinary differential cohomology
We show that in the general abstract formulation this corresponds to finding the universal object that lifts all curvature characteristic classes to their corresponding circle n-bundles with connection, in that it fits into the diagram
The cocycles in we may identify with ∞-connections on the underlying principal ∞-bundles. Specifically for an ordinary Lie group this captues the ordinary notion of connection on a bundle, for Lie 2-group it captures the notion of connection on a 2-bundle/gerbe.
The generalized (nonabelian/smooth/differential) cohomology that we consider here has applications to – and is to a good degree motivated from – the study of backgrounds for 2-dimensional conformal field theory sigma-models. Before stating some of our results in this context, we briefly reviêw the context of these considerations.
In perturbative string theory one studies a generalization of Feynman perturbation series, which describes the scattering processes of quantum objects as observed in a particle accelerator, from a sum over graphs of correlators of a 1-dimensional quantum field theory on these graphs, to a sum over Riemann surfaces of correlators of a 2-dimensional conformal quantum field theory on these surfaces.
The choice of 2-dimensional CFT used in this series determines and is determined by the spacetime in which the quantum objects whose scattering is being described by the series propagate, including the configuration of the field of gravity and of gauge fields present in this spacetime that exert forces on these quantum objects while they scatter wiith each other.
The mathematical formalization of what all this means is not completed yet, but considerable progress has been achieved in recent years. For a survey see Mathematical Foundations of Quantum Field and Perturbative String Theory. One central insight has been that the background spacetime with its gauge fields is mathematically to be modeled by a cocycle in generalized differential cohomology. Not every cocycle however corresponds under the above correspondence to a suitable 2-dimensional CFT. While the process that connects background field data to the corresponding sigma-model quantum field theory – which is the quantization of the sigma-model in this background – is not completely formalized yet (not the least because 2-dimensional CFTs themselves are formally under complete control only in special cases) a few nontrivial consistency conditions on the background field data are known and understood: the quantum anomaly-cancellation conditions that encode the vanishing of certain obstructions for the sigma-model action functional to be a function on configuration space, instead of a section of a nontrivial line bundle. The quantum anomaly is the nontriviality of this bundle on configuration space, and the non-flatness of its connection.
There are two main types of such anomalies. One is induced from the presence of fermions in the theory. The partial path integral over these field yields a Pfaffian line bundle on the remaining configuration space of the bosonic fields, which need not be trivial. The other is the presence of higher background magnetic charge for the given higher gauge fields.
A consistent sigma-model is obtained if both these anomalies vanish separately. But they may also be each nontrivial, but inverse to each other, so that they cancel out. This cancelling of fermionic with higher gauge theoretic quantum anomalies is known as a Green-Schwarz mechanism.
It turns out that this involves an interplay between generalized (Eilenberg-Steenrod) differential cohomology and differential nonabelian cohomology. This situation can be described with the machinery of differential cohomology in an -topos described here.
For the path integral quantization of the sigma-model for the super--brane propating on to make sense (at all) a certain obstruction called a quantum anomaly has to vanish, which imposes the following constraints on the cohomology of , i.e. on the kinematics of the physical system:
for , we need to require an orientation on : a lift
for , we need to require a Spin structure on : a lift
for , we need to require a String structure on : a lift
for , we think we need to require a Fivebrane structure on : a lift
Here
is the Whitehead tower of : each step towards the left gives the universal next higher connected cover of the previous space.
This allows us to identify the Green-Schwarz mechanism for the heterotic string with the existence of a connection on a twisted string 2-group-principal 2-bundle. And the GS-mechanism for the dual heterotic string, the Fiverbrane, with the existence of a connection on a twisted fivebrane 6-group-principal 6-bundle.
A key ingredient for making sense of this is the following result about smooth refinements of the Whitehead tower of the orthogonal group.
(smooth refinement of Whitehead tower of )
In the (∞,1)-topos of smooth ∞-groupoids the normalized canonical Lie algebra cocycles integrate, respectively, to a cocycle
in classifying an extension
and a cocycle
classifying an extension
in , such that their image in are the 3- and 7-connected universal cover of the topological group , respectively.
Specifically, is equivalent to the strict ∞-Lie groupoid
where
is the based path space of Spin(d);
is the level-1 Kac-Moody central extension of the based loop group of .
is the evident action of loops on paths
(actually there are three evident choices, they all yield equivalent strict models).
See String 2-group and Fivebrane 6-group.
We discuss a general abstract theory of (∞,1)-toposes that serve as contexts for higher geometry of cohesive ∞-groupoids.
In (∞,1)-Toposes we consider some basic notions of (∞,1)-topos theory to set up our context and notation. In Cohesive (∞,1)-toposes we consider axiomatics of big -toposes. These induce a wealth of general abstract internal structures, which we list and discuss in Structures in a cohesive (∞,1)-topos. In Infinitesimal cohesion-topos#InfinitesimalCohesion) we add one more axiom that characterizes infinitesimal cohesive structure and again discuss the induced structures.
We assume now that the reader is familiar with a few basic notions in (HTT). A route through the material that we do refer to is given at Seminar on (∞,1)-Categories and ∞-Stacks. A useful meta-theorem to keep in mind, originally emphasized by André Joyal and Charles Rezk is
(∞,1)-Category theory parallels category theory.
(∞,1)-Topos theory parallels topos theory.
This means that essentially all the standard constructions and theorems have their -analogs if only we replace isomorphism consistently by equivalence in an (∞,1)-category. Notably there is the evident notion of (∞,1)-category of (∞,1)-presheaves and an (∞,1)-Yoneda lemma applies to it. There is a notion of (∞,1)-limits and adjoint (∞,1)-functors and they satisfy the expected properties. This allows to define (∞,1)-geometric morphisms as certain pairs of adjoint -functors and finally to define (∞,1)-sheaf (∞,1)-toposes as (∞,1)-geometric embeddings inside (∞,1)-categories of (∞,1)-presheaves.
Following (HTT), for us “-topos” means this:
An (∞,1)-sheaf (∞,1)-topos is an acessible (∞,1)-geometric embedding
into an (∞,1)-category of (∞,1)-presheaves over some small (∞,1)-category .
We say this is an (∞,1)-category of (∞,1)-sheaves (as opposed to a hypercompletion of such) if is the reflective localization at the covering sieves of a Grothendieck topology on the homotopy category of (a topological localization), and then write (with the site structure on understood).
For an -topos we write for its ∞-hom ∞-groupoid between objects and , and write for the hom-set in the homotopy category of an (∞,1)-category.
(So we do not consider a more general notion of “elementary -topos”.)
Our discussion revolves around situations where the the following fact has a refinement:
For every -topos there is an essentially unique (∞,1)-geometric morphism to the -topos ∞Grpd.
This is (HTT, prop. 6.3.41). Here takes global sections and forms constant (∞,1)-sheaves.
For computations it is useful to employ a generators and relations presentation for presentable (∞,1)-categories in general and (∞,1)-toposes in particular, given by ordinary sSet-enriched categories equipped with the structure of combinatorial simplicial model categories. These may be obtained by left Bousfield localization of a model structure on simplicial presheaves. (See appendix 2 and 3 of HTT.) Specifically we have the following.
Let be a site (regarded as a small category with a coverage (Elephant)). Write
for the (∞,1)-category of (∞,1)-sheaves over .
for the full subcategory on the fibrant-cofibrant objects of the left Bousfield localization of the projective simplicial model category model structure on simplicial presheaves over at the set of Cech nerve projections for each covering family in .
There is an equivalence of (∞,1)-categories
By the discussion in the appendix of (http://nlab.mathforge.org/schreiber/show/differential+cohomology+in+an+(%E2%88%9E%2C1)-topos+–+references#FSS) we have that the -category presented by the left Bousfield localization at the coverage is equivalent to that obtained by left Bousfield localization at the full Grothendieck topology that it generates.
The statement then follows as in the proof of HTT prop. 6.5.2.14.
See model structure on simplicial presheaves – Localization and descent for details.
In terms of this presentation of -categories, adjoint (∞,1)-functors are presented by simplicial Quillen adjunctions between simplicial model categories: the restriction of a simplicial Quillen adjunction to fibrant-cofibrant objects is the sSet-enriched functor that presents the -derived functor under the model of (∞,1)-categories by simplicially enriched categories.
Let and be simplicial model categories and let
be an sSet-enriched adjunction whose underlying ordinary adjunction is a Quillen adjunction. Let and be the (∞,1)-categories presented by and (the Kan complex-enriched full sSet-subcategories on fibrant-cofibrant objects). Then the Quillen adjunction lifts to a pair of adjoint (∞,1)-functors
On the decategorified level of the homotopy categories these are the total left and right derived functors, respectively, of and .
This is (HTT, prop 5.2.4.6).
The following proposition states conditions under which a simplicial Quillen adjunction may be detected already from knowing of the right adjoint only that it preserves fibrant objects (instead of all fibrations).
If and are simplicial model categories and is a left proper model category, then for an sSet-enriched adjunction
to be a Quillen adjunction it is already sufficient that preserves cofibrations and preserves fibrant objects.
This appears as (HTT, cor. A.3.7.2).
We will use this for finding simplicial Quillen adjunctions into left Bousfield localizations of left proper model categories: the left Bousfield localization preserves the left properness, and the fibrant objects in the Bousfield localized structure have a good characterization: they are the fibrant objects in the original model structure that are also local objects with respect to the set of morphisms at which one localizes.
Therefore for the left Bousfield localization of a simplicial left proper model category at a class of morphisms, for checking the Quillen adjunction property of it is sufficient to check that preserves cofibrations, and that takes fibrant objects of to such fibrant objects of that have the property that for all the derived hom-space map is a weak equivalence.
We construct specific cohesive (∞,1)-toposes and discuss the nature of the general abstract structures in these models. We consider discrete cohesion, Euclidean-topological cohesion, then smooth cohesion and synthetic differential cohesion.
We study aspects of the realization of the general abstract Chern-Weil theory in a cohesive (∞,1)-topos in the model Smooth∞Grpd.
The generalization of ordinary Chern-Weil theory in ordinary differential geometry obtained this way comes from two directions:
The ∞-Chern-Weil homomorphism applies to -principal ∞-bundles for more general than a Lie group.
In the simplest case may be a higher connected cover of a Lie group, realized as a smooth n-group for . Applied to these, the -Chern-Weil homomorphism sees fractional refinements of the ordinary differential characteristic classes as seen by the ordinary Chern-Weil homomorphism.
This we discuss in Fractional differential characteristic classes
More generally, may be any smooth ∞-groupoid, for instance obtained from a general L-∞ algebra or ∞-Lie algebroid by Lie integration. In
we discuss a list of examples for which the higher parallel transport of the circle n-bundles with connection in the image of the -Chern-Weil homomorphism reproduces action functionals of various sigma-model/Chern-Simons-like quantum field theories.
The -Chern-Weil homomorphism is not just a function on cohomology sets, but an (∞,1)-functor on the full cocycle ∞-groupoids.
The allows to access the homotopy fibers of this (∞,1)-functor. Over the trivial cocycle these encode the differential refinement of the obstruction theory associated to the underlying bare cocycle. Over nontrivial cocycles they encode the corresponding twisted cohomology.
A central class of examples are higher differential Spin structures induced from the Whitehead tower of the orthogonal group. These appear in various guises in string background gauge fields.
Higher differential spin structures
But also differential T-duality pairs are an example, as we discuss in
Finally, we observe that the ∞-Chern-Weil homomorphism may be understood as providing the Lagrangian of higher analogs of Chern-Simons theory, in that its intrinsic integration, yields a functional on the ∞-groupoid of ∞-connections that generalizes the action functional of Chern-Simons theory from ordinary semisimple Lie algebras and their Killing form to arbitrary ∞-Lie algebroids and arbitrary invariant polynomials on them. We conclude in ∞-Chern-Simons functionals by a discussion of a list of quantum field theories obtained this way.
Last revised on October 21, 2011 at 18:23:05. See the history of this page for a list of all contributions to it.