nLab Chern-Weil theory in Smooth∞Grpd

Redirected from "∞-Chern-Weil homomorphism".

much of the material below has been or is being reworked into the entries Smooth∞Grpd and connection on a smooth principal ∞-bundle

Context

\infty-Chern-Weil theory

Differential cohomology

Contents

In every cohesive (∞,1)-topos there is an intrinsic notion of Chern-Weil theory. We discuss the concrete realization of this in the cohesive (,1)(\infty,1)-topos Smooth∞Grpd of smooth ∞-groupoids. This s the case that subsumes ordinary Chern-Weil theory of smooth principal bundles with connection and generalizes it to connections on smooth principal ∞-bundles.

Motivation

The central motivation for the study of a higher generalization of ordinary Chern-Weil theory is the interest in extending the Chern-Weil homomorphism for a given Lie group GG to the higher connected covers of GG through the whole Whitehead tower of GG. Beyond the simply connected cover, these higher connected covers are still topological groups but fail to be (finite dimensional) Lie groups. They do however have natural realizations as smooth ∞-groups. Higher Chern-Weil theory is the extension of Chern-Weil theory from Lie groups to such smooth \infty-groups. It allows the refinement of differential characteristic classes to fractional differential characteristic classes, that capture finer cohomological information.

Fractional differential classes

We give some examples of such fractional characteristic classes that occur in practice.

It is a familiar classical fact that the first Pontryagin class

p 1:SO 4, p_1 : \mathcal{B}SO \to \mathcal{B}^4 \mathbb{Z} \,,

which represents the generator of the fourth integral cohomology of the classifying space SO\mathcal{B} SO of the special orthogonal group allows a division by 2 when pulled back one step along the Whitehead tower to the classifying space of the spin group, in that there is a commuting diagram

Spin 12p 1 4 2 SO p 1 4, \array{ \mathcal{B} Spin &\stackrel{\frac{1}{2}p_1}{\to}& \mathcal{B}^4 \mathbb{Z} \\ \downarrow && \downarrow^{\mathrlap{\cdot 2}} \\ \mathcal{B} SO &\stackrel{p_1}{\to}& \mathcal{B}^4 \mathbb{Z} } \,,

in Top, where the top horizontal morphism represents a generator of the 4th integral cohomology of the classifying space of the spin group and the right vertical morphism is induced by multiplication by 2 on the additive group of integers.

This means that for XX manifold with spin structure exhibited by a classifying map g^\hat g

Spin 12p 1 4 g^ 2 X g SO p 1 4 \array{ && \mathcal{B} Spin &\stackrel{\frac{1}{2}p_1}{\to}& \mathcal{B}^4 \mathbb{Z} \\ & {}^{\mathllap{\hat g}}\nearrow & \downarrow && \downarrow^{\mathrlap{\cdot 2}} \\ X &\stackrel{g}{\to}& \mathcal{B} SO &\stackrel{p_1}{\to}& \mathcal{B}^4\mathbb{Z} }

of its tangent bundle TXT X, the characteristic class p 1(TX):XgSOp 1 4p_1(T X) : X \stackrel{g}{\to} \mathcal{B}SO \stackrel{p_1}{\to} \mathcal{B}^4 \mathbb{Z} of TXT X regarded as an SOSO-associated bundle contains less information than the class 12p 1(TX):Xg^Spin12p 1 4\frac{1}{2}p_1(T X) : X \stackrel{\hat g}{\to} \mathcal{B}Spin \stackrel{\frac{1}{2}p_1}{\to} \mathcal{B}^4 \mathbb{Z}. For instance if the 4th cohomology of XX happens to be 2-torsion, the former class entirely vanishes, while the latter need not.

This familiar situation poses no problem to classical Chern-Weil theory, because both the special orthogonal group as well as the spin group of course have canonical structures of Lie groups, so that the Chern-Weil homomorphism may be applied to either. We shall write BSpin\mathbf{B} \mathrm{Spin} for the smooth refinement of the classifying space BSpinB \mathrm{Spin}: the delooping Lie groupoid of Spin\mathrm{Spin} or equivalently the moduli stack for smooth Spin\mathrm{Spin}-principal bundles. Here and in the following the boldface indicates smooth (or otherwise cohesive) refinements. Accordingly, there is a smooth refinement 12p:BSpinB 3U(1)\frac{1}{2}\mathbf{p} : \mathbf{B} \mathrm{Spin} \to \mathbf{B}^3 U(1) of the first Pontryagin class, which takes smooth Spin\mathrm{Spin}-principal bundles to their first Pontryagin class. This in turn has has a further differential refinement 12p^:BSpin connB 3U(1) conn\frac{1}{2}{\hat {\mathbf{p}}} : \mathbf{B}\mathrm{Spin}_{\mathrm{conn}} \to \mathbf{B}^3 U(1)_{\mathrm{conn}} that takes Spin\mathrm{Spin}-principal bundles with connection to their Chern-Simons 2-gerbes with connection.

All this is still captured by the traditional (refined) Chern-Weil homomorphism. But this is no longer the case as we keep climbing up the Whitehead tower of the orthogonal group. In the next step the second Pontryagin class p 2:SO 8p_2 : \mathcal{B}SO \to \mathcal{B}^8 \mathbb{Z} may be divided by 6 when pulled back to the classifying space of the string group (SSSII)

String 16p 2 8 6 SO p 2 8, \array{ \mathcal{B} String &\stackrel{\frac{1}{6}p_2}{\to}& \mathcal{B}^8 \mathbb{Z} \\ \downarrow && \downarrow^{\mathrlap{\cdot 6}} \\ \mathcal{B} SO &\stackrel{p_2}{\to}& \mathcal{B}^8 \mathbb{Z} } \,,

As before, this means that if a space XX admits a string structure, then the characteristic class p 2(X)p_2(X) contains less information than the fractional refinement 16p 2(X)\frac{1}{6}p_2(X) that it admits. In particular, the former may vanish if the degree 8 cohomology group of XX has 6-torsion, while the latter need not vanish.

For purposes of ordinary cohomology this is no problem, but for the differential refinement by ordinary Chern-Weil theory it is: the string group does not admit a Lie group structure that would make it a smooth version of the homotopy fiber of 12p 1\frac{1}{2}p_1 and hence standard Chern-Weil theory cannot produce the differential refinement of the fractional class 16p 2\frac{1}{6}p_2.

But \infty-Chern-Weil theory can: there is a natural smooth refinement of the string group to a Lie 2-group: the string 2-group. We write BString\mathbf{B}String for the corresponding delooping ∞-Lie groupoid. The fractional second Pontryagin class does lift to this smooth refinement to produce a characteristic class

16p 2:BStringB 7U(1) \frac{1}{6}\mathbf{p}_2 : \mathbf{B}String \to \mathbf{B}^7 U(1)

internal to H=\mathbf{H} = ?LieGrpd?. Since this now lives in a smooth context, it does now have a differential Chern-Weil refinement

16p^ 2:H conn(,BString)H diff(X,B 7U(1)) \frac{1}{6}\hat \mathbf{p}_2 : \mathbf{H}_{conn}(-, \mathbf{B}String) \to \mathbf{H}_{diff}(X,\mathbf{B}^7 U(1))

that takes smooth StringString-principal 2-bundles with 2-connection to degree 8-cocycles in ordinary differential cohomology.

This kind of refinement we discuss in a bit more detail in the next section.

Higher differential spin structures

These refined differential invariants of fractional characteristic classes are relevant in the discussion of higher differential spin structures. (See the first part of (SatiSchreiberStasheff II for a review).) Ordinary spin structures on a manifold may be understood as trivializations of what are called quantum anomaly Pfaffian line bundles on the configuration space of the spinning quantum particle propagating on that manifold. (This physical origin is after all the origin of the term spin structure .) When these point-like super-particles are generalized to higher-dimensional pp-branes, the trivialization of the corresponding Pfaffian line bundles correspond to string structures for p=1p = 1 (this goes back to (Killingback) and (Witten) and has been made rigorous in (Bunke) then to fivebrane structures for p=5p = 5 (SatiSchreiberStasheff II)).

More precisely, the Pfaffian line bundles appearing here come equipped with a connection, and what matters is a trivialization of these bundles as bundles with connection. This refinement translates to differential refinements of the string structures and the fivebrane structures on XX. The differential form data of a twisted differential string structure constitutes what in the physics literature is called the Green-Schwarz mechanism. While this still can and has been captured with tools of ordinary Chern-Weil theory and ordinary differential cohomology (Freed, Waldorf) it has a natural formulation in higher Chern-Weil theory. Going beyond that, the magnetic dual Green-Schwarz mechanism can be seen to encode a twisted differential fivebrane structure and this is not practical to be studied without some higher geometry.

The following restates this in a bit more technical detail.

For G=SpinG = Spin the spin group, the first nontrivial characteristic class is the first fractional Pontryagin class given by a cocycle 12p 1:GK(,4)\frac{1}{2}p_1 : \mathcal{B}G \to K(\mathbb{Z}, 4) in ordinary integral cohomology H 4(Spin,)H^4(\mathcal{B}Spin, \mathbb{Z}). This induces a map

H 1(X,Spin)=H(X,Spin)H 4(X,) H^1(X, Spin) = H(X, \mathcal{B}Spin) \to H^4(X, \mathbb{Z})

from isomorphism classes of topological SpinSpin-principal bundles to degree 4 integral cohomology.

If we assume that XX is a smooth manifold then we may consider the set

SpinBund(X)/=H(X,BSpin) Spin Bund(X)/ \sim = H(X,\mathbf{B}Spin)

of isomorphism-classes of smooth SpinSpin-principal bundles. Here and in all of the following, the boldface in “BG\mathbf{B}G” indicates a refinement, here of the bare classifying space G\mathcal{B}G to a smooth incarnation.

Then ordinary Chern-Weil theory provides a refinement of the fractional Pontryagin class H(X,BSpin)H 4(X,)H(X, \mathbf{B}Spin) \to H^4(X,\mathbb{Z}) to a map to ordinary differential cohomology H diff 4(X)H_{diff}^4(X)

12p^ 1:H(X,BSpin)H diff 4(X). \frac{1}{2} \hat p_1 : H(X, \mathbf{B}Spin) \to H_{diff}^4(X) \,.

The first point of passing to a higher category theory-refinement of this situation is that it allows to refine, in turn, these morphisms of cohomology sets to morphisms

12p 1:H(X,BSpin)H(X,B 3U(1)) \frac{1}{2} \mathbf{p}_1 : \mathbf{H}(X, \mathbf{B}Spin) \to \mathbf{H}(X,\mathbf{B}^3 U(1))

and

12p^ 1:H conn(X,BSpin)H diff(X,B 3U(1)) \frac{1}{2} \hat \mathbf{p}_1 : \mathbf{H}_{conn}(X, \mathbf{B}Spin) \to \mathbf{H}_{diff}(X,\mathbf{B}^3 U(1))

of cocycle ∞-groupoids: here H(X,BG)\mathbf{H}(X,\mathbf{B}G) is the groupoid whose objects are smooth SpinSpin-principal bundles, and whose morphisms are smooth homomorphisms between these. Similarly H(X,B 3U(1))\mathbf{H}(X,\mathbf{B}^3 U(1)) denotes the [[3-groupoid] whose objects are smooth circle 2-group-principal 3-bundles, while H diff(X,B 3U(1))\mathbf{H}_{diff}(X,\mathbf{B}^3 U(1)) is accordingly the 3-groupoid whose objects are circle 3-bundles with connection, whose morphisms are homomorphisms between these, whose 2-morphisms are higher homotopies between those. The original morphism of cohomology sets is the decategorification of this, the restriction to connected components:

12p 1=π 0(12p 1). \frac{1}{2}p_1 = \pi_0(\frac{1}{2}\mathbf{p}_1) \,.

This refinement to cocylce \infty-groupoids notably has the consequence that it allows us to produce the homotopy fibers of these morphisms. To see the relevance of this, recall (from string structure ) that the homotopy fiber of the bare fractional Pontryagin class, which is the (∞,1)-pullback/homotopy pullback

H(X,BString) * H(X,BG) 12p 1 H(X,B 3U(1)), \array{ \mathbf{H}(X,\mathbf{B}String) &\to& * \\ \downarrow &\swArrow_\simeq& \downarrow \\ \mathbf{H}(X,\mathbf{B}G) &\stackrel{\frac{1}{2} \mathbf{p}_1}{\to}& \mathbf{H}(X, \mathbf{B}^3 U(1)) } \,,

defines the \infty-groupoid H(X,BString)\mathbf{H}(X, \mathbf{B}String) of string structures on XX ( smooth , but not differential ).

We can now replace the class 12p 1\frac{1}{2}\mathbf{p}_1 by its differential refinement 12p^ 1\frac{1}{2}\hat \mathbf{p}_1 and obtain an ∞-groupoid String diff(X)String_{diff}(X) that differentially refines the 2-groupoid H(X,BString)\mathbf{H}(X,\mathbf{B}String) of String-structures as the (∞,1)-pullback

String diff(X) * H conn(X,BG) 12p^ 1 H diff(X,B 3U(1)). \array{ String_{diff}(X) &\to& * \\ \downarrow &\swArrow_\simeq& \downarrow \\ \mathbf{H}_{conn}(X,\mathbf{B}G) &\stackrel{\frac{1}{2}\hat \mathbf{p}_1}{\to}& \mathbf{H}_{diff}(X, \mathbf{B}^3 U(1)) } \,.

This String diff(X)String_{diff}(X) we may call the \infty-groupoid of differential string-structures . A cocycle in there is naturally identified with a tuple consisting of

We may think of this as a refinement of secondary characteristic classes: the first Pontryagin curvature characteristic form F F \langle F_\nabla \wedge F_\nabla \rangle itself is constrained to vanish, and so the Chern-Simons form 3-connection itself constitutes cohomological data.

So far this uses mostly just a little bit of (∞,1)-category theory or at least some homotopy theory. The first glimpse of something beyond ordinary Chern-Weil theory appearing is the \infty-groupoid H(X,BString)\mathbf{H}(X,\mathbf{B}String) which may be thought of as the 2-groupoid of smooth string 2-group-principal 2-bundles.

But suppose we fix an XX such that H(X,BString)H(X, \mathbf{B}String) is nontrivial. Then we can continue the proceed to higher degrees:

the next topological characteristic class is the second fractional Pontryagin class 16p 2:String 7U(1)\frac{1}{6}p_2 : \mathcal{B}String \to \mathcal{B}^7 U(1). Since the string group does not have the structure of a Lie group, this cannot be refined to differential cohomology using ordinary Chern-Weil theory. However, in terms of \infty-Chern-Weil theory it can:

we may obtain a differential refinement

16p^ 2:BString connB 7U(1) conn \frac{1}{6}\hat \mathbf{p}_2 : \mathbf{B}String_{conn} \to \mathbf{B}^7 U(1)_{conn}

that maps smooth string 2-group-principal 2-bundles with 2-connectins to their Chern-Simons circle 7-bundle with connection. This is an example of the higher version of the Chern-Weil homomorphism.

And naturally we are then entitled to form its homotopy fibers and produce the 7-groupoid of differential fivebrane structuresFivebrane diff(X)Fivebrane_{diff}(X). For that notice (see fivebrane structure) that the homotopy fiber of the smooth but non-differential cocycles

H(X,BFivebrane) * H(X,BString) 16p 2 H(X,B 7U(1)) \array{ \mathbf{H}(X, \mathbf{B}Fivebrane) &\to& * \\ \downarrow &\swArrow_{\simeq}& \downarrow \\ \mathbf{H}(X, \mathbf{B}String) &\stackrel{\frac{1}{6}\mathbf{p}_2}{\to}& \mathbf{H}(X, \mathbf{B}^7 U(1)) }

is the 7-groupoid of smooth fivebrane structures on XX. Its differential refinement

Fivebrane diff(X) * H conn(X,BString) 16p^ 2 H diff(X,B 7U(1)) \array{ Fivebrane_{diff}(X) &\to& * \\ \downarrow &\swArrow_{\simeq}& \downarrow \\ \mathbf{H}_{conn}(X, \mathbf{B}String) &\stackrel{\frac{1}{6}\hat \mathbf{p}_2}{\to}& \mathbf{H}_{diff}(X, \mathbf{B}^7 U(1)) }

we may therefore call the 7-groupoid Fivebrane diff(X)Fivebrane_{diff}(X) of differential fivebrane structures . Cocycles in here are naturally identified with tuples of

  • a StringString-principal 2-bundle PXP \to X, equipped with a 2-connection \nabla;

  • the Chern-Simons circle 7-bundle CS 7()CS_7(\nabla) with connection induced by it;

  • a choice of trivialization of CS 7()CS_7(\nabla).

These are the kind of structures that \infty-Chern-Weil theory studies.

Idea

Ordinary Chern-Weil theory is about refinements of characteristic classes of GG-principal bundles for GG a Lie group (equivalently of the classifying space G\mathcal{B}G of that Lie group) from ordinary cohomology to differential cohomology.

Under \infty-Chern-Weil theory we want to understand the generalization of this to (∞,1)-category theory: where Lie groups are generalized to ∞-Lie groups, Lie algebras are generalized to ∞-Lie algebras and principal bundles to principal ∞-bundles.

So \infty-Chern-Weil theory produces differential cohomology-refinements of characteristic classes of GG-principal ∞-bundles for GG an ∞-Lie group, equivalently of the corresponding classifying spaces G\mathcal{B}G.

Ordinary Chern-Weil theory is formulated in the context of differential geometry. We need to widen this context somewhat in order that it can accomodate the relevant higher structures and so we place ourselves in the context of the (∞,1)-topos H=\mathbf{H} = ?LieGrpd? of ∞-Lie groupoids.

In every (,1)(\infty,1)-topos that admits a notion of differential cohomology, there is a general abstract notion of refinement of characteristic classes in cohomology to curvature characteristic classes in ordinary differential cohomology.

The main construction in ∞-Chern-Weil theory is a concrete model or presentation of this abstract operation. This model is constructed in terms of Lie integration of objects in ∞-Lie algebra cohomology. This construction is the higher analog of the Chern-Weil homomorphism. Its crucial intermediate step is the definition and construction of ∞-connections on principal ∞-bundles.

This model itself is after all built on concrete familiar constructions in differential geometry and can be studied and appreciated in itself without recourse to the higher topos theory that we claim it provides a model for. The so inclined reader can ignore all the general abstract discussion in the following and concentrate on the concrete differential geometry.

ere is how this entry here proceeds.

A warmup for the full theory that connects to classical constructions is given at

Then in

we discuss the general definition of \infty-connections and of the Chern-Weil homomorphism and discuss some general properties. Then we turn to discussing

Preparatory concepts

General \infty-Chern-Weil theory, as described below, is naturally formulated in the context of (infinity,1)-topos-theory and some of its aspects can only be understood from that perspective.

However, unwinding the abstract higher topos theoretic concepts in terms of 1-categoriecal models yields concrete structures in familiar contexts of differential geometry that connect to various classical and familiar concepts. Since a full appreciation of the abstract formulation benefits from having a feeling for how these concrete models work out, the reader may at this point wish to look into some such basic aspects. These may be found behind the following link

\infty-Chern-Weil theory

For G,AG,A ∞-groups in an ∞-connected (∞,1)-topos H\mathbf{H} with deloopings BG\mathbf{B}G and BA\mathbf{B}A, respectively, every characteristic class c:BGAc : \mathbf{B}G \to A serves to pull back the canonical intrinsic curvature form curv A:A dRBAcurv_A : A \to \mathbf{\flat}_{dR} \mathbf{B}A to an intrinsic differential form curv Ac:BG dRBAcurv_A\circ c : \mathbf{B}G \to \mathbf{\flat}_{dR} \mathbf{B}A on BG\mathbf{B}G.

For GG an ordinary Lie group regarded naturally as an object in H=\mathbf{H} = ?LieGrpd?, we show that the ordinary Chern-Weil homomorphism for GG-principal bundles may be understood as a concrete model for this simple abstract situation, which applies to those characteristic classes cc that happen to be in the image of the Lie intgeration of Lie algebra cocycles.

More generally, this construction applies for GG an ∞-Lie group with ∞-Lie algebra 𝔤\mathfrak{g} and cc a characteristic class on BG\mathbf{B}G that arises from Lie integration of a cocycle in the ∞-Lie algebra cohomology of 𝔤\mathfrak{g}.

The ordinary Chern-Weil homomorphism uses a connection on a bundle \nabla as an intermediate tool for interpolating from a GG-principal bundle to its curvature characteristic, represented by the curvature characteristic form F \langle F_\nabla \rangle, where F F_\nabla is the curvature of \nabla and \langle - \rangle is an invariant polynomial on 𝔤\mathfrak{g}. The choice of connection in this construction may be understood as providing a correspondence space in the following construction.

We know from the discussion of abelian differential cohomology above that the intrinsic morphism

B n/ dRB n+1/ \mathbf{B}^n \mathbb{R}/\mathbb{Z} \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1} \mathbb{R}/\mathbb{Z}

in H=LieGrpd\mathbf{H} = \infty LieGrpd is modeled in [CartSp op,sSet] proj,cov[CartSp^{op}, sSet]_{proj,cov} by the correspondence

B n/Γ diff,simp curv dRB n+1 simp B n/Γ simp. \array{ \mathbf{B}^n \mathbb{R}/\Gamma_{diff,simp} &\stackrel{curv}{\to}& \mathbf{\flat}_{dR} \mathbf{B}^{n+1} \mathbb{R}_{simp} \\ \downarrow^{\mathrlap{\simeq}} \\ \mathbf{B}^n \mathbb{R}/\Gamma_{simp} } \,.

If we write

exp(b n1inn(b n1)):cosk n+1((U,[k]){C (U)Ω (Δ k) CE(b n1) Ω (U)Ω (Δ n) W(b n1)}) \exp(b^{n-1}\mathbb{R} \to inn(b^{n-1}\mathbb{R})) : \mathbf{cosk}_{n+1}( (U,[k]) \mapsto \left\{ \array{ C^\infty(U)\otimes \Omega^\bullet(\Delta^k) &\leftarrow& CE(b^{n-1}\mathbb{R}) \\ \uparrow && \uparrow \\ \Omega^\bullet(U)\otimes \Omega^\bullet(\Delta^n) &\leftarrow& W(b^{n-1}\mathbb{R}) } \right\} )

and so forth, then this correspondence is

exp(b n1inn(b n1)) exp(*b n) exp(b n1*). \array{ \exp(b^{n-1}\mathbb{R}\to inn(b^{n-1}\mathbb{R})) &\to& \exp(* \to b^n \mathbb{R}) \\ \downarrow^{\mathrlap{\simeq}} \\ \exp(b^{n-1}\mathbb{R}\to *) } \,.

If now BGB n/\mathbf{B}G \to \mathbf{B}^n \mathbb{R}/\mathbb{Z} is modeled by the Lie integration of a cocycle μ\mu on a Lie kk-algebra

cosk k+1exp(𝔤)exp(μ)exp(b n1)/Γ=exp(b n1*)/Γ \mathbf{cosk}_{k+1} \exp(\mathfrak{g}) \stackrel{\exp(\mu)}{\to} \exp(b^{n-1}\mathbb{R})/\Gamma = \exp(b^{n-1}\mathbb{R} \to *)/\Gamma

for kn1k \geq n-1, then the total intrinsic differential form BGB n/Γ dRB n\mathbf{B}G \to \mathbf{B}^n \mathbb{R}/\Gamma \to \mathbf{\flat}_{dR}\mathbf{B}^n \mathbb{R} is modeled by the zig-zag of morphisms

exp(b n1inn(b n1)) exp(*b n) cosk k+1exp(𝔤) exp(μ) exp(b n1*) \array{ && \exp(b^{n-1}\mathbb{R}\to inn(b^{n-1}\mathbb{R})) &\to& \exp(* \to b^n \mathbb{R}) \\ && \downarrow^{\mathrlap{\simeq}} \\ \mathbf{cosk}_{k+1}\exp(\mathfrak{g}) &\stackrel{\exp(\mu)}{\to}& \exp(b^{n-1}\mathbb{R}\to *) }

in [CartSp op,sSet][CartSp^{op}, sSet]. In order to compute with such zig-zags of morphisms, in particular in order to compute homotopy fibers, it is helpful to complete this to a single correspondence. There is a fairly evident choice for the tip of this total corresponence, namely

BG diff:=cosk n+1exp(𝔤inn(𝔤)). \mathbf{B}G_{diff} := \mathbf{cosk}_{n+1} \exp(\mathfrak{g} \to inn(\mathfrak{g})) \,.

It remains to complete the square and extend the ∞-Lie algebra cocycle μ:𝔤b n1mathbR\mu : \mathfrak{g} \to b^{n-1}\mathb{R} to a morphism (𝔤inn(𝔤))(b n1inn(b n1))(\mathfrak{g} \to inn(\mathfrak{g})) \to (b^{n-1}\mathbb{R} \to inn(b^{n-1}\mathbb{R})). This is accomplished by an invariant polynomial

μ:inn(𝔤)( μ,cs μ)inn(b n1)b n \langle -\rangle_\mu : inn(\mathfrak{g}) \stackrel{(\langle - \rangle_\mu, cs_\mu)}{\to} inn(b^{n-1}\mathbb{R}) \to b^n \mathbb{R}

which is in transgression with μ\mu, witnessed by the Chern-Simons element cs μcs_\mu. Using this, we obtain the total diagram

cosk k+1exp(𝔤inn(𝔤)) ( μ,cs μ) exp(b n1inn(b n1)) exp(*b n) cosk k+1exp(mathrakg) exp(μ) exp(b n1*). \array{ \mathbf{cosk}_{k+1}\exp(\mathfrak{g} \to inn(\mathfrak{g})) &\stackrel{(\langle - \rangle_\mu, cs_\mu)}{\to}& \exp(b^{n-1}\mathbb{R}\to inn(b^{n-1}\mathbb{R})) &\to& \exp(* \to b^n \mathbb{R}) \\ \downarrow^{\mathrlap{\simeq}} && \downarrow^{\mathrlap{\simeq}} \\ \mathbf{cosk}_{k+1}\exp(\mathrak{g}) &\stackrel{\exp(\mu)}{\to}& \exp(b^{n-1}\mathbb{R}\to *) } \,.

By the fact that this commutes, we have that the correspondence

(BG diff,simp dRB n+1 simp BG simp):=(cosk k+1exp(𝔤inn(𝔤)) exp(*b n) cosk k+1exp(𝔤*)) \left( \array{ \mathbf{B}G_{diff,simp} &\to& \mathbf{\flat}_{dR} \mathbf{B}^{n+1}\mathbb{R}_{simp} \\ \downarrow \\ \mathbf{B}G_{simp} } \right) \;\; := \;\; \left( \array{ \mathbf{cosk}_{k+1}\exp(\mathfrak{g} \to inn(\mathfrak{g})) &\to& \exp(* \to b^n \mathbb{R}) \\ \downarrow \\ \mathbf{cosk}_{k+1}\exp(\mathfrak{g} \to *) } \right)

in [CartSp op,sSet] proj,cov[CartSp^{op}, sSet]_{proj,cov} models the intrinsic curvature characteristic form BG dRB n+1\mathbf{B}G \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1} \mathbb{R}.

We may identify cocycles with values in BG diff\mathbf{B}G_{diff} as (pseudo)-\infty-connections on the underlying BG\mathbf{B}G-cocycle. If their curvature is represented by a cocycle in dRB n+1\mathbf{\flat}_{dR} \mathbf{B}^{n+1}\mathbb{R} which is given by a globally defined form, then these are genuine \infty-connections. In either case, they serve as an intermediate step in computing the curvature characteristics.

\infty-Lie algebra valued connections

The content of this section is at connection on an infinity-bundle.

Curvature characteristics

Definition

(Chern-Weil curvature characteristics)

Let :inn(𝔤)b p\langle -\rangle : inn(\mathfrak{g}) \to b^{p} \mathbb{R} be an invariant polynomial on the Lie n-algebra 𝔤\mathfrak{g}. Postcomposition with the corresponding diagram of dg-algebras

CE(𝔤) 0 W(𝔤) CE(b p) \array{ CE(\mathfrak{g}) &\leftarrow& 0 \\ \uparrow && \uparrow \\ W(\mathfrak{g}) &\stackrel{\langle -\rangle}{\leftarrow}& CE(b^p \mathbb{R}) }

induces a morphism of simplicial presheaves

F ():BG diffcosk n+1 dRB p+1 simp \langle F_{(-)} \rangle : \mathbf{B}G_{diff} \to \mathbf{cosk}_{n+1} \mathbf{\flat}_{dR} \mathbf{B}^{p+1}\mathbb{R}_{simp}

into the (n+1)(n+1)-coskeleton of the model for the de Rham coefficient object dRB p+1\mathbf{\flat}_{dR}\mathbf{B}^{p+1}\mathbb{R} discussed above.

For :X^BG diff\nabla : \hat X \to \mathbf{B}G_{diff} a connection, we call the induced intrinsic de Rham cocycle

F :X^BG diffcosk n+1 dRB p+1 simp \langle F_\nabla \rangle : \hat X \stackrel{\nabla}{\to} \mathbf{B}G_{diff} \stackrel{\langle -\rangle}{\to} \mathbf{cosk}_{n+1} \mathbf{\flat}_{dR} \mathbf{B}^{p+1}\mathbb{R}_{simp}

the Chern-Weil curvature characteristic form of \nabla with respect to \langle -\rangle.

Lemma

For :X^BG connBG diff\nabla : \hat X \to \mathbf{B}G_{conn} \hookrightarrow \mathbf{B}G_{diff} a genuine connection, the induced curvature characteristic forms are globally defined closed forms, in that their cocycle factors through the sheaf Ω cl p+1()\Omega^{p+1}_{cl}(-) of closed (p+1)(p+1)-forms:

BG conn F () Ω cl p+1() X^ BG diff F () cosk n+1 dRB p+1 simp. \array{ && \mathbf{B}G_{conn} &\stackrel{\langle F_{(-)}\rangle}{\to}& \Omega^{p+1}_{cl}(-) \\ & \nearrow & \downarrow && \downarrow \\ \hat X &\stackrel{}{\to}& \mathbf{B}G_{diff} &\stackrel{\langle F_{(-)}\rangle}{\to}& \mathbf{cosk}_{n+1} \mathbf{\flat}_{dR} \mathbf{B}^{p+1} \mathbb{R}_{simp} } \,.
Proof

for given (U,[k])(U,[k]) notice that F (U,[k])Ω (U×Δ k)\langle F_{\nabla}\rangle(U,[k]) \in \Omega^\bullet(U\times \Delta^k) is closed and for \nabla a genuine connection has no leg along Δ k\Delta^k: for t\partial_t a vector field along Δ k\Delta^k we have ι tF A=0\iota_{\partial_t} \langle F_A\rangle = 0. Therefore the Lie derivative along a vector t\partial_t along the simplex vanishes:

tF A=dι tF A+ι tdF A=0. \mathcal{L}_t \langle F_A\rangle = d \iota_t \langle F_A\rangle + \iota_t d \langle F_A\rangle = 0 \,.
Remark

As for the groupal case above, we hence find that the genuine \infty-connections are selected among all pseudo-connections as those whose curvature characteristic has a 0-truncated cocycle representative.

So a genuine \infty-Lie algebra valued connection is a cocycle with values in the (n+1)(n+1)-coskeleton of the simplicial presheaf of diagrams, which over U,[k]U,[k] assigns the set of diagrams

C (U×Δk) vert CE(𝔤) cocycleforunderlyingGprincipalbundle Ω (U)Ω (X) CE(inn(𝔤))=W(𝔤) connectionandcurvature Ω (U) inv(𝔤) curvaturecharacteristicforms, \array{ C^\infty(U \times \Delta k)_{vert} &\leftarrow& CE(\mathfrak{g}) &&& cocycle\;for\;underlying\;G-principal\;\infty-bundle \\ \uparrow && \uparrow \\ \Omega^\bullet(U)\otimes \Omega^\bullet(X) &\leftarrow& CE(inn(\mathfrak{g})) = W(\mathfrak{g}) &&& connection\;and\;curvature \\ \uparrow && \uparrow \\ \Omega^\bullet(U) &\leftarrow& inv(\mathfrak{g}) &&& curvature\;characteristic\;forms } \,,

(with Ω (U×Δ k) vert\Omega^\bullet(U \times \Delta^k)_{vert} the dg-algebra of vertical differential forms on the bundle U×Δ kUU \times \Delta^k \to U), where the top morphism encodes the cocycle for the underlying G=τ nexp(𝔤)G = \tau_n\exp(\mathfrak{g})-principal ∞-bundle, where the middle morphism encodes the connection data and the bottom morphism the curvature characteristic forms.

Such \infty-Lie algebra valued connections were introduced in SSSI and further studied in SSSIII.

Higher order Chern-Simons forms

See at Chern-Simons form the section In ∞-Chern-Weil theory.

Chern character

Above we have considered ∞-Lie algebra valued connections and their curvature characteristic forms. We now wish to show how these model the intrinsic Chern character in an (∞,1)-topos.

ch BG:BGΠ(BG)Π(BG)R. ch_{\mathbf{B}G} : \mathbf{B}G \to \mathbf{\Pi}(\mathbf{B}G) \to \mathbf{\Pi}(\mathbf{B}G)\otimes R \,.

Since our ambient (∞,1)-topos is assumed to be locally ∞-connected we have in addition to the notion of Postnikov tower in an (∞,1)-category the notion of Whitehead tower in an (∞,1)-topos. Both notions are dual to each other: for AHA \in \mathbf{H} any object and

Π(A)τ 2Π(A)τ 1Π(A)τ 0Π(A)=* \mathbf{\Pi}(A) \to \cdots \to \tau_{\leq 2}\mathbf{\Pi}(A) \to \tau_{\leq 1}\mathbf{\Pi}(A) \to \tau_{\leq 0}\mathbf{\Pi}(A) = *

the intrinsic Postnikov tower of its path ∞-groupoid, the pasting composite of (∞,1)-pullbacks

A 2 Bπ 3(A) * A 1 Bπ 2(A) * A ΠA τ 3ΠA τ 2ΠA τ 1ΠA, \array{ \vdots && && && \vdots \\ \downarrow && && && \downarrow \\ A_2 && &\to& \cdots &\to& \mathbf{B}\mathbf{\pi}_3(A) &\to& * \\ \downarrow && && && && \downarrow \\ A_1 && &\to& \cdots && && \mathbf{B}\mathbf{\pi}_2(A) &\to& * \\ \downarrow && && && && \downarrow && \downarrow \\ A &\to& \mathbf{\Pi}A &\to& \cdots &\to& \tau_{\leq 3} \mathbf{\Pi}A &\to& \tau_{\leq 2} \mathbf{\Pi}A &\to& \tau_{\leq 1} \mathbf{\Pi}A } \,,

defines the Whitehead tower

*A 3A 2A 1A 0=A * \to \cdots \to A_3 \to A_2 \to A_1 \to A_0 = A

of AA.

Since our H\mathbf{H} is assumed to be even ∞-connected, the Postnikov tower of Π(A)\mathbf{\Pi}(A) is the image under LConst:GrpdHLConst : \infty Grpd \to \mathbf{H} of the ordinary Postnikov tower of Π(A)\Pi(A) in Grpd\infty Grpd. Accordingly, we have Bπ n(A)=LConstB nπ nΠ(A)\mathbf{B} \mathbf{\pi}_n(A) = LConst B^n \pi_n \Pi(A)

The point now is that in H=\mathbf{H} = ?LieGrpd? we may form smooh refinements of these discrete extensions: every discrete (n+1)(n+1)-group B n+1\mathbf{B}^{n+1}\mathbb{Z} we want to refine to a smooth nn-group B nU(1)\mathbf{B}^n U(1). By the discussion at geometric realization, both have equivalent underlying \infty-groupoids

Π(B n+1)Π(B nU(1))K(,n+1). \Pi(\mathbf{B}^{n+1}\mathbb{Z}) \simeq \Pi(\mathbf{B}^n U(1)) \simeq K(\mathbb{Z},n+1) \,.

For every direct summand abelian group \mathbb{Z} in one of the π n(A)\mathbf{\pi}_n(A) we can ask for a refinement of the cocycle from coefficients B n\mathbf{B}^n \mathbb{Z} to B n1/\mathbf{B}^{n-1}\mathbb{R}/\mathbb{Z}. This does not change the geometric realization, up to equivalence, but does change the smooth structure. And it allows to refine to differential coefficients by postcomposing further with curv:B n1/ dRB ncurv : \mathbf{B}^{n-1}\mathbb{R}/\mathbb{Z} \to \mathbf{\flat}_{dR}\mathbf{B}^{n}\mathbb{R}.

For instance for A=BSpinH=LieGrpdA = \mathbf{B}Spin \in \mathbf{H} = \infty Lie Grpd the delooping of the spin group, we refine the internal Whitehead tower to

BFivebrane * BString B 7U(1) * BSpin B 3U(1), \array{ \vdots \\ \mathbf{B}Fivebrane &\to& * \\ \downarrow && \downarrow && \downarrow \\ \mathbf{B}String &\to& \mathbf{B}^7 U(1) &\to& * \\ \downarrow && \downarrow && \downarrow \\ \mathbf{B}Spin &\to& \cdots &\to& \mathbf{B}^3 U(1) } \,,

where the deloopings of the string 2-group and the fivebrane 6-group appear.

The result of such a smooth refinement is that we may apply the intrinsic curvature classes and the intrinsic de Rham theorem to obtain cocycles in realified cohomology, for instance

BSpinB 3U(1)curv dRB 4U(1)= dRB 4. \mathbf{B}Spin \to \mathbf{B}^3 U(1) \stackrel{curv}{\to} \mathbf{\flat}_{dR} \mathbf{B}^4 U(1) = \mathbf{\flat}_{dR} \mathbf{B}^4 \mathbb{R} \,.

If we have a SpinSpin-principal bundle XBGX \to \mathbf{B}G, we may form over it the covering circle nn-group bundles on which these higher cocycles naturally live

P 2 BFivebrane * P 1 BString B 7U(1) * X BSpin B 3U(1). \array{ P_2 &\to& \mathbf{B}Fivebrane &\to& * \\ \downarrow && \downarrow && \downarrow \\ P_1 &\to& \mathbf{B}String &\to& \mathbf{B}^7 U(1) &\to& * \\ \downarrow && \downarrow && && \downarrow \\ X &\to& \mathbf{B}Spin &\to& \cdots &\to& \mathbf{B}^3 U(1) } \,.

Here for XX an ordinary space, X=τ 0XX = \tau_0 X, the higher circle nn-group principal bundes P kP_k have the property that also τ 0P k=X\tau_0 P_k = X. Therefore the 0-truncation of the entire composite

P 1B 7U(1) dRB 8 P_1 \to \mathbf{B}^7 U(1) \to \mathbf{\flat}_{dR}\mathbf{B}^8 \mathbb{R}

defines a closed 8-form on XX. This is the curvature characeristic form given by the Chern-Weil homomorphism in this degree. Its refinement to Deligne cohomology in this construction lives naturally not on XX, but on the covering P 1P_1 of XX.

(…)

Examples

Principal 1-bundles with connection

We spell out here how the general theory of ∞-Lie algebra valued connection reduces to the standard notion of connections on ordinary GG-principal bundles and how the ∞-Chern-Weil homomorphism reduces on these to the ordinary Chern-Weil homomorphism.

Let 𝔤\mathfrak{g} be a (finite dimensional) Lie algebra. Then

cosk 2exp(𝔤)BG \mathbf{cosk}_2 \exp(\mathfrak{g}) \simeq \mathbf{B}G

is the delooping of the simply connected Lie group GG integrating 𝔤\mathfrak{g}.

Proposition

The coefficient object BG conn\mathbf{B}G_{conn} of genuine ∞-Lie algebra connections for 𝔤\mathfrak{g} an ordinary Lie algebra is weakly equivalent to the simplicial presheaf

BG connΞ[G×Ω 1(,𝔤)p 2Ad p 1(p 2)+p 1dp 1 1Ω 1(,𝔤)] \mathbf{B}G_{conn} \stackrel{\simeq}{\to} \Xi[G\times \Omega^1(-,\mathfrak{g}) \stackrel{ \overset{Ad_{p_1}(p_2)+ p_1 d p_1^{-1}}{\to}}{\underset{p_2}{\to}} \Omega^1(-,\mathfrak{g})]

that assigns objectwise the groupoid of Lie-algebra valued 1-forms.

This is moreover isomorphic to the simplicial presheaf

=[CartSp op,sSet](P 1(),BG]) \cdots = [CartSp^{op},sSet](\mathbf{P}_1(-),\mathbf{B}G])

of morphisms out of the path groupoid.

The flat coefficient object BG\mathbf{\flat}\mathbf{B}G is modeled by the subobject

Ξ[G×Ω flat 1(,𝔤)p 2Ad p 1(p 2)+p 1dp 1 1Ω flat 1(,𝔤)] \Xi[G\times \Omega^1_{flat}(-,\mathfrak{g}) \stackrel{ \overset{Ad_{p_1}(p_2)+ p_1 d p_1^{-1}}{\to}}{\underset{p_2}{\to}} \Omega^1_{flat}(-,\mathfrak{g})]

of groupoids of Lie-algebra valued forms with vanishing curvature 2-form.

This is isomorphic to

=[CartSp op,sSet](Π 1(),BG]) \cdots = [CartSp^{op},sSet](\mathbf{\Pi}_1(-),\mathbf{B}G])

of morphism out of the fundamental groupoid.

Proof

The statements about morphisms out of the path groupoid are discussed in detail in SchrWalI.

Corollary

For XX a paracompact smooth manifold and {U iX}\{U_i \to X\} a good open cover we have a natural equivalence of groupoids

[CartSp op,sSet](C({U i}),BG conn)GBund (X) [CartSp^{op}, sSet](C(\{U_i\}), \mathbf{B}G_{conn}) \simeq G Bund_\nabla(X)

with the groupoid of smooth GG-principal bundles with connection on GG.

For :inn(𝔤)b p\langle - \rangle : inn(\mathfrak{g}) \to b^p \mathbb{R} an invariant polynomial on 𝔤\mathfrak{g}, the induced morphism

[CartSp op,sSet](C(U i}),BG diff)F ()Ω cl p+1(X) [CartSp^{op}, sSet](C(\U_i\}), \mathbf{B}G_{diff}) \stackrel{\langle F_{(-)}\rangle}{\to} \Omega^{p+1}_{cl}(X)

is that of the ordinary Chern-Weil homomorphism.

We have seen that a refinement of the Chern-Weil homomorphism is available. The above morphism extends to a morphism

F ():H(,BG)H(,τ 1 dRB p+1) \langle F_{(-)}\rangle : \mathbf{H}(-, \mathbf{B}G) \to \mathbf{H}(-, \tau_{1} \mathbf{\flat}_{dR}\mathbf{B}^{p+1} \mathbb{R} )

in H=LieGrpd\mathbf{H} = \infty LieGrpd represented by

[CartSp op,sSet](,BG diff) [CartSp op,sSet](,cosk 2 dRB p+1) [CartSp op,sSet](,BG). \array{ [CartSp^{op},sSet](-, \mathbf{B}G_{diff}) &\to& [CartSp^{op},sSet](-, \mathbf{cosk}_2 \mathbf{\flat}_{dR}\mathbf{B}^{p+1} \mathbb{R}) \\ \downarrow^{\simeq} \\ [CartSp^{op},sSet](-, \mathbf{B}G) } \,.

For XX a smooth manifold with good cover {U iX}\{U_i \to X\} we have that [CartSp op,sSet](C{U i},cosk 2 dRB p+1) [CartSp^{op},sSet](C\{U_i\}, \mathbf{cosk}_2 \mathbf{\flat}_{dR}\mathbf{B}^{p+1} \mathbb{R}) is the groupoid whose objects are closed p+1p+1-forms on XX and whose morphisms are given by pp-forms modulo exact forms.

Let iIi \in I range over a set of generators for all invariant polynomials. Then

H(,BG) iτ 1 dRB n i \mathbf{H}(-,\mathbf{B}G) \to \prod_i \tau_1\mathbf{\flat}_{dR}\mathbf{B}^{n_i} \mathbb{R}

is an approximation to the intrinsic Chern-character. We may consider its homotopy fibers over a given set Q iQ_i of curvature characteristic forms.

Assume ,:C({U i})BG diff\nabla, \nabla' : C(\{U_i\}) \to \mathbf{B}G_{diff} are two genuine connections with coinciding curvature characteristic classes {Q i}\{Q_i\}. Then in the homotopy fiber they are coboundant cocycles precisely if all the Chern-Simons forms CS i(,)CS_i(\nabla,\nabla') vanish modulo an exact form.

This equivalence relation is that which defines Simons-Sullivan structured bundles. Their Grothendieck group completion yields differential K-theory.

Principal 2-bundles with connection

(…)

Let 𝔤\mathfrak{g} be a Lie strict 2-group coming from a differential crossed module (𝔤 2𝔤 1)(\mathfrak{g}_2 \to \mathfrak{g}_1). Then we have two candidate Lie 2-groups integrating this: on the one hand the strict 2-group coming from the crossed module (G 2G 1)(G_2 \to G_1) that integrates (𝔤 2𝔤 1)(\mathfrak{g}_2 \to\mathfrak{g}_1) degreewise as ordinary Lie algebras, and on the other hand cosk kexp(𝔤)cosk_k\exp(\mathfrak{g}).

Proposition

The morphism

τ 2exp(𝔤)B(G 2G 1) \tau_2 \exp(\mathfrak{g}) \to \mathbf{B}(G_2 \to G_1)

given by evaluating 2-dimensional parallel transport is a weak equivalence.

Proof

Use the 3-dimensional nonabelian Stokes theorem from the appendix of SchrWalII.

Corollary

The object B(G 2G 1) conn\mathbf{B}(G_2 \to G_1)_{conn} assigns to UCartSpU \in CartSp the 2-groupoid of Lie 2-algebra valued forms over UU.

This is described in detail in SchrWalII, subject to the extra constraint that the 2-form curvature vanishes.

Corollary

A genuine connection on a (G 2G 1)(G_2 \to G_1)-principal 2-bundle with given cocycle XC({U i})B(G 2G 1)X \stackrel{\simeq}{\leftarrow} C(\{U_i\}) \to \mathbf{B}(G_2 \to G_1) is a cocycle XC({U i})B(G 2G 1) connX \stackrel{\simeq}{\leftarrow} C(\{U_i\}) \to \mathbf{B}(G_2 \to G_1)_{conn} given as follows:

  1. on U iU_i a pair of forms A iΩ 1(U i,𝔤 1)A_i \in \Omega^1(U_i, \mathfrak{g}_1), B iΩ 2(U i,𝔤 2)B_i \in \Omega^2(U_i, \mathfrak{g}_2);

1 on U iU jU_i \cap U_j a function g ijC (U iU j,G 1)g_{i j} \in C^\infty(U_{i}\cap U_j , G_1) and a 1-form a ijΩ 1(U iU j,𝔤 2)a_{i j} \in \Omega^1(U_i \cap U_j, \mathfrak{g}_2) such that …

  1. and so forth

This is described in detail in SchrWalIII, subject to the extra constraint that the 2-form curvature vanishes.

(…)

Twisted differential StringString- and FivebraneFivebrane-structures

We discuss now in detail refined Chern-Weil morphisms

c^:H conn(X,BG)H diff(X,B nU(1)) \hat \mathbf{c} : \mathbf{H}_{conn}(X,\mathbf{B}G) \to \mathbf{H}_{diff}(X, \mathbf{B}^n U(1))

that send ∞-connections on GG-principal ∞-bundles to circle n-bundles with connection that represent a given characteristic class. c:BGB nU(1)\mathbf{c} : \mathbf{B}G \to \mathbf{B}^n U(1) with coefficients in the circle n-groupoid.

Specifically, we consider the first two steps in the smooth refinement of the Whitehead tower of the orthogonal group OO that are controled by ∞-Lie algebra cohomology.

The smooth Whitehead tower of OO in ?LieGrpd? starts as

BSpinBSOBO, \cdots \to \mathbf{B}Spin \to \mathbf{B} SO \to \mathbf{B}O \,,

where

  • the delooping BSO\mathbf{B} SO of the special orthogonal group is the 2\mathbb{Z}_2-principal bundle over BO\mathbf{B}O classified by the cocycle BOB 2\mathbf{B}O \to \mathbf{B} \mathbb{Z}_2 that sends an elemen kOk \in O to +1+1 if it is in the connected component of the identity and to 1-1 if it is not. This means we have an (∞,1)-pullback diagram

    BSO * BO w 1 B 2 \array{ \mathbf{B} SO &\to& * \\ \downarrow && \downarrow \\ \mathbf{B} O &\stackrel{\mathbf{w}_1}{\to}& \mathbf{B} \mathbb{Z}_2 } \;
  • the delooping BSpin\mathbf{B} Spin of the spin group is the is the B 2\mathbf{B}\mathbb{Z}_2-principal 2-bundle over BSO\mathbf{B} SO classified by the Stiefel-Whitney class BSOB 2\mathbf{B} SO \to \mathbf{B}^2 \mathbb{Z}

    BSpin * BSO w 2 B 2 2 \array{ \mathbf{B} Spin &\to& * \\ \downarrow && \downarrow \\ \mathbf{B} SO &\stackrel{\mathbf{w}_2}{\to}& \mathbf{B}^2 \mathbb{Z}_2 } \;

Since these two steps are controled by the torsion-group 2\mathbb{Z}_2 they have no nontrivial refinement to differential cohomology. The next step however is controled by what in the (∞,1)-topos ∞Grpd \simeq Top is the first fractional Pontryagin class? 12p 1:Spin 4\frac{1}{2}p_1 : \mathcal{B} Spin \to \mathcal{B}^4 \mathbb{Z} and which lifts through the path ∞-groupoid functor Π:LieGrpdGrpd\Pi : \infty LieGrpd \to \infty Grpd to a characteristic class in H=\mathbf{H} = ?LieGrpd? (as discussed there) 12p 1:BSpinB 3U(1)\frac{1}{2} p_1 : \mathbf{B} Spin \to \mathbf{B}^3 U(1) with coefficients in the smooth circle 3-groupoid. This cocycle does arise as the Lie integration exp(μ)\exp(\mu) of the canonical Lie algebra 3-cocycle μ=,[,]:𝔰𝔬b 2\mu = \langle -,[-,-]\rangle: \mathfrak{so} \to b^2 \mathbb{R}.

The principal 3-bundle that this classifies is the delooping BString\mathbf{B} String of the string 2-group StringString

BString * BSpin 12p 1 B 3U(1). \array{ \mathbf{B} String &\to& * \\ \downarrow && \downarrow \\ \mathbf{B} Spin &\stackrel{\frac{1}{2}\mathbf{p}_1}{\to}& \mathbf{B}^3 U(1) } \,.

Notice that the fact that this is an (∞,1)-pullback implies that for any XH=LieGrpdX\in \mathbf{H} = \infty LieGrpd also

H(X,BString) * H(X,BSpin) H(X,B 3U(1)), \array{ \mathbf{H}(X,\mathbf{B} String) &\to& * \\ \downarrow && \downarrow \\ \mathbf{H}(X,\mathbf{B} Spin) &\to& \mathbf{H}(X,\mathbf{B}^3 U(1)) } \,,

which exhibits the 2-groupoid H(X,BString)\mathbf{H}(X,\mathbf{B}String) of string structures.

As we refine in this diagram the bottom morphism to differential cohomology, we obtain correspondingly differential string structures.

The string-lifting Chern–Simons 33-bundle with connection

We describe the special case of the general \infty-Chern–Weil homomorphism for \infty-Lie algebra valued connections corresponding to the characteristic class 12p 1:BSpinB 3U(1)\frac{1}{2}p_1\colon \mathbf{B}Spin \to \mathbf{B}^3 U(1): the first fractional Pontryagin class of the spin group BSpin\mathbf{B}Spin. The B 3U(1)\mathbf{B}^3 U(1)-differential cocycle that it produces from a given SpinSpin-principal bundle is the Chern?Simons 2-bundle with connection whose class is the obstruction for the existence of a string structure.

The content of this subsection is at Chern?Simons 2-gerbe in the section on \infty-Chern–Weil theory.

Differential string structures

The content of this section is at differential string structure.

The Fivebrane-lifting Chern-Simons 7-bundle with connection

The content of this section is at Chern-Simons circle 7-bundle.

Differential fivebrane structures

Let

16p^ 2:H conn(,BString)H diff(,B 7U(1)) \frac{1}{6}\hat p_2 : \mathbf{H}_{conn}(-,\mathbf{B}String) \to \mathbf{H}_{diff}(-, \mathbf{B}^7 U(1))

be the differential refinement of the second fractional Pontryagin class discussed above.

Definition

For XH=X \in \mathbf{H} = ?LieGrpd?, the \infty-groupoid of differential fivebrane-structures Fivebrane diff(X)Fivebrane_{diff}(X) is the homotopy fiber of 16p 2(X):H(X,BString)H diff(X,B 7U(1))\frac{1}{6}p_2(X) : \mathbf{H}(X,\mathbf{B}String) \to \mathbf{H}_{diff}(X, \mathbf{B}^7 U(1)).

More generally, the \infty-groupoid of twisted differential fivebrane structures is the (∞,1)-pullback Fivebrane diff,tw(X)Fivebrane_{diff,tw}(X) in

Fivebrane diff,tw(X) H diff(X,B 7U(1)) H conn(X,BString) 16p^ 2 H diff(X,B 7U(1)). \array{ Fivebrane_{diff,tw}(X) &\to& H_{diff}(X,\mathbf{B}^7 U(1)) \\ \downarrow && \downarrow \\ \mathbf{H}_{conn}(X,\mathbf{B}String) &\stackrel{\frac{1}{6}\hat p_2}{\to}& \mathbf{H}_{diff}(X,\mathbf{B}^7 U(1)) } \,.

In terms of the underlying \infty-Lie algebra valued local connection data, i.e. before Lie integration in the above sense , this has been considered in SSSIII

(…)

\infty-Chern-Simons theory

The refined higher Chern-Weil homomorphism takes values in circle n-bundles with connection in ordinary differential cohomology. Each of these comes with a notion of higher holonomy over nn-dimensional curves Σ nX\Sigma_n \to X. The map that takes a connection on an infinity-bundle to this holonomy is a generalization of the action functional of Chern-Simons theory.

Therefore the higher Chern-Weil homomorphism defines a class of sigma-model quantum field theories that we call

infinity-Chern-Simons theory.

See there for more details.

Special noteworthy cases are

References

An explicit presentation of the \infty-Chern-Weil homomorphism in terms of simplicial presheaves and the application to differential string structures and differential fivebrane structures is considered in

The special case that gives the AKSZ sigma-model is discussed in

A general abstract account is in

For a commented list of related literature see

differential cohomology in cohesive topos – references

Last revised on August 20, 2011 at 20:59:16. See the history of this page for a list of all contributions to it.