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.

September 30, 2006

Dimensional Analysis and Coordinate Systems

Posted by John Baez

We had a nice conversation on dimensional analysis. Here are some things I learned.

Posted at 1:45 AM UTC | Permalink | Followups (41)

September 28, 2006

Puzzle Pieces Falling Into Place

Posted by Urs Schreiber

There should be a 3-group G 3G_3 governing Chern-Simons theory for gauge group GG. Which one is it?

I would like to present evidence that it should be the strict 3-group #

(1)G 3=(U(1)Ω^GPG) G_3 = (U(1) \to \hat \Omega G \to P G)

which is a sub-3-group of the non-strict automorphism 3-group #

(2)AUT(String G) \mathrm{AUT}(\mathrm{String}_G)

of the String G\mathrm{String}_G # 2-group #

(3)String G=(Ω^GPG). \mathrm{String}_G = (\hat \Omega G \to P G) \,.

Moreover, the canonical lax 2-representation #

(4)ρ:Σ(String G)Σ(C 2) \rho : \Sigma(\mathrm{String}_G) \to \Sigma(C_2)

for C 2=Hilb C_2 = \mathrm{Hilb}_\mathbb{C} should extend canonically to a lax 3-representation

(5)ρ˜:Σ(G 3)End(Σ(C 2)) \tilde \rho : \Sigma(G_3) \to \mathrm{End}(\Sigma(C_2))

on endomorphisms of C 2C_2 #.

Unless I am mixed up - which is your task to find out - this suggests to relate the correspondence

(6)2D CFT3D TFT \text{2D CFT} \leftrightarrow \text{3D TFT}

to higher Schreier theory #.

Posted at 1:53 PM UTC | Permalink | Followups (7)

2-Groups and Algebras

Posted by Urs Schreiber

In another thread #, I am talking with Jim Stasheff and David Roberts about the question how to reconstruct a 2-bundle with connection from its local transition data #.

There are 1121\frac{1}{2} examples where I have some idea at least about certain aspects of the answer.

And there seems to be a pattern:

(1)for this structure 2-group the realization of its nerve is the automorphism group of this algebra which is the typical fiber of the (1-)bundle (U(1)1) PU(H) K(H) representing a (U(1)1)-2-bundle (Ω^GPG) String G A Ω^G representing a(Ω^GPG)-2-bundle \array{ \mathbf{\text{for this structure 2-group}} & \mathbf{\text{the realization of its nerve}} & \mathbf{\text{is the automorphism group of this algebra}} & \mathbf{\text{which is the typical fiber of the (1-)bundle}} \\ \href{}{(U(1)\to 1)} & \href{}{P U(H)} & \href{}{K(H)} & \href{} {\text{representing a }\;\; (U(1)\to 1)\text{-2-bundle}} \\ \href{}{(\hat \Omega G \to P G)} & \href{}{\mathrm{String}_G} & A_{\hat \Omega G} & \href{}{ \text{representing a}\;\; (\hat \Omega G \to PG) \text{-2-bundle} } \\ \\ }

Example 1 is this: start with transition data on some space XX with respect to the 2-group G 2G_2 coming from the crossed module U(1)1U(1)\to 1 (characterizing an abelian gerbe #). It is well known that this is equivalent to a (PU(H)K(,2))(P U(H) \simeq K(\mathbb{Z},2))-bundle on XX. PU(H)P U(H) happens to be the automorphism group of the algebra of compact operators on HH. Hence we can find the associated algebra bundle. Regarding each fiber not as a mere algebra, but as the category of modules of that algebra, we do obtain a 2-bundle of sorts. I think one can show that this is the 2-bundle whose local trivializations yields the 3-cocycle we started with #.

Example 2 is the string bundle with string connection by Stolz & Teichner #.

In both cases one can, I think, understand the algebra that the nerve acts on by automorphisms as the 2-vector space on which the 2-group is represented by its canonical 2-representation #.

So, clearly, there is some general mechanism at work which should generalize the above table from (U(1)1)(U(1)\to 1) and (Ω^GPG)(\hat \Omega G \to P G) to any strict 2-group. Which mechanism is that?

Posted at 9:31 AM UTC | Permalink | Followups (5)

September 27, 2006


Posted by David Corfield

One of the goals of our activity in this joint blog is to further the ends of mathematics and physics through our public conversations. Likewise for philosophy, if not directly through the refinement of nn-categorical thinking, then indirectly by observation of what it is to partake in an enterprise such as the furthering of mathematics or physics by nn-categorical means. Naturally, in terms of helping ourselves achieve those ends, we have to consider the question of what we are prepared to tolerate, both in terms of the content and the spirit of any contributions.

Posted at 6:22 PM UTC | Permalink | Followups (22)

Bulk Fields and Induced Bimodules

Posted by Urs Schreiber

As I mentioned recently, Fjelstad, Fuchs, Runkel & Schweigert know how to describe 2-dimensional (rational) conformal field theory in terms of tangle diagrams in modular tensor categories C 2C_2.

There are various hints # that one can understand this formalism from the point of view of 2-transport # with values in C 2C_2.

Notice how this is rather analogous to principal 2-transport #, with values in a 2-group G 2G_2.

Instead of a 2-group, C 2C_2 is just a 2-monoid. But the look and feel of both is rather similar: being modular tensor, C 2C_2 in particular has left and right duals for all objects.

Many aspects of the diagrams drawn onto the worldsheet in the FRS formalism can be understood # from locally trivializing a 2-transport

(1)F:P 2Σ(C 2) F : P_2 \to \Sigma(C_2)

which sends pieces of worldsheet to morphisms in C 2C_2.

One aspect of this is however a little troubling: FF only sees the 2-dimensional parameter space. However, FRS show that bulk field insertions in 2D CFT are represented diagrammatically by insertion points on the worldsheet at which ribbons emanate perpendicular to the worldsheet, into a third dimension.

In fact, this leads to a big story where the entire 2-dimensional field theory is described as the boundary part of a 3-dimensional topological field theory, generalizing the old observation by Witten on the relation between Chern-Simons theory and the Wess-Zumino model. I used to be puzzled about how to capture this 3-dimensional aspect of 2-dimensional CFT in terms of 2-dimensional transport.

But, remember, I also used to be puzzled about how to describe non fake-flat # principal 2-transport. There, the solution is # to pass from a 2-functor

(2)tra:P 2(X)Σ(G 2) \mathrm{tra} : P_2(X) \to \Sigma(G_2)

with values in the the 2-group G 2G_2 to the pseudo functor (a 3-functor, really!)

(3)tra:P 2(X)Aut(Σ(G 2)) \mathrm{tra} : P_2(X) \to \mathrm{Aut}(\Sigma(G_2))

with values in the 3-group of automorphisms of G 2G_2.

Given what I said so far, there is really one question one should ask:

What happens if we consider weak 2-functors that send pieces of worldsheet not to a modular tensor category C 2C_2, but to the 3-monoid

(4)End(Σ(C 2)) \mathrm{End}(\Sigma(C_2))

of endomorphisms of C 2C_2?

Posted at 2:45 PM UTC | Permalink | Followups (3)

September 26, 2006

Fahrenberg and Raussen on Continuous Paths

Posted by Urs Schreiber

Suppose you want to transport something along some path through a space XX. Before you do so, you need to know what a path in XX is.

If XX is a smooth space, we tend to demand a path to be a smooth map

(1)IX, I \to X\,,

up to reparameterization. (II is the standard interval.)

What exactly is the analog of dividing out by reparameterization of paths in the case that XX is just a topological space?

Jim Stasheff, being interested in topological notions #, wondered why I kept going on about smooth paths # without ever talking about continuous paths. He was so kind to point me to the work

Ulrich Fahrenberg & Martin Raussen
Reparametrizations of Continuous Paths
Dept. of Mathematical Sciences, Aalborg University
Technical Report R-2006-22

where exactly this issue is investigated.

Posted at 8:18 PM UTC | Permalink | Followups (12)

Our Raison D’être

Posted by David Corfield

Marni Sheppeard reports from the AustMS2006 conference, which, as anyone who knows about Australian mathematics might expect, is holding a category theory session. Dominic Verity is giving one of the talks, in which he considers the raison d’être for higher category theory, and so by extension that of the Café. Of course, we also come here for the coffee.

Posted at 1:51 PM UTC | Permalink | Followups (9)

September 23, 2006

Mathematical Kinds

Posted by David Corfield

I’ve just sent off a paper Mathematical Kinds, or Being Kind to Mathematics to appear in the journal Philosophica. The idea of the paper is to explore the extent to which the language of laws and natural kinds, so much a part of the philosophy of science, is also appropriate to mathematics. To give a fresh example of this phenomenon, let’s consider the classification of finite simple groups.

Posted at 5:03 PM UTC | Permalink | Followups (19)

September 21, 2006

Dimensional Analysis

Posted by John Baez

With your help, I would like to start amassing a collection of wisdom on gnarly issues in physics. Let’s start with dimensional analysis. I thought I had this pretty much figured out, until Kehrli pointed out a couple of things that surprised me:

  • Dimensionless constants can depend on our choice of units.
  • Dimensionful constants often don’t depend on our choice of units.
Posted at 9:15 PM UTC | Permalink | Followups (72)

Categorification in Uppsala

Posted by David Corfield

Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are only a handful of participants’ notes available (Scott Morrison’s are particularly well rendered), although the abstracts refer you to one or two others. What I’d like to have found out is whether there are differences in people’s conception of the scope of categorification.

Posted at 3:29 PM UTC | Permalink | Followups (2)

The Why and Wherefore of History

Posted by David Corfield

Here are some notes for my talk at the Berlin workshop. Fortunately I was upgraded to a 45-minute talk. Even so, I didn’t manage to reach the last part where I discuss David Carr’s ideas.

I would be interested in a discussion here about practitioners’ histories. A couple of examples we might consider are Baez and Lauda’s draft History of n-categorical physics and Ronald Solomon’s A Brief History of the Classification of Finite Simple Groups, BAMS 38(3) 315-382.

Posted at 9:11 AM UTC | Permalink | Followups (6)

September 20, 2006

Differential n-Geometry

Posted by Urs Schreiber

I need it all the time - and yet, I still don’t have it:

a nice arrow-theoretic way to talk about differential nn-geometry.

I know that greater minds than me have thought about this thoroughly before #. That I still don’t feel like having the satisfactory tools at my disposal probably has two reasons:

a) I am ignorant of what has been done already;

b) I feel the need for something somewhat different than what has been done already.

In order to find out which of the two it is, I want to start going through some gymnastics here in the nn-Café.

I am thoroughly (maybe hopelessly) motivated by

i) quantum physics


ii) the belief that nn-dimensional QFT lives in nCatn\mathrm{Cat}.

Maybe this explains point b) above. As far as I am aware, previous work in arrow-theoretic differential geometry was motivated by classical physics and the belief that Cat\mathrm{Cat} suffices.

For instance, I believe that we want a notion of differential nn-forms that take values in nn-categories, like nn-functors do.

This belief is a consequence of particular physics applications that I have in mind, which I roughly know how to do already, but which need a more systematic underpinning. In particular, one of my goals is to give a good arrow-theoretic description of an nn-Dirac operator twisted by an nn-vector bundle with nn-connection. Unless I am confused, such a concept is at the heart of nn-dimensional supersymmetric quantum field theory (at least for n=1n=1 and n=2n=2).

Okay. The gymnastics starts below.

Posted at 6:41 PM UTC | Permalink | Followups (1)

September 19, 2006

A Plea to Save New Scientist

Posted by John Baez

The SF writer Greg Egan has issued the following public plea to save the magazine New Scientist. Please take a look, and consider sending them an email.

Posted at 2:51 AM UTC | Permalink | Followups (66)

September 18, 2006

Searching for a New Epistemology in Berlin

Posted by David Corfield

I’m back from a 48 hour workshop - Towards a New Epistemology of Mathematics. This provided the opportunity to meet up with some old friends, and form some new acquaintances. I met fellow blogger Kenny Easwaran for the first time, and heard him talk about The Role of Axioms in Mathematics. Dirk Schlimm made us think about why Jordan only thought to show that all composition series of a finite group, as feature in the Jordan-Hölder Theorem, have the same collection of numerical values of the orders of quotients of successive terms, while Hölder later gave the stronger result that it was true of the isomorphism classes of such quotients. While you might think that Hölder was enabled to do so having moved on to consider abstract groups instead of the substitution groups treated by Jordan, Dirk showed that Jordan did in fact have the technical resources to prove the stronger result. Something higher-level inspires you to pose the richer question.

Posted at 11:27 AM UTC | Permalink | Followups (7)

September 14, 2006

Quantum n-Transport

Posted by Urs Schreiber

This is what reading Freed has done to me:

Posted at 11:49 AM UTC | Permalink | Followups (4)

September 13, 2006

Higher Categories and their Applications

Posted by John Baez

As part of the Fields Institute program on Geometric Applications of Homotopy Theory, there there will be a workshop on:

There will be a strong emphasis on applications to homotopy theory and physics. Speakers include John Baez, Julie Bergner, Eugenia Cheng, Alissa Crans, Nick Gurski, Andre Henriques, André Joyal, Steve Lack, Aaron Lauda, Tom Leinster, Peter May, Joshua Nichols-Barrer, Simona Paoli, Urs Schreiber, Mike Shulman and Danny Stevenson.

For talk titles, abstracts and other information, see this blog entry.

The program also features some other interesting workshops (listed here) and courses, listed below.

Posted at 9:09 AM UTC | Permalink | Followups (23)

Groupoids and Stacks in Physics and Geometry

Posted by John Baez

From January 8th to April 6th of 2007, the Institut Henri Poincaré will be running a program on:

This will include a workshop on Higher Structures in Geometry and Physics from January 15th to 19th, in honor of Murray Gerstenhaber’s 80th and Jim Stasheff’s 70th birthdays.

If you don’t know about groupoids and stacks, or even if you do, try this overview of the subject.

Posted at 8:30 AM UTC | Permalink | Followups (2)

September 12, 2006

Freed on Higher Structures in QFT, I

Posted by Urs Schreiber

I would like to talk about things related to 3-dimensional topological field theories, along the lines of what John mentioned a while ago.

Before doing so, however, I want to better understand a general phenomenon, which has originally been identified by Dan Freed and is more recently being pursued by Simon Willerton and Bruce Bartlett. It also appears in recent work by Sergei Gukov.

The observation is, roughly, that what physicists call an action functional for a nn-dimensional quantum field theory is really just one component of something that looks a little like an nn-functor, which assigns to dd-dimensional volumes (nd)(n-d)-Hilbert spaces.

I’ll briefly summarize what Freed and others have to say about this. What I would like to discuss then are some details of this concept. For instance, how to turn the above “looks a little like” into an “is”.

Posted at 12:49 PM UTC | Permalink | Followups (37)

September 11, 2006

Wirth and Stasheff on Homotopy Transition Cocycles

Posted by Urs Schreiber

Way back in 1965, James Wirth wrote a PhD thesis on the description of fibrations

(1)p:EB p : E \to B

in terms of transition data

(2)p 1(U α) t α t¯ α U α×F p p U α = U α. \array{ p^{-1}(U_\alpha) & \array{\stackrel{t_\alpha}{\rightarrow} \\ \stackrel{\bar t_\alpha}{\leftarrow}} & U_\alpha \times F \\ p \downarrow \;\; && \;\;\downarrow p \\ U_\alpha &=& U_\alpha } \,.

Here U αU_\alpha are elements of a good covering of BB by open sets, FF is the typical fiber, t αt_\alpha is a chosen trivialization of the fibration over U αU_\alpha, and t¯ α\bar t_\alpha its inverse, up to homotopy.

A new arXiv entry now recalls the main idea of this old work in modern language:

James Wirth & Jim Stasheff
Homotopy Transition Cocycles

Posted at 7:15 PM UTC | Permalink | Followups (4)

September 9, 2006

Mathematics and Virtual Reality

Posted by David Corfield

If we consider the obstacles which stand in the way of certain actions, by and large they fall into two classes. Physical laws prevent us from tossing up a ton weight boulder into the air unaided, while social laws prevent us from going around murdering people. In the latter case, we may be able to perform the act physically, but are prevented by our obedience to the law which proscribes it. One tradition, whose history is far too complex to begin to describe here, has sought to make of these two classes one, arguing that some social laws, such as that forbidding murder, are natural laws, that is, are drafted in accordance with the nature of man, and, for many in that tradition, in accordance with the nature of his Creator.

Posted at 9:12 AM UTC | Permalink | Followups (48)

September 8, 2006

Kock on 1-Transport

Posted by Urs Schreiber

A few months ago, I had a very inspiring e-mail conversation with Anders Kock on the concepts of connection, parallel transport and holonomy.

Posted at 4:48 PM UTC | Permalink | Followups (10)

Connes on Spectral Geometry of the Standard Model, IV

Posted by Urs Schreiber

With some background material in place # # # I’ll now try to indicate how we can get something like the standard model as the effective target space theory of our “superparticle”.

(I’ll stick to this superparticle imagery #, but you should remember that this is my prose around Connes et al.’s formulas.).

Posted at 12:34 PM UTC | Permalink | Followups (49)

This Week’s Finds in Mathematical Physics (Week 239)

Posted by John Baez

In week239 of This Week’s Finds, read about the n-Category Café, the resignation of the editorial board of Topology, the open access movement, Freeman Dyson’s 1951 lecture notes, the origins of mathematics in little clay figures called “tokens”:


and - leaping straight from 8000 BC to the twentieth century - Koszul duality for L-algebras!

Posted at 12:28 PM UTC | Permalink | Followups (58)

Category Theory and Philosophy

Posted by David Corfield

Bob Coecke wrote:

I strongly believe that the categorical approach provides the appropriate framework for a profound structural analysis for quantum theory, a currently lacking prerequisite for a decent philosophical analysis.

A couple of comments earlier, I had written:

Perhaps good things in the interpretation of Quantum mechanics are at last beginning to happen. It would be interesting to know what posterity had to say about the long period between its first appearance and its proper interpretation. There’s a philosopher of science, Michael Friedman, whose work I like very much, who sees advances in philosophy and mathematical science happening hand-in-hand. Whereas Newton led to Kant, and Einstein to the Vienna Circle, he feels that QM has never been philosophically worked over properly. For more on this see my paper.

Putting Bob and Friedman together, you could hardly miss the idea that the next revolution in philosophy should see category theory take a central place, just as logic did for the Vienna Circle in the 1920s and 30s.

But I’ve always been rather wary of the idea that some or other formal apparatus is going to act as a magic tool in the resolution of philosophical problems. Throughout my career as a philosopher I have frequently had the thought “I don’t see why you think a formal treatment of X is the right way to talk about X, but if you are going to do so why not use a proper formalism like category theory.” Presumably none of us here think category theory will help us much with a theory of justice or of history. On the other hand, as well as the ontology of physics, Mike Johnson’s category theoretic approach to databases give us a sense of what it can achieve at the level of everyday ontology. And I’d imagine it could help in statistics and probability. (For a recent attempt in statistics, see Peter McCullagh What is a statistical model? Ann. Stat. 30(5), 2002.)

So category theory is to feature prominently in the new philosophy, but, as Friedman’s examples make clear, it’s not just the taking on of a new mathematical language that constitutes a radical shift in philosophy. I’m not looking for an analytic philosophy Mark II.

Posted at 8:33 AM UTC | Permalink | Followups (4)

September 7, 2006

Connes on Spectral Geometry of the Standard Model, III

Posted by Urs Schreiber

I’ll try to outline the main technical ingredients that are involved in the computation of a spectral action # from a given spectral triple #.

Posted at 3:27 PM UTC | Permalink | Followups (21)

On n-Transport: 2-Vector Transport and Line Bundle Gerbes

Posted by Urs Schreiber

My first examples for the general concept of nn-transport # had been local transitions of principal 2-transport ##, taking values in some Lie 2-group.

For many applications in physics, one needs to have associated nn-transport, taking values in nn-vector spaces on which some nn-group is represented.

Here I present some notes which contain

  • a working definition of associated nn-transport;
  • an identification of a class of 2-representations of Lie 2-groups on bimodules # #;
  • a description of (torsion) U(1)U(1)-gerbes with connection as associated 2-transport with respect to the above representation of the 2-group Σ(Σ(U(1)))\Sigma(\Sigma(U(1)));
  • a demonstration that the transition data of such a 2-transport is precisely the data of a line bundle gerbe with connection and curving (and that in fact the 2-category of these transiton tetrahedra is equivalent to that of line bundle gerbes with connection).

Line Bundle Gerbes from 2-Transport

Apart from being interesting in its own right, this is supposed to be a warm-up for describing more sophisticated 2-vector transport.

In particular, one can see that by replacing the 2-group Σ(Σ(U(1)))\Sigma(\Sigma(U(1))) in the above setup with the strict 2-group String G\mathrm{String}_G #, one obtains – up to technical subteties related to the fact that String G\mathrm{String}_G is infinite-dimensional – something very similar (maybe identical) to the the notion of string-connection that Stolz&Teichner defined #.

I conjecture that

A string connection as defined by Stolz&Teichner is the 2-vector 2-transport associated to a principal String G\mathrm{String}_G-2-transport by way of the 2-representation defined in the above notes.

I think that in as far as this conjecture is false it is just due to technicalities that can be fixed – like the fact that in the above notes I use the ordinary tensor product of bimodules, while for the String G\mathrm{String}_G-application we need “Connes fusion” #.

(I was waiting with posting this entry until I had tied up some lose ends in the above notes. But since we are now discussing this already in the comment sections #, I thought I’d just ahead and post it.)

Posted at 1:25 PM UTC | Permalink | Followups (20)

Mathematical Circuit Components

Posted by David Corfield

From the post The Downward Spiral of Physics on the excellent new blog of Alexandre Borovik, we read Feynman lamenting the passing of the days when:

Radio circuits were much easier to understand in those days because everything was out in the open. After you took the set apart (it was a big problem to find the right screws), you could see this was a resistor, that’s a condenser, here’s a this, there’s a that; they were all labeled. And if wax had been dripping from the condenser, it was too hot and you could tell that the condenser was burned out. If there was charcoal on one of the resistors you knew where the trouble was. Or, if you couldn’t tell what was the matter by looking at it, you’d test it with your voltmeter and see whether voltage was coming through. The sets were simple, the circuits were not complicated. The voltage on the grids was always about one and a half or two volts and the voltages on the plates were one hundred or two hundred, DC. So it wasn’t hard for me to fix a radio by understanding what was going on inside, noticing that something wasn’t working right, and fixing it.

Borovik then comments:

Alas, similar cultural changes affect (and mostly negatively) the position of mathematics in modern culture. I leave it to the reader to come up with examples - they are abundant.

Might it be that n-categories, at least, as presented to us by John, offer us a form of mathematics closer to Feynman’s radio circuits? Working on Kleinian 2-geometry feels a little like that to me. “If your sub 2-space has features not invariant under equivalence, you know where the trouble is.”

Posted at 11:55 AM UTC | Permalink | Followups (2)

September 6, 2006

Connes on Spectral Geometry of the Standard Model, II

Posted by Urs Schreiber

Last time I made some general remarks on the idea of spectral triples and of action functionals obtained from them.

Here I make some general remarks on the nature and the implication of the results found by Connes, in his search for the spectral triple describing our world.

Posted at 3:53 PM UTC | Permalink | Followups (18)

Connes on Spectral Geometry of the Standard Model, I

Posted by Urs Schreiber

Alain Connes has a new report on recent progress in his old program of identifying the spectral geometry of the standard model coupled to gravity.

Alain Connes
Noncommutative Geometry and the standard model with neutrino mixing

Similar results have simultaneously found in

John W. Barrett
A Lorentzian version of the non-commutative geometry of the standard model of particle physics

In this first entry I’ll provide some background material. A followup will look at some of the details of the recent paper.

Posted at 10:45 AM UTC | Permalink | Followups (7)

September 5, 2006

n-Transport and Higher Schreier Theory

Posted by Urs Schreiber

We are interested in categorifying the notion of parallel transport in a fiber bundle with connection.

There are several ways to define an ordinary connection on an ordinary bundle. Depending on which of these we start with, we end up with categorifications that may differ.

One definition goes like this:

Given a principal GG-bundle BXB \to X, let

  • Trans(B)=B×B/G\mathrm{Trans}(B) = B\times B/G be the transport groupoid of BB, whose objects are the fibers of BB and whose morphisms are the torsor morphisms between these;
  • P(X)P(X) be the groupoid of thin homotopy classes of paths in XX (meaning that we divide out by orientation-preserving diffeomorphisms and let orientation-reversing diffeos send a path to its inverse class).

Then a connection on BB is a smooth functor

(1)tra:P(X)Trans(B). \mathrm{tra} : P(X) \to \mathrm{Trans}(B) \,.

This definition has an obvious categorification. Working it out (\to, \to), one finds a notion of 2-connection with a special property that has been termed “fake flatness”.

There are a couple of applications where precisely this fake flatness is required (\to). For others, however, fake flatness is too restrictive (\to, \to).

Now, there have been several indications that in order to get a slightly more general categorification we need a definition of connection with parallel transport which somehow involves not just the gauge group, but its automorphism 2-group (\to).

In fact, Danny Stevenson has developed a rather beautiful theory of connections - without an explicit description of parallel transport - and their categorification, by using not transport along finite paths, but infinitesimal/differential transport. He sees essentially this automorphism-extension appearing there and does get around fake flatness.

Danny Stevenson
Lie 2-Algebras and the Geometry of Gerbes
Chicago Lectures on Higher Gauge Theory, April 7-11, 2006

This is directly inspired by

Lawrence Breen
Théorie de Schreier supérieure
Annales Scientifiques de l’École Normale Supérieure Sér. 4, 25 no. 5 (1992), p. 465-514

In this entry here I want to understand the integrated, finite version of Danny’s theory. Where he uses morphisms of Lie algebroids, I would like to see morphisms of Lie groupoids (smooth functors between smooth groupoids) along the lines of the first definition of connection with parallel transport stated above.

I had begun making comments on that over in the comment section of the 10D supergravity thread (\to). But it does deserve an entry of its own.

Posted at 1:53 PM UTC | Permalink | Followups (13)

September 4, 2006

The History of n-Categories

Posted by David Corfield

I have to try to emulate Renaissance man over the next few weeks. I’m correcting the proofs for my book Why Do People Get Ill?, about which I am speaking at the Ilkley Literature Festival in October. I may be speaking to my colleagues at the Max Planck Institute about what I have learned on the geometry of statistical inference at a retreat in October. But there’s something yet more pressing to do which does at least concern the reason we’re meeting up in this Café. I must write my lecture for a workshop in Berlin held at the end of next week.
Posted at 3:46 PM UTC | Permalink | Followups (6)

Klein 2-Geometry V

Posted by David Corfield

I had hoped to mark my first appearance in the Café with a striking new contribution to our Klein 2-geometry project. The project began on my old blog back in May, and you can follow it through its twists and turns over the next 3 monthly instalments. I have enjoyed both participating in a mathematical dialogue and, as a philosopher, thinking about what such participation has to do with a theory of enquiry. The obvious comparison for me is with the fictional dialogue Proofs and Refutations written by the philosopher Imre Lakatos in the early 1960s. The clearest difference between these two dialogues is that Lakatos takes the engine of conceptual development to be a process of

conjectured result (perhaps imprecisely worded) - proposed (sketched) proof - suggested counterexample - analysis of proof for hidden assumptions - revised definitions, conjecture, and improved proof,

whereas John, I and other contributors look largely to other considerations to get the concepts ‘right’. For instance, it is clear that one cannot get very far without a heavy dose of analogical reasoning, something Lakatos ought to have learned more about from Polya, both in person and through his books.

Posted at 10:21 AM UTC | Permalink | Followups (28)

September 3, 2006


Posted by John Baez

Universal algebra began as an attempt to deal with lots of familiar algebraic gadgets simultaneously: groups, rings, lattices, vector spaces, Lie algebras, and so on. A bunch of the same theorems hold for all of these - so why not prove them all at once and be done with it? It turns out to be possible!

In his famous 1963 thesis, Bill Lawvere showed how universal algebra can be formulated using categories:

He saw that universal algebra was all about algebraic gadgets that make sense in any category with finite products. Shockingly, every such category CC can be seen as the “theory” of some such gadget. If DD is some other category with finite products, a product-preserving functor F:CDF: C \to D then gives such a gadget in DD. We call this a model of CC in DD.

However, besides categories with finite products, there are also other kinds of categories, which support other kinds of algebraic gadgets. So, around 1969, Lawvere massively generalized universal algebra - so much that he required a precise definition of “a kind of category”! He called such a thing a “doctrine”:

  • F. William Lawvere, Ordinal sums and equational doctrines, Springer Lecture Notes in Mathematics No. 80, Springer-Verlag (1969), pp. 141-155.

This is a startling leap in abstraction, typical of Lawvere’s work.

Let’s talk about doctrines here. I’ll start by answering a question Urs Schreiber asked in another thread… and after I get some guesses, I’ll give the precise definition of a doctrine.

Posted at 4:14 AM UTC | Permalink | Followups (29)

September 2, 2006

TeXnical Issues

Posted by John Baez

Thanks to Jacques Distler, this blog uses some marvelous technology that lets you write comments with equations in them. It’s based on TeX. The TeX - or more precisely itex - is converted to MathML.

As with any sufficiently advanced technology, you can waste a lot of time trying to figure out why the hell it isn’t working.

Here you can read a little FAQ, followed by 400 questions and answers in the form of blog comments. I have disabled further comments because this particular entry is a favorite target of spammers. So, if your question is not answered in what you see below, please email me.

(Figuring out how to do this is a little intelligence test to weed out spammers.)

Posted at 8:46 AM UTC | Permalink | Followups (402)


Posted by John Baez

Just as a “group with many objects” is a groupoid, a “ring with many objects” is called a ringoid.

Gregory Muller has emailed me a question about ringoids. I don’t want to get into the habit of posting emailed questions on this blog, because I already burnt myself out years ago helping moderate a newsgroup. But just this once, I will.

(Famous last words…)

Posted at 2:35 AM UTC | Permalink | Followups (16)