Is the first differential Pontryagin class a morphism of stacks? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T20:55:10Z http://mathoverflow.net/feeds/question/83147 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83147/is-the-first-differential-pontryagin-class-a-morphism-of-stacks Is the first differential Pontryagin class a morphism of stacks? domenico fiorenza 2011-12-10T21:36:05Z 2011-12-14T12:24:09Z <p>In <a href="http://projecteuclid.org/DPubS?verb=Display&amp;version=1.0&amp;service=UI&amp;handle=euclid.cmp/1104286562&amp;page=record" rel="nofollow">Cech Cocycles for Characteristic Classes</a>, Jean-Luc Brylinski and Dennis McLaughlin provide explicit formulas for Cech cocycles for characteristic classes of real and complex vector bundles, and show how to refine these to Cech-Deligne cocycles for differential characteristic classes in differential cohomology. </p> <p>When the compact Lie group $G$ involved is enough connected, e.g., if one is interested in the second Chern class of a principal $SU(n)$-bundle, the Brylinski-McLaughlin formula drastically simplifies, and it can be shown that in this case it actually gives a morphism of stacks from the classifying stack of principal $G$-bundles with connections to the (higher) stack of principal $U(1)$-$n$-gerbes with connections (here $n+2$ is the degree of the characteristic class involved).</p> <p>This stacky interpretation is emphatised, e.g., in the follow-up <a href="http://arxiv.org/abs/1011.4735" rel="nofollow">Cech cocycles for differential characteristic classes - An $\infty$-Lie theoretic construction</a>, by Urs Schreiber, Jim Stasheff and myself, where it is obtained (as the title suggests) via integration of $L_\infty$-algebras to higher Lie groups. For this approach, the connectivity of $G$ is essential. For instance one can see that the first fractional differential Pontryagin class $\frac{1}{2}\hat{p}_1$ is a morphism of stacks from the stack of princiapl Spin bundles with connection to the 3-stack of $U(1)$-2-gerbes with connection, and this precisely reproduces Brylinski-McLaughlin construction, the but one cannot see the Brylinski-McLaughlin cocycle for the first differential Pontryagin class $\hat{p}_1$ for princiapal $SO$-bundles with connections via Lie integration: $SO$ is not enough connected to allow this. This pheneomenon is in a sense not surprising: for instance the "identity" morphism from the Lie algebra of $O(2)$ to the Lie algebra of $SO(2)$ cannot be integrated to a morphism of Lie groups from $O(2)$ to $SO(2)$ due to "lack of connectivity" reasons. </p> <p>Yet the fact that a particular technique fails does not mean that a statement is false. So here is my question: is there a natural interpretation of Brylinski-McLaughlin cocycle for the first differential Pontryagin class $\hat{p}_1$ as a morphism of stacks (from $SO$-bundles with connections to $U(1)$-2-gerbes with connections)? or is there a natural interpretation of Brylinski-McLaughlin cocycle for the second differential Chern class $\hat{c}_2$ as a morphism of stacks from $U$-bundles (not $SU$!) with connections to $U(1)$-2-gerbes with connections)? </p> <p>My feeling is that once there are no topological obstruction (i.e., once the characteristic classes are defined at the non-very-conected level, as in these cases), the morphism of stacks (which surely exists at the highly connected level) descends from the higher connected cover of $G$ involved to the original $G$. So, for instance since $\frac{1}{2}p_1$ is not an integral class for $SO$-bundles one can not make $\frac{1}{2}\hat{p}_1$ descend from principal Spin-bundles with connections to princiapal $SO$-bundles with connections; but since $p_1$ is an integral class for $SO$-bundles, then it should be possible that $\hat{p}_1$ descends. But all my attemps towards a rigorous proof of this have failed so far, so I've begun thinking that I may be wrong, and that $\hat{p}_1$ can be given no natural interpretation as a morphism of stacks after all.</p> <p>Any suggestion, reference or criticism concerning this problem is welcome. </p> http://mathoverflow.net/questions/83147/is-the-first-differential-pontryagin-class-a-morphism-of-stacks/83369#83369 Answer by Konrad Waldorf for Is the first differential Pontryagin class a morphism of stacks? Konrad Waldorf 2011-12-13T21:49:41Z 2011-12-14T12:24:09Z <p>Yes, every differential characteristic class is a stack morphism. </p> <p>The point is that there exist universal differential characteristic classes. These are not easy to describe since they involve a notion of differential cohomology of classifying spaces. One way is to use <a href="http://ncatlab.org/schreiber/show/differential+cohomology+in+a+cohesive+topos" rel="nofollow">Urs Schreiber's approach</a>. At least in the case of degree four classes one can alternatively use the theory of multiplicative bundle gerbes.</p> <p>In this context, I'd use the following working definition:</p> <p><strong>Definition:</strong> A <em>universal degree four differential characteristic class</em> on a Lie group $G$ is a multiplicative $U(1)$-bundle gerbe over $G$ with (multiplicative) connection of curvature $H$. </p> <p>Here, $H$ is the "canonical" 3-form on $G$, it is defined using a bilinear symmetric linear form on the Lie algebra of $G$ - I think any such form is fine. </p> <p>Multiplicative bundle gerbes have been introduced in the paper (1); they represent classes in $H^4(BG,\mathbb{Z})$. The notion of a multiplicative connection is subtle, I'd refer to Definition 1.3 of my paper (2). The point is that the "naive" definition is too strict and leaves essentially no space for examples. In particular, while a multiplicative gerbe over $G$ can be seen as a 2-gerbe over $BG$, a multiplicative connection is <strong>NOT</strong> a connection (in the ordinary sense) on this 2-gerbe.</p> <p><strong>Example 1:</strong> If $G=Spin(n)$, the basic gerbe $\mathcal{G}$ over $G$ carries a canonical connection of curvature $H$ and a canonical multiplicative structure. It is the universal differential half first Pontryagin class, $\frac{1}{2}\widehat{p_1}$. It underlies the definition of string connections I have proposed in my paper (3).</p> <p><strong>Example 2:</strong> If $G = SO(n)$, the bundle gerbe $\mathcal{G}$ descends together with its connection along the projection $Spin(n) \to SO(n)$, but its multiplicative structure does <em>not</em> descend. Instead, only the multiplicative bundle gerbe $\mathcal{G}^2 := \mathcal{G} \times \mathcal{G}$ descends together with its connection and its multiplciative structure. The descended gerbe over $SO(n)$ is the universal differential first Pontryagin class, $\widehat{p_1}$. Descent theory for multiplicative gerbes, together with obstructions is discussed in (4), see Table 1 at the end of the paper.</p> <p>Now suppose that $\mathcal{G}$ is a universal differential characteristic class, $X$ is a smooth manifold and $P$ is a principal $G$-bundle with connection $A$ over $X$. The Chern-Simons 2-gerbe $\mathbb{CS}_P(\mathcal{G})$ is a $U(1)$-bundle 2-gerbe over $X$, see (1). A connection on $\mathbb{CS}_P(\mathcal{G})$ is constructed from the Chern-Simons 3-form $CS(A)$ and the multiplicative connection on $\mathcal{G}$; here the condition that the curvature of $\mathcal{G}$ is $H$ is important. This construction is described in detail in Section 3.2 of (2). It has the following properties:</p> <p><strong>Theorem:</strong></p> <ul> <li><p>if $\xi_P: M \to BG$ is a classifying map for $P$, then $[\mathbb{CS}_P(\mathcal{G})] = \xi_P^*[\mathcal{G}] \in H^4(M,\mathbb{Z})$.</p></li> <li><p>a connection-preserving bundle morphism $P_1 \to P_2$ (covering some smooth map $X_1 \to X_2$ between base manifolds) induces a morphism $$\mathbb{CS}_{P_1}(\mathcal{G}) \to \mathbb{CS}_{P_2}(\mathcal{G})$$ between bundle 2-gerbes.</p></li> </ul> <p>The first statement is Theorem 3.2.3 in (2). It means that on the level of the underlying (non-differential) characteristic class the construction is just pullback. The second statement follows by inspection of the definition of $\mathbb{CS}_P(\mathcal{G})$. It means precisely that we have a stack morphism $$\mathbb{CS}(\mathcal{G}): Bun_G^{\nabla} \to 2\text{-}Grb_{U(1)}^{\nabla}.$$</p> <p><strong>References:</strong></p> <ol> <li><a href="http://arxiv.org/abs/math.DG/0410013" rel="nofollow">"Bundle gerbes for chern-simons and wess-zumino-witten theories"</a> </li> <li><a href="http://arxiv.org/abs/0804.4835" rel="nofollow">"Multiplicative bundle gerbes with connection"</a></li> <li><a href="http://arxiv.org/abs/0906.0117" rel="nofollow">"String connections and Chern-Simons theory"</a></li> <li><a href="http://arxiv.org/abs/0908.1130" rel="nofollow">"Polyakov-Wiegmann formula and multiplicative gerbes"</a></li> </ol>