Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

December 25, 2007

Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Posted by Urs Schreiber

Hisham Sati, Jim Stasheff and myself are working on writing up some ideas on Lie \infty-algebra cohomology and its application to String- and Chern-Simons nn-Transport, further exploring the second edge of the cube.

We would like to share this document:

H. Sati, J. Stasheff, U. S.
L L_\infty-algebra connections and applications to String- and Chern-Simons nn-Transport
arXiv:http://arxiv.org/abs/0801.3480
(pdf of the latest version)

This consists of three parts:


Part A : Overview and physical applications
Part B: Lie \infty-algebras, their cohomology and their String-like extensions
Part C: Categorified Cartan-Ehresmann connections and lifts through String-like extensions.


This can be thought of as providing details to the discussion provided in my slide show String- and Chern-Simons nn-Transport. NN-Café regulars will recognize a certain synthesis of topics I used to discuss here, like inner automorphism n+1n+1-groups, String and Chern-Simons Lie \infty-algebras, nn-Curvature , obstruction theory and other things. To some extent, the main idea here found its final form after John posed a nice problem in Higher Gauge Theory and Elliptic Cohomology.

Much progress on the relation of the general formalism to (heterotic) string theory and supergravity/M-theory occurred when I visited Hisham Sati in Yale. The full implications are only briefly indicated here.

We’d be grateful for whatever comment you might have.

Math abstract. We give a generalization of the notion of a Cartan-Ehresmann connection from Lie algebras to L L_\infty-algebras and use it to study the obstruction theory of lifts through higher String-like extensions of Lie algebras.

Physics abstract. It is known that over a D-brane the Kalb-Ramond field restricts to a 2-bundle with connection (a gerbe) which can be seen as the obstruction to lifting the PU(H)PU(H)-bundle on the D-brane to a U(H)U(H)-bundle. We discuss how this phenomenon generalizes from the ordinary central extension U(1)U(H)PU(H)U(1) \to U(H) \to PU(H) to higher categorical central extensions, like the String-extension BU(1)String(G)G\mathbf{B} U(1) \to \mathrm{String}(G) \to G. Here the obstruction to the lift is a 3-bundle with connection (a 2-gerbe): the Chern-Simons 3-bundle classified by the first Pontrjagin class. For G=Spin(n)G = \mathrm{Spin}(n) this obstructs the existence of a String-structure. We discuss how to describe this obstruction problem in terms of Lie nn-algebras and their corresponding categorified Cartan-Ehresmann connections. Generalizations even beyond String-extensions are then straightforward. For G=Spin(n)G = \mathrm{Spin}(n) the next step is “Fivebrane structures” whose existence is obstructed by certain generalized Chern-Simons 7-bundles classified by the second Pontrjagin class.


Statement of the main results

We define, for any L L_\infty-algebra gg and any smooth space XX, a notion of

\bullet gg-descent objects over XX;

and an extension of these to

\bullet gg-connection descent objects over XX.

These descent objects are to be thought of as the data obtained from locally trivializing an nn-bundle (with connection) whose structure nn-group has the Lie nn-algebra gg.

We define for each L L_\infty-algebra gg a dg-algebra inv(g)\mathrm{inv}(g) of invariant polynomials on gg.

We show that every gg-connection descent object gives rise to a collection of deRham classes on XX: its characteristic classes. These are images of the cohomology of inv(g)\mathrm{inv}(g).

Two descent objects are taken to be equivalent if they are concordant in a natural sense.

Our first main result is

Theorem. Characteristic classes indeed characterize gg-descent objects in the following sense:

- Concordant gg-connection descent objects agree in cohomology and have the same characteristic classes.

- Two gg-descent objects with the same characteristic classes agree in cohomology.

- If two gg-descent objects differ in cohomology, they are not concordant and cannot have the same characteristic classes.

Remark. We expect that this result can be strengthened. Currently our characteristic classes are just in deRham cohomology. One would expect that these are images of classes in integral cohomology which completely characterize equivalent gg-descent objects. While we do not attempt here to discuss integral characteristic classes in general, we discuss some aspects of this for the case of abelian Lie nn-algebra g=b n1u(1)g = b^{n-1}u(1) by relating gg-descent objects to Deligne cohomology.


We define String-like extensions g μg_\mu of L L_\infty-algebras coming from any L L_\infty-algebra cocycle μ\mu: a closed element in the Chevalley-Eilenberg dg-algebra corresponding to gg: μCE(g)\mu \in \mathrm{CE}(g). These generalize the String Lie 2-algebra which governs the dynamics of (heterotic) superstrings.

Then we do this and that and arrive at our second main result:

Theorem. For μCE(g)\mu \in \mathrm{CE}(g) any degree n+1n+1 gg-cocycle that transgresses via csW(g)\mathrm{cs} \in \mathrm{W}(g) to an invariant polynomial Pinv(g)P \in \mathrm{inv}(g), the obstruction to lifting a gg-descent object to a g μg_\mu-descent object is a (b nu(1))(b^n u(1))-descent object whose single characteristic class is the class corresponding to PP of the original gg-descent object.


We discuss the following applications.

- For gg an ordinary semisimple Lie algebra and μ\mu its canonical 3-cocycle, this says the obstruction to lifting a gg-bundle to a String 2-bundle is a Chern-Simons 3-bundle. The vanishing of this obstruction is known as a String structure.

- This result generalizes to all String-like extensions. Using the 7-cocycle on so(n)\mathrm{so}(n) we obtain lifts through extensions by a Lie 6-algebra, which we call the Fivebrane Lie 6-algebra. Accordingly, fivebrane structures are obstructed by the second Pontrjagin class and are related to higher twists in string theory.

- This pattern continues and one would expect our obstruction theory for lifts through string-like extensions with respect to the 11-cocycle on so(n)\mathrm{so}(n) to correspond to Ninebrane structure.

The issue of pp-brane structures for higher pp was discussed before in [MickelssonPercacci]. In contrast to the discussion there, we here see pp-brane structures only for p=4n+1p = 4n + 1, corresponding to the list of invariant polynomials and cocycles for so(n)\mathrm{so}(n).

- We discuss how the action functional of the topological field theory known as BF-theory arises from the invariant polynomial on a strict Lie 2-algebra, in a generalization of the integrated Pontrjagin 4-form of the topological term in Yang-Mills theory.

This is similar to but different from the Lie 2-algebraic interpretation of BF theory indicated in [GirelliPfeifferPopescu], where the “cosmological” bilinear in the connection 2-form is not considered and a constraint on the admissable strict Lie 2-algebras is imposed.

- We discuss the parallel transport induced by a gg-connection, relate it to the nn-functorial parallel transport and point out how this leads to σ\sigma-model actions in terms of dg-algebra morphisms. This makes contact with the corresponding BV-formalism, though the details of that are not discussed here.

Posted at December 25, 2007 5:55 PM UTC

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

33 Comments & 24 Trackbacks

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Does this work tell us anything about all those dualities (S, T, U, etc.) between string theories?

Posted by: David Corfield on December 26, 2007 10:09 AM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

When ordinary Lie algebras are enough, do we see these dualities in those terms?

Posted by: jim stasheff on December 26, 2007 2:03 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Jim Stasheff asked:

When ordinary Lie algebras are enough, do we see these [string] dualities in those terms?

Ulrich Bunke and collaborators claim to have made precise the heuristic statement that topological T-duality is Pontrjagin-duality generalized from ordinary groups to nn-groups.

See my very brief discussion here.

This looks like a result which would open the way to understanding (topological) T-duality much more generally, not just for line 2-bundles (1-gerbes) but for line nn-bundles for all nn, including n=1n=1.

Maybe something to keep in mind.

Posted by: Urs Schreiber on December 27, 2007 2:43 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Does Bunke have a pre-pre-print yet?
dopes he have e-mail?

jim

Posted by: jim stasheff on December 27, 2007 5:21 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Does Bunke have a pre-pre-print yet?

Yes, here:

Bunke, Schick, Spitzweck, Thom: Duality for topological abelian group stacks and T-duality

Posted by: Urs Schreiber on December 27, 2007 9:12 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Perhaps I’m just after Urs giving us a glimpse of what might interest the string theorist in his work if everything pans out as he hopes.

Posted by: David Corfield on December 26, 2007 4:41 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Perhaps I’m just after Urs giving us a glimpse of what might interest the string theorist in his work if everything pans out as he hopes.

Apart from the aspects I mentioned in a previous reply the main application to string theory which we announce and indicate in Part A is the understanding of background structures that generalize ordinary Spin-structures.

From the physical point of view, a Spin structure on a manifold is the necessary prerequisite to have a consistent theory of spinning particles (= 1-particles) on this manifold.

In superstring theory one studies spinning nn-particles (aka (n1)(n-1)-branes) for larger nn.

It is pretty well known that the structure generalizing a Spin structure as we move from 1-particles to 2-particles is what is called String structure.

These String-structures have originally been understood (by Killingback and later Witten, nicely explained byMurray-Stevenson) in terms of bundles on the loop space of the underlying manifold. Then it was understood that this really corresponds to a 2-bundle down on the manifold itself.

This observation our work here describes further and generalizes to higher nn.

There are spinning 5-branes, and they should have a consistent quantization only on manifolds which have a “Fivebrane structure”, which in turn should be the requirement that a certain 6-bundle exists on that manifold.

We provide the language to talk about these 6-bundles. And about the 10-bundles which should give “Ninebrane structures”. We show that – whichever role they actually play physically – the existence of these structures is obstructed by higher Pontrjagin classes.

This is not too surprising once you understand the pattern governing ordinary String structures. But it is good to have a solid understanding of it.

There is much more to say about Fivebrane structures. But this is supposed to be the topic of a separate article.

Posted by: Urs Schreiber on December 27, 2007 3:10 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

David Corfield asked:

Does this work tell us anything about all those dualities (S, T, U, etc.) between string theories?

Well, not yet directly. But it is a necessary prerequisite of some other work which should build on it and have more concrete things to say about autoequivalences of the 2- and the 3-particle, otherwise known as string dualities.

I wish progress were as quick as the open questions are clear and urgent!

The best understood duality is T-duality, which is an autoequivalence on structures that involve a Riemannian structure and a bu(1)b u(1)-2-bundle, aka an abelian gerbe. The description of its aspect which relies only on the gerbe, known as topological T-duality is finding its nn-categorical formulation (slightly secretly, still) in the theory of bi-branes. The powerful description in terms of generalized complex geometry I had indicated how to incorporate in the nn-categorical picture in The GG and the BB.

One important point one would want is a better understanding of the relation of bu(1)b u(1)-2-bundles and their T-duality properties on a dimensionally compactified space to the b 2u(1)b^2 u(1)-3-bundles and their properties on the uncompactified space which they come from. This is known as the problem of S-duality invariance of twisted K-theory.

The problem is that under dimensional compactification, the b 2u(1)b^2 u(1)-3-bundle reduces to a bu(1)b u(1)-2-bundle (the “Kalb-Ramond field”) plus lots of “other stuff”, known as RR-fields. There is to date no good global description of RR-fields as there is for the Kalb-Ramond field. Since they all come from the b 2u(1)b^2 u(1)-3-bundle upstairs (the “CC-field”) a good strategy seems to be to better study this 3-bundle.

What the results presented here apply most directly to is the clarification of the global nn-bundle interpretation of these string background “fields”, notably the supergravity CC-field just mentioned.

The currently best available description of the “CC-field”, mentioned above, in the string theory literature seems to be that given by Diaconescu, Freed, Moore, whose Deligne-cohomological interpretation was worked out more clearly by Clingher.

I think it is fair to say that this leaves room for improvement. As we indicate (but don’t discuss in full detail), the CC-field should be the Chern-Simons 3-bundle with connection which obstructs the lift of a given Spin(n)×E 8Spin(n) \times E_8 1-bundle to the corresponding String 2-bundle.

Form there on I would try to tackle further those dualities.

Posted by: Urs Schreiber on December 27, 2007 2:22 PM | Permalink | Reply to this

universal g-connection

In the context of the above, I’d like to look again at the question we were discussing here in the thread “On BV Quantization, Part VIII”, about whether and how bundles with connection can be classified by maps of “spaces”.

To some degree, the developments in Part B indicate an answer to that.

To see that, one should notice that graded-commutative differential algebras (dg-algebras for short, in the following) are pretty close to being spaces. I’ll say something about that now. With that in mind, everything we say about bundles with connections in terms of dg-algebras can be translated into a description in terms of spaces.

It’s essentially the idea of rational homotopy theory: whenever you see a graded-commutative dg-algebra, you can think of it as being the dg-algebra of differential forms on some space.

But I’ll slightly vary the theme of rational homotopy theory (or rather, of what I know about it) here and instead of relating simplicial spaces to dg-algebras, relate them to smooth spaces in the sense of sheaves on manifolds.

So for me now, a smooth space is a sheaf on a site SS, which might be open (convex) subsets of 2 3\mathbb{R} \cup \mathbb{R}^2 \cup \mathbb{R}^3 \cup \cdots, or might be the site of all manifolds, or some other site on whose objects we naturally have smooth differential forms.

I write S :=Sh(S) S^\infty := \mathrm{Sh}(S) for the category of smooth spaces in this sense.

There is a natural notion of differental forms on such a smooth space:

differential forms themeselves form a smooth space, given by the sheaf that sends each manifold UU to the set of differential forms on it: Ω :UΩ (U). \Omega^\bullet : U \mapsto \Omega^\bullet(U) \,.

Given any other sheaf XSh(S)X \in \mathrm{Sh}(S), a differential form ω\omega on XX is a morphisms (of sheaves)

ω:XΩ . \omega : X \to \Omega^\bullet \,.

Here you should think for each object UU of our site of each element in the set X(U)X(U) as a smooth map ff from UU into XX, and of the image ω U(f)\omega_U(f) of that element under ω U\omega_U as the differential form f *ωf^* \omega on UU obtained by pullback along that map ff of a differential form ω\omega on XX.

The set of all differential forms on XX is hence

Ω (X):=Hom S (X,Ω ). \Omega^\bullet(X) := \mathrm{Hom}_{S^\infty}(X, \Omega^\bullet) \,.

One checks easily that this inherits the structure of a graded-commutative dg-algebra from the fact that Ω (U)\Omega^\bullet(U) is a commutative dg-algebra for all UU and that exterior derivative and wedge product commute with pullbacks.

This gives us a contravariant functor from smooth spaces to graded-commutative dg-algebras:

Ω :S DGCA. \Omega^\bullet : S^\infty \to DGCA \,.

There is another functor going the other way:

given any differential graded-commutative algebra, which I’ll write CE(g,V)\mathrm{CE}(g,V), we obtain a smooth space X g,VX_{g,V} by setting

X g,V:UHom dgAlg(CE(g,V),Ω (U)). X_{g,V} : U \mapsto \mathrm{Hom}_{dg-Alg}(\mathrm{CE}(g,V), \Omega^\bullet(U)) \,.

(This is the basic idea underlying Sullivan models in rational homotopy theory.)

This yields a contravariant functor S DGCA:Hom dgAlg(,Ω ()). S^\infty \leftarrow DGCA : Hom_{dg-Alg}(-- , \Omega^\bullet(--)) \,.

I am not sure right now in full generality to which extent these two functors are mutual inverses or adjoints. But they should be.

One thing that is directly clear is that every graded-commutative algebra CE(g,V)\mathrm{CE}(g,V) sits at least inside the algebra of differential forms Ω (X g,V)\Omega^\bullet(X_{g,V}) on the space X g,VX_{g,V} it defines:

CE(g,V)Ω (X g,V). \mathrm{CE}(g,V) \hookrightarrow \Omega^\bullet(X_{g,V}) \,.

This is a tautology following from the way X g,VX_{g,V} and Ω (X)\Omega^\bullet(X) were defined.

But for instance I think one easily checks that Ω (X)=Ω (X Ω (X)), \Omega^\bullet(X) = \Omega^\bullet(X_{\Omega^\bullet(X)}) \,, which is reassuring.

Now, take our article and hit everything in sight with the functor S DGCA:Hom dgAlg(,Ω ()) S^\infty \leftarrow DGCA : Hom_{dg-Alg}(-- , \Omega^\bullet(--)) thus sending our discussion in terms of DGCAs entirely to a discussion in terms of smooth spaces.

This then yields, in particular, the following statements:

for every Lie \infty-algebra gg there is a smooth space X inn(g)X_{\mathrm{inn}(g)} such that gg-valued forms AA on any smooth space YY correspond to smooth maps f A:YX inn(g). f_A : Y \to X_{\mathrm{inn}(g)} \,.

The “gg-connection descent objects” on a space XX which we describe, and which encode nn-bundles with connection with values in gg are characterized by maps of smooth spaces XX inv(g) X \to X_{\mathrm{inv}(g)} with the property that we can complete the two squares in F X g Y X inn(g) X X inv(g). \array{ F &\to & X_g \\ \downarrow && \downarrow \\ Y &\to & X_{\mathrm{inn}(g)} \\ \downarrow && \downarrow \\ X &\to& X_{\mathrm{inv}(g)} } \,.

The horizontal morphism at the bottom here plays the role of the classifying map as familiar from ordinary bundles. Indeed, for gg an ordinary Lie algebra, X inv(g)X_{\mathrm{inv}(g)} is a smooth space with the same deRham cohomology as (any smooth model of) BGB G.

Then the fact that a surjective submersion Y X \array{ Y \\ \downarrow \\ X } appears is the phenomenon that John likes to refer to in terms of anafunctors. The smooth map YX inn(g) Y \to X_{\mathrm{inn}(g)} which covers our classifying map XX inv(g) X \to X_\mathrm{inv}(g) is the one that actually encodes the connection in detail, whereas YX inv(g)Y \to X_{\mathrm{inv}(g)} only knows about the characteristic forms of the conneciton form(s).

So, we don’t see here, directly, a single smooth space such that smooth maps into it classify bundles with connection.

Rather, we see a smooth space X inv(g)X_{\mathrm{inv}(g)} characterizing bundles and being covered by another smooth space, X inn(g)X_{\mathrm{inn}(g)}, maps into which characterize connections on a trivial bundle. Fit together into a diagram as above, these maps characterize (nontrivial) bundles with connections.

Despite of this, we can after all speak of a universal connection in this context, and that’s probably all we actually want.

I talked about that before (also at the end of the slide show), but let me say it again, with the above picture now more clearly present:

from what I just said, if follows that the space X inv(g) X_{\mathrm{inv}(g)} (which is essentially BGB G) supports not only a canonical GG-bundle X inn(g) X inv(g) \array{ X_{\mathrm{inn}(g)} \\ \downarrow \\ X_{\mathrm{inv}(g)} }

but also that this universal bundle carries canonically a gg-connection: this is because we can canonically complete the identity morphism Id:X inv(g)X inv(g) \mathrm{Id} : X_{\mathrm{inv}(g)} X_{\mathrm{inv}(g)} to a gg-connection descent object, simply by having identities on all horizontal edges: X g Id X g X inn(g) Id X inn(g) X inv(g) Id X inv(g). \array{ X_g &\stackrel{\mathrm{Id}}{\to} & X_g \\ \downarrow && \downarrow \\ X_{\mathrm{inn}(g)} &\stackrel{\mathrm{Id}}{\to}& X_{\mathrm{inn}(g)} \\ \downarrow && \downarrow \\ X_{\mathrm{inv}(g)} &\stackrel{\mathrm{Id}}{\to}& X_{\mathrm{inv}(g)} } \,.

This is the universal gg-connection (descent object) on the unversal gg-bundle (descent object).

(But notice the remark from our introduction: right now we haven’t shown that the classification of these things by deRham classes lifts to integral classes. And also notice that what I am saying here would be fully satisfactory only when we know to which extent the two contravariant functors Ω :S DGCAs\Omega^\bullet : S^\infty \to DGCAs and Hom(,Ω ()):DGCAsS Hom(--,\Omega^\bullet(--)) : DGCAs \to S^\infty are inverses of each other, at least for the DDCAs we are encountering here.)

And clearly, any other gg-connection (descent object) is the pullback of this universal one, simply in the tautological sense that every morphism is the pullback of the identity on its target along itself.

Posted by: Urs Schreiber on December 27, 2007 1:37 PM | Permalink | Reply to this

Re: universal g-connection

Following up on my discussion of graded commutative differential algebras and smooth spaces, above, I am wondering if this can be used to understand the internal hom in the category of DGCAs.

That’s because smooth spaces, being sheaves, canonically have an internal hom. Therefore for AA and BB any two DGCAs, the DGCA corresponding to hom(A,B)hom(A,B) should e something like Ω (hom Sheaves(X B,X A)) \Omega^\bullet(hom_{Sheaves}(X_B,X_A)) where X AX_A and X BX_B are the smooth spaces induced by AA and BB as described above.

I’d be grateful for all comments/help here. Jim?

Posted by: Urs Schreiber on December 27, 2007 3:43 PM | Permalink | Reply to this

Re: universal g-connection

You’d have to sheafify me first.
Todd??

Posted by: jim stasheff on December 27, 2007 5:22 PM | Permalink | Reply to this

Re: universal g-connection

You’d have to sheafify me first.

What I can offer right this moment are some quickly typed

Notes on differential forms on smooth spaces and graded-commutative differential algebras.

Posted by: Urs Schreiber on December 27, 2007 9:19 PM | Permalink | Reply to this

Re: universal g-connection

Hi Urs,

Took a look at your comment and notes; here are some initial reactions.

First, you asked whether the formula

Uhom(U×X,Y)U \mapsto hom(U \times X, Y)

gives the ‘correct’ internal hom for smooth spaces; in this context I assume you’re asking whether this gives the correct exponential for cartesian closedness.

Yes, this formula is correct and works for general presheaf toposes, by an application of the Yoneda lemma. The result is standard and proved in many books on topos theory – the ones by Johnstone, by Mac Lane and Moerdijk, and by Freyd and Scedrov come to mind. I’m happy to go into more detail if you want.

Second: there is as you say a contravariant adjunction

S (X,DGCA(A,Ω ()))DGCA(A,S (X,Ω ())).S^{\infty}(X, DGCA(A, \Omega^{\bullet}(-))) \cong DGCA(A, S^{\infty}(X, \Omega^{\bullet}(-))).

This can be proved with the help of (again) the Yoneda lemma: since XX is a colimit of representables, one can easily reduce to the case where XX is a representable, and then check that case with the help of Yoneda. Notice that this type of adjunction has the general flavor of one coming from a Janusian/ambimorphic object (Ω ()\Omega^{\bullet}(-) having a kind of dual existence, one as a smooth space and another as a DGCA).

But, I don’t think this adjunction can be an equivalence, even if we restrict to locally quasi-free DGCA’s. The question seems to be whether DGCA opDGCA^{op} (or something like it) is equivalent to the topos S S^{\infty}, and it’s sort of an interesting question because DGCA opDGCA^{op} does partake of some of the exactness properties satisfied by a topos. For one, it’s a lextensive category (it has finite pullbacks and finite coproducts which are disjoint and preserved under pullback) – lextensive categories are a very interesting and much-studied class of categories.

But I sort of doubt DGCA opDGCA^{op} or some easily identified full subcategory is locally cartesian closed (which it would be if it were a topos). This would mean that general colimits in this category are preserved under pulling back (one says “colimits are universal”), or that limits in DGCADGCA are preserved under pushing out. The pushout of a pair of morphisms

BACB \leftarrow A \to C

in DGCADGCA is given by B ACB \otimes_A C; the question is whether B AB \otimes_A - preserves limits of AA-modules. Preservation of equalizers may be no big deal under some condition like “locally quasi-free” (although there one would have to watch out that objects satisfying that condition give a complete and cocomplete category – I’m not so sure about that), but B AB \otimes_A - preserving arbitrary products, not just finite ones, looks like a much taller order.

(Another exactness condition to check has to do with whether there is an exact correspondence between epimorphisms and equivalence relations: whether every epi is the quotient of its kernel pair, and whether every equivalence relation is the kernel pair of its quotient. Never mind that for now.)

This is pretty much a gut reaction, and I feel it will probably read like a wet blanket reaction as well, which I really don’t mean. It’s possible that the desiderata of ‘internal homs’ could be relaxed a bit to stop short of actual cartesian closedness and still be interesting, but I just don’t know off hand. (By the way, I wanted to get back to you some time on calculations of internal homs of differential graded cocommutative coalgebras, but my first two attempts were obliterated by my 3-year-old daughter, and somehow I haven’t found much time for math during this holiday season.)

I would very much like to follow up some time on what you’re saying about universal bundles with connections.

Posted by: Todd Trimble on December 30, 2007 3:44 PM | Permalink | Reply to this

Re: universal g-connection

Todd,

this is a fantastically helpful reply. Really.

Instead of reacting here, I’ll move this entire discussion about smooth spaces versus DGCAs to a separate entry, in order to better do it justice, and not to clutter the comment section of this entry here with something that is not actually entirely on target.

The new entry is here: Transgresson of nn-Transport and nn-Connection

Posted by: Urs Schreiber on December 30, 2007 6:05 PM | Permalink | Reply to this

Re: universal g-connection

First partial response to Urs:

There is another functor going the other way:


given any differential graded-commutative algebra, which I’ll write CE(g,V), we obtain a smooth space X g,V by setting

I THINK YOU WANT QUASI-FREE DGCA

SEE ORIGINAL COMMENT OF URS FOR THE DESCRIPTION OF THE FUNCTOR

UNLESS YOU ALREADY HAVE A SPACE AND THIS IS TO DEFINE THE SMOOTHNESS, WHAT IS U?

(This is the basic idea underlying Sullivan models in rational homotopy theory.)


This yields a contravariant functor
S ∞←DGCA:Hom dg−Alg(−−,Ω •(−−)).

CONTRAVARIANT WITH REPSEC TO THE FIRST –
AND THE SECOND??

Posted by: jim stasheff on December 28, 2007 1:41 PM | Permalink | Reply to this

Re: universal g-connection

Jim wrote:

I THINK YOU WANT QUASI-FREE DGCA

Well, I think I want something like locally quasi free. The dg-algebra of differential forms on a space is not in general quasi free. But when restricted to small enough patches it is.

Or put differently: quasi-free dg-algebras correspond to \infty-groupoids with just a single object. Here I need to allow mor general spaces of objects.

UNLESS YOU ALREADY HAVE A SPACE AND THIS IS TO DEFINE THE SMOOTHNESS, WHAT IS UU?

UU is an object of the underlying site. So either an ordinary manifold, or an open (convex, maybe) subset of 2 3\mathbb{R} \cup \mathbb{R}^2 \cup \mathbb{R}^3 \cup \cdots, depending on taste and on the application.

My smooth spaces XX here are presheaves on ordinary manifolds/open subsets. To each ordinary manifold UU they assign a set, X(U)X(U) which is to be thought of as the set of smooth maps from UU into XX.

I am just talking about a slight variant of what is done in the context of Sullivan models, and probably if I knew more about rational homotopy theory, I’d realize that what I am talking about is very well known under the name xyz, whatever.

In Sullivan models, one builds from any differential graded commutative algebra CE(g,V)\mathrm{CE}(g,V) a simplicial manifold, by declaring the collection of nn-simplices to be the Hom-set Hom dgAlgebras(CE(g,V),Ω (Δ n)), \mathrm{Hom}_{dg-Algebras} ( \mathrm{CE}(g,V), \Omega^\bullet(\Delta^n) ) \,, where Δ n n\Delta^n \subset \mathbb{R}^n is the standard nn-simplex in n\mathbb{R}^n and where Ω (Δ n)\Omega^\bullet(\Delta^n) is some version of differential forms on Δ n\Delta^n (usually some subalgebra of all differential forms on Δ n\Delta^n).

Correct me if I am wrong, please, but this is my understanding.

So here I am talking about a slight variant of this idea: instead of looking at maps from CE(g,V)CE(g,V) to forms on the nn-simplex, I am looking at maps from CE(g,V)CE(g,V) to forms on any manifold and regard the collection of all these sets of maps not as a simplicial manifold, but as a generalized smooth space, in the standard sense of presheaf topoi.

I keep slowly expanding my notes on this. Maybe looking at these might make it clearer what I am trying to talk about.

This yields a contravariant functor

S DGCA:Hom dgalgebras(,Ω ()) S^\infty \leftarrow DGCA : \mathrm{Hom}_{dg-algebras}(--, \Omega^\bullet(--))

CONTRAVARIANT WITH REPSEC TO THE FIRST –

AND THE SECOND??

My notation here was supposed to be suggestive, but maybe it obscures what’s going on: “S S^\infty” means nothing but the category presheaves on my underlying site SS (of manifolds, say).

The functor Hom dgalgebras(,Ω ())\mathrm{Hom}_{dg-algebras}(--, \Omega^\bullet(--))

is a contravariant functor, in its first argument, from DGCAs to such presheaves. So for any DGCA CE(g,V)CE(g,V) the thing Hom dgalgebras(CE(g,V),Ω ()):S opSet \mathrm{Hom}_{dg-algebras}(CE(g,V), \Omega^\bullet(--)) : S^{\mathrm{op}} \to \mathrm{Set} is a presheaf on SS (hence a contravariant functor on SS, yes).

So for any CE(g,V)CE(g,V), this is just what we call gg-valued differential forms in section 2.5. This is simply what i mean here.

Posted by: Urs Schreiber on December 30, 2007 11:40 AM | Permalink | Reply to this
Read the post BF-Theory as a Higher Gauge Theory
Weblog: The n-Category Café
Excerpt: On interpreting BF-theory as a higher gauge theory.
Tracked: December 29, 2007 7:59 PM
Read the post Transgression of n-Transport and n-Connections
Weblog: The n-Category Café
Excerpt: On the general idea of transgression of n-connections and on the underlying machinery of generalized smooth spaces and their differential graded-commutative algebras of differential forms.
Tracked: December 30, 2007 6:40 PM

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

A somewhat more polished version is now available:

Part A, part B.

Posted by: Urs Schreiber on January 3, 2008 9:26 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

It’s very interesting ! I have a remark/question about bundle descent data.

In the ordinary case of a principal G-bundle, a descent object is given by a surjective submersion p:YXp:Y \rightarrow X and a groupoid morphism Y× XYXY \times_X Y \rightarrow X. Now, the groupoid Y× XYY \times_X Y has a canonical Morita morphism (induced by pp) to the manifold XX viewed as a groupoid. Maybe I should recall that a Morita morphism is a “smooth” equivalence of groupoids. Therefore a descent data is a composition XY× XYBGX \leftarrow Y \times_X Y\rightarrow BG where the left arrow is a Morita morphism. Such composition are called generalized morphisms (at least by C*-algebras people). Note that Morita morphisms induce isomorphisms in cohomology, thus one can use both H(X)H(X) and H(Y× XY)H(Y \times_X Y) to define characteristic classes. This construction is a purely “smooth” analogue of the standard fact that principal G-bundles over a space X are equivalent to a homotopy class of maps from X to BG.

The idea can be generalized to n-groups-bundles as well. In fact, using this Lie groupoid point of view, Mathieu Stiénon and I have recently been working on similar ideas (for principal 2-bundles). It’s now available on arxiv: Groupoid extensions, principal 2-group bundles and characteristic classes . Our approach should be closely related to yours. I havn’t figured the details out yet but I feel that a g-bundle descent data (where g is the Lie algebra of a given 2-group) should be given by the de Rham complex of a 2-group bundle ZZ Morita equivalent to the manifold X viewed as Lie 2-groupoid and a map from Z to the 2-group. The later map will induce a chain map from the de Rham complex of the 2-group to the de Rham complex of Z. There is probably some work to give a quasi-isomorphism in between CE(g) and the de Rham complex of the 2-group…

Posted by: Greg Ginot on January 9, 2008 9:58 AM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Greg,

many thanks indeed for you message!

I have not much time available right now, but let me quickly give some replies:

You wrote:

Therefore a descent data is a composition XY× XBGX \leftarrow Y \times_X \rightarrow B G where the left arrow is a Morita morphism. Such composition are called generalized morphisms

Yes! Around here, we like to call these guys anafunctors. This is a perspective which has been greatly advertized by John Baez (see for instance his lecture notes “Quantization and cohomology”, week 23 and week 24), building on some observations his student Toby Bartels made. We once had a big discussion of this here in the thread Local Transition of Transport, Anafunctors and Descent of n-Functors. It plays a key role in much of what we are talking about here, in particular its generalization from mere bundles to bundles which connection, which I talk about at length in The first edge of the cube.

You further write: ” In fact, using this Lie groupoid point of view, Mathieu Stiénon and I have recently been working on similar ideas (for principal 2-bundles). It’s now available on the arxiv: Groupoid extensions, principal 2-bundles and characteristic classes.

Oh, thanks, I hadn’t seen that! That’s interesting. (I am wondering: is Mathieu Stiénon the Mathieu who I met in Toronto last winter when he was a fellow at the Fields institute? After my talks on nn-bundles with connection I had a long discussion with some Mathieu, but I am afraid I cannot recall his last name, unfortunately… Sorry.)

I don’t have time to look at your article in detail right now, but maybe you can quickly answer the following question for me:

what happens in your theory when the 2-group in question is the strict version of the String-2group?

One of the motivations for our article was to prove that String 2-bundles have the same characteristic classes as the underlying GG-bundles, except that the first Pontrjagin class gets killed, as John discussed here.

Using our Lie \infty-algebra connection descent objects this becomes pretty obvious. Can you see that, too? That would be real cool. I need to read your paper. Will do so as soon as possible.

Posted by: Urs Schreiber on January 9, 2008 10:46 AM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Urs, thanks for the links !

You wrote:

I am wondering: is Mathieu Stiénon the Mathieu who I met in Toronto last winter

I don’t think so. However there was a very smart young french in Toronto last year called Mathieu Anel who is working on higher stacks and derived geometry. It might be him.

You wrote:

what happens in your theory when the 2-group in question is the strict version of the String-2group?

I read John’s post (following Jim’s advice) as well as one of yours and I got similar feeling. Roughly speaking, following the ideas in arXiv:0712.2069 , the string 2-group String(G)String(G) gives rise to a fibration [S 11]String(G)pPG[S^1\rightarrow 1] \rightarrow String(G) \stackrel{p}\rightarrow PG where PGPG stands for the path group of GG (viewed as a 2-group) and [S 11][S^1\rightarrow 1] is the 2-group associated to the crossed module S 11S^1\to 1. The cohomology of (the classifying space of) String(G) can then be computed using the Leray Spectral sequence (which is a spectral sequence of algebras). Since the classifying space of [S 11][S^1\rightarrow 1] is a K(,3)K(\mathbb{Z},3) , the E_2-term of the spectral sequence is concentrated in bidegrees (*,0)(*,0) and (*,3)(*,3), with E 2 p,0=H p(BG)=E 2 p,3E_2^{p,0}=H^p(BG)=E_2^{p,3}. In other words, the E 2E_2-term is the (graded symmetric) algebra H *(BG)[x]H^*(BG)[x] where xx is of degree 3. The non-trivial differential is d 3:H p(BG)H p+4(BG)d_3:H^p(BG)\to H^{p+4}(BG). It identifies with the derivation induced by xHH 4(BG)x\mapsto H\in H^4(BG) where HH is the canonical generator of H 4(BG)H^4(BG) corresponding to the canonical 3-form on GG (through the isomorphism H n(BG)H n1(G)H^n(BG)\cong H^{n-1}(G)). Therefore, H(BString(G))H *(BG)/HH(BString(G))\cong H^*(BG)/H.

Now, it is really easy to check that the characteristic classes constructed using the generalized morphisms/anafunctors picture in our paper arXiv:0801.1238 are the same as the classes of the underlying G-bundles, except for the first Pontrjagin class who get killed.

Indeed, given an anafunctor XEfString(G)X \leftarrow E\stackrel{f}\to String(G), the characteristic classes considered in our paper arXiv:0801.1238 are obtained by taking the images of the classes in H *(BString(G))H^*(BString(G)) through the composition H *(BString(G))f *H *(E)H *(X)H^*(BString(G)) \stackrel{f^*}\to H^*(E)\cong H^*(X). According to the above discussion, these classes coincides with the one induced by the composition H *(BG)p *H *(BString(G))f *H *(E)H *(X)H^*(BG)\stackrel{p^*}\to H^*(BString(G)) \stackrel{f^*}\to H^*(E)\cong H^*(X).

Posted by: Greg Ginot on January 9, 2008 5:07 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Greg, that’s really nice.

Notice that in that entry which you looked at the cohomology of the String Lie 2-algebra was not really fully discussed. I later did a pedestrian proof that H (CE(string(g)))H (g)/μ, H^\bullet(CE(string(g))) \simeq H^\bullet(g)/\mu \,, for μ\mu the canonical 3-cocycle on the semisimple Lie algebra gg, and Danny Stevenson came up with a spectral sequence proof, probably essentially the one you just sketched.

Both of which we didn’t find nice enough for presentation, so in proposition 15 only the statement appears.

the characteristic classes constructed using the generalized morphisms/anafunctors picture in our paper arXiv:0801.1238 are the same as the classes of the underlying G-bundles, except for the first Pontrjagin class who get killed.

Very well. Cool.

We find that this is actually just a special case of the whole infinite series of such situations:

for every Lie \infty-algebra gg and every degree (n+1)(n+1)-cocycle μH (CE(g))\mu \in H^\bullet(CE(g)), there is a Lie \infty-algebra g μ g_\mu which sits in a b n1u(1)b^{n-1} u(1)-extension of gg in that we have an exact sequence b n1u(1)g μg b^{n-1}u(1) \to g_\mu \to g and that g μg_\mu nn-bundles have the same characteristic classes as the underlying gg-bundles, except that the class corresponding to the invariant polynomial which μ\mu transgresses to gets killed.

Can you similarly generalize your results to higher Lie nn-groups? Probably using smooth Kan-complexes following Getzler and Henriques?

Posted by: Urs Schreiber on January 10, 2008 11:08 AM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

You wrote :

Can you similarly generalize your results to higher Lie n-groups? Probably using smooth Kan-complexes following Getzler and Henriques?

I guess so, but it might require some work.
I’m not sure if you can avoid dealing with smooth Kan complexes in general. However, for this kind of examples, it might be enough to use smooth n-categorical groups (i.e. the smooth analogue of Loday’s definition in spaces with finitely many nontrivial homotopy groups ). I’ll have to think about it !

Posted by: Greg Ginot on January 11, 2008 9:22 AM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

I would think ordinary dg homological algebra/rational homotopy theory woudl suffice
without using smooth Kan-complexes following Getzler and Henriques?

Posted by: jim stasheff on January 13, 2008 7:59 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

I would think ordinary dg homological algebra/rational homotopy theory woudl suffice without using smooth Kan-complexes following Getzler and Henriques?

I just meant that when doing the “ingrated theory” where an nn-bundle descent datum is a morphism of nn-groupoids, you need to get hold of these nn-groupoids. For low nn it is convenient to use concrete bottom-up realizations. For general nn the tool of choice the the top-down approach of Kan complexes.

(Though I started thinking about whether maybe qDGCAs might want to rather integrate to presheaves on ωCat\omega Cat or the like. But I’ll have to keep thinking before I can provide anything of interest here…)

Posted by: Urs Schreiber on January 14, 2008 6:04 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Greg Ginot wrote:

The cohomology of (the classifying space of) String(G)String(G) can then be computed using the Leray Spectral sequence (which is a spectral sequence of algebras).

Matt Ando pointed out this argument when I asked about the cohomology of B(String(G))B(String(G)) at the 2007 Abel Symposium. That’s how I knew the cohomology of B(String(G))B(String(G)) by the time I gave a talk on higher gauge theory and the string group later that summer — see the last page.

I guess anyone who’s good at spectral sequences can do this calculation. I’m not! But Danny Stevenson is. We’re coming out with a paper on this sort of stuff pretty soon. It will contain a version of this argument, and I just want to make it clear that we didn’t steal this argument from you. Matt Ando gave it to us.

Posted by: John Baez on January 11, 2008 10:10 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Which spectral sequence(s) are we talking about? any of the three or more relating
String(G) and BString(G)??

or for any of those relating String(G) to G??

Posted by: jim stasheff on January 12, 2008 1:16 AM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Jim wrote:

Which spectral sequence(s) are we talking about?

Basically the one that Greg described. My paper with Danny should hit the arXiv in a couple of days, and that’ll fill in some details.

Posted by: John Baez on January 13, 2008 7:06 AM | Permalink | Reply to this

Gysin sufficient, no need for spec seq

The string 2-group String(G) gives rise to a fibration [S 1→1]→String(G)→pPG where PG stands for the path group of G (viewed as a 2-group) and [S 1→1] is the 2-group associated to the crossed module S 1→1. The cohomology of (the classifying space of) String(G) can then be computed using the Leray Spectral sequence (which is a spectral sequence of algebras). Since the classifying space of [S 1→1] is a K(ℤ,3), the E_2-term of the spectral sequence is concentrated in bidegrees (*,0) and (*,3), with E 2 p,0=H p(BG)=E 2 p,3. In other words, the E 2-term is the (graded symmetric) algebra H *(BG)[x] where x is of degree 3. The non-trivial differential is d 3:H p(BG)→H p+4(BG). It identifies with the derivation induced by x↦H∈H 4(BG) where H is the canonical generator of H 4(BG) corresponding to the canonical 3-form on G (through the isomorphism H n(BG)≅H n−1(G)).
Therefore, H(BString(G))≅H *(BG)/H.

IFF I understand this correctly, the FIBRE is K(Z,3) and the base is BG
hence with characteristic 0 coefficients, this looks like a fibration with S^3 as fibre, hence we have a Gysin sequence with no need to appeal to spectral sequences

the usual bigrading is (base,fibre) not (fibre,base)
then the differential would be down and to the right
as expected

Posted by: jim stasheff on January 13, 2008 2:35 PM | Permalink | Reply to this

Re: Gysin sufficient, no need for spec seq

Oh yes Jim, you’re right ! It’s a very nice comment.

John Baez wrote :

I just want to make it clear that we didn’t steal this argument from you.

Sure; no problem !

Posted by: Greg Ginot on January 13, 2008 4:44 PM | Permalink | Reply to this

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

Sneakily, I used the time on the night train to London to further tune the article on Lie \infty-connections. (Instead of sleeping that is. Not clear yet if that was a good idea…)

Now there is an improved single file with our article:

Lie \infty-connections and their application to String- and Chern-Simons nn-transport

It contains more on the Lie nn-algebraic interpretation of BF-theory. It is described how we can realize the BF-theory Lagrangian as the parallel transport induced by a 4-bundle which arises as the obstruction to lifting a strict Lie 2-algebra (hg)(h \to g)-2-bundle through a string-like extension by a 4-cocycle on (hg)(h \to g) which is induced by a 3-cocycle on the ordinary g.

I am not entirely sure yet what this is going to tell us eventually. Something is going on. For instance that obstructing 4-bundle, which lives over 4-dimensional base space, is always trivializable. So it’s all very analogous to Chern-Simons theory, just one dimension higher. There ought to be some cool crisp statement putting that into one big picture, but I am not entirely sure yet.

Also the statement and proof of the fact that characteristic classes characterize gg-connection descent has been polished and improved. Have a look!

Posted by: Urs Schreiber on January 9, 2008 10:12 AM | Permalink | Reply to this
Read the post The Concept of a Space of States, and the Space of States of the Charged n-Particle
Weblog: The n-Category Café
Excerpt: On the notion of topos-theoretic quantum state objects, the proposed definition by Isham and Doering and a proposal for a simplified modification for the class of theories given by charged n-particle sigma-models.
Tracked: January 10, 2008 3:31 PM
Read the post Classifying Spaces for 2-Groups
Weblog: The n-Category Café
Excerpt: Just as principal bundles are classified by maps into a 'classifying space', the same is true for principal 2-bundles.
Tracked: January 24, 2008 3:52 AM

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

We now have an arXiv number:

arXiv:0801.3480.

But I’ll keep the pdf here with corrections and improvements.

Currently it just contains precisely one typo less than the arXiv version. ;-)

Posted by: Urs Schreiber on January 24, 2008 1:07 PM | Permalink | Reply to this
Read the post Integration without Integration
Weblog: The n-Category Café
Excerpt: On how integration and transgression of differential forms is realized in terms of inner homs applied to transport n-functors and their corresponding Lie oo-algebraic connection data.
Tracked: January 24, 2008 9:20 PM

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

As you may have noticed, many of the concepts I used to discuss here do appear in our article in their Lie \infty-algebraic incarnation: nn-transport, its nn-curvature with values in INN(G)INN(G), the charged nn-particle, etc.

One concept which I liked to discuss a lot, however, does not appear at the moment: sections of nn-bundles and their covariant derivatives.

One reason is that it turned out to be not quite straightforward to move the definition of that which I am so fond of (nn-sections and their covariant derivative as morphisms into the nn-curvature, as described here) to the Lie \infty-algebraic world.

There is a good reason for why that’s non-straightforward: this description of sections makes crucial use of non-invertible morphisms in the nn-category of nn-vector spaces. This means it falls out of the realm of \infty-groupoids. So our map from Lie \infty-groupoids to Lie \infty-algebroids fails and hence this concept does not internalize properly in the differential realm.

I was pretty upset about that. quantization of the nn-particle is supposed to be all about taking nn-spaces of sections of the background field nn-bundle. And the Lie \infty-algebraic formulation is supposed to be the powerful tool to handle this nn-bundle. So it’s too bad that this tool doesn’t admit taking sections.

I thought for a while that it just means that before taking sections I simply need to send everything Lie \infty-algebraic back to the integral world by hitting everything in sight with Π (Hom(,Ω ()))\Pi_\infty(Hom(--,\Omega^\bullet(--))) and then proceed there.

While that might be quite an interesting thing to do, it seems comparatively cumbersome for just taking nn-sections, compared to how nicely everything else goes throu on the Lie \infty-algebraic level.

But now I think I understood how to get the best of both worlds.

There is a reformulation of the concept of a morphism into the nn-curvature of a G (n)G_{(n)}-bundle with connection in terms of a V//G (n)V//G_{(n)}-nn-groupoid bundle, where VV is an nn-representation and V//G (n)V//G_{(n)} the corresponding action nn-groupoid. And that reformulation does fit nicely into the Lie \infty-algebraic world.

There it looks like this:

as we describe in the article, for gg an L L_\infty-algebra a corresponding bundle with connection can be represented by a diagram which involves, among other things, a morphism of the kind

Ω (Y)(A,F A)W(g), \Omega^\bullet(Y) \stackrel{(A,F_A)}{\leftarrow} \mathrm{W}(g) \,,

where YXY \to X is some surjective submersion over base space XX and W(g)\mathrm{W}(g) is the Weil algebra of the L L_\infty-algebra gg.

Now, pick a representation VV of gg and form the corresponding action Lie \infty-algebroid which comes with its Chevalley-Eilenberg algebra CE(g,V)CE(g,V) and Weil algebra W(g,V)\mathrm{W}(g,V).

We have a canonical injection W(g,V) W(g). \array{ \mathrm{W}(g,V) \\ \uparrow \\ \mathrm{W}(g) } \,.

A section σ\sigma of the given gg-bundle is then a completion of W(g,V) Ω (Y) (A,F A) W(g) \array{ &&\mathrm{W}(g,V) \\ &&\uparrow \\ \Omega^\bullet(Y)&\stackrel{(A,F_A)}{\leftarrow}&\mathrm{W}(g) }

to

W(g,V) (σ, Aσ,A,F A) Ω (Y) (A,F A) W(g). \array{ &&&\mathrm{W}(g,V) \\ &{}^{(\sigma,\nabla_A \sigma,A,F_A)}\swarrow&&\uparrow \\ &\Omega^\bullet(Y)&\stackrel{(A,F_A)}{\leftarrow}&\mathrm{W}(g) } \,.

The “curvature” part of that is, automatically, Aσ\nabla_A \sigma, the covariant derivative of the section σ\sigma.

Posted by: Urs Schreiber on January 29, 2008 11:35 PM | Permalink | Reply to this
Read the post Differential Forms and Smooth Spaces
Weblog: The n-Category Café
Excerpt: On turning differential graded-commutative algebras into smooth spaces, and interpreting these as classifying spaces.
Tracked: January 30, 2008 10:16 AM
Read the post L-infinity Associated Bundles, Sections and Covariant Derivatives
Weblog: The n-Category Café
Excerpt: Associated L-infinity structures are obtained from Lie action infinity-algebroids, leading to a concept of sections and covariant derivatives in this context.
Tracked: January 30, 2008 9:10 PM
Read the post States of Chern-Simons Theory
Weblog: The n-Category Café
Excerpt: A list of selected literature discussing Chern-Simons theory and its space of states.
Tracked: February 1, 2008 5:47 PM
Read the post Chern-Simons States from L-infinity Bundles, III: States over the Circle
Weblog: The n-Category Café
Excerpt: On computing the states of Chern-Simons theory over the circle from the L-infinity algebraic model of the Chern-Simons 3-bundle over BG.
Tracked: February 4, 2008 6:07 PM

Re: Lie oo-Connections and their Application to String- and Chern-Simons n-Transport

As a reaction to a question the table on p. 7 has now been replaced by the following more detailed table:

Posted by: Urs Schreiber on February 4, 2008 9:35 PM | Permalink | Reply to this
Read the post Smooth 2-Functors and Differential Forms
Weblog: The n-Category Café
Excerpt: An article on the relation between smooth 2-functors with values in strict 2-groups, and an outline of the big picture that this sits in.
Tracked: February 6, 2008 12:08 PM
Read the post Construction of Cocycles for Chern-Simons 3-Bundles
Weblog: The n-Category Café
Excerpt: On how to interpret the geometric construction by Brylinksi and McLaughlin of Cech cocycles classified by Pontrjagin classes as obstructions to lifts of G-bundles to String(G)-2-bundles.
Tracked: February 12, 2008 2:28 PM
Read the post Slides: L-Infinity Connections and Applications
Weblog: The n-Category Café
Excerpt: Talks on L-infinity algebra connections.
Tracked: February 15, 2008 5:02 PM
Read the post (Generalized) Differential Cohomology and Lie Infinity-Connections
Weblog: The n-Category Café
Excerpt: On generalized differential cohomology and its relation to infinity-parallel transport and Lie-infinity connections.
Tracked: February 27, 2008 8:52 PM
Read the post Charges and Twisted n-Bundles, I
Weblog: The n-Category Café
Excerpt: Generalized charges are very well understood using generalized differential cohomology. Here I relate that to the nonabelian differential cohomology of n-bundles with connection.
Tracked: February 29, 2008 4:15 PM
Read the post Charges and Twisted n-Bundles, II
Weblog: The n-Category Café
Excerpt: Rephrasing Freed's action functional for differential cohomology in terms of L-oo connections in a simple toy example.
Tracked: March 4, 2008 4:58 PM
Read the post Slides: On Nonabelian Differential Cohomology
Weblog: The n-Category Café
Excerpt: On the notion of nonabelian differential cohomology.
Tracked: March 13, 2008 3:38 PM
Read the post What has happened so far
Weblog: The n-Category Café
Excerpt: A review of one of the main topics discussed at the Cafe: Sigma-models as the pull-push quantization of nonabelian differential cocycles.
Tracked: March 27, 2008 2:14 PM
Read the post Thoughts (mostly on super infinity-things)
Weblog: The n-Category Café
Excerpt: Thoughts while travelling and talking.
Tracked: April 22, 2008 3:49 AM
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:35 AM
Read the post Differential Graded Clifford Algebra
Weblog: The n-Category Café
Excerpt: On Clifford-defomrations of Chevalley-Eilenberg and Weil algebras.
Tracked: August 17, 2008 12:41 PM
Read the post Equivariant deRham Cohomology and Action Lie Algebroids
Weblog: The n-Category Café
Excerpt: The relation between equivariant deRham cohomology and the Weil algebra of the corresponding action Lie algebroid.
Tracked: September 7, 2008 3:05 PM
Read the post String- and Fivebrane-Structures
Weblog: The n-Category Café
Excerpt: A new article on String- and Fivebrane structures and some previous articles on Fivebrane structures.
Tracked: October 14, 2008 10:09 PM
Read the post Twisted Differential Nonabelian Cohomology
Weblog: The n-Category Café
Excerpt: Work on theory and applications of twisted nonabelian differential cohomology.
Tracked: October 30, 2008 7:49 PM
Read the post Twisted Differential String- and Fivebrane-Structures
Weblog: The n-Category Café
Excerpt: An article on twisted differential nonabelian cohomology and its application to anomaly cancellation in string theory.
Tracked: March 20, 2009 11:21 PM

Post a New Comment