differential cohomology in an (∞,1)-topos – survey
internal homotopy ∞-groupoid?
(…)
Background fields in twisted differential nonabelian cohomology?
This entry discusses the definition of differential twisted cohomology classifying connections on twisted principal $\infty$-bundles.
We list examples identifying gauge fields in string theory subject to a Green-Schwarz mechanism with cocycles in differential twisted cohomology.
Differential twisted cohomology is the pairing of the notions of
with
Recalling that
a cocycle in differential cohomology? is to the underlying bare cocycle as a connection on an ∞-bundle is to a principal ∞-bundle;
a cocycle in twisted cohomology is to an ordinary cocycle as a twisted ∞-bundle is to a principal ∞-bundle
we expect cocycles in differential twisted cohomology to classify twisted principal $\infty$-bundles with connection.
The definition of differential twisted cohomology is obvious when we remember that for $A \to B \to C$ a fibration sequence and $c : X \to C$ a given twisting cocycle, a $c$-twisted $A$-cocycle is nothing but a $\hat B$-cocycle that satisfies a certain constraint. Therefore differential twisted $A$-cocycles are just differential $B$-cocycles satisfying a constraint.
More formally, we can restate this using the fact that differential cohomology? itself is defined as a kind of twisted cohomology, where the twist is given by curvature characteristic classes.
Therefore differential twisted cohomology may be simply understood as an example of bi-twisted cohomology.
Fix some (∞,1)-topos $\mathbf{H}$. Consider two fibration sequences
and
with the same object $B$ in the middle. Then given a $C$- and a $C'$-cocycle $c : X \to C$ and $c' : X \to C'$, respectively, we say that the set of connected components
of the homotopy pullback in
is the $[c,c']$-bitwisted cohomology of $X$.
Differential twisted cohomology is an example of this as follows:
Fix some (∞,1)-topos $\mathbf{H}$.
Consider a fibration sequences
As at differential cohomology? assume first for simplicity that $B$ is once deloopable (semi-abelian). Then according to the discussion at differential cohomology? it sits also in the fibration sequence
(Recall the definition of $B_flat$ from path ∞-groupoid and the definition of $B_{dR}$ from nonabelian deRham cohomology.)
Then given a $C$-cocycle $c : X \to C$ and a curvature characteristic class $P : X \to \mathbf{B}B_{dR}$, we say that the differential $[c]$-twisted cohomology with curvature class $[P]$ is the $[c,P]$-bitwisted cohomology $H_{[c,P]}(X, A \times_{B} B_{flat})$ of $X$.
Fix a smooth (∞,1)-topos $\mathbf{H}$ of Lie infinity-groupoid and consider the ∞-Lie theory that it provides.
In this context we have smooth versions of the String- and the Fivebrane fibration sequence
and
For a given twisting class
and
we determine the local differential form data and twisted Bianchi identity of differential refinements of the corresponding twisted $String(n)$- and twisted $Fivebrane(n)$-cocycles, respectively.
The local differential form data of a twisted $String(n)$-bundle with connection is (see section 5.2 of 5twist).
The local differential form data of a twisted $Fivebrane(n)$-bundle with connection is (see second part of section 5.4 of 5twist).
This is the differential form data known from the Green-Schwarz mechanism and dual Green-Schwarz mechanism.
We consider the case of differential twisted $String(n)$-cocycles. The $Fivebrane$-case works entirely analogously.
The crucial point to notice is that the twisting morphism
may be modeled in the model structure on simplicial presheaves $SPSh(C)_{loc}$ that models our $(\infty,1)$-category $\mathbf{H}$ of Lie ∞-groupoid by the span of crossed complexes
The corresponding morphism of L ∞-algebras is
Therefore for $\hat g_{tw}$ a cocyle for a smooth $\frac{1}{2}p_1(T X)$-twisted $String(n)$-principal ∞-bundle out of the canonical hypercover $Y \stackrel{\simeq}{\to} P$ given by the total space $P \to X$ is
the corresponding Cartan-Ehresmann ∞-connection is given by the diagram
of Chevalley-Eilenberg algebras such that the corresponding twist is the prescribed one. This correct projection of the twist is ensured by inserting this diagram into the big diagram on page 73 of 5twist.
It remains to read off the corresppnding local differential form data. This is done in the diagram on page 75 of 5twist.
Last revised on October 14, 2009 at 15:15:49. See the history of this page for a list of all contributions to it.