## October 12, 2007

### Obstructions to n-Bundle Lifts Part II: The BIG Diagram

#### Posted by Urs Schreiber

In Obstructions for $n$-Bundle Lifts and Obstructions, Tangent Categories and Lie $N$-tegration I mentioned some aspects of how to use the differential version of $n$-transport in terms of “$n$-Cartan”-connections (described first here and now with more details in the section String- and Chern-Simons $n$-transport in the slide show of the same name) together with the usage of weak cokernels (see also this) gives a direct way to demonstrate that rationally (i.e. at the level of deRham cohomology, refining this to integral classes will take more work) the obstruction to lifting a $G$-bundle through a String-like extension

$0 \to \Sigma^{n-1}u(1) \to g_\mu \to g \to 0$

of the Lie algebra $g = \mathrm{Lie}(G)$ to the Baez-Crans type Lie $n$-algebra $g_\mu$ coming from a Lie algebra $(n+1)$-cocylce is given (rationally) by the characteristic deRham class of the $G$-bundle with respect to the invariant polynomial $k$ corresponding to $\mu$.

So for $g_\mu$ the String Lie 2-algebra this says that the obstruction of lifting a Spin-bundle to a String-bundle is given by the Pontryagin class of that bundle. (But this argument cannot distinguish, at the moment, the torsion components and hence does not see the distinction between the Pontryagin class $p_1$ of the underlying $SO(n)$-bundle and the true class $\frac{1}{2}p_1$ of the $\mathrm{Spin}(n)$-bundle.)

While the essential diagram can be seen in section String and Chern-Simons $n$-Transport, subsection Obstructing $n$-bundles: differential picture, I had mentioned a big hand-drawn diagram which also contains all the details for how to exactly evaluate all the arrows as morphisms of the Koszul-dual quasi-free differential algebras.

This here is to provide this big diagram, in case anyone is interested.

This was drawn while I visited Hisham Sati in Yale. With Danny we are working on a generalization of this statement, which however I am not allowed to mention in public for the moment.

Recall that the main idea is this:

Given a principal $n$-transport for the $n$-group $B$ and/or the corresponding $n$-Cartan connection for the corresponding Lie $n$-algebra, and given a sequence

$K \to G \stackrel{t}{\to} B$

of Lie $n$-groups and/or Lie $n$-algebras, we ask whether and when we may lift the transport with values in $B$ to a transport with values in $G$.

To determine this, we compute the postcomposition of the $n$-transport with the cokernel of $t$. The nontriviality of this should be the obstruction to the lift.

The idea is to first form the mapping cone $(K \to G)$, use that this is equivalent to $B$, and then compute the cokernel of the inclusion $G \hookrightarrow (K \to G)$.

At least for the case at hand, String-like extensions, that’s tractable and leads to the described result.

Posted at October 12, 2007 4:35 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1456

Read the post n-Curvature, Part III
Weblog: The n-Category Café
Excerpt: Curvature is the obstruction to flatness. Believe it or not.
Tracked: October 16, 2007 10:51 PM
Read the post On weak Cokernels for 2-Groups
Weblog: The n-Category Café
Excerpt: On weak cokernels of 2-groups.
Tracked: October 17, 2007 11:02 PM
Read the post On Lie N-tegration and Rational Homotopy Theory
Weblog: The n-Category Café
Excerpt: On the general ideal of integrating Lie n-algebras in the context of rational homotopy theory, and about Sullivan's old article on this issue in particular.
Tracked: October 20, 2007 4:33 PM
Read the post n-Bundle Obstructions for Bruce
Weblog: The n-Category Café
Excerpt: On the global description of n-bundles obstructing lifts through shifted central extensions.
Tracked: November 4, 2007 5:55 PM
Read the post Lie oo-Connections and their Application to String- and Chern-Simons n-Transport
Weblog: The n-Category Café
Excerpt: A discussion of connections for general L-infinity algebras and their application to String- and Chern-Simons n-transport.
Tracked: December 25, 2007 7:37 PM
Read the post Dual Formulation of String Theory and Fivebrane Structures
Weblog: The n-Category Café
Excerpt: An article which discusses lifts through the 7-fold connected cover of the structure group of the tangent bundle in the context of electric-magnetic duality in string theory.
Tracked: April 28, 2008 3:46 AM

Post a New Comment