August 28, 2007

Arrow-Theoretic Differential Theory III: Higher Morphisms

Posted by Urs Schreiber In Arrow-Theoretic Differential Theory, Part II I argued that we need to pass to tangent categories in order to understand, not just $n$-curvature, but also higher morphisms of Lie $n$-algebras.

In Vienna John Baez quizzed me about these ideas, thereby leading me to the more refined insight which I mentioned in More on Tangent Categories.

This insight, which involved making explicit a fact and a construction which I had already been using in a way but not truly realized myself, I have now started to seriously incorporate while revising the provisional Structure of Lie $n$-algebras.

Since it all seems to work out quite nicely – unless I am making some dumb mistake – here is an update on that matter:

Higher Morphisms of Lie $n$-Algebras from Arrow-Theoretic Differential Theory

Abstract.

We would like to achieve a good explicit understanding of higher morphisms of Lie $n$-algebras. We notice that various formerly puzzling aspects of this seem to become clearer as one passes from Lie $n$-algebras $g_{(n)}$ to their Lie $(n+1)$-algebras of inner derivations $\mathrm{inn}(g_{(n)})$ in a certain way. Using this, we define higher morphisms of Lie $n$-algebras explicitly and in general. These should constitute an $(\infty,1)$-category. While we fall short of verifying this in full generality, we do obtain the Baez-Crans 2-category of Lie 2-algebras  in the special case where we restrict everything to Lie 2-algebras.

Introduction

The crucial point of the discussion is possibly best exhibited by the following simple example:

Let $G$ be any abelian group. Write $\Sigma G$ for the corresponding one-object groupoid, and $\Sigma^2 G$ for the corresponding one-object one-morhisms 2-groupoid. Write $\mathrm{INN}(G)$ for the codiscrete groupoid over $G$.

We have canonically  a short exact sequence $G \hookrightarrow \mathrm{INN}(G) \to \Sigma G$ of groupoids. For this simple example, it is easy to see that the transformations obtained by first “opening up” and then restricting as above are in bijection with the ordinary transformations of the original functors.

As we pass to higher $n$-groups, though, the situation becomes more flexible.

We find that at the level of Lie $n$-algebras, it is only the “opened up” transformations which have a good direct description in the first place. We here define ordinary higher morphisms of Lie $n$-algebras by the analogue of “opened up” and then restricted transformations.

Posted at August 28, 2007 8:35 PM UTC

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

1 Comment & 2 Trackbacks

Read the post Lie n-Algebra Cohomology
Weblog: The n-Category Café
Excerpt: On characteristic classes of n-bundles.
Tracked: September 7, 2007 6:02 PM
Read the post Obstructions, Tangent Categories and Lie N-tegration
Weblog: The n-Category Café
Excerpt: Thoughts on n-bundle theory in terms of Lie n-algebras.
Tracked: September 24, 2007 10:20 PM

Re: Arrow-Theoretic Differential Theory III: Higher Morphisms

The stuff about higher morphisms of $L_\infty$-algebras which is discussed in the above entry has now made it into an article with Jim Stasheff and Hisham Sati:

Section 5.2 gives the general idea and definitions.

Section 6 shows what is really going on, and what that funny way to compute homotopies, which I had proposed in the above entry, is related to universal bundles and vertical flows on these.

We spell out how to compute transgression elements (Chern-Simons forms) using this construction.

In the appendix, a proof is given showing that our general notion of 2-morphisms of $L_\infty$-algebras reproduces the definition given by John Baez and Alissa Crans in HDA VI and used in From loop groups to 2-groups, when we restrict it to Lie 2-algebras, i.e. to 2-term $L_\infty$-algebras.

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

Post a New Comment