Schreiber
Background fields in twisted differential nonabelian cohomology

The following are notes from an early talk on the material developed at differential cohomology in a cohesive topos. Related later lectures notes include twisted smooth cohomology in string theory and geometry of physics.


This are notes for a talk given at Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology

Plan

  • 1) Motivation

  • 2) Smooth nonabelian cohomology

  • 3) Differential nonabelian cohomology

    • to every smooth -groupoid X is associated a smooth -groupoid Π(X) of k-disk-shaped smooth paths of sorts in X, for all k

    • differential cohomology of X is essentially (up to a twist, to be discussed) cohomology of Π(X)

    • H diff(X,A)=H(Π(X),A)

  • 4) Twisted nonabelian cohomology

    • for (AB^B) a fibration sequence of smooth -groupoids and cH(X,B) there exists a natural notion of

    • c-twisted A-cohomology H c(X,A)

  • 5) Examples

    • there are a bunch of examples that physicists have been thinking about for a long time, which still are awaiting a proper formalization

      • compare Freed/Distler/Moore’s recent work on understanding what a background for 2d SCFT really is;
    • here is a list of some examples that we shall have something to say about:

    • purely topological QFTs

    • topological parts of “physical” QFTs

      • Yang-Mills gauge field

      • Kalb-Ramond field

      • twisted Green-Schwarz Kalb-Ramond field

        • twisted nonabelian String-gerbe with connection

        • to which the heterotic string couples;

      • orientifold Kalb-Ramond field

        • twisted gerbe with connection

        • to which the type II string couples;

      • twisted dual Green-Schwarz Kalb-Ramond field

        • twisted nonabelian Fivebrane 5-gerbe with connection

        • to which the fundamental 5-brane (the magnetic dual of the string) couples

1) Motivation

  • understand background fields for sigma-model QFTs structurally:

    • (here a “sigma-model” is a (d+1)-dimensional quantum field theory describing the dynamics of a d-dimensional object propagating through a target space X and subject to forces exerted by a background field (like an electromagnetic field) )
  • such that path integral quantization to extended QFTs can be understood structurally by extension

by this we mean: we want to make sense of diagrams roughly of the form

Π n(X) A exp(iS()) Bord n(X) exp(iS()) Bord n\array{ \Pi_n(X) &&\stackrel{\nabla}{\to}&& A \\ \downarrow &&{}^{\exp(i S(-))}\nearrow && \\ Bord_n(X) \\ \downarrow &&& \nearrow_{\int \exp(i S(-))} \\ Bord_n }

(notice we don’t try to make precise or even correct this diagram here, that’s another topic, here it just serves to motivate why we are first of all interested in making precise and correct the top horizontal morphism data, which is the topic here)

where the objects and arrows appearing here indicate the following structures

ndimpathsinX coefficientsuchasnVect exp(iS()) ndimbordismsinX exp(iS()) abstractndimbordisms\array{ n-dim paths in X &&\stackrel{\nabla}{\to}&& coefficient such as nVect \\ \downarrow &&{}^{\exp(i S(-))}\nearrow && \\ n-dim bordisms in X \\ \downarrow &&& \nearrow_{\int \exp(i S(-))} \\ abstract n-dim bordisms }

and are supposed to have the following interpretation

targetspace backgroundfielddiff.cocycle A action fieldspace QFT worldvolume\array{ target space &&\stackrel{\stackrel{diff. cocycle}{background field}}{\to}&& A \\ \downarrow &&{}^{action}\nearrow && \\ field space \\ \downarrow &&& \nearrow_{QFT} \\ worldvolume }
  • the top horizontal morphism: parallel transport of something like a higher connection along disks in target space X;

    • :(xγy)(E xtra(γ)E y)
  • the middle morphism: an extension of that transport over disks in X to entire cobordisms in X; amounting to equipping the connection with a notion of higher traces such as to yield holonomy. This holonomy is the action functional of a topological sigma-model QFT

  • the lowest morphism: some extension of the action functor from bordisms in X to abstract bordisms, where it represents an FQFT.

goal

  • identify where this diagram lives;

  • work out the above examples

2) Smooth nonabelian cohomology

so now: work out where this diagram lives

2.1) toy example: topological cohomology

  • first toy case of Dijkgraaf-Witten theory (n-dimensional)

  • here background field is just a continuous map

    g:BGK(,n+1)g : B G \to K(\mathbb{Z},n+1)

    in Top

  • two background fields are gauge equivalent if these maps are homotopic

    ([g]=[g])exist( g BG K(,n+1) g)([g] = [g']) \Leftrightarrow \exist \left( \array{ & \nearrow \searrow^{g} \\ B G &\Downarrow& K(\mathbb{Z}, n+1) \\ & \searrow \nearrow^{g} } \right)
  • even simpler by passing to a combinatorial model for topological spaces: infinity-groupoids (Kan complexes)

    g:BGB nU(1)g : \mathbf{B} G \to \mathbf{B}^n U(1)
    • here

      • BG={ggG} is groupoid with one object and the group G as the set of morphisms

      • B nU(1) is similarly the n-gtoupoid with nontrivial morphisms in degree n given by the group U(1)

  • in either case there is an (infinity,1)-category – an Grpd enriched category

    H=Top\mathbf{H} = Top

    (compactly generated weakly Hausdorff topological spaces) or equivalently

    H=Grpd\mathbf{H} = \infty Grpd
  • and we simply have H(X,A):={AvaluedbackgroundfieldsonX}={AvaluedcocyclesonX}

  • and H(X,A):=π 0H(X,A)={gaugeequivalenceclassesofAvaluedbackgroundfieldsonX}={cohomologyclassesofAvaluedcocyclesonX}

2.2) generalization: (,1)-topos of -stacks

2.3) model: -groupoid valued sheaves

  • to actually work with this, we chose a convenient model that presents -stacks on Diff.

  • there is an old construction, dating back to the remarkable

  • to model -stacks as ordinary sheaves

    A:Diff opGrpdA : Diff^{op} \to \infty Grpd

    with values in -groupoids, using

  • this essentially amounts to remembering those morphisms of smooth -groupoids that behave like surjective equivalences

    • (f:YX) is surjective equivalence of smooth -groupoids precisely if when regarded as a morphism of sheaves it it restricts to a surjective equivalence of ordinary -groupoids locally (“stalkwise”)

    • these are also called

      • acyclic fibrations (generally)

      • hypercovers (the usefully suggestive terminology in our context)

    • the -morphisms then are modeled by anafunctors, i.e. morphisms out of surjective equivalences ((XA)H(X,A)):=[Y A X]

    • and the full hom--groupoid is obtained by doing this for all possible hypercovers

      • H(X,A)colim YXSh(Y,A)
  • this procedure amounts to using rectified -stacks: those which as functors on the site are ordinary strict functors

  • Jacob Lurie in HTT shows in particular that rectified -stacks are sufficient :

2.3) cocycles and cohomology in this context

Theorem (Kenneth Brown (1973))

  • for the site being the category of open subsets of a space X

  • F a sheaf of abelian groups

  • A F its corresponding -groupoid valued sheaf under the above inclusionCh(Ab)Grpd

sheaf cohomology in degree n with values in F is cohomology of X with coefficients in B nA F

H n(X,F)H(X,B nA F)H^n(X,F) \simeq H(X,\mathbf{B}^n A_F)

(on the left ordinary sheaf cohomology, on the right nonabelian cohomology from above)

  • so: abelian sheaf cohomology is really a way to compute the -stackificatin of an -prestack that happens to factor through Ch +(Ab)Grpd

    • the usual prescription (by right derived section functor) looks comparatively more unintuitive because X itself does not represent an abelian sheaf, but a nonabelian sheaf. When regarded in nonabelian cohomology sheaf cohomology looksjust as cohomology as homotopy class of maps in Top does.

3) Differential nonabelian cohomology

  • we are already -smooth, now we want -connections

  • main point of connections in physics: yield parallel transport and then from that actionafunctionals

  • so consider: for each smooth -groupoid X there is a smooth path -groupoid P n(X) whose

    • k-morphisms are smooth k-dimensional images of k-disks in X.
  • idea: differential cohomology on X is cohomology on P n(X): the cocycle P n(X)A is the parallel transport of a higher connection over k-volumes;

  • this is a a functorial assignment

    P n:DiffSh(Diff,Grpd)P_n : Diff \to Sh(Diff, \infty Grpd)

    of smooth n-path groupoids to smooth spaces (BaSc, ScWa I ScWa II MaPi I)

  • so we can define for each smooth coefficent -groupoid A its differential refinement A P n, which as a sheaf is

A P n:=Sh(P n(),A):Diff opGrpdA^{P_n} := Sh(P_n(-), A) : Diff^{op} \to \infty Grpd

Theorem (BaSc ScWa I ScWa II, ScWa III MaPi I))

  • BG P 1=Ω 1(,Lie(G))

    • means: pre -stack BG P 1 is that of Lie(G)-valued differential forms and gauge transformations between them
  • B nU(1) P n=(n+1) D

    • means: pre -stack B nU(1) P n is the Deligne complex of abelian sheaves
  • H(X,BG P 1)GBund (X)

    • means: -stackification of BG P 1 is smooth G-bundles with connection
  • H(X,B nU(1) P n)U(1)(n1)BundGrb (X)

    • means: -stackification of B nU(1) P n is smooth U(1) (n1)-bundle gerbes with connection;
  • given this consistency check with familiar structures, we get now much more:

    • we can now define higher nonabelian differential cohomology with parallel transport with coefficients in any smooth -groupoid

    • for instance for general strict 2-group G ((BaSc ScWa MaPi II), the differential nonabelian cohomolog H(X,GG P n) combines

      • the first nonabelian degree 1 example

      • with something abelian in higher degree

      • and with action of degree 1 group on the rest by automorphisms

  • this appears in the twisting examples below:

Principle

  • Higher nonabelian cohomology disguises as twisted higher abelian cohomology .

  • conversely: twisted higher abelian cohomology is really nonabelian cohomology

  • moreover

    • notice that for general coefficients the above notion of differential cohomology is too restrictive on curvature: curvature will only be allowed to be non-vanishing in higher degree (“fake flatness”)

    • real answer is: non-flat differential cocycle is (curvature characteristic form)-twisted flat differential cohomology

  • so pass now to twisted cohomology

4) Twisted nonabelian cohomology

we

  • recall the physical motivation of twisted cocycles

  • present a formalization in smooth Grpds

  • demonstrates how this captures the two kinds of twists

    • smooth twist of cocycle by magnetic charges;

    • differential twist giving rise to curvature and characteristic forms for differential cocycles.

4.1) twists of background fields by charges

(Fr)

  • recall twisting of electromagnetic field by magnetic current J magnetic in Maxwell’s equations:

    dF =J magneticd F_\nabla = J_{magnetic}
  • this is called the twisted Bianchi identity

  • so here cannot be the connection on a bundle

  • it is a connection on a twisted bundle. This generalizes to higher connections twisted by higher magnetic charges.

4.2) formalization

  • since smooth -groupoids live in an (infinity,1)-topos it makes sense to apply all the usual operations as used to from topological spaces;

  • so we say a sequence AB^B of smooth
    -groupoids is a fibration sequence if

    A * B^ B\array{ A &\to& * \\ \downarrow && \downarrow \\ \hat B &\to & B }

    is homotopy pullback

  • crucial property of homotopy pullback: preserved by Hom, so we get a homotopy pullback of cocycle -groupoids

    H(X,A) * * H(X,B^) H(X,B)\array{ \mathbf{H}(X,A) &\to& * \\ \downarrow && \downarrow^{*} \\ \mathbf{H}(X,\hat B) &\to & \mathbf{H}(X,B) }
  • this says A-cocycles are precisely those B^-cocycles whose underlying B-cocycle is trivializable

  • conversely: the obstruction to lifting a B^-cocycle to an A-cocycle is precisely its image as a B-cocycle

  • now just tweak this situation a little

Definition: twisted cohomology (SaScSt III)

For AB^B a fibration sequence and cH(X,B) a B-cocycle, the c-twisted A-cohomology H c(X,A) is the homotopy pullback

H c(X,A) * c H(X,B^) H(X,B)\array{ \mathbf{H}^c(X,A) &\to& * \\ \downarrow && \downarrow^{c} \\ \mathbf{H}(X,\hat B) &\to & \mathbf{H}(X,B) }
  • notice that what used to be the trivial cocycle in the right vertical morphism is now replaced by c

  • claim this simple and systematic general nonsense definition reproduces the twists by charges one sees “in nature”

4.3) Examples and applications

in applications in physics there are two types of twists simultaneously

  • the smooth twist that comes from charges

  • the differential twist by characteristic forms that makes the cocycle non-flat

4.3.1) curvature characteristic forms of differential cocycles

we just briefly indicate the idea behind obtaining a Chern-Weil theory for higher differential cohomology in terms of curvature-twisted flat differential cohomology SaScSt III)

  • find obstruction to extension problem

    (X A Π(X))(X A Π(X))\left( \array{ X &\to& A \\ \downarrow & \\ \Pi(X) } \right) \mapsto \left( \array{ X &\to& A \\ \downarrow & \nearrow \\ \Pi(X) } \right)

    that equips a cocycle with a flat connection

  • solution by above twisting method:

    • lift relative cohomology on XΠ(X) through the reltive fibration sequence

      A A EA A EA BA\array{ A &\to& A &\to& \mathbf{E}A \\ \downarrow && \downarrow && \downarrow \\ A &\to& \mathbf{E}A &\to& \mathbf{B} A }
    • turning the crank, one finds that the corresponding curvature-twisted cocycles are given by squares

      X g A underlyingcocycle firstEhresmanncondition Π(X) EA connection secondEhresmanncondition Π(X) P BA char.forms\array{ X &\stackrel{g}{\to}& A && underlying cocycle \\ \downarrow && \downarrow &&& first Ehresmann condition \\ \Pi(X) &\stackrel{\nabla}{\to}& \mathbf{E}A && connection \\ \downarrow && \downarrow &&& second Ehresmann condition \\ \Pi(X) &\stackrel{P}{\to}& \mathbf{B}A && char. forms }

      with lowest morphism trivializing when pulled back along XΠ(X) .

  • obstruction to having flat connection is nontriviality of P: characteristic forms

  • detailed examples in

    • Sati, Schreiber, Stasheff, L connections (arXiv)
  • abstract nonsense and more details on detailed examples:

    • Sati, Schreiber, Stasheff, Twisted differential String and Fivebrane structures (pdf)
  • this produces the twisted Bianchi identities appearing in the following examples

4.3.2) charge twisted cocycles

we now

  • list fibration sequence of smooth -groupoids

  • and indicate properties of the corresponding differential twisted nonabelian cohomology

Examples / Claim

  • fibration sequence: BU(n)BPU(n)B 2U(1)

    • twisting cocycle: lifting gerbe;

    • twisted cocycle: twisted bundles / gerbe modules

    • twisted Bianchi identity: dF =H 3

    • occurence: Freed-Witten anomaly cancellation on D-brane

  • fibration sequence: BString(n)BSpin(n)12p 1B 3U(1)

  • fibration sequence: BFivebrane(n)BString(n)16p 2B 7U(1)

  • fibration sequence: B 2U(1)B(U(1) 2)B 2

    • twisting cocycle: 2-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

Revised on January 8, 2013 05:36:23 by Urs Schreiber (82.113.99.249)