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 30, 2008

Twisted Differential Nonabelian Cohomology

Posted by Urs Schreiber

This is something we are currently working on, various aspects of which have been the subject of recent discussion here:

Hisham Sati, U. S., Zoran Škoda, Danny Stevenson
Twisted differential nonabelian cohomology
Twisted (n1)(n-1)-brane nn-bundles and their Chern-Simons (n+1)(n+1)-bundles with characteristic (n+2)(n+2)-classes
(pdf, 60 pages theory, 40 pages application currently (but still incomplete))

Abstract. We introduce nonabelian differential cohomology classifying \infty-bundles with smooth connection and their higher gerbes of sections, generalizing [SWIII]. We construct classes of examples of these from lifts, twisted lifts and obstructions to lifts through shifted central extensions of groups by the shifted abelian nn-group B n1U(1)\mathbf{B}^{n-1}U(1). Notable examples are String 2-bundles [BaSt] and Fivebrane 6-bundles [SSS2]. The obstructions to lifting ordinary principal bundles to these, hence in particular the obstructions to lifting Spin\mathrm{Spin}-structures to String\mathrm{String}-structures and further to Fivebrane\mathrm{Fivebrane}-structures [SSS2, DHH], are abelian Chern-Simons 3- and 7-bundles with characteristic class the first and second fractional Pontryagin class, whose abelian cocycles have been constructed explicitly by Brylinski and McLaughlin [BML]. We realize their construction as an abelian component of obstruction theory in nonabelian cohomology by \infty-Lie-integrating the L L_\infty-algebraic data in [SSS1]. As a result, even if the lift fails, we obtain twisted String 2- and twisted Fivebrane 6-bundles classified in twisted nonabelian (differential) cohomology and generalizing the twisted bundles appearing in twisted K-theory. We explain the Green-Schwarz mechanism in heterotic string theory in terms of twisted String 2-bundles and its magnetic dual version in terms of twisted Fivebrane 6-bundles. We close by transgressing differential cocycles to mapping spaces, thereby obtaining their volume holonomies, and show that for Chern-Simons cocycles this yields the action functionals for Chern-Simons theory and its higher dimensional generalizations, regarded as extended quantum field theories.

Posted at 7:08 PM UTC | Permalink | Followups (10)

October 28, 2008

Google Books — More Open Access?

Posted by John Baez

News flash!

A while back, various parties including five companies in the Association of American Publishers sued Google over their ‘Google Book Search’ feature. But now they’ve reached a settlement, which seems likely to affect us all.

Posted at 6:52 PM UTC | Permalink | Followups (19)

Lie Theory Through Examples 4

Posted by John Baez

This week in our seminar we’ll do some examples illustrating how a representation of a simply-connected complex simple Lie group GG gives rise to a function d:L * d : L^* \to \mathbb{N} where L *L^* is the ‘weight lattice’ of GG. Wonderfully, this function completely determines the representation (up to equivalence).

In physics, the most famous example is the meson octet, corresponding to the obvious representation of SU(3)SU(3) on sl(3,)sl(3,\mathbb{C}). It looks like this…

Posted at 2:54 AM UTC | Permalink | Followups (21)

October 26, 2008

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

Posted by John Baez

In week271 of This Week’s Finds, see massive volcanic eruptions on Jupiter’s moon Io. Learn about allotropes of sulfur, 2d quasicrystals formed by slicing higher-dimensional A nA_n latices:

and a 4d quasicrystal formed by slicing the E 8E_8 lattice. Read about Jeffrey Morton’s wonderful extension of the "groupoidification" idea. And hear what Stephen Summers has to say about new work on constructive quantum field theory!

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

October 24, 2008

Open Access at the University of California

Posted by John Baez

This fall I became chair of the library committee at U. C. Riverside. I hate committees, but I’m passionate about free world-wide access to scholarly research: journals, books, course materials, and so on. So when the request to head this committee came in my email, I couldn’t honestly duck it.

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

Groupoidfest 08

Posted by John Baez

I already announced this year’s Groupoidfest, which is being held here at UCR. The schedule won’t be finalized until a couple of weeks before it happens, but you can already see abstracts of some talks:

The talks are roughly divided among three subjects: groupoids and operator algebras, Lie groupoids, and groupoidification. It would be nice if we achieved some communication between these three camps, since there’s room for a lot more interaction than we’re seeing now.

Posted at 4:07 PM UTC | Permalink | Followups (8)

October 23, 2008

Hopf Algebraic Renormalization

Posted by Urs Schreiber

The basic idea and starting point of Hopf algebra methods in renormalization of quantum field theories.

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

Reviewing Ruelle’s Book

Posted by David Corfield

The November edition of the Notices of the American Mathematical Society is now available, and it includes my review of David Ruelle’s The Mathematician’s Brain.

Posted at 11:19 AM UTC | Permalink | Followups (3)

October 22, 2008

What is Categorification?

Posted by John Baez

Some folks are starting to talk more and more about “categorification”. Others are getting more and more puzzled by what this word means.

Let me tell you what it means.

Posted at 3:33 PM UTC | Permalink | Followups (58)

October 21, 2008

Codescent and the van Kampen Theorem

Posted by Urs Schreiber

It seems threre is a nice general picture which exhibits close relations between the following items

- fundamental \infty-groupoids

- co \infty-stacks

- codescent

- natural differential geometry

- the van Kampen Theorem.

I’ll chat about this and may have some questions, too.

Posted at 6:36 PM UTC | Permalink | Followups (25)

John McKay Visits Kent

Posted by David Corfield

John McKay, of McKay corrrespondence fame, came to speak to us at Kent yesterday. In a hour we were given his views on the past, present and future of the study of finite simple groups. The past was accessible enough, back to Plato and Empedocles, and beyond them to the Scottish stones. We were told to pester the Ashmolean Museum if they are reluctant to show them, since they are obliged to do so.

Naturally, the present and future were more difficult. Before briefly giving you a chain of terms I managed to jot down, a question. What biographical detail connects McKay with Robert Moody?

Posted at 9:06 AM UTC | Permalink | Followups (24)

Lie Theory Through Examples 3

Posted by John Baez

We spent last week catching up with the notes. I decided to spend this week’s seminar explaining how the concept of weight lattice, so important in representations of simple Lie groups and Lie algebras, connects to what we’ve been doing so far. My approach follows that of Frank Adams:

  • J. Frank Adams, Lectures on Lie Groups, University of Chicago Press, Chicago, 2004.

This book puts the representation theory of Lie algebras in its proper place: subservient to the Lie groups! At least, that’s the right way to get started. Groups describe symmetries; a Lie algebra begins life as a calculational tool for understanding the corresponding Lie group. Only later, when you become more of an expert, should you dare treat Lie algebras as a subject in themselves.

Posted at 6:26 AM UTC | Permalink | Followups (7)

October 20, 2008

Hepworth on 2-Vector Bundles and the Volume of a Differentiable Stack

Posted by Urs Schreiber

guest post by Bruce Bartlett


Recently, Richard Hepworth gave a seminar at Sheffield:

2-Vector Bundles and the Volume of a Differentiable Stack, (pdf, 9 pages).

Abstract: This seminar is an account of Alan Weinstein’s recent paper The Volume of a Differentiable Stack. I’ll explain that differentiable stacks are a generalization of smooth manifolds and that they crop up in many interesting situations, like the study of orbifolds or the study of flat connections. Just as every manifold has a tangent bundle, every stack has a tangent something, and I’ll explain that the something in question is a bundle of Baez–Crans 2-vector spaces. These 2-vector bundles are often horrible compared with vector bundles, but they still admit a ‘top exterior power’. We’ll see that sections of this top exterior power can be treated just like volume forms on a manifold, and in particular can be integrated to define the volume of a stack.

Posted at 9:56 PM UTC | Permalink | Followups (31)

Categorification in New Scientist

Posted by John Baez

Here’s an article on knot theory that mentions categorification:

  • Richard Elwes, Fundamental secrets are tied up in knots, New Scientist, October 15, 2008.

Richard Elwes is a mathematician and reporter based in Leeds, UK.

Posted at 11:28 AM UTC | Permalink | Followups (11)

October 19, 2008

Talk in Göttingen: Second Nonabelian Differential Cohomology

Posted by Urs Schreiber

Tomorrow, October 20th, I’ll talk in Göttingen about

Second nonabelian differential cohomology
pdf notes (5 pages and references)

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

Morton on 2-Vector Spaces and Groupoids

Posted by John Baez

My student Jeffrey Morton has come out with a paper based on his thesis:

  • Jeffrey Morton, 2-vector spaces and groupoids.

    Abstract: This paper describes a relationship between essentially finite groupoids and 2-vector spaces. In particular, we show to construct 2-vector spaces of Vect-valued presheaves on such groupoids. We define 2-linear maps corresponding to functors between groupoids in both a covariant and contravariant way, which are ambidextrous adjoints. This is used to construct a representation — a weak functor — from Span(Gpd) (the bicategory of groupoids and spans of groupoids) into 2Vect. In this paper we prove this and give the construction in detail. It has applications in constructing quantum field theories, among others.
Posted at 12:00 AM UTC | Permalink | Followups (16)

October 16, 2008

Entropy, Diversity and Cardinality (Part 1)

Posted by David Corfield

Guest post by Tom Leinster

This is the first of two posts about

The connection is provided by that important and subtle notion, entropy.

The ideas I’ll present depend crucially on the insights of two people. First, André Joyal explained to me the connection between cardinality and entropy. Then, Christina Cobbold told me about the connection between entropy and biodiversity, and suggested that there might be a direct link between measures of biodiversity and the cardinality of a metric space. She was more right than she knew: it turns out that the cardinality of a metric space, which I’d believed to be a new concept coming from enriched category theory, was discovered 15 years ago by ecologists!

Posted at 9:07 AM UTC | Permalink | Followups (47)

October 14, 2008

String- and Fivebrane-Structures

Posted by Urs Schreiber

Today appeared

Christopher L. Douglas, André G. Henriques, Michael A. Hill
Homological obstructions to string orientations
(arXiv)

which presents a new method to check if a given manifold admits a String-structure.

Posted at 9:07 PM UTC | Permalink | Followups (2)

Freely Generated ω-Categories

Posted by Urs Schreiber

I try to review some aspects of some of the literature on ω\omega-categories which are “freely generated”. Then I have some questions.

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

October 13, 2008

The Nature of Time

Posted by John Baez

The Foundational Questions Institute is having an essay contest on The Nature of Time. The top prize is $10,000, the second prize is $5,000, and so on.

It’s a fascinating topic, but I can’t say I’m thrilled with most of the essays. In fact, that’s a polite way of expressing my feelings, in keeping with the civil atmosphere of this café. I’ll mention my favorite essay below, and keep quiet about the worst.

Maybe you could do better. In fact, maybe you should give it a try! Just make sure to submit your essay before December 1st, 2008.

I would write one myself, but I don’t have… time.

Posted at 10:16 PM UTC | Permalink | Followups (16)

October 12, 2008

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

Posted by John Baez

In week270 of This Week’s Finds, see lava flowing on Jupiter’s moon Io.



Hear about Greg Egan’s brand new novel, Incandescence. Then - see talks about my favorite three numbers. Read about the Mathieu group M12. Learn how each regular polytope with 5-fold rotational symmetry is secretly linked to a lattice in a space of twice as many dimensions. And see a simple but surprising property of the number 12.

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

October 8, 2008

Semistrict Infinity-Categories and ω-Semi-Categories

Posted by Urs Schreiber

What is a semistrict \infty-category? The strictest possible version of weak \infty-category which is still general enough to satisfy the homotopy hypothesis?

Carlos Simpson in Homotopy types of strict 3-groupoids conjectured (on p. 27) that one remarkable answer is: \infty-categories with strict composition but possibly weak identities – “nn-snucategories” (strict, non-unital).

Joachim Kock in Weak identity arrows in higher categories remarked that

The conjecture in its strong form has startling consequences, defying all trends in higher category theory: every weak higher category should be equivalent to one with strict composition!

(p. 29)

and set out to formulate the conjecture in terms of the notion he calls a fair nn-category inspired by Tamsamani’s nn-categories. With Joyal he then proved the conjecture up to n=3n=3 (with some restrictions) in Weak units and homotopy 3-types.

A little later Simona Paoli in Semistrict Tamsamani nn-groupoids and connected nn-types proposed notions of semistrict Tamsamani nn-categories, showed (as mentioned in TWF 245) that they do satisfy the homotopy hypothesis, and conjectured (p. 69) that one of these versions “corresponds” to Kock’s “fair nn-categories”.

Of course there may not be the semistrict version of \infty-categories, and different choices may be useful for different purposes, as remarked in the very last two paragraphs on p. 22,23 of E. Cheng and N. Gurski’s The periodic table of n-categories for low dimensions I.

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

New Directions in the Philosophy of Mathematics

Posted by David Corfield

To celebrate the founding of MIMS, the mathematics department of the recently unified Manchester University, it was proposed that various workshops named ‘New Directions in…’ be run. They kindly agreed to allow Alexandre Borovik and me to organise one of these workshops on the Philosophy of Mathematics.

So, on Saturday 4 October, we began with Mary Leng, a philosopher at Liverpool, talking about whether the creation of mathematical theories, e.g., Hamilton’s quaternions, gives us any more reason to think mathematical entities exist than does the discovery of new consequences within existing theories. She concluded that it does not – both concern the drawing of consequences from suppositions, e.g., “Were there to be a 3 or 4-dimensional number system sharing specified properties with the complex numbers, then…”.

Posted at 1:57 PM UTC | Permalink | Followups (34)

October 7, 2008

Yet Another Model ω-Question

Posted by Urs Schreiber

In the context of \infty-Lie theory one wants to relate smooth \infty-groupoids with \infty-Lie-algebroids. The relation between the two seems to be induced by two adjunctions: the first relates \infty-groupoids to spaces, the second relates spaces to \infty-Lie algebroids.

With this in mind, it is interesting to compare the two standard model category structures on \infty-groupoids and on \infty-Lie algebroids (i.e. on DGCAs). It seems to me as if there is a chance that the model structure on \infty-Lie algebroids is induced from transporting that on \infty-groupoids through these two adjunctions. Which would nicely fit into the picture.

But is it true? Or something similar?

Below I repeat the question with all technical details given.

Posted at 5:28 PM UTC | Permalink | Post a Comment

Lie Theory Through Examples 2

Posted by John Baez

In this week’s seminar on Lie Theory Through Examples, we’ll move on up to the A 3A_3 lattice.

You’ve seen this lattice before: when you stack spheres in a triangular pyramid, their centers lie at points that form a lattice of this sort:




But to derive this lattice starting with the Lie group SU(4)SU(4), we’ll need to talk a bit about the Killing form. That’s what allows us to measure angles and distances in the Lie algebra.

Posted at 12:15 AM UTC | Permalink | Followups (30)

October 5, 2008

The Blog of Fun

Posted by David Corfield

The ‘field with one element’ has been honoured by a great accolade. As announced here, it has been awarded a blog all to itself. Not bad for an entity with dubious existence credentials.
Posted at 6:50 PM UTC | Permalink | Followups (4)

October 2, 2008

More Model ω-Questions

Posted by Urs Schreiber

Here are some further questions related to model category theory in general and the folk model structure on ω\omega-categories in particular, concerned with

- fibrant objects in ω\omega-categories;

- model structure on ω\omega-groupoids and crossed complexes;

- general question about weak universal property of homotopy (co)limits.

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

October 1, 2008

Mathematical Reality

Posted by David Corfield

Here is the draft of paper I’m contributing to a book on the work of Albert Lautman – Lautman and the Reality of Mathematics. I’m going to be talking about it this Saturday at a workshop I’m jointly organising. Comments are welcome.

Choosing the title for this post reminded me of a post with the same title written for my old blog, which is no longer hosted anywhere. I wrote back in December 2005:

Posted at 12:26 PM UTC | Permalink | Followups (6)