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.

October 31, 2007

On Noether’s Second (BV, Part VI)

Posted by Urs Schreiber

One aim of

R. Fulp, T. Lada, J. Stasheff
Noether’s Variational Theorem II and the BV formalism

was to

[…] restore […] an emphasis [on] the relevance of Noether’s theorem in […] the BV approach

Namely it is Noether’s second theorem (see page 6 of the above article) for Lagrangian theories which is reincarnated equivalently in the BV statement that

the space of ghosts is canonically isomorphic to that of anti-ghosts.

Meaning that

For every Noether identity there is a symmetry. And vice versa.

In terms of the little toy example (which is not that toy-ish, actually, rather skeletalized, I think), which I talked about last time (see also parts I, II, III, IV), this means that in our little complex

0 ker(dS()) Γ(TX) dS() C (X) ρ C (X)g 0 antighosts antifields fields ghosts Tate Koszul ChevalleyEilenberg Noetheridentities symmetries deg2 deg1 deg0 deg1 \array{ 0 &\to& \mathrm{ker}(d S(\cdot)) &\hookrightarrow& \Gamma(T X) &\stackrel{d S(\cdot)}{\to}& C^\infty(X) &\stackrel{\rho}{\to}& C^{\infty}(X) \otimes g &\to& 0 \\ \\ && anti-ghosts && anti-fields && fields && ghosts \\ \\ && Tate && Koszul && && Chevalley-Eilenberg \\ \\ && Noether identities && && && symmetries \\ \\ && deg -2 && deg -1 && deg 0 && deg 1 } which is induced entirely from a smooth function S:X S : X \to \mathbb{R} on a manifold XX, we have a canonical isomorphism between the first and the last term ker(dS())C g. \mathrm{ker}(d S (\cdot)) \simeq C^\infty \otimes g \,. And this canonical isomorphism is, I think, Noether’s second theorem in this context.

And I’ll claim: this is here nothing but a special case of Cartan’s magic formula (or whatever you call that).

For that to make sense, I’ll first need to say mor precisely how the gg in C (X)gC^\infty(X) \otimes g is defined in the first place.

Posted at 11:42 PM UTC | Permalink | Followups (20)

October 30, 2007

BV for Dummies (Part V)

Posted by Urs Schreiber

On my way back from Oxford, I am spending a night in a hotel close to Manchester airport to get my plane tomorrow morning. Luckily they have a public terminal here. This allows me to talk a little about BV formalism.

John began his last course on Quantization and Cohomology by focusing a bit of attention on a seemingly boring special case: that of statics instead of dynamics.

Here I’ll do something similar for the BV formalism (Part I, II, III, IV):

I use a 4-term complex of vector spaces to study the simple situation of a compact manifold MM equipped with a smooth real-valued function S:X S : X \to \mathbb{R} which you may think of as a Lagrangian depending only on the fields (not on their derivatives) which are elements of MM. That complex of vector spaces will extract for us the nature of the critical points of LL.

If you like, read this in parallel with Jim Stasheff’s hep-th/9712157 from which it follows by truncating the jet space completely down to its 0th component.

On the other hand, if you follow in thoughts the point of view adopted with considerable success by Lyakhovich and Sharapov, who get quite far with thinking of field theory Lagrangians as functions on a finite-dimensional space, you may regard, I guess, the following also as a picture of aspects of the full BV machinery.

In any case, the little pedagogical exercise here is mainly supposed to make explicit the simple nature of the complex we are dealing with, which is essentially

0ker(dS())Γ(TX)dS()C (X)C (X)g *0, 0 \to \mathrm{ker}(d S(\cdot)) \hookrightarrow \Gamma(T X) \stackrel{d S(\cdot)}{\to} C^\infty(X) \to C^\infty(X) \otimes g^* \to 0 \,, where gg denotes the Lie algebra of symmetries ρ:gΓ(TX) \rho : g \to \Gamma(T X) dS(ρ())=0 d S (\rho(\cdot)) = 0 of our function.

And probably I won’t be able to refrain from making some comments on the higher categorical interpretation of what is going on.

Of course for a general BV situation this gg may be a higher Lie algebra (a Lie nn-algebra`) and its action may be weak and all that, but that shall be ignored here for the time being.

Posted at 6:17 PM UTC | Permalink | Followups (58)

Comet Holmes

Posted by John Baez

Have any of you folks seen Comet Holmes? It was just another boring little comet somewhere between Mars and Jupiter when it suddenly got a million times brighter on October 23rd, going from magnitude 17 to magnitude 2.8 in just a few hours!

According to the magazine Sky and Telescope, it’s easy to spot with the naked eye…

Posted at 5:36 AM UTC | Permalink | Followups (7)

Higher Clifford Algebras

Posted by John Baez

Lately Urs has been dreaming of categorified Clifford algebras. But he’s not the only one! We should send one of our spies to this talk tomorrow:

  • Chris Douglas, Higher Clifford algebras, Topology Seminar, Chicago University, talk in E203 at 4:30 pm, pre-talk in the same room at 3:00, October 30, 2007.
Posted at 12:30 AM UTC | Permalink | Followups (12)

October 29, 2007

Fundamental Physics: Where We Stand Today

Posted by John Baez

Are most of the entries on this blog too technical for you? Well, try this:

  • John Baez, Fundamental physics: where we stand today, Department of Physics and Astronomy, James Madison University, November 2, 2007.

    Since the discovery of the W and Z particles over twenty years ago, few truly novel predictions of fundamental theoretical physics have been confirmed by experiment. On the other hand, observations in astronomy have revealed shocking facts that our theories do not really explain: most of our universe consists of "dark matter" and "dark energy". Where does fundamental physics stand today, and why has theory become divorced from experiment?

It’s a talk for anyone interested in physics: a few equations at first, when I explain general relativity, but then just words and pictures!

Posted at 11:48 PM UTC | Permalink | Followups (11)

October 27, 2007

Steve Fever

Posted by John Baez

Yesterday when I read my MIT alumni magazine, I was pleased to see a short story by Greg Egan. This magazine is available for free online if you submit to a mildly annoying registration process, so I’ll advertise the story here:

It’s about an artificial intelligence so stupid it believes what it reads on the internet.

Posted at 3:23 AM UTC | Permalink | Followups (6)

October 26, 2007

Concrete Groups and Axiomatic Theories I

Posted by Guest

Guest post by Todd Trimble

I’d like to take a shot here at explaining some of the ideas on logic that Jim Dolan has been alluding to in his talks in the Geometric Representation Theory seminar, and eventually give an argument for a perhaps surprising idea of his, that “concrete groupoid theory” and “axiomatic theories” are really the same subject, from a kind of Galois theory point of view. This is meant to set the stage for a whole slew of interesting developments, in which we view Jim’s orbi-simplex idea as a geometric description of a general axiomatic theory, which in turn is related to the idea of viewing Tits buildings as “quantized” axiomatic theories, and also perhaps to the theory of classifying toposes and their “Galois theory”. But we’ll get to all that later!

Right now I’d just like to set the scene, and try to flesh out the (somewhat skeletal) description Jim gave of axiomatic theories in precise terms, up to the point where we can at least state the amazing Galois correspondence between groups and theories. In part II, we’ll have a look at proving that this correspondence really works, in part by adapting an interesting argument of Joyal that characterizes analytic functors of species (themselves closely related to the Tale of Groupoidification!).

Posted at 10:28 PM UTC | Permalink | Followups (35)

Geometric Representation Theory (Lecture 6)

Posted by John Baez

Where would a wizard be without his magic wands?

In mathematics, a ‘magic wand’ is any systematic process that you can apply to big chunks of interesting mathematics and get new, more interesting mathematics. Or — more magical still — it’s a mysterious bunch of tricks that feel like they’d be part of a systematic process if only we understood them better.

What are some magic wands? One of the most famous was stolen from physicists: it’s called quantization. Muttering one of several cryptic spells, you can wave this wand over any mathematical concept related to classical mechanics, and hope that — POOF! — it suddenly transforms into an analogous concept related to quantum mechanics. We’ve had huge success with this over the last century, but it’s still poorly understood.

Another magic wand is categorification: replacing any number by a set with that number of elements, replacing any set by a category whose set of isomorphism classes it is, and so on. You could almost say this blog is a shrine to categorification. It too, is still poorly understood. Perhaps when a magic wand’s powers become fully understood, it ceases to count as ‘magic’!

Yet another magic wand is qq-deformation — closely related to quantization but not the same. It’s a way of modifying mathematical entities that depends on a parameter qq. Sometimes this parameter has the physical meaning of exp(i)exp(i\hbar)… but sometimes it’s better to think of it as a power of a prime number! In fact, qq-deformation was discovered by Gauss long before the quantum was a twinkle in Planck’s eye.

When you have two magic wands at your disposal, you can ask if they commute. First wave one, then the other. First wave the other, then the one. Does the same magic occur? Or at least isomorphic magics?

In lecture 6 of the Geometric Representation Theory seminar, I wave two magic wands — categorification and qq-deformation — at a humble mathematical entity: the binomial coefficient. It seems they commute. But, puzzles abound!

Posted at 9:39 PM UTC | Permalink | Followups (20)

October 23, 2007

On String- and Chern-Simons n-Transport

Posted by Urs Schreiber

I am making the last preparations for a little journey to Great Britain.

Tomorrow starts the Conference: Lie Algebroids and Lie Groupoids in Differential Geometry in Sheffield. Next Monday then I am invited to speak at the Oxford geometry seminar.

On both occasions I’ll talk about selected topics from

String- and Chern-Simons nn-Transport
(pdf slides)

in Sheffield with an emphasis on the Baez-Crans type/String-like Lie nn-algebras and related matters, in Oxford with an emphasis on bundle gerbes.

These slides currently serve for me the purpose of a substitute for our cool-but-non-existing-higher-Wiki and are supposed to be treated as such. They should be comparatively enjoyable to read (on the screen, don’t ever try to to print them) if use is made of the hypertext tools provided by your pdf-reader. (Use the arrow keys to read sequentially, remeber your pdf-reader’s internal back button for convenient hyperlink navigation within the pdf document).

To get going, you might want to surf to section Introduction, subsection Plan and have a look at the menu of links provided there. In sub-subsection Categorfication, local trivialization, differentiation you’ll find an “animated and subtitled” version of the classical transport cube playing the role of a 3-dimensional table of contents.

This classical cube is the one whose first edge is local trivialization, whose second edge is differentiation and whose third edge is categorification. Keeping these three directions in mind should help see the big picture behind the details.

I am looking forward to meeting Bruce Bartlett and Simon Willerton in Sheffield. I had been in Sheffield before only once, about 17 years ago, or so, when I stayed for 2 weeks with a guest family.

Posted at 7:26 PM UTC | Permalink | Followups (25)

October 22, 2007

Geometric Representation Theory (Lecture 5)

Posted by John Baez

Felix Klein had a great idea: a lot of geometry is secretly group theory. Say you’ve got a group GG of symmetries, and it acts transitively on a set XX of geometrical figures of some type. This means that

XG/H X \cong G/H

for some subgroup HGH \subseteq G, namely the ‘stabilizer’ subgroup — the subgroup that preserves a figure. So, you get types of figures from subgroups of your symmetry group.

But, there’s a lot more. Say you have some relation between figures of type XX and figures of type YY that’s invariant under your symmetry group. For example: ‘a point lies on a line’.

This means you have a subset RX×YR \subseteq X \times Y that’s invariant under the action of GG. You can think of this as an X×YX \times Y-shaped matrix of 1’s and 0’s: 1’s where the relation holds, 0’s where it doesn’t. But, such a matrix can be reinterpreted as a linear operator

R: X YR: \mathbb{C}^X \to \mathbb{C}^Y

The invariance condition then means this is an intertwining operator between permutation representations of GG.

A wonderful fact — though the proof is easy — is that we can get a basis of intertwining operators this way, called ‘Hecke operators’. We get this basis from ‘atomic’ invariant relations, meaning those that can’t be chopped up into a disjunction — a logical ‘or’ — of smaller relations. Another way to think about it: these atomic invariant relations are just GG-orbits in X×YX \times Y.

Soon we’ll use all this to take permutation representations of groups and chop them into irreducible representations. So: we’ll turning the insight of Klein around, and use geometry to study group representations!

Today, in the 5th lecture of our Geometric Representation Theory seminar, James Dolan works through some easy examples of Hecke operators.

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

October 20, 2007

On Lie N-tegration and Rational Homotopy Theory

Posted by Urs Schreiber

In rational homotopy theory one studies spaces “up to finite ambiguity” as Dennis Sullivan put it, namely by considering all forms of homotopy and (co)homology over the rationals (i.e discarding all torsion information).

For an overview see for instance

Kathryn Hess
Rational Homotopy Theory: A Brief Introduction

The crucial insight of Dennis Sullivan described in

Dennis Sullivan
Infinitesimal computations in topology
Publications mathématiqeu de l’ I.H.É.S., tome 47 (1977), p. 269-331

was that all rational spaces are obtained from integrating Lie nn-algebras.

Of course Sullivan didn’t put it that way, nor do many people in rational homotopy theory. Instead they are talking about differential graded commutive algebras, which are freely generated in positive degree, as graded commutative algebras.

Here at the nn-Café we call (following Jim Stasheff’s suggestion) such dg-algebras “quasi free differential algebras” (qDGCAs) and are fond of the fact that they are dual to codifferential coalgebras, which are the same as L L_\infty-algebras, which are the same as Lie nn-algebras, which are nn-fold categorifications of Lie algebras. For a quick reminder on how this works, see Lie nn-algebra cohomology. For a bestiary of examples, most of them described in both languages, try Zoo of Lie nn-algebras. For more try section Plan, subsection The bridge as well as the section Lie nn-algebra cohomology here.

It was Ezra Getzler who explained that what Sullivan did with qDGCAs was essentially the integration of the corresponding Lie nn-algebras:

Ezra Getzler
Lie theory for nilpotent L L_\infty-algebras

The basic idea of this integration process, vividly but ultra-tersely sketched on the first two pages of

Pavol Ševera
Some title containing the words “homotopy” and “symplectic”, e.g. this one

and less vividly, but in more detail, described in

André Henriques
Integrating L L_\infty algebras

is that from any Lie nn-algebra g (n)g_{(n)} we form the simplicial space whose set of kk-simplices is the set of Lie nn-algebroid morphisms from the tangent algebroid of the standard kk-simplex to the given Lie nn-algebroid

[k]Hom nLie(TΔ k,g (n)) [k] \mapsto \mathrm{Hom}_{n\mathrm{Lie}}(T \Delta_k , g_{(n)})

which in terms of the dual qDGCAs reads

[k]Hom qDGCA(g (n) *,Ω (Δ k)), [k] \mapsto \mathrm{Hom}_{qDGCA}(g_{(n)}^* , \Omega^\bullet(\Delta_k) ) \,,

where Ω (X)\Omega^\bullet(X) is simply the deRham differential algebra of forms on XX.

Notice that the Lie nn-algebroid morphisms appearing here are, morally, the differential version of smooth pseudofunctors

Π 1(Δ k)ΣG (n) \Pi_1(\Delta_k) \to \Sigma G_{(n)}

from the fundamental groupoid of the kk-simplex to the one-object nn-groupoid of the Lie nn-group integrating our Lie nn-algebra: hence nothing but a flat G (n)G_{(n)}-valued parallel nn-transport on Δ k\Delta_k.

For too long to comfortably admit, I didn’t get the intuitive and conceptual gist underlying this construction. While a good pedagogical account still needs to be written, as far as I can see, I personally profited a lot from realizing how the above procedure reproduces ordinary integration of Lie algebras when we keep the nonabelian Stokes theorem in mind (I talked about that here. For a description of the nonabelian Stokes theorem see section Parallel nn-transport, subsection 2-Functors and differential 2-forms here) and that we might profitably think of the space built by the above procedure as the fundamental nn-groupoid

Π n(BG (n)) \Pi_n(\mathbf{BG}_{(n)})

of the “generalized smooth classifying space” given by the sheaf on manifolds

BG (n):UHom nLie(TU,g (n)). \mathbf{BG}_{(n)} : U \mapsto \mathrm{Hom}_{n\mathrm{Lie}}(T U , g_{(n)}) \,.

This is not (yet) supposed to be a precise statement, but if you are like me in that you need to have the feeling to know why we are doing something in order to enjoy doing it, I suggest this as a good working assumption (originally mentioned here).

The central issue of Ezra Getzler’s above article is to reduce the size of Π n(GB (n))\Pi_n(\mathbf{GB}_{(n)}) by strictifying it a lot, such that, in particular, it becomes finite dimensional at each stage.

André Henriques instead works with the unrestricted space. His main application was the integration of the String Lie 2-algebra (section Lie nn-algebra cohomology, subsection String, Chern-Simons and Chern Lie nn-algebras here) and the demonstration that it is the 3-connected cover of Spin\mathrm{Spin}.

Notice that, using Sullivan’s age-old theorem (8.1),v) from the above article, this becomes essentially a triviality:

the qDGCA defining the String Lie 2-algebra is simply that of the underlying Lie algebra together with a single additional degree 2-generator bb whose differential is required db=μ d b = \mu to be the canonical 3-cocycle μ=,[,]\mu = \langle \cdot , [\cdot, \cdot] \rangle on the underlying semisimple Lie algebra. But that says nothing but that the generator of the third cohomology becomes cohomologically trivial!

(For more on the Lie 2-algebra cohomology of the String Lie 2-algebra see Cohomology of the String Lie 2-algebra. Danny Stevenson has meanwhile started to check (some terms still need to be done) that the qDGCA computation discussed there is indeed reproduced by a computation of the (rational) cohomology of the total space of the String group as constructed by Henriques and in From Loop groups to 2-groups).

Here I start with having a closer look at parts of this literature by going through Sullivan’s old paper and highlighting the Lie nn-algebra theory he discusses, without saying so at that time.

Posted at 1:56 PM UTC | Permalink | Followups (15)

October 19, 2007

Advanced Course on Simplicial Methods in Higher Categories

Posted by Urs Schreiber

There is an interesting event titled

Advanced Course on Simplicial Methods in Higher Categories

February 4 to 14, 2008
Centre de Recerca Matemàtica
Bellaterra (Barcelona)

within the CRM thematic year on Homotopy Theory and Higher Categories

The Advanced Course consists of three lecture series:

– André Joyal (UQAM, Montréal), “The theory of quasi-categories and its applications”

– Ieke Moerdijk (Utrecht) “Dendroidal sets”

– Bertrand Toën (Toulouse) “Simplicial presheaves and derived geometries”

The CRM offers a limited number of grants covering accommodation for young researchers. The deadline for application is October 31, 2007. Otherwise the deadline for registration is December 14.

Posted at 4:39 PM UTC | Permalink | Post a Comment

Geometric Representation Theory (Lecture 3)

Posted by John Baez

Any structure on a set has some group of symmetries. But you can also work backwards. Given the symmetries, you can figure out the structure those symmetries preserve!

Last time in the Geometric Representation Theory seminar, Jim Dolan introduced the ‘orbi-simplex’ as an easy way to do this. Start with a group GG acting on a set SS. Form a simplex with SS as vertices. Mod out by the action of GG. This, in a nutshell, is the orbi-simplex.

This time, Jim will show how to stare at an orbi-simplex and read off a logical theory — a bunch of predicates and axioms — describing a structure on SS whose symmetries form exactly the group GG.

Posted at 2:36 AM UTC | Permalink | Followups (3)

October 18, 2007

Klein 2-Geometry IX

Posted by David Corfield

Seeing Jim Dolan expose that notion of types, predicates and axioms in his lecture, I was reminded of the introduction John gave me to it in Minneapolis. While there, we tried to see what we could make of the idea that a process of categorification moves us up from propositional to predicate to modal logic, (an idea of Jim’s?). What we arrived at was a multi-agent form of S5.

As in the lecture Jim’s example of an axiomatic theory is Euclidean geometry, this led me to a ramshackle series of night thoughts, which is all I’m fit to record at the moment.

So, models of a theory axiomatised in predicate logic assign sets to types, maps from their types to truth values are assigned to typed predicates, and truth values to sentences. The models then form a groupoid. The idea of categorifying predicate logic to modal logic allows metatypes, being assigned groupoids. So,

1) Can we see a degenerate ‘propositional’ 0-geometry?


2) Did we see any sign of something ‘modal’ in our 2-geometry forays?

Posted at 1:35 PM UTC | Permalink | Followups (35)

October 17, 2007

On Weak Cokernels for 2-Groups

Posted by Urs Schreiber

In Detecting higher order necklaces I mentioned how

P. Carrasco A. R. Garzó́n and E. M. Vitale
On categorical crossed modules
Theory and Applications of Categories, Vol. 16, 2006, No. 22, pp 585-618

is related to

David Roberts, U.S.
The inner automorphism 3-group of a strict 2-group

with the relation becoming obvious after drawing some diagram. This discussion, quite brief, but the picture provided there is useful to keep in mind, I have now prepared here:

On weak cokernels

This blog entry is hence mainly a private message to David Roberts (since it builds on our discussion of inner automorphism (n+1)(n+1)-groups). And maybe to Todd Trimble (since it builds on our discussion of tangent categories (pdf, html). And to Jim Stasheff (since it is going to be applied to obstructions to lifts of nn-Cartan connections (slides, BIG diagram)). And to John Baez of course, from whome I am hoping to receive more hints on how to think of the big picture . And to Bruce Bartlett, with whom I was talking about this here and by email.

Hence a blog post.

You’ll see that this issue of weak cokernels of 2-groups is the integral version of what I had started to discuss at the level of Lie nn-algebras in

Obstructions and cokernels of Lie n-algebra morphisms

Posted at 10:34 PM UTC | Permalink | Followups (25)

Geometric Representation Theory (Lecture 2)

Posted by John Baez

Finally we get to see James Dolan in action, talking about Geometric Representation Theory! While I’ve been focusing on examples, now we’ll start to see the general principles at work in geometric representation theory, starting with this fact:

Every transformation group is the group of something-o-morphisms for an essentially unique something.

To formalize and prove this fact, he introduces the ‘orbi-simplex’. This is a beautiful geometrical method of constructing an axiomatic theory from an action of a finite group GG on a finite set SS, such that this theory has a unique model — a model on SS — and the symmetries of this model are the group GG.

Not many people in the class knew enough mathematical logic to fully appreciate the cunning of this construction — but the whole point is that you don’t need to know all the standard ways of thinking about logic to enjoy the orbi-simplex.

Posted at 7:03 AM UTC | Permalink | Followups (62)

October 16, 2007

n-Curvature, Part III

Posted by Urs Schreiber

The context of weak cokernels within obstruction theory seems to be the best way to think of nn-curvature (I II, III).

Consider the statement

Curvature is the obstruction to flatness.

For n=1n=1 this sounds pretty obvious and trivial. But I claim that we should really read it as

(n+1)(n+1)-Curvature is the obstruction to nn-flatness.

This is now a statement about nn-bundles with connection and (n+1)(n+1)-bundles with connection (or rather about the correspodinng (n+1)(n+1)-transport and nn-transport). And it is not all that trivial anymore. There is a general notion of obstruction theory for nn-bundles with connection, I think, and it applies here and produces a statement about (n+1)(n+1)-curvature which is at least non-obvious enough to have occupied me for quite a while.

But what was non-obvious once may become obvious as we refine our senses.

There is something non-trivial to be understood here, but we want to understand it in a natural way.

The main thing to be understood is why (n+1)(n+1)-curvature of a G (n)G_{(n)}-valued nn-transport takes values in the (n+1)(n+1)-group of inner automporphisms INN 0(G (n)). \mathrm{INN}_0(G_{(n)}) \,.

The full answer to this involves three main insights:

a) Obstruction theory.

b) (n+1)(n+1)-Curvature is the obstruction to lifting a trivial nn-transport to a flat nn-transport

c) Inner automorphisms and weak cokernels of identities on nn-groups

Posted at 9:20 PM UTC | Permalink | Followups (13)

Loday and Pirashvili on Lie 2-Algebras (secretly)

Posted by Urs Schreiber

Zoran Škoda made me aware of

J. L. Loday, T. Pirashvili
The tensor category of linear maps and Leibniz algebras
Georgian Math. J. 5 3, 1998, 263-276 .

Even though the authors do not use that term, this is about (strict) Lie 2-algebras, namely Lie algebras internal to “Baez-Crans 2-vector spaces”, as well as more general 2-algebras: associative, Hopf, etc, all internal 2Vect2\mathrm{Vect}.

Interestingly, they conceive 2Vect2\mathrm{Vect} entirely in terms of 2-term chain complexes, but consider on 2Term2\mathrm{Term} the non-standard monoidal structure which makes it equivalent even as a symmetric monoidal category to 2Vect2\mathrm{Vect}.

This non-standard monoidal structure is easy to figure out, but I think it is worthwhile making it explicit. Loday and Pirashvili make great use of it, in particular in that they prove that with that structure 2Term2\mathrm{Term} becomes cartesian closed and explicitly compute the internal hom.

The issue of finding this non-standard monoidal structure on 2Term2\mathrm{Term} is what Dmitry Roytenberg is referring to in the first paragraph on p. 4 of his article on weak Lie 2-algebras (pdf, html).

So it’s maybe worthwhile making explicit a couple of easy but useful facts here. That’s what I shall try to do in the following.

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

October 15, 2007

What is the Fiber?

Posted by Urs Schreiber

I was involved in a discussion about how to best think of bundle gerbes, when introducing them to laypeople. Here the laypeople were supposed to understand what a fiber bundle is (unlike those complete laypeople to which we explained gerbes last time, when there were Gerbes in The Guardian).

The statement was made that like a sheaf is to a stack, so a principal line bundle is to a line bundle gerbe.

This worried me a little. I do think that, instead, bundle gerbes (as opposed to true gerbes!) should better be thought of as corresponding to transition functions:

1 2 sheaf stack 1cocycle 2cocycle transitionfunction bundlegerbe principalbundle principal2bundle \array{ 1 & 2 \\ sheaf & stack \\ 1-cocycle & 2-cocycle \\ transition function & \mathbf{bundle gerbe} \\ principal bundle & principal 2-bundle }

Maybe that’s an incredibly nitpicky, boring and irrelevant point. But I happen to think it is important. Here I will expand on it by:

- reviewing how we get the total space of a bundle from a transition function by first building a certain groupoid and then forming a certain pushout

- and how similarly we obtain the total 2-space of a 2-bundle from a bundle gerbe by first forming a certain two-groupoid and then doing a certain pushout.

I think of this as being an example of Toby Bartels’ general prescription for building a 2-bundle from transition data, as described in section 2.5.4 of his thesis 2-Bundles. But I will formulate it with a certain emphasis along the lines of my discussion with David Roberts at the end of this.

Posted at 9:11 PM UTC | Permalink | Followups (23)

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

Posted by John Baez

In week257 of This Week’s Finds, watch a sphere turn inside out, find out where dust came from in the early universe, and explore the Red Rectangle:

Then, learn how the integers secretly form a three-dimensional space, with prime numbers resembling knots. Read about some new work applying topos theory to quantum mechanics. Hear what Eugenia Cheng told me about monads on a train to Sheffield. And finally — watch the Tale of Groupoidification on video!

Posted at 1:51 AM UTC | Permalink | Followups (52)

October 12, 2007

Geometric Representation Theory (Lecture 4)

Posted by John Baez

You can now watch lecture 4 of our seminar on Geometric Representation Theory. What happened to lectures 2 and 3, you ask? James Dolan gave those while I was travelling, but the videos aren’t available yet — sorry! Luckily, we’re tackling this subject from slightly different angles, so you can follow my latest lecture before watching his:

  • Lecture 4 (Oct. 9) - John Baez on categorifying and qq-deforming the theory of binomial coefficients — and multinomial coefficients! — using the analogy between projective geometry and set theory. Review of uncombed Young diagrams DD, and DD-flags on finite sets and finite-dimensional vector spaces over the field with qq elements, F=F qF = F_q. When DD has nn boxes, two rows, and just one box in the first row, the set D(F n)D(F^n) is the (n1)(n-1)-dimensional projective space over FF, and the number of points in D(F n)D(F^n) is the nnth qq-integer, defined by: [n] q=q n1q1 [n]_q = \frac{q^n - 1}{q - 1} When DD has nn boxes, two rows, and kk boxes in the first row, D(F n)D(F^n) is the Grassmannian consisting of kk-dimensional subspaces of F nF^n, and the number of points in D(F n)D(F^n) is the qq-binomial coefficient (nk) q=[n]! q[k]! q[nk]! q \binom{n}{k}_q = \frac{[n]!_q}{[k]!_q [n-k]!_q} where the qq-factorial [n]! q[n]!_q is given by [n]! q=[1] q[2] q[n] q [n]!_q = [1]_q [2]_q \cdots [n]_q For a general uncombed Young diagram DD, D(F n)D(F^n) is a partial flag variety, and its number of points is a ‘qq-multinomial coefficient’. Young subgroups versus parabolic subgroups. Decomposing projective spaces into Schubert cells.
Posted at 9:33 PM UTC | Permalink | Followups (19)

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

Posted by Urs Schreiber

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

0Σ n1u(1)g μg0 0 \to \Sigma^{n-1}u(1) \to g_\mu \to g \to 0

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

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

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

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

Diagram illustrating String-like lifts and their Chern-Simons-like obstructions (beware: 6 MB)

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

Posted at 4:35 PM UTC | Permalink | Followups (6)

October 11, 2007

BV-Formalism, Part IV

Posted by Urs Schreiber

Here are some further thoughts on BV-formalism and its interpretation in terms of groupoids. My main point here is to promote the slogan

What is called the “space of fields and ghosts” in BRST/BV formalism is nothing but the Lie algebroid of the action groupoid of the gauge group acting on the space of fields.

(Part I, II, III.)

Posted at 8:52 PM UTC | Permalink | Followups (14)

Question on Weak Pullbacks along Sequences

Posted by Urs Schreiber

Lately I have been running into the following issue, whose full meaning I am trying to better understand.

It’s about a situation where we have two composable morphisms of groupoids

KG>B K \hookrightarrow G \to\gt B

with the property that the image of the left monomorphism is entirely included in the preimage under the right epimorphism of all identity morphisms in BB.

I’ll address this situation as a short sequence of groupoids. (Here I am not concerned with whether and how this sequence might be “exact”.)

Then with any morphism into BB given

P K G > B \array{ &&&& P \\ &&&& \downarrow \\ K &\hookrightarrow& G &\to\gt& B }

I want to have a sensible notion of what it means to pull this back weakly along the sequence.

It seems that I know (motivated by my application where this arises in) what the right answer is. What I am looking for is the right question that yields this answer.

Here is what the answer is supposed to be, for which I am looking for the right question:

Answer: given the above setup, we want to complete to a diagram

P F P Y > P X K G > B \array{ P_F &\hookrightarrow& P_Y &\to \gt& P_X \\ \downarrow &\Downarrow&\downarrow &\Downarrow& \downarrow \\ K &\hookrightarrow& G &\to\gt& B }

with the special property that


P FP Y>P X P_F \hookrightarrow P_Y \to \gt P_X

is itself a sequence of groupoids.


P F P Y > P X G > B \array{ P_F &\hookrightarrow& P_Y &\to \gt& P_X \\ &&\downarrow &\Downarrow& \downarrow \\ && G &\to\gt& B }

is the identity transformation


P F P Y K G > B \array{ P_F &\hookrightarrow& P_Y && \\ \downarrow &\Downarrow&\downarrow && \\ K &\hookrightarrow& G &\to\gt& B }

is the identity transformation.

Question: What exactly is the question that yields this answer?

Posted at 5:16 PM UTC | Permalink | Followups (2)

October 9, 2007

Categorified Clifford Algebra and weak Lie n-Algebras

Posted by Urs Schreiber

What is a categorified Grassmann algebra?

What is a categorified Clifford algebra?

What differential algebraic structure are fully weak Lie nn-algebras equivalent to?

Is there a relation between these questions?

The principle of least resistance under categorification says

We understand the true nature of a concept the deeper, the more straightforwardly the definition we use to conceive it lends itself to categorification.

Hence we have a complete understanding of the true meaning of the concept of a Lie group. And therefore still a rather good understanding of the concept of Lie algebra.

But do we already, in this sense, understand the true nature of the concepts “Grassmann algebra” and “Clifford algebra”?

Of course I could try to describe a categorified Grassmann algebra as something like an abelian monoidal category equipped with a categorified version of graded-commutativity.

But it turns out that there is something even less resistive:

A Grassmann algebra V\wedge^\bullet V over a vector space VV is related by Koszul duality to the abelian Lie algebra on VV.

(See for instance the beginning of Lie nn-algebra cohomology for more on how this works.)

But we said Lie algebras are nicely categorified. So we should maybe say

An nn-Grassmann algebra V\wedge^\bullet V over a vector space VV is defined to be the Koszul dual to an abelian semistrict Lie nn-algebra.

That would imply that an nn-Grassmann algebra is the graded-commutative algebra

V \wedge^\bullet V

freely generated over a graded vector space concentrated in degrees 1dn1 \leq d \leq n.

One generalization of this fact is well known: as we pass from abelian to general Lie nn-algebras – whose bracket is strictly skew-symmetric but whose Jacobi identity holds only up to coherent equivalence – the Koszul-dual algebraic side generalizes from free graded-commutative algebras to differential graded commutative algebras.

In fact, people use precisely this kind of identification to set up their definitions: since on the side of differential graded algebras the generalization to many-objects is obvious, one defines a Lie nn-algebroid to be (dual to) a suitable dg-manifold.

This means we are left with two open questions:

- we still need to figure out what happens as we replace Grassmann algebras by Clifford algebras here

- we are still assuming that the skew-symmetry of the bracket functor [,]:S×SS[\cdot,\cdot] : S \times S \to S holds strictly.

In Detecting Higher Order Necklaces I conjectured that these two items are indeed dual to each other.

If true, this would mean that

An nn-Clifford algebra over a vector space VV is defined to be the Koszul dual to an abelian fully weak Lie nn-algebra.

and presumeably that

Fully weak Lie nn-algebras are Koszul dual to differential graded Clifford algebras.

Today mankind made one further step towards checking this conjecture: Dmitry Roytenberg has now issued his thoughts on fully weak Lie 2-algebras:

Dmitry Roytenberg
On weak Lie 2-algebras

Exercise: Give the codifferential coalgebra description of Dmitry Roytenberg’s weak 2-term L L_\infty-algebras (p. 9). Then dualize to find the corresponding differential algebra. Check if it can be sensibly addressed as a differential graded Clifford algebra.

(Notice that we expect to see “graded” Clifford algebra: the anticommutator of two degree 1 elements is degree 2.)

Posted at 4:01 PM UTC | Permalink | Followups (12)

Progic IV

Posted by David Corfield

We’ve discussed matrix mechanics over rigs in many places over the years. I remember us toying with the idea that morphisms between rigs would allow us to pass in one direction or another between the corresponding mechanics. Perhaps this might give us some link between, say, the quantum mechanics supported by a space and its topology, the latter being all about path integrals with truth values.

For an easy example, if there’s a non-zero possibility of a particle propagating from A to B within a space then there must be a path from A to B within that space. The fun would really begin if we could reach higher homotopy. Can we couch the Bohm-Aharonov effect in these terms?

But if we wanted to get probabilities in on the act, we appear to be blocked by the fact that probability theory is not matrix mechanics over a rig. On the other hand, as John points out, at least in the case of finite probability spaces, we can invoke Durov’s generalized rings or algebraic monads. So why not look at morphisms between generalized rings?

Who knows what fun might be had passing along such morphisms, given that for the generalized ring known as the field with one element, 𝔽 1\mathbb{F}_1, it is claimed that

…a lot of statements in algebraic topology become statements about homological algebra over 𝔽 1\mathbb{F}_1.

What is homological algebra over the other generalized rings? And if

…the higher K-theory of 𝔽 1\mathbb{F}_1 must be the homotopy groups of spheres (p. 1),

what of the higher K-theory of other generalized rings?

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

October 7, 2007

Geometric Representation Theory (Lecture 1)

Posted by John Baez

This fall, the so-called Quantum Gravity Seminar at U. C. Riverside will actually tackle geometric representation theory — the marvelous borderland where geometry, groupoid theory and logic merge into a single subject. And there are two other new things about this seminar.

First, it will be jointly run by John Baez and James Dolan. In addition to explaining well-known stuff, we’ll report on research we’ve done with Todd Trimble over the last few years. Second, we plan to offer videos as well as written notes of the seminar. We’re still working the bugs out of the technology, so please bear with us.

As usual, the seminar will meet on Tuesdays and Thursdays, and you can ask questions and discuss things here at the nn-Category Café.

This week, I kicked off the proceedings with a gentle introduction to a few of the main themes.

Posted at 12:43 AM UTC | Permalink | Followups (70)

October 5, 2007

Report on AIM Workshop: Towards Relative Symplectic Field Theory

Posted by Urs Schreiber

guest post by Jim Stasheff

September 24 to September 28, 2007: AIM workshop Towards Relative Symplectic Field Theory at the CUNY Graduate Center, New York City organized by Kai Cieliebak, Tobias Ekholm, Yakov Eliashberg, Kenji Fukaya, Dennis Sullivan, and Michael Sullivan.

See this for more details about the scope of the workshop.

Posted at 10:34 AM UTC | Permalink | Followups (6)

October 2, 2007

Cohomology of the String Lie 2-Algebra

Posted by Urs Schreiber

Unfortunately I haven’t found the time to come by the nn-Café a lot lately. After I returned from my travels I needed to recover a little and see my family. Then, to my considerable delight, Danny Stevenson arrived last weekend in Hamburg, where he now has a position in our department. We spent the better part of the last two days taking care of the inevitable administrative paperwork and with running around in Hamburg trying to find a nice place for him to stay.

While sitting on trains through and in Cafés in Hamburg, we had lots of time for discussion. In one of these discussions the following insight materialized, which I believe I am allowed to share. It’s rather beautiful in its simplicity, and indeed won’t be news at all to experts – except possibly for the slightly new point of view which it might offer on a well-known construction.

I will descibe how the Lie 2-algebra cohomology of the String Lie 2-algebra of Baez-Crans Lie nn-algebra type is governed by the twisted 2\mathbb{Z}_2-graded differential

d H:=d+H,, d_H := d + H \wedge \cdot ,,

familiar from the study of twisted K-theory and obtainable for any closed 3-form HH, for the case where we are looking at differential forms on the underlying compact Lie group GG with HH being the canonical 3-class on that group.

It’s mostly – but not entirely – a big tautology. But possibly an enjoyable and insightful one.

Posted at 9:45 PM UTC | Permalink | Followups (9)

October 1, 2007

Spans in Quantum Theory

Posted by John Baez

Tomorrow I’m getting up at 5 am to catch an airplane, to give this talk the following day:

This will be the first time I’ve been back to Princeton since my undergraduate friends all left sometime around 1984. It’ll be interesting to see how the place has grown. But, it will be strange staying at the Nassau Inn instead of the vegetarian hippie freak coop at 2 Dickinson Street.

It’s also strange that after all these years, I’m being invited by someone in the philosophy department, rather than math. But there’s a kind of poetic justice to it, since I did my senior thesis there under the supervision of John Burgess, in the philosophy department. I was a math major, and my thesis was on ‘Recursivity in Quantum Mechanics’, but I couldn’t get anyone in the math department to advise me on this project — I was young and dumb then, and didn’t realize you were supposed to let them pick you a project. Since my thesis used a lot of recursive function theory, and Burgess knows that stuff, I wound up working with him. And, he helped me a lot!

Posted at 11:16 PM UTC | Permalink | Followups (64)