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.

July 27, 2007

Arrow-Theoretic Differential Theory

Posted by Urs Schreiber

Using the concept of tangent categories (derived from that of supercategories) I had indicated how to refine my previous discussion of nn-curvature. Here are more details.


Arrow-theoretic differential theory

Abstract: We propose and study a notion of a tangent (n+1)(n+1)-bundle to an arbitrary nn-category. Despite its simplicity, this notion turns out to be useful, as we shall indicate.


1 Introduction … 1
2 Main results … 2
2.1 Tangent (n+1)(n+1)-bundle … 3
2.2 Vector fields and Lie derivatives … 4
2.3 Inner automorphism n-groups … 4
2.4 Curvature and Bianchi Identity for functors … 5
2.4.1 General functors … 5
2.4.2 Parallel transport functors and differential forms … 6
2.5 Sections and covariant derivatives … 6
3 Differential arrow theory … 8
3.1 Tangent categories … 8
3.2 Differentials of functors … 11
4 Parallel transport functors and their curvature … 12
4.1 Principal parallel transport … 12
4.1.1 Trivial G-bundles with connection … 12

Introduction

Various applications of (nn-)categories in quantum field theory indicate that (nn-)categories play an important role over and above their more traditional role as mere organizing principles of the mathematical structures used to describe the world: they appear instead themselves as the very models of this world.

For instance there are various indications that thinking of configuration spaces and of physical processes taking place in these as categories, with the configurations forming the objects and the processes the morphisms, is a step of considerably deeper relevance than the tautological construction it arises from seems to indicate.

While evidence for this is visible for the attentive eye in various modern mathematical approaches to aspects of quantum field theory – for instance [FreedQuinn], [Freed] but also [Willerton] – the development of this observation is clearly impeded by the lack of understanding of its formal underpinnings.

If we ought to think of configuration spaces as categories, what does that imply for our formulation of physics involving these configuration spaces? In particular: how do the morphisms, which we introduce when refining traditional spaces from 0-categories to 1-categories, relate to existing concepts that must surely secretly encode the information contained in these morphisms. Like tangent spaces for instance.

Possibly one of the first places where this question was at all realized as such is [Isham]. That this is a piece of work which certainly most physicists currently won’t recognize as physics, while mathematicians might not recognize it as interesting mathematics, we take as further indication for the need of a refined formal analysis of the problem at hand.

Several of the things we shall have to say here may be regarded as an attempt to strictly think the approach indicated in Isham’s work to its end. Our particular goal here is to indicate how we may indeed naturally, generally and usefully relate morphisms in a category to the wider concept of tangency.

For instance his “arrow fields” on categories we identify as categorical tangents to identity functors on categories and find their relation to ordinary vector fields as well as to Lie derivatives, thereby, by the nature of arrow-theory, generalizing the latter concepts to essentially arbitrary categorical contexts.

While there is, for reasons mentioned, no real body of literature yet, which we could point the reader to, on the concrete question we are aiming at, the reader can find information on the way of thinking involved here most notably in the work of John Baez, the spiritus rector of the idea of extracting the appearance of nn-categories as the right model for the notion of state and process in physics. In particular the text [BaezLauda] as well as the lecture notes [Baez] should serve as good background reading.

The work that our particular developments here have grown out is described in [S1, S2]. Our discussion of the Bianchi identity for nn-functors should be compared with the similar but different constructions in the world of nn-fold categories given in [Kock].

Main results

Our working model for all concrete computations in the following is 2Cat2\mathrm{Cat}, the Gray category whose objects are strict 2-categories, whose morphisms are strict 2-functors, whose 2-morphisms are pseudonatural transformations and whose 3-morphisms are modifications of these. It is clear that all our statements ought to have analogs for weaker, more general and higher nn versions of nn-categories. But with a good general theory of higher nn-categories still being somewhat elusive, we won’t bother to try to go beyond our model 2Cat2\mathrm{Cat}.

So we shall now set n=2n = 2 once and for all and take the liberty of using nn instead of 2 in our statements, to make them look more suggestive of the general picture which ought to exist.


Tangent (n+1)(n+1)-bundle

We define for any nn-category CC an nn-category TCTC which is an (n+1)(n+1)-bundle p:TCObj(C)p : TC \to \mathrm{Obj}(C) over the space of objects of CC. This we address as the tangent bundle of CC.

The definition of this tangent bundle is morally similar to but in detail somewhat different form the way tangent bundles are defined in synthetic differential geometry and in supergeometry:

we consider the category pt:={} \mathbf{pt} := \{ \bullet \stackrel{\sim}{\to} \circ \} as an arrow-theoretic model for the “infinitesimal interval” or the “superpoint” in that it is a puffed-up version of the mere point pt:={} \mathrm{pt} := \{ \bullet \} to which it is equivalent, by way of the injection ptpt, \mathrm{pt} \hookrightarrow \mathbf{pt} \,, but not isomorphic. This suble difference, rooted deeply in the very notion of category theory, we claim usefully models the notion of tangency as “extension which hardly differs from no extension”. Concretely, we consider TCHom nCat(pt,C) TC \subset \mathrm{Hom}_{n\mathrm{Cat}}(\mathbf{pt}, C) to be that subcategory of morphisms from the fat point into CC which collapses to a 0-category after pulled back to the point pt\mathrm{pt}.

The characteristic property of the tangent (n+1)(n+1)-bundle is that it sits inside the short exact sequence Mor(C)TCC. \mathrm{Mor}(C) \to T C \to C \,.

Finally, for later use notice that dual to its realization as a projection TCObj(C) T C \to \mathrm{Obj}(C) the tangent bundle may be thought of as an nn-functor TC:C opnCat T C : C^{\mathrm{op}} \to n\mathrm{Cat} which sends objects aa to the tangent categories T aCT_a C over them and sends morphisms the the pullback of these along them TC:(afb)(T aCT fCT bC). T C \; : \; ( a \stackrel{f}{\leftarrow} b ) \; \mapsto \; ( T_a C \stackrel{T_f C}{\to} T_b C ) \,.


Vector fields and Lie derivatives

Let XX be a smooth manifold and let P 1(X)P_1(X) be the groupoid of thin homotopy classes of paths in XX.

Then ordinary vector fields vΓ(TX)v \in \Gamma(TX) on XX are in canonical bijection with smooth 1-parameter families of categorical tangent vectors to the identity map on P 1(X)P_1(X): Γ(TX){ΣΣT Id 𝒫 1(X)(Cat)}. \Gamma(TX) \; \stackrel{\sim}{\to} \; \{ \Sigma \mathbb{R} \to \Sigma T_{\mathrm{Id}_{\mathcal{P}_1(X)}}(\mathrm{Cat}) \} \,.

On a general category CC, it may be useful to consider generalizations of this where \mathbb{R} is replaced by some other group GG. We speak of GG-flow on a category, in this general case.

The “arrow fields” on a category CC, considered by Isham in [Isham], are \mathbb{Z}-flows {ΣΣT Id C(Cat)} \{ \Sigma \mathbb{Z} \to \Sigma T_{\mathrm{Id}_{C}}(\mathrm{Cat}) \} on CC.

On the other hand, the identitfication of TCT C itself (as opposed to T Id CCatT_{\mathrm{Id}_C}{\mathrm{Cat}}) with ordinary vectors for suitable choice of CC is both more subtle and more interesting than the above. This will be discussed elsewhere, once fully worked out.


Inner automorphism nn-groups

Of particular importance are the tangent bundles, in our sense, to nn-categories which are 1-object (n1)(n-1)-groupoids ΣG (n)\Sigma G_{(n)}, hence nn-groups G (n)G_{(n)}. In our context these (n1)(n-1)-groupoids must be thought of as 1-point orbifolds. Accordingly, they have just a single “tangent space” (tangent nn-category) T ΣG (n). T_\bullet \Sigma G_{(n)} \,.

This turns out to have interesting properties [Roberts-S]:

\bullet

For GG an ordinary group, one finds that T ΣGT Id ΣG(Cat) T_\bullet \Sigma G \simeq T_{\mathrm{Id}_{\Sigma G}}(\mathrm{Cat}) is a 2-group, which we call INN(G)\mathrm{INN}(G). It sits inside the exact sequence Z(G)INN(G)AUT)(G)OUT(G) Z(G) \to \mathrm{INN}(G) \to \mathrm{AUT})(G) \to \mathrm{OUT}(G) of 1-groupoids. Here Z(G)Z(G) is the categorical center of ΣG\Sigma G (which coincides with the ordinary center of GG), regarded as a 1-object groupoid. This identifies INN(G)\mathrm{INN}(G) as the 2-group of inner automorphisms of GG. But INN(G)\mathrm{INN}(G) also sits inside the exact sequence Disc(G)INN(G)ΣG. \mathrm{Disc}(G) \to \mathrm{INN}(G) \to \Sigma G \,. Moreover, it is equivalent to the trivial 2-group, hence “contractible”. This identifies INN(G)\mathrm{INN}(G) as the categorical version of the universal GG-bundle.

\bullet

For G (2)G_{(2)} a strict 2-group, one finds that T ΣG (2)T Id ΣG (2)(2Cat) T_\bullet \Sigma G_{(2)} \subset T_{\mathrm{Id}_{\Sigma G_{(2)}}}(2\mathrm{Cat}) is a 3-group, which we call INN(G (2))\mathrm{INN}(G_{(2)}). It sits inside the exact sequence Z(G (2))INN(G (2))AUT)(G (2))OUT(G (2)) Z(G_{(2)}) \to \mathrm{INN}(G_{(2)}) \to \mathrm{AUT})(G_{(2)}) \to \mathrm{OUT}(G_{(2)}) of 2-groupoids. Here Z(G (2))Z(G_{(2)}) is the 2-categorical center of ΣG\Sigma G, regarded as a 1-object 2-groupoid. This identifies INN(G (2))\mathrm{INN}(G_{(2)}) as the 3-group of inner automorphisms of GG. But INN(G (2))\mathrm{INN}(G_{(2)}) also sits inside the exact sequence Disc(G (2))INN(G (2))ΣG (2). \mathrm{Disc}(G_{(2)}) \to \mathrm{INN}(G_{(2)}) \to \Sigma G_{(2)} \,. Moreover, it is equivalent to the trivial 3-group, hence “contractible”. This identifies INN(G (2))\mathrm{INN}(G_{(2)}) as the categorical version of the universal G (2)G_{(2)}-2-bundle.


Curvature and Bianchi Identity for functors


General functors

Using the functorial incarnation TC:C opnCatTC : C^{\mathrm{op}} \to n\mathrm{Cat} of the tangent bundle, we may push forward any nn-functor F:CD F : C \to D to a connection on the tangent bundle of CC, simply by postcomposing dF:CFDTDnCat. d F : C \stackrel{F}{\to} D \stackrel{T D}{\to} n\mathrm{Cat} \,. The crucial point of this construction is that it extends uniquely (up to equivalence) to an (n+1)(n+1)-functor dF:C (n+1)nCat d F : C_{(n+1)} \to n\mathrm{Cat} on the (n+1)(n+1)-category C (n+1):=Codisc(C) C_{(n+1)} := \mathrm{Codisc}(C) which is obtained from CC by replacing all Hom-(n1n-1)-categories by the corresponding codiscrete nn-groupoids over them.

By introducing the terminology

\bullet dFd F is the curvature of FF
\bullet FF is flat if dFd F is degenerate (sends all (n+1)(n+1)-morphisms to identities)

we obtain the technically easy but conceptually important generalization of the Bianchi identity: for any functor FF

\bullet dFd F is flat

or equivalently

\bullet ddFd d F is degenerate.


Parallel transport functors and differential forms

When F:CDF : C \to D is the smooth parallel transport functor \cite{transport} in an nn-bundle with connection [Bartels,Baez-S,S3], the arrow-theoretic notion of curvature described above does reproduce the theory of curvature forms of connection forms. The general Bianchi identity we have discussed then reduces to the ordinary Bianchi identity familiar from differential geometry.

More precisely, let C:=𝒫 3(X)C := \mathcal{P}_3(X) be the strict 3-groupoid of thin homotopy classes of kk-paths in a smooth manifold XX. And let G (2)G_{(2)} be a strict Lie 2-group coming from the Lie crossed module HtGαAut(H) H \stackrel{t}{\to} G \stackrel{\alpha}{\to} \mathrm{Aut}(H) .

Then, according to [S-Waldorf,Baez-S,S3,Roberts-S] we have the following bijections of smooth nn-functors with differential forms

\bullet {smooth1functors𝒫 1(X)ΣG}{AΩ 1(X,Lie(G))}\left\lbrace \mathrm{smooth}\;1-\mathrm{functors} \mathcal{P}_1(X) \to \Sigma G \right\rbrace \stackrel{\sim}{\to} \left\lbrace A \in \Omega^1(X,\mathrm{Lie}(G)) \right\rbrace

\bullet

{smooth2functors𝒫 2(X)ΣG (2)}{(A,B)F A+t *B=0}\left\lbrace \mathrm{smooth}\;2-\mathrm{functors} \mathcal{P}_2(X) \to \Sigma G_{(2)} \right\rbrace \stackrel{\sim}{\to} \left\lbrace (A,B) \;\; F_A + t_*\circ B = 0 \right\rbrace

\bullet

{smooth3functors𝒫 3(X)ΣINN(G (2))}{(A,B,C)C=d AB}\left\lbrace \mathrm{smooth}\;3-\mathrm{functors} \mathcal{P}_3(X) \to \Sigma \mathrm{INN}(G_{(2))} \right\rbrace \stackrel{\sim}{\to} \left\lbrace (A,B,C) \;\; C = d_A B \right\rbrace

Now let tra:P 1(X)ΣG \mathrm{tra} : P_1(X) \to \Sigma G be a smooth 1-functor with values in the Lie group GG. Then, under these bijections, we find that its curvatures correspond to the following differential forms at top level tra A curv=dtra F A:=dA+AA dcurv=ddtra d AF A=0. \begin{aligned} \mathrm{tra} &\mapsto A \\ \mathrm{curv} = d \mathrm{tra} &\mapsto F_A := d A + A \wedge A \\ d \mathrm{curv} = d d \mathrm{tra} &\mapsto d_A F_A = 0 \end{aligned} \,.

This way the ordinary Bianchi identity for the curvature 2-form F AF_A of AA is reproduced. Notice that for this result come out the way it does, just by turning our abstract crank for differential arrow-theory, the result of \ref{Inner automorphism nn-groups} is crucial, which says that the curvature (n+1)(n+1)-functor of a G (n)G_{(n)}-transport is itself an INN(G (n))\mathrm{INN}(G_{(n)})-transport.


Sections and covariant derivatives

The curvature curv=dtra\mathrm{curv} = d \mathrm{tra} of a parallel transport nn-functor is typically trivializable, in that it admits morphisms e:Icurv e : I \stackrel{\sim}{\to} \mathrm{curv} for II some “trivial” (n+1)(n+1)-transport. As with the inner automorphism (n+1)(n+1)-groups INN(G (n))\mathrm{INN}(G_{(n)}), this trivializability, far from making these objects uninteresting, turns out to control the entire theory.

(Compare this to the contractibility of the universal GG-bundle: while equivalent to a point, it is far from being an uninteresting object, due to the morphisms which go into and out of it. According to the above this comparison is far more than an mere analogy.)

A basic fact of nn-category theory has major implications here:

recall that for FF and GG nn-functors, a transformation GF G \to F is given in components itself by an (n1)(n-1)-functor. Now if GG is trivial in some sense to be made precise, and if the transformation is an equivalence If F, I \stackrel{f_\sim}{\to} F \,, then this implies that the nn-functor FF is entirely encoded in the (n1)(n-1)-functor ff.

We show that for F=curv=dtraF = \mathrm{curv} = d\mathrm{tra} the curvature (n+1)(n+1)-functor of a transport nn-functor tra\mathrm{tra}, the latter essentially encodes the component map of the transformation Itra curv. I \stackrel{\mathrm{tra}_\sim}{\to} \mathrm{curv} \,. In components this is nothing but a generalization of Stokes’ law Xdω= Xω. \int_X d \omega = \int_{\partial X} \omega \,.

Moreover, it turns out that there may be other trivializations of curv\mathrm{curv}, not by isomorphisms but by mere equivalences. On objects, the component functions of these correspond to sections of the original bundle. On morphisms it corresponds, under the identification of smooth functors and differential forms mentioned above to the covariant derivative of these sections.

In [S1] it is indicated how all these statements have a quantum analogue as we push our nn-functors forward. There it is indicated how the fact that transport nfunctorsn-functors have sectins which are themselves transport (n1)(n-1)-functors translates in the context of extended functorial quantum field theory to essentially what is known in physics as the holographic principle. This needs to be discussed elsewhere, clearly.

Posted at July 27, 2007 4:10 PM UTC

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

14 Comments & 10 Trackbacks

Re: Arrow-Theoretic Differential Theory

Hi,
So just as a background I have a beginning graduate level knowledge of diff geo, am half-way through Saunders Mac Lane, and read Baez and Dolan’s Categorification only once. So I’m not exactly the target audience of this…yet.

That being said, there’s a couple of things early on that made my brain grind to a halt.

First, in what way are pt and pt equivalent? It looks like you are just including pt in as the first point of pt and then the equivalence is just given by lifting up or projecting down the first point. The context makes it sound more subtle and complicated than that though, so what am I missing?

Also, I feel like I’ve read the first section a few times and that I’m still not seeing the connection between tangent vectors/bundles from diff geo with what you’re doing here. I’m used to a vector field being a map from the smooth functions on a manifold to itself. I don’t really see how what we’re defining is equivalent to that for 0-categories (is it supposed to?). Is the answer related to the requirement of Mor(C) -> TC -> C being a short exact sequence? What exactly is Mor(C)?

Sorry for the questions, but I appreciate any help.

Posted by: Creighton Hogg on July 27, 2007 6:51 PM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

Oops. I think some of my questions may be answered by looking through older posts. My apologies.

Posted by: Creighton Hogg on July 27, 2007 7:31 PM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

Hi,

thanks for your questions!

Why are pt\mathrm{pt} and pt\mathbf{pt} equivalent? It looks like you are just including pt\mathrm{pt} in as the first point of pt\mathbf{pt} and then the equivalence is just given by lifting up or projecting down the first point. The context makes it sound more subtle and complicated than that though, so what am I missing?

It’s not supposed to be subtle or complicated. In fact, it’s supposed to be a very elementary fact. I am just stressing it because my goal is to use that elementary fact for something which seems to be kind of interesting.

Just for those reading this and wondering:

the two categories which I called pt\mathrm{pt} and pt\mathbf{pt} are equivalent as categories in that there is the injection functor ptpt \mathrm{pt} \hookrightarrow \mathbf{pt} and the unique projection functor ptpt \mathbf{pt} \to \mathrm{pt} such that ptptpt \mathrm{pt} \hookrightarrow \mathbf{pt} \to \mathrm{pt} is strictly the identity functor on pt\mathrm{pt} (the only endomorphism of pt\mathrm{pt} there is, of course). Moreover, the composition ptptpt \mathbf{pt} \to \mathrm{pt} \hookrightarrow \mathbf{pt} is, while not equal to the identity on pt\mathbf{pt}, isomorphic to the identity functor on pt\mathbf{pt}, as one easily checks.

So that’s all I mean: these two categories are equivalent. Which is to say: the inclusion ptpt\mathrm{pt} \hookrightarrow \mathbf{pt} is essentially surjective, full and faithful. Trivially.

I’m still not seeing the connection between tangent vectors/bundles from diff geo with what you’re doing here. I’m used to a vector field being a map from the smooth functions on a manifold to itself. I don’t really see how what we’re defining is equivalent to that for 0-categories (is it supposed to?).

I give a characterization of ordinary vector fields in terms of tangents to the identity functor on the path groupoid of a manifold.

But here is another way to say this, which is maybe more easily compared to the usual definition:

Take XX to be a smooth manifold and P 1(X)P_1(X) the groupoid whose objects are the points of XX and whose morphisms are thin-homotopy classes of paths in XX.

Then form the tangent 2-bundle TP 1(X)T P_1(X) and look at its sections Obj(X)=XTP 1(X)\mathrm{Obj}(X) = X \to T P_1(X). The crucuial point is that the space of these sections of the categorical tangent bundle, Γ(TP 1(X)) \Gamma(T P_1(X)) has a monoidal structure (since it is rather a “path bundle”. The monoidal structure comes from composing these paths.)

The claim is that ordinary vector fields are smooth 1-parameter families of such categorical sections, respecting this monoidal structure. In formulas: Γ(TX)Hom(,Γ(TP 1(X))), \Gamma (T X) \simeq \mathrm{Hom}(\mathbb{R}, \Gamma(T P_1(X))) \,, where the Hom()\mathrm{Hom}(\cdots) here denotes group homomorphisms under the monoidal structure on both sides. So I’d also write this Hom Cat(Σ(),Σ(Γ(TP 1(X)))). \mathrm{Hom}_{\mathrm{Cat}}(\Sigma(\mathbb{R}), \Sigma(\Gamma(T P_1(X)))) \,. This works by sending each vector field vv to the flow lines texp(v)(t)t \mapsto \exp(v)(t) starting at each point of XX.

Somewhere in my notes I remark that I would like to give a more detailed discussion of this particular issue later on. So I am hoping to get back to this point. The thing is, I would like to see not just the tangent bundle showing up, but also the fact that its “dual” in the present context is the algebra of differential forms on XX. I am beginning to see how it works, but I still need to think more about it.

Posted by: Urs Schreiber on July 30, 2007 11:54 AM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

The claim is that ordinary vector fields are smooth 1-parameter families of such categorical sections, respecting this monoidal structure. In formulas:

(1)Γ(TX)Hom(,TP 1(X)). \Gamma(TX) \cong Hom(\mathbb{R},TP_1(X)).

I am growing to understand and appreciate this tangent category concept. Let’s see… a section γΓ(TP 1(X))\gamma \in \Gamma(TP_1(X)) of the categorical tangent bundle is precisely a smooth choice of a path emanating from each point xXx \in X, for each xx. By the way, isn’t that the same thing as saying that the space of sections of the categorical tangent bundle is the space of Isham’s arrow fields,

(2)Γ(TP 1(X))=Arr(P 1(X))? \Gamma(T P_1(X)) = Arr (P_1(X)) ?

Anyhow, what you are telling us is that a vector field on a manifold XX can be thought of as a homomorphism from \mathbb{R} into Γ(TP 1(X))\Gamma (T P_1 (X)).

It seems you left out the “space of sections” symbol ΓUnknown characterabove...asIunderstandit,youmeanttowriteUnknown character/pUnknown characterUnknown characterdivclass=Unknown characternumberedEqUnknown characterUnknown characterUnknown characterspanUnknown character(3)Unknown character/spanUnknown character\Gamma" above... as I understand it, you meant to write </p> <div class="numberedEq"><span>(3)</span>Γ(TX)Hom(,Γ(TP 1(X))). \Gamma(TX) \cong Hom(\mathbb{R},\Gamma(TP_1(X))). Unknown character/divUnknown characterUnknown characterpUnknown characterInaslogan,Unknown character/pUnknown characterUnknown characterpUnknown characterUnknown characteriUnknown characterAvectorfieldonamanifold</div> <p>In a slogan, </p> <p><i> A vector field on a manifold Xisthesamethingasafieldof`germinatingpathson is the same thing as a field of `germinating paths' on X.Unknown character/iUnknown characterUnknown character/pUnknown characterUnknown characterpUnknown characterLol!Idontknowhowtowriteitproperlyinaslogan.IamtringtodeliverthepointthatitshouldbeaUnknown characteriUnknown characterhomomorphismUnknown character/iUnknown characterfrom. </i></p> <p>Lol! I don't know how to write it properly in a slogan. I am tring to deliver the point that it should be a <i> homomorphism </i> from \mathbb{R}into into \Gamma (T P_1 (X))).A`germinatingpathislikealittleflowerthatgrowsatapoint. A `germinating path' is like a little flower that grows at a point x \in X.Attime. At time t=0$, it’s just a point, but as time increases, the length of the path grows.

Posted by: Bruce Bartlett on July 30, 2007 3:48 PM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

isn’t that the same thing as saying that the space of sections of the categorical tangent bundle is the space of Isham’s arrow fields,

Indeed! I really tried to emphasize precisely this in my notes. Maybe I should have emphasized it even more! :-)

It seems you left out the “space of sections”

Oh, right. Thanks for catching that! I have corrected it now.

Posted by: Urs Schreiber on July 30, 2007 3:56 PM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

By the way: the exchange with David Ben-Zvi over in the thread on Tangent Categories made me realize that there is a maybe much better way to say what I have been saying about how sections of the tangent category of the path groupoid reproduce ordinary vector fields:

as we said, the point is that sections of the tangent category have (if everything is in the world of groupoids) a group structure on them, which can be seen to be that inherited from the embedding Γ(TC)T Id C(End(C)). \Gamma (T C) \subset T_{\mathrm{Id}_C}(\mathrm{End}(C)) \,.

So instead of saying that tangent fields are 1-parameter subgroups of this group, we can just say that sections of the ordinary tangent bundles are the Lie algebra elements of the sections of the tangent category Γ(TX)=Lie(Γ(TP 1(X))). \Gamma (T X) = \mathrm{Lie} (\Gamma (T P_1(X))) \,.

Posted by: Urs Schreiber on August 1, 2007 9:35 AM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

I wrote

Γ(TX)=Lie(Γ(TP 1(X))) \Gamma(T X) = \mathrm{Lie}( \Gamma( T P_1(X) ) )

Formulating it this way, looks like it gets us one more step closer to see the supergeometry in the categorical formulation:

for 0|1\mathbb{R}^{0|1} the superpoint, we have that ΠTX:=Hom( 0|1,X) \Pi T X := \mathrm{Hom}(\mathbb{R}^{0|1}, X) is the odd tangent bundle, in that the “algebra of functions” on ΠTX\Pi T X is C (ΠTX)=Ω (X) C^\infty(\Pi T X) = \Omega^\bullet(X) the graded commutative algebra of differential forms on XX.

Now, of course, as we consider the (n+1)(n+1)-group structure on sections Γ(TC)\Gamma (T C) of the tangent category, and then pass to its Lie (n+1)(n+1)-algebra Lie(Γ(TC))\mathrm{Lie}(\Gamma (T C)), we run into the familiar situation that these Lie (n+1)(n+1)-algebras are themselves canonically isomorphic to codifferential garded co-commutative coalgebras, which have a dual description in terms of graded commutative differential algebras.

It’s precisely this step to the dual of the Lie (n+1)(n+1)-algebra which indeed produces the algebra of differential forms here, if the underlying Lie (n+1)(n+1)-algebra involves the Lie algebra of vector fields.

So it seems that in order to find in which sense TCnFunc(pt,C) T C \subset n\mathrm{Func}(\mathbf{pt}, C) produces the categorical analogue of the odd tangent bundle, one needs to find the categorical analogue of the passage from codifferential coalgebra encoding Lie nn-algebras to their dual differetial algebras.

Hm…

Posted by: Urs Schreiber on August 1, 2007 11:05 AM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

So instead of saying that tangent fields are 1-parameter subgroups of this group, we can just say that sections of the ordinary tangent bundles are the Lie algebra elements of the sections of the tangent category Γ(TX)=Lie(Γ(TP 1(X)))\Gamma(TX)=Lie(\Gamma(TP_1(X))).

Nice. Can you explain the relationship between the group Diff(X)Diff(X) and Γ(TP 1(X))\Gamma(TP_1(X))? The lie algebras of both groups are the vector fields on XX. When I try to understand geometrically the difference between them by drawing pictures in my head, I get a little confused.

Posted by: Bruce Bartlett on August 1, 2007 1:39 PM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

Can you explain the relationship between the group Diff(X)\mathrm{Diff}(X) and Γ(TP 1(X))\Gamma(T P_1(X))?

Yes, I can try. I shoud admit, though, that I can see the details of the claim about the Lie algebra of the space of sections of the tangent category TCT C in detail for C=ΣG nC = \Sigma G_n a suspended Lie nn-group. For C=P 1(X)C = P_1(X) there might be subtleties lurking here which I am glossing over. I am not quite sure yet.

But here is the main idea:

the crucial thing to realize is the embedding Γ(TC)T Id C(End(C)). \Gamma (T C) \subset T_{\mathrm{Id}_C}(\mathrm{End}(C)) \,. For 1-categories CC this is fairly easy. For 2-categories CC this is proposition 3 in the paper by David Roberts in myself.

Do you see how it works for 1-categories? It’s really kind of trivial, but important:

each “arrow field” on CC you regard as the component map of a natural transformation Id CF, \mathrm{Id}_C \to F \,, where F:CCF : C \to C is some automorphism of CC.

So: this way each section of the tangent category of the path groupoid P 1(X)P_1(X) is two things:

1) an automorphism of P 1(X)P_1(X) which is required to be connected to the identity. On objects this is a diffeomorphism of XX, if we require everything to be smooth.

2) A specified choice of isomorphism connecting FF to the identity – that’s the precise choice of path field in which each path connects a point with its image under the given diffeomorphism of XX.

So Γ(TP 1(X))\Gamma (T P_1(X)) is actually a little larger than Diff 0(X)\mathrm{Diff}_0(X) (diffeomorphisms of XX connectable to the identity) in a subtle way. This point I am not quite sure about yet, as I mentioned before.

Posted by: Urs Schreiber on August 1, 2007 1:55 PM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

The following comes from an email to Urs he asked me to make public, in the hope of triggering some associations in other people’s minds

Some comments:

Section 2.1 - the bundle TCObjTC \to Obj is a fibred category, and if we are saying it can be written as a presheaf C opnCatC^{op} \to nCat. This connects nicely with stacks.

2.2 I presume the notion “ΣT Id P(Cat)\Sigma T_{Id_P}(Cat)” will be explained. Is it really meant to be CatCat in brackets there? If we are looking at the tangent category at Id PId_P, then I suppose FunctFunct (=all functors) would be more appropriate. Also, writing 2Funct2Funct for the (2-)category of all 2-functors is a little less bracketing than Mor(2Cat)Mor(2Cat).

2.4.1 The notion of extending an n-category to an (n+1)-category by adding an extra, codiscrete, layer is precisely analogous to taking the thin n-path groupoid (dividing only by thin homotopy at top dimension) and throwing in homotopy classes of (n+1)-paths between parallel n-paths. This is implicit in the interpretation as the Bianchi identity, so I think you know this. Having an example of this operation CC n+1C \mapsto C_{n+1} (as above, say) gives a nice intuition why one wants to, or indeed, can legitimately do this at all.

I suppose by saying not all flat functors F are of the form dAdA we can invent a cohomology ;) More realistically, we would expect a flat functor to be of the form dAdA *locally* - for some notion of `locally’.

Perhaps one could use the `covering’ TCCTC \to C, and some coherence conditions on TTCTCTTC \Rightarrow TC to get local transport functors whose differentials paste together to a flat functor.

2.5 F,G:DCF,G:D \to C n-functors, a natural transformation a:FGa:F\Rightarrow G is an (n-1)-functor a:DMor(C)a:D \to Mor(C). I don’t know if this has any relation to the use of Mor(C)Mor(C) before, but given such an a:DMor(C)a:D\to Mor(C), we can compose with Mor(C)TCMor(C)\to TC, to hopefully get something interesting.

Posted by: David Roberts on August 1, 2007 6:22 AM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

Hi David,

thanks a lot for these very good comments!

Section 2.1 - the bundle TCObj(C)T C \to \mathrm{Obj}(C) is a fibred category, and if we are saying it can be written as a presheaf C opnCatC^{\mathrm{op}} \to n\mathrm{Cat}. This connects nicely with stacks.

Okay, I was wondering about that. I have only a vague recollection of the details of the Grothendieck construction and the like. So while I was aware that I was switching here from a fibered category to a presheaf, I wasn’t sure if this presheaf is indeed precisely the one belonging to that fibered category under the Grothendieck construction. You see what I mean? Maybe it’s some other presheaf, which happens to be somehow related? Probably not, but I am not sure how to see this. Do you?

2.2 I presume the notion “ΣT Id P(Cat)\Sigma T_{\mathrm{Id}_P}(\mathrm{Cat})” will be explained. Is it really meant to be Cat\mathrm{Cat} in brackets there?

Oh, no, a typo. It should be Mor(Cat)\mathrm{Mor}(\mathrm{Cat}), or rather Funct\mathrm{Funct}, as you rightly point out. Actually, it only hits End(P 1(X))Funct \mathrm{End}(P_1(X)) \subset \mathrm{Funct} of course, so maybe I should write that, to better direct the reader’s attention.

If we are looking at the tangent category at Id P\mathrm{Id}_P, then I suppose Funct\mathrm{Funct} (=all functors) would be more appropriate. Also, writing 2Funct2\mathrm{Funct} for the (2-)category of all 2-functors is a little less bracketing than Mor(2Cat)\mathrm{Mor}(2\mathrm{Cat}).

Yes, true. Thanks.

And, by the way, there is a more general statement lurking here, which generalizes the corresponding statement from our paper:

the category of sections of the tangent (n+1)(n+1)-bundle sits inside the tangent space to the identity nn-functor, and this way the nn-category of sections inherits an nn-group structure.

1-parameter smooth sub-1-groups of this nn-group are ordinary vector fields. But we can have more exotic sub-nn-groups. I am expecting that something like 2-parameter sub 2-groups actually correspond to exterior products of two vectors, hence to dual 2-forms. But I am not quite sure yet about some details.

2.4.1 The notion of extending an nn-category to an (n+1)(n+1)-category by adding an extra, codiscrete, layer is precisely analogous to taking the thin nn-path groupoid (dividing only by thin homotopy at top dimension) and throwing in homotopy classes of (n+1)(n+1)-paths between parallel nn-paths.

Yes.

This is implicit in the interpretation as the Bianchi identity, so I think you know this. Having an example of this operation CC (n+1)C \mapsto C_{(n+1)} (as above, say) gives a nice intuition why one wants to, or indeed, can legitimately do this at all.

Yes, that’s certainly the example I am having in mind. But I was pleased to find that it in fact makes good sense to speak of curvature and Bianchi identity of a completely arbitrary functor, too.

I suppose by saying not all flat functors FF are of the form dAd A we can invent a cohomology ;)

Indeed, this is a question very much on my mind. In a way, this is precisely what brought me to consider INN(G (2))\mathrm{INN}(G_{(2)}) back when in the first place:

you will recall that we used to be slightly puzzled that transport 2-functors with values in a strict 2-group exactly reproduce Breen-Messing’s differential cocycle data for gerbes with connection – except that the 2-functors impose that funny “fake flatness” constraint. So there are more Breen-Messing cocycles than come from such 2-functors.

Then, in that original document on INN(G (2))\mathrm{INN}(G_{(2)}), I found, as you know, that the Breen-Messing data actually describes flat 3-functors with values in the 3-group INN(G (2))\mathrm{INN}(G_{(2)}).

So, apparently, there is an interesting cohomology here: there are flat 3-functors with values in INN(G (2))\mathrm{INN}(G_{(2)}) which do not arise as the curvature of some 2-functor.

Put this way, it sounds like a very plausible statement. But that took a couple of years to materialize!

In that work on String k(G)\mathrm{String}_k(G)-connections which I mentioned recently I argue that this cohomology problem here for G (2)G_{(2)} the String k(G)\mathrm{String}_k(G)-2-group corresponds to Stolz-Teichner’s statement that “Chern-Simons theory is trivialized by String bundles”.

Because Lie(INN(String k(G)))cs(g) k \mathrm{Lie}(\mathrm{INN}(\mathrm{String}_k(G))) \simeq \mathrm{cs}(g)_k is isomorphic to the Chern-Simons Lie 3-algebra.

More realistically, we would expect a flat functor to be of the form dAUnknown characterUnknown characteremUnknown characterlocallyUnknown character/emUnknown characterforsomenotionoflocally.Unknown character/pUnknown characterUnknown character/blockquoteUnknown characterUnknown characterpUnknown characterThatstrue.Theconstructiond A§ <em>locally</em> - for some notion of 'locally'.</p> </blockquote> <p>That's true. The construction C_n \mapsto C_{n+1}whichImention(simplypassingtothecodiscreteHomcategories)isonlytheUnknown characteruniversalUnknown characterone,Ithink.Itfactorsthroughallothers,wherewedontincludesomeofthehighermorphisms(i.e.wherethereareUnknown characterholesUnknown characteraroundwhichwemayhavenontrivialholonomy.)Unknown character/pUnknown characterUnknown characterblockquoteUnknown characterUnknown characterpUnknown characterPerhapsonecouldusethe`covering which I mention (simply passing to the codiscrete Hom-categories) is only the "universal" one, I think. It factors through all others, where we don't include some of the higher morphisms (i.e. where there are "holes" around which we may have nontrivial holonomy.)</p> <blockquote> <p>Perhaps one could use the `covering' T C \to C,andsomecoherenceconditionson, and some coherence conditions on T T C \Rightarrow T Ctogetlocaltransportfunctorswhosedifferentialspastetogethertoaflatfunctor.Unknown character/pUnknown characterUnknown character/blockquoteUnknown characterUnknown characterpUnknown characterHm,thatsanidea.Illthinkaboutit.Unknown character/pUnknown characterUnknown characterblockquoteUnknown characterUnknown characterpUnknown character2.5 to get local transport functors whose differentials paste together to a flat functor.</p> </blockquote> <p>Hm, that's an idea. I'll think about it.</p> <blockquote> <p>2.5 F,G:D \to Cnfunctors,anaturaltransformation-functors, a natural transformation a : F \Rightarrow Gisan is an (n-1)functor-functor a : D \to \mathrm{Mor}(C).Idontknowifthishasanyrelationtotheuseof. I don't know if this has any relation to the use of \mathrm{Mor}(C)before,butgivensuchan before, but given such an a : D \to \mathrm{Mor}(C),wecancomposewith, we can compose with \mathrm{Mor}(C) \to T C$, to hopefully get something interesting.

That, too, is an interesting observation. I’ll think about it.

Posted by: Urs Schreiber on August 1, 2007 9:06 AM | Permalink | Reply to this
Read the post Adinkras
Weblog: The n-Category Café
Excerpt: The concept of an "Adinkra" - a graph used to describe representations of N-extended d=1 supersymmetry algebras - remarkably resembles some categorical structures which appear in the context of supersymmetry.
Tracked: August 7, 2007 11:01 PM
Read the post Arrow-Theoretic Differential Theory, Part II
Weblog: The n-Category Café
Excerpt: A remark on maps of categorical vector fields, inner derivations and higher homotopies of L-infinity algebras.
Tracked: August 8, 2007 10:51 PM
Read the post String and Chern-Simons Lie 3-Algebras
Weblog: The n-Category Café
Excerpt: A talk on Chern-Simons Lie n-algebras.
Tracked: August 10, 2007 6:16 PM

Re: Arrow-Theoretic Differential Theory

I am about to write an entry with more details on how sections of an nn-bundle with connection given by a transport nn-functor tra\mathrm{tra} are really certain morphisms into δtra, \delta \mathrm{tra} \,, where δ\delta is the differential on functors from section 3.2. When thinking about this with an eye on quantization of higher dimensional objects, one runs into the issue that one needs the sections of a transport after that is pulled back to some configuration space. Then the question might seem to arise whether we compute the sections (hence the space of quantum states) by first pulling back and then forming the differential δ(p *F) \delta (p^* F) or the other way round p *(δF). p^* (\delta F) \,. As befits the operator δ\delta which (as discussed in section 2.4.2) plays the role of the exterior differential, both these expressions should be equal! And in fact they are. This is a triviality in the present context: δ\delta acts on a functor by postcomposition with another functor, while pullback acts by precomposition with another functor. So that’s good.
Posted by: Urs Schreiber on August 14, 2007 4:47 PM | Permalink | Reply to this
Read the post The Canonical 1-Particle, Part II
Weblog: The n-Category Café
Excerpt: More on the canonical quantization of the charged n-particle for the case of a 1-particle propagating on a lattice.
Tracked: August 15, 2007 11:57 AM
Read the post On Roberts and Ruzzi's Connections over Posets
Weblog: The n-Category Café
Excerpt: On J. Roberts and G. Ruzzi's concept of G-bundles with connection over posets and its relation to analogous notions discussed at length at the n-Cafe.
Tracked: August 16, 2007 11:13 AM

Re: Arrow-Theoretic Differential Theory

I have just upoloaded a new version of Arrow-theoretic differential theory.

The concept of a GG-flow on a category and hence that of generalized vector fields is stressed a little more now and it is discussed explicitly how the relevant aspects of the work of Roberts&Ruzzi (concerning inner automorphism n+1n+1-groups) and of Lazaroiu (concerning supercategories) drops out as a special case.

Posted by: Urs Schreiber on August 17, 2007 1:57 PM | Permalink | Reply to this

Re: Arrow-Theoretic Differential Theory

I know that this concept of thinking of vector fields and their generalizations as suitable families of inner automorphisms of a category takes a little getting used to. But then it proves to be a good idea.

It might help to emphasize this:

Posted by: Urs Schreiber on August 17, 2007 3:19 PM | Permalink | Reply to this
Read the post More on Tangent Categories
Weblog: The n-Category Café
Excerpt: More comments on the nature of tangent categories and their relation to the notion of shifted tangent bundles to differential graded spaces.
Tracked: August 21, 2007 10:44 AM
Read the post The G and the B
Weblog: The n-Category Café
Excerpt: How to get the bundle governing Generalized Complex Geometry from abstract nonsense and arrow-theoretic differential theory.
Tracked: August 25, 2007 9:17 PM
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 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 Eli Hawkins on Geometric Quantization, I
Weblog: The n-Category Café
Excerpt: Some basics and some aspects of geometric quantization. With an emphasis on the geometric quantization of duals of Lie algebras and duals of Lie algebroids.
Tracked: June 20, 2008 5:13 PM

Post a New Comment