differential cohomology in an (∞,1)-topos – survey
internal homotopy ∞-groupoid?
(…)
Background fields in twisted differential nonabelian cohomology?
This entry is about the article
We generalize the topological notion of string structure
to that of higher string structures such as Fivebrane structure;
and to the smooth context.
Then we refine the notion of higher smooth String structure from smooth nonabelian cohomology to
and
We show
that the data known in quantum field theory as a Green-Schwarz mechanism encodes a cocycle in differential twisted cohomology. Concretely, we identitfy the Green-Schwarz mechanism in heterotic string theory with the existence of differential twisted String-structures
that the dual Green-Schwarz mechanism in dual heterotic string theory with differential twisted Fivebrane-structures.
Abelian differential generalized cohomology as developed by Hopkins and Singer has been shown by Freed to formalize the global description of anomaly cancellation problems in higher gauge theories arising in String theory, such as notably the Green-Schwarz mechanism. On the other hand, this mechanism, as well as the Freed- Witten anomaly cancellation, are fundamentally governed by the cohomology classes represented by the relevant nonabelian - and -principal bundles underlying the tangent bundle and the gauge bundle on target space.
We unify the picture by describing differential nonabelian cohomology and differential twisted cohomology and apply it to these situations. We demonstrate that the Freed-Witten mechanism for the Kalb-Ramond field, the Green-Schwarz mechanism for the Kalb-Ramond field, as well as its magnetic dual version for the -field define cocycles in twisted nonabelian differential cohomology that may be addressed, respectively, as twisted -, twisted String structure - and twisted - structures on target space, where the twist in each case is provided by the obstruction to lifting the gauge bundle through a higher connected cover of . We work out the (nonabelian) ∞-Lie algebroid valued differential forms data provided by the differential refinements of these twisted cocycles and demonstrate that this reproduces locally the differential form data with the twisted Bianchi identities as known from the string theory literature. The treatment for M-theory leads to models for the -field and its dual in differential nonabelian cohomology.
Contents
1) Plan
this is the page seen here
2) Differential nonabelian cohomology
this is the section at differential nonabelian cohomology
3) Twisted topological structures
this is essentially the material at twisted cohomology
4) -connections
this is essentially the material at Cartan-Ehresmann ∞-connection
5) Twisted differential structures
this is essentially the material at differential twisted cohomology
An interesting supply of motivations for and applications of generalized notions of cohomology arises in formal higher energy physics in the context of theories that combine and generalize Maxwell’s theory of the electromagnetic field, Einstein’s theory of the gravitational field and Yang-Mills' theory of general gauge fields.
In order to formalize and study certain phenomena exhibited by such higher background fields – such as
the Kalb-Ramond field in heterotic or type II supergravity
the RR field in type II supergravity
the supergravity C-field maximal supergravity –
Hopkins and Singer in their seminal work developed the general theory of differential refinements of generalized (Eilenberg-Steenrod) cohomology. Based on this, Freed explained certain subtle effects, previously observed semi-rigorously by physicists, systematically as phenomena exhibited by cocycles in generalized abelian differential cohomology.
This involves notably various twists of one kind of cohomology by another. The most familiar example is twisted K-theory, the cohomology theory that in formal high energy physics describes the RR field.
But the physical applications indicate that this is only the simplest example in a more general theory of twisted generalized cohomology. The next example is the famous Green-Schwarz mechanism in heterotic supergravity, which, as Freed explained, amounts to asserting a kind of twist of a higher differential cohomology class.
While this clarifies some of the structure, it remains noteworthy that the twist in the Green-Schwarz mechanism is fundamentally encoded not in abelian generalized coholomology, but by the class of a -principal bundle for a nonabelian group , hence by a class in nonabelian cohomology.
The coefficients of ordinary generalized cohomology are spectra. If connective, these are maximally abelian namely symmetric monoidal -groupoids or equivalently – by the homotopy hypothesis – topological spaces. In contrast to that, degree -nonabelian cohomology allows as coefficients arbitray n-groupoids, i.e. homotopy n-types. Such nonabelian cohomology is traditionally most familiar in the study of 1- and 2-gerbes as well as in the higher Schreier theory of nonabelian group extensions. Here may be .
Using the language of Quillen model categories it was already realized in BrownAHT that generalized (Eilenberg-Steenrod) cohomology, abelian sheaf cohomology as well as nonabelian cohomology all describe hom-sets in homotopy categories of (pre)sheaves with values in infinity-groupoids – called simplicial presheaves
This perspective was later refined by Joyal and Jardine’s study of the model structure on simplicial presheaves. By the recent result of Lurie HTT we know that these constructions model precisely the theory of ∞-stacks in that they are (hypercomplete) models for ∞-stack (∞,1)-toposes.
This leads one to expect that a general theory of smooth cohomology that encompasses abelian as well as nonabelian phenomena concerns a smooth (∞,1)-topos of ∞-stacks on a site such as that of smooth loci: these may be regarded as ∞-Lie groupoids. This perspective on -stacks as the truly general notion of cohomology is implied by Lurie’s very notion of -topos as a context that “behaves like topological spaces” . It can be found made explicit for instance in Dug.
We therefore place ourselves in a general context in which all the familiar operations of the homotopy theory of topological spaces – such as notably fibration sequences – make sense and work as expected, but where these spaces may be something more general and/or richer than topological spaces: Specifically, for applications to physics in general and for our applications to differential cohomology? in higher gauge theory in particular they may be smooth and wildly infinite-dimensional spaces. The general tool for describing contexts that behave like the category Top of topological spaces but are richer are (∞,1)-toposes of infinity-stacks.
We pick a well-adapted smooth (∞,1)-topos of ∞-Lie groupoids as our context and then study the following questions:
What is the general notion of differential cohomology? in ?
What is the general notion of twisted cohomology in ?
How does this describe phenomena exhibited by background fields in string theory?
How does this induce the corresponding quantum field theories of objects charged under these background fields?
The last of these four questions is our main motivation. Here, however, we don’t go into this last question except that it shall serve to motivate our answer to the first question:
In the context of general (nonabelian) cohomology we set up notions of
differential cohomology?
First notice how the (∞,1)-topos comes with its notion of
Before stating our formulation of differential cohomology? the reader familiar with functorial quantum field theory may find it helpful to consider the following motivation. Other readers should skip this motivation.
Recall that, as finally fully formalized in TFTClass, an -dimensional topological quantum field theory is an -functor
on the (∞,n)-category of cobordisms with values in an (∞,n)-category of something like -vector spaces.
On the other hand, when we have on a target space object a background field under which an -dimensional object is charged, we expect a notion of parallel transport and holonomy encoded by an -functor
from bordisms equipped with maps into , that assigns to an -dimensional bordism its parallel transport or holonomy, as a morphism in .
The above suggests that those QFTs that arise as sigma models in that they are encoded by a background field are, in some sense, \emph{extensions}
along the obvious forgetful -functor .
Whatever this extension procedure may be in detail, a necessary prerequisite for studying it is a good grasp of how to encode differential cocycles on in terms of functors on .
In a series of articles BaezSchr,SWI, SWII, SWIII it was shown that gerbes with connection and more generally higher principal bundles with connection are indeed encoded as morphisms in of the form
where the is essentially the subobject of consisting only of bordisms in that are homeomorphic to a disk: the path n-groupoid of .
Let be a Lie group, the corresponding delooped one-object smooth groupoid in – this is a smooth version of the classifying space of – and similarly the one-object 2-groupoid coming from the automorphism 2-group of . Let be a manifold, then
Jim Stasheff: SUGGEST SPLITTING THAT IN TWO SINCE THE FIRST HALF NEEDS ONLY AN ORDINARY GROUP WHEREAS THE SECOND NEEDS 2-GROUPS, GERBES, FAKE-FLAT ETC ETC WHICH WOULD BE HANDLED BY AN INSERT
Urs Schreiber: yes, that needs more detail and polishing – will try to get to that soon
In particular let be the smooth 2-groupoid with the Lie group in degree 2, then
Here the notation means the following:
is a smooth realization in our smooth (∞,1)-topos of the familiar classifying space for -principal bundles. Similarly, is a smooth model the iterated classifying space .
For and objects in , the notation or for short denotes the topological space or infinity-groupoid of maps from to , homotopies between maps, homotopies between homotopies, etc.
In particular, the cohomology itself on with coefficients in is the the set of homotopy classes of such maps
Finally, fake flatness is a certain condition on differential structures that is invisible in ordinary connections on a bundle but appears in the generalized context considered here: for an n-truncated object the curvature? of a differential cocycle is a list of differential forms in degree 1 through . For the 2-form curvature is sometimes called the “fake” curvature, whereas the “true” one is the 3-form curvature.
Also in the case of abelian coefficients the fake-flatness condition is empty and plays no role. But in the nonabelian case, as well as in the abelian equivariant case, fake flatness is more restrictive than what one might expect. For full nonabelian differential cohomology the above is slightly too naive and replaced by the following.
For every object there is an object , the path infinity-groupoid? of . The -cells of are generated from the existing -cells of and from -dimensional smooth paths (disk-shaped cobordisms) in . See path infinity-groupoid? for details.
For any coefficient object we call the flat differential -cohomology of or the -local systems on .
For once deloopable there is a morphism
whose image of an -cocycle we call the characteristic curvature class of .
Given a class we call the corresponding -twisted flat differential -cohomology the differential A-valued cohomology? with curvature .
The last clause uses the following definition of twisted cohomology.
Recall that the main point of having an (infinity,1)-topos that replaces the ordinary (infinity,1)-category Top is that familiar notions of homotopy theory all apply as expected in . In particular, there is a notion of homotopy pullback and fibration sequence in .
Let be such a fibration sequence in . We have left-exactness of the Hom for any object we obtain the fibration sequence
of -groupoids or topological spaces, that characterizes -cocycles as those -cocycles whose obstructing -cocycle is trivializable.
For any possibly nontrivial -cocycle on , define the -twisted -cohomology to be the homotopy pullback
We discuss the following exampleS and applicationS of twisted differential cohomology .
Jim I TAKE THIS AS AN OUTLINE
Urs yes, I will work on this
fibration sequence:
twisting cocycle: lifting gerbe;
twisted cocycle: twisted bundles / gerbe modules
twisted Bianchi identity:
occurence: Freed-Witten anomaly cancellation on D-brane
fibration sequence:
twisting cocycle: Chern-Simons 2-gerbe;
twisted cocycle: twisted nonabelian String-gerbe with conection
twisted Bianchi identity:
occurence: Green-Schwarz anomaly cancellation
Proof.
(with Danny Stevenson and Christoph Wockel: (SSSS)) use BCSS model (BCSS) of with Brylinski-McLaughlin construction of
(using (SaScSt I, SaScSt III):) compute local differential form data after differentiating smooth -groupoids to L-infinity algebroids using the formalism of (SaScSt I)
for aspects of the twisted case see also
fibration sequence:
twisting cocycle: Chern-Simons 6-gerbe;
twisted cocycle: twisted nonabelian Fivebrane-gerbe with connection
occurence: dual Green-Schwarz anomaly cancellation for NS 5-brane magnetic dual to string
fibration sequence:
twisting cocycle: -orbifold;
twisted cocycle: orientifold gerbe / Jandl gerbe with connection
occurence: unoriented string
unwrap the above abstract nonsense and use the above results to find SchrSchwWal and the bosonic part of DiFrMo
this is the end of section 1) Plan
Last revised on October 22, 2009 at 07:27:25. See the history of this page for a list of all contributions to it.