This post is a report on a talk that Mikhail Kapranov gave in Berkeley a few weeks ago on the “fundamental Lie algebra” — it is a Lie algebra associated to a manifold and a point on the manifold much like the fundamental group. Before telling about what Kapranov said, I’d like to start with some background.

Let be a manifold and . Suppose we consider pairs where is a vector bundle and is a flat connection on . Two such pairs may be tensored together to produce a new vector bundle with flat connection .

Define a group by the following procedure. An element is a collection of linear isomorphisms for each which are natural with respect to maps and which obey the rule .

In other words, an element of is a linear automorphism of the fibre at of any vector bundle with flat connection. So, what is ?

As you might have guessed, is the fundamental group of with respect to the basepoint . To see why this is reasonable, note that any loop in based at gives rise to a monodromy map by integrating the connection. However, homotopic loops give rise to the same map since the connection is flat.

Now, what happens when we change our setup to include all connections (not necessarily flat). Then we end up with a much bigger group which is roughly the group of loops in based at modulo reparmetrization and going back and forth. This is a kind of infinite dimensional Lie group. Since this group is a bit hard to study, we will consider its Lie algebra.

To define this Lie algebra, consider the vector space whose elements are collections of linear maps where now ranges over all vector bundles with connection. We will impose the naturality condition and also that . This vector space is naturally a Lie algebra. Kapranov calls this Lie algebra the fundamental Lie algebra.

To see some elements of , recall that if is a vector bundle with connection, then we have a curvature which is an valued 2-form on . Hence if we have any element of then we can pair it against the value of at to get a endomorphism of . This construction gives rise to a map .

Kapranov has proven the following theorem which describes . Before stating it, we need to recall the notion of the free Lie algebra associated to a vector space , . As you might expect it is just the free Lie algebra generated by elements of . It is graded with graded pieces . For example and .

Theorem

is isomorphic (not canonically) to .

In particular it is a free Lie algebra, since every Lie subalgebra of a free Lie algebra is free.

I should mention in closing is that what we have been doing is Tannakian constructions of groups (and Lie algebras). Namely we started with a tensor category with fibre functor and then we considered automorphisms of this fibre functor. Those who know me well will understand that I like this procedure since it is the key idea in the proof of the geometric Satake correspondence.

Thanks for this interesting summary.

I am wondering to which extent the terminology “fundamental Lie algebra” is suggestive. By that theorem you mentioned, the only information it contains is the dimension of the manifold. Or did I get this wrong?

The following remark is probably clear to everybody, but maybe it deserves to be said anyway in this context here.

There is (also) a natural and obvious Lie version of the fundamental group:

Namely the fundamental group itself is slightly evil, and naturally rather to be thought of as coming from the fundamental groupoid. That, in turn, is Lie (if the space is smooth) and hence has a Lie algebroid linearizing it: that Lie algebroid is just what is usually called the “tangent Lie algebroid” of X (the anchor is the identity map), but which I wouldn’t hesitate to address as the “fundamental Lie algebroid” of X.

Being a Lie algebroid, this is is also a Lie-Rinehart pair, given by an ordinary Lie algebra and an associative algebra, which are modules of each other in a compatible way.

For the tangent Lie algebroid that Lie algebra of its Lie-Rinehart incarnation is just the Lie algebra of vector fields on X (acting on the associative algebra of functions on X).

So then, it wouldn’t be all too radical to propose to address the Lie algebra of vector fields as the “fundamental Lie algebra” of X. Because it is still immediately the Lie version of the fundamental Lie groupoid, in the general sense in which Lie groupoids have Lie versions.

Sorry, I realize that my terminology is a bit a ambiguous: by “Lie version” of a Lie groupoid I mean its linearization to a Lie algebroid.

There is a Lie algebroid version of Kapranov’s work as well which he explained during his talk as well. In the Tannakian description, instead of endomorphisms of the fibre of the vector bundle you should look at the endomorphisms of the whole vector bundle. This will give a sheaf of Lie algebras on M. Note that it will contain vector fields, which act through the connection. However, their Lie bracket in this Lie algebra will not be their ordinary Lie bracket — you get another term corresponding to the connection. Kapranov calls this the Lie algebra of non-commutative vector fields on M. It is a Lie algebroid and the fundamental Lie algebra is its fibre.

Is it true that in the original example with flat connections you get the fundamental group on the nose? I would have expected that you get the pro-algebraic completion. I think that’s the way it works in algebraic geometry.

I guess it shouldn’t be a surprise that the isomorphism type doesn’t depend on anything but the dimension of M, since the Lie algebra of the group in question is given by equivalence classes of infinitesimally small loops based at x.

I imagine the Lie algebroid in question can be given as some free object on the universal formal groupoid of M (morphisms given by the completion of the diagonal in M x M).

James,

I think the existence of connections with infinite order monodromy (e.g. the differential equation zd/dz – sqrt(2) on the punctured line) destroys the universality of the proalgebraic completion. This is not really my field, though.

Scott – I don’t think infinite monodromy is a problem for

the proalgebraic completion, just for the profinite completion:

in the proalgebraic completion we’re taking a limit

over representations into GL_n for all n, which can

certainly have infinite monodromy.

James – I think the question is what you mean by a flat vector bundle.

If you allow infinite rank vector bundles I think you see the full pi_1 —

after all every group has a faithful representation on a vector space

(namely the regular representation), however unpleasant that

representation may be. I may be missing something more subtle though.

It’s not a surprise given the definition. I was wondering about the motivation for addressing the Lie algebra given by that definition as the “fundamental” Lie algebra, given than there is another choice which might rather deserve this name and which does capture more information.

But it’s just a matter of taste, not really important.

David – That must be it. But you need to add that the representation is not just faithful but has closed image or something (which maybe meant). You can have faithful finite-dimensional representations of infinite fundamental groups, as Scott points out. Similarly, you can have faithful actions of infinite discrete groups on pro-finite sets. So, if you allow infinite-rank vector bundles then the corresponding version of pro-algebraic completion probably agrees with the identity functor, and all is OK.

> I should mention in closing is that what we have been doing is Tannakian constructions of groups (and Lie algebras). Namely we started with a tensor category with fibre functor and then we considered automorphisms of this fibre functor.

That’s indeed a nice way of thinking about it. Another small point to bear in mind is that Urs and Konrad Waldorf (arXiv:0705.0452) have made sense of the notion that a vector bundle with connection on a manifold X can be -defined- as a “smooth functor” from the path groupoid P_1(X) of X into Vect. This is the “look mom, no total space and no infinitesimals” viewpoint of a vector bundle with connection.

Then as you say, for every x we have a monoidal functor

fib_x: [P_1(X), Vect] –> Vect

and we are looking at the automorphisms of this fiber functor. I’m not really sure how to sneak infinite dimensional vector bundles into this game though.