We have monads = triples for both assoc algebras and Lie algebras but monad structure is associative 1)has any work been done on Lie analog of a monad? (an `infinitesimal ' monad) 2) has any work been done on the Lie analog of a category? i.e. skew-comm `comnposition' satisfying Jacobi when all three are defined?? jim stasheff +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
We have monads = triples for both assoc algebras and Lie algebras but monad structure is associative
>1)has any work been done on Lie analog of a monad? >(an `infinitesimal ' monad) As far as I know, there is presently no infinitesimal analog of (proper) monoids. The reason might be that infinitesimal transformations are infinitely near the identity and very often the set of inversible transformations is an open neighbourhood of the identity.
2) has any work been done on the Lie analog of a category? i.e. skew-comm `comnposition' satisfying Jacobi when all three are defined??
jim stasheff
There is a theory of Lie groupoids which I will discuss briefly. By definition, a Lie groupoid is a groupoid G=(G1,G0,d0,d1,m,u) in the category of smooth manifolds. In this definition, we need to take a pullback in the category of manifolds. The domain and codomain maps of G (ie d0 and d1) are better be submersions if we wish this pull-back to exist. The following infinitesimal structure can be associated to a Lie groupoid. It is a pair (A,D) where A is a commutative R-algebra and D is a Lie algebra (over R) such that 1) D is acting on A (as derivations): X(fg) = X(f)g + fX(g) , [X,Y](f) = X(Y(f)) - Y(X(f)) 2) D is equipped with an A-module structure such that (fX)(g) = fX(g) and [X,fY] = X(f)Y + f[X,Y] (for any f,g in A and X,Y in D) The pair (A,D) associated to G is the following: A is the algebra of smooth functions on G0. D is the set of infinitesimal one parameter deformations of u considered as a section of d0. In other words, if T(G1) is the tangent bundle of G1 and V is the subbundle of T(G1) consisting of vectors killed by d0, then D is the module of global sections of the pull-back of V along u. The mapping d1 defines a map from D to global sections of T(G0), from which we obtain the action of D on A. The Lie algebra structure on D is a bit harder to describe. The best way is to exibit a group H of which D is (morally) the Lie algebra. In analogy with the Lie algebra of vector fields on a manifold which is the infinitesimal portion of the group of diffeomorphisms of the manifold. H is the set of pairs (f,s) where f:G0-->G0 is a diffeomorphism and s:G0-->G1 is section of d0 such that (d1)s = f. The composite (f,s)*(g,t) is the pair (fg,w) where for every x in G0 we have w(x)=s(g(x))t(x). (this definition is reminescent of the wreath product). Remark: the group H fits in a crossed module stucture H-->a(G) where a(G) is the group of automorphism of the groupoid G. Actually, this crossed module is equivalent to the group of automorphism of G as a group object in Cat. It is quite clear that D is the infinitesimal counterpart of H (a pair (f,s) in H is determined by s). Lie theory produces a one to one correspondance between finite dimensional Lie algebras and simply connected Lie groups. More precisely, the left adjoint to the functor {Lie groups}--> {finite dim Lie algebras} defines an equivalence between the category of finite dimensional Lie algebras and the category of simply connected Lie groups. There is an analogous theory for Lie groupoids and pairs (A,D). It was developped rigorously only quite recently by Jean Pradine (verbatim). But functoriality is awkard if we insist in representing the infinitesimal structures by pairs (A,D) as above. However, functoriality is natural if D is dualised. Putting F = D* we obtain a sequence A-->F-->F^2 where d:A-->F is defined by d(f)(X) = X(f) and d:F-->F^2 by d(h)(X,Y)= X(h(Y)) - Y(h(X)) - h([X,Y]) (here F^2 is the exterior square of F). These two differential operators can be extended uniquely to an (anti-) derivation d of the full exterior algebra E(F) of the A-module F: A-->F-->F^2-->F^3-->... We have d(vw) = d(v)w +(+-1)vd(w) and also dd=0. In other words, we have a kind of de Rham complex structure on the exterior algebra of the A-module F. Conversely, it is easy to see that a triple (A,F,d) where d is (anti-) derivation of degre 1 on the exterior algebra of a projective module of finite rank F is obtained as above from a unique pair (A,D) with D=F*. There is an obvious category of the triples (A,F,d) (let me call them de Rham complexes): a morphism (A,F,d)-->(B,M,d) is a pair (f,g) where f:A-->B is an algebra map and g:F-->M is A-module map such that the corresponding homomorphism of exterior algebras E(F)-->E(M) commutes with the "exterior" derivatives. It is easy to see that we have a contravariant functor {Lie groupoids}--->{de Rham complexes} and it follows from the work of Pradine that it has a left adjoint Exp (the exponential functor) Exp:{de Rham complexes}--->{Lie groupoids} when it is restricted to complexes (A,F,D) in which A is an algebra of smooth functions on a manifold. The functor Exp is full and faithful. Its image should consist of some kind of simply connected Lie groupoids. I guess (I should really read Pradine ...) these groupoids are those for which the fibers of d0 are simply connected. ?? An interesting example is given by the ordinary de Rham complex DR(M) of a manifold M. We have Exp(DR(M))= pi1(M) where pi1(M) denotes the homotopy groupoid of M. The set M1 of arrows in pi1(M) is the set of homotopy classes of paths in M (end points fixed). The fiber of d0:M1-->M at x is the universal cover of M constructed from the basepoint x. Another interesting example is obtained by considering an integrable differential system on a manifold M. It is a set J of 1-forms such that d(J) is contained in the ideal of DR(M) generated by J. In other words, J generates a differential ideal and DR(M)/J (a short hand for DR(M)/JDR(M)) has the structure of a de Rham complex. The Lie groupoid Exp(DR(M)/J) has a simple geometric interpretation. According to a theorem of Frobenius J is the set of 1-forms vanishing on the leaves of a foliation on M. The arrows of Exp(DR(M)/J) are homotopy classes of paths lying in the leaves. The groupoid Exp(DR(M)/J) was used by A.Connes in his work on foliations. Best wishes, andre joyal +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
The book "Lie Groupoids and Lie Algebroids in Differential Geometry" by Kirill Mackenzie [London Math Soc Lect Note Series 124; Camb U Press] may be of interest to Jim Stasheff. But this is about mixtures of category and Lie structures rather than replacement of the cat by the Lie. The Pradine work referred to by Andre Joyal is expanded on in Kirill's book. Ross (Street) +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
This is in response to Andre Joyal's message of Jul 13, and in enlargement of Ross Street's of last week. I have been away for the last three weeks. As Ross already intimated, quite a lot of work has been done on the infinitesimal theory associated with Lie groupoids since Pradines' notes of the 1960s. I just add a few comments. (1) The object which Joyal describes:
It is a pair (A,D) where A is a commutative R-algebra and D is a Lie algebra (over R) such that
1) D is acting on A (as derivations): X(fg) = X(f)g + fX(g) , [X,Y](f) = X(Y(f)) - Y(X(f)) 2) D is equipped with an A-module structure such that (fX)(g) = fX(g) and [X,fY] = X(f)Y + f[X,Y] (for any f,g in A and X,Y in D)
was defined abstractly by Herz in 1953 and called a Lie pseudo-algebra. It has since been reinvented by a very large number of people, most of whom also invented a new name; there are some 14 different terminologies in the literature. Pradines was unique in defining the narrower concept of Lie algebroid: a vector bundle $A$ on base $M$ (the set of identities when the Lie algebroid comes from a Lie groupoid) together with a vector bundle morphism $a\colon A \to TM$ and a bracket $[\ ,\ ]$ of global sections of $A$ which makes the real vector space of global sections into a real Lie algebra and obeys $a[X,Y] = [aX,aY]$ and $[X,fY] = f[X,Y] + a(X)(f)Y$ for global sections $X,Y$ of $A$ and smooth functions $f$ on $M$. This is the object which matters for the Lie theory of Lie groupoids. Note that the partiality of the multiplication for groupoids gets transformed into the module structure for the global sections and the map $a$, rather than into a "partial bracket". It can be interesting to think of the associated Lie pseudo-algebra as an infinite-dimensional Lie algebra associated to the infinite-dimensional group of admissible sections (H in Joyal's notation). But so far as I know there is no sufficently developed general theory that one could then apply. Rather, the Lie groupoid structure enables one to do directly in this case (most of) what one wishes a general theory of infinite-dimensional Lie groups could do. (For a groupoid which comes from a principal bundle, the group H of admissible sections is the group of gauge transformations.) The Lie groupoid/Lie algebroid formalism allows one (amongst many other things) to pretend that any manifold is a Lie group, any (sufficiently smooth) equivalence relation arises from a smooth Lie group action, and so on. (2) Pradines' notes of the 1960s sketched a Lie theory for Lie groupoids and Lie algebroids, but gave very few details. In the 1987 book which Ross mentioned I gave a full account for locally trivial Lie groupoids and transitive Lie algebroids (= the map $a\colon A\to TM$ is surjective). In this case, one can use methods quite different from those which Pradines sketched. In the general case quite a lot is known but there is no systematic account and some things are still open. Since my book was written Weinstein and, independently, Karasev, have created an extensive theory of symplectic groupoids, and special techniques are available in this case also. Symplectic groupoids are very far from being locally trivial. (Terminology: In my book, a Lie groupoid is always taken to be locally trivial, and the general concept is called a differentiable groupoid.) (3) Functoriality can be achieved without any dualization. Philip Higgins and myself (J. Alg. 129, 1990, 194--230) developed a means of working with general morphisms of Lie algebroids. The basic categorical constructions with groupoids (equivalence between actions and action morphisms, semi-direct products, quotients, etc) then also hold for abstract Lie algebroids. It is a curious fact that, although there is a very natural definition of morphism for Lie pseudo-algebras, it does not correspond to the infinitesimal map induced by a morphism of Lie groupoids. This is another reason for distinguishing between Lie algebroids and Lie pseudo-algebras. The dual of a Lie algebroid has a natural Poisson structure, extending the linear Poisson structure on the dual of a Lie algebra (Courant, Trans AMS, 319, 1990, 631--661). One knows that a linear map between Lie algebras is a morphism iff its dual is a Poisson map. Extending this to Lie algebroids runs into the problem of how to dualize a base-changing morphism of vector bundles. Higgins and I found a way around this ("Duality for base-changing morphisms...", Math. Proc. Camb. Phil. Soc. to appear very shortly). (4)
It is easy to see that we have a contravariant functor
{Lie groupoids}--->{de Rham complexes}
and it follows from the work of Pradine that it has a left adjoint Exp (the exponential functor)
Exp:{de Rham complexes}--->{Lie groupoids}
when it is restricted to complexes (A,F,D) in which A is an algebra of smooth functions on a manifold.
The functor Exp is full and faithful. Its image should consist of some kind of simply connected Lie groupoids. I guess (I should really read Pradine ...) these groupoids are those for which the fibers of d0 are simply connected. ??
Not all Lie algebroids arise as the Lie algebroids of Lie groupoids, even in the transitive case. Counterexamples were given by Almeida and Molino (CRAS (Paris), 300, 1985, 13--15). For transitive Lie algebroids I gave a cohomological obstruction to integrability; this is a kind of nonabelian first Chern class. See Chapter 5 of the book already mentioned for the case where the base is simply-connected and Cahiers 28, 1987, 29--52, for the general case. A general framework for thinking of this obstruction is given in JPAA 58, 1989, 181--208. (5) There is also a Lie theory associated with double Lie groupoids. Here a double groupoid is a groupoid object in the category of groupoids: it is a double Lie groupoid if it has a smooth structure making all four groupoid structures Lie and such that the map which sends any square to (say) its right side and its bottom side is a surjective submersion. Double Lie groupoids arise by natural games with ordinary groupoids, and in homotopy theory, but also in the integration of Poisson Lie groups (Lu and Weinstein, CRAS (Paris), 309, 1989, 951--954) and Poisson groupoids. Taking the infinitesimal object associated to a double Lie groupoid is a two-step process; the first step yields an LA-groupoid, that is, a groupoid object in the category of Lie algebroids. These are of interest in themselves: the cotangent bundle of a Poisson Lie groupoid is an LA-groupoid, for example. See Adv. Math. 94, 1992, 180--239. QUESTION: What is the infinitesimal object corresponding to a (Lie) 2-category? Is there a Lie theory here also? Lastly, to revert to Jim Stasheff's original question, given all the above and given that there is also a theory of Lie semigroups (Hilgert-Hofmann-Lawson), it should be straightforward to define an infinitesimal object associated to a "Lie category". How far one could get with a Lie theory is another matter entirely. My impression of the semigroup theory is that the absence of inverses causes plenty of difficulties there already. Kirill Mackenzie +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Damn: I just noticed my note got the map $p: \tilde{G} \to G$ the wrong way round, though I am sure the correction was spotted easily. I should also say that aim of the Brown-Mucuk paper (again following Pradines) is to use methods of free groupoids to get the monodromy principle as well: the globalisation of local morphisms to the star universal cover. The nice point is that if (G,W) is a locally Lie groupoid one gets star covering morphisms \tilde G \to Hol(G,W) \to G, and there may be interesting Lie groupoids sandwiched between the first two. There is a problem of terminology. From a topological groupoid G one obtains a groupoid $\tilde{G}$ which is the star universal cover. If $G = X \times X$, then \tilde G is the fundamental groupoid of X. If G is the equivalence relation of a foliation, then \tilde G is the socalled ``homotopy groupoid'' of the foliation, i.e. the fundamental groupoid of X with the leaf topology. There is a temptation to call \tilde G the ``fundamental groupoid of G'', but this conflicts with the fundamental groupoid of the underlying space of (the arrows of ) G. Ronnie +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
I would like to comment on the considerations raised in the recent messages of Joyal, Street, Mackenzie, and Brown, but from a somewhat different perspective. Although I accept the fact that the notion of Lie algebroid is what matters for the Lie theory of Lie groupoids, I think there are a couple of reasons why the general concept of Lie pseudo-algebra should not be dismissed. The first is that examples arise from a variety of sources in algebra. A fundamental one comes from any k-algebra A (k a field, say) with commutative subalgebra K. Namely, let A+ be the "differential normalizer" of K in A: The set of all u in A with ux - xu in K for all x in K. Then (K,A+) is a Lie pseudo-algebra over k; moreover, for fixed K/k, the functor A ------> (K,A+) has a left adjoint (K,L) ------> U(K.L), the universal enveloping algebra of a Lie pseudo- algebra constructed by Rinehart [TAMS 108 (1962)]. (Actually, this is not quite the whole story, since in general one must consider algebra maps K ----> A that are not necessarily embeddings). Another important example arises from a Lie k-algebra L acting on a commutative k-algebra K by derivations: (K,K#L) is then a Lie pseudo-algebra, where K#L is the tensor product of K with L over k with a suitable twisted bracket operation. My other reason to keep Lie pseudo-algebras in mind is that they should form part of a larger theory of groupoid schemes and formal groupoids. Although some years ago I explored and used some special cases of these notions (see below), I am not aware of any systematic development of them in the literature. That is, with the exception of the appendix on groupoid schemes and Hopf algebroids in Ravenel's 1986 book on stable homotopy. ;I would be interested in hearing of other references. (In this regard I should also mention Huebschmann's paper on Poisson algebras [Crelle 408 (1990)], in w;hich Lie pseudo-algebras play an important role). As is suggested by the examples discussed above, Lie pseudo-algebras have a long history in the Galois theory and Brauer group literature. Jacobson's Galois correspondence for purely inseparable extensions of exponent one is between intermediate fields in such an extension and restricted Lie pseudo-subalgebras of (K,L), with L the restricted Lie pseudo-algebra of k-derivations of K [Amer. J. Math. 66 (1944)]. Hochschild classified Brauer classes of central simple k-algebras split by K (with K/k as above) in terms of extensions of restricted Lie pseudo-algebras [TAMS 76 (1954) and 79 (1955)]. In my paper [Amer. J. Math 98 (1976)] I generalized Jacobson's theorem to modular purely inseparable extensions of arbitrary exponent by a method that rests on the notion of the group scheme G# of admissible sections of a finite groupoid scheme. Although at the time it seemed clear to me that an analogous theory of Lie groupoids should exist, until 1988 I was unaware of the work that had been done in that area, and I am indebted to Ronnie Brown for informing me of it. It is not surprising that the group of admissible sections should play a role in Galois theory, since it provides a very natural definition of the automorphism group (or "group of symmetries") of a collection of objects, in a manner which takes into account not only the symnmetries of the individual objects but also their isomorphisms with each other. The literature described above also suggests the appropriate groupoid analogue of the cocommutative Hopf algebra that arises as the continuous dual of the algebra of representative functions of a formal group, or the Hopf-Sweedler dual of the algebra of representative functions of a group scheme. In my view, this analogue should be Sweedler's notion of a xK-bialgebra [Groups of simple algebras, Publ. IHES no. 44 (1975)] (although presumably with some sort of antipode). To oversimplify a bit, a xK-bialgebra is a k-algebra A which is also a K-coalgebra, with suitable axioms linking the two structures (the module of primitive elements of A then yields a Lie pseudo-algebra for K/k). These algebras are a ubiquitous as Lie pseudo-algebras: In addition to the universal enveloping algebras mentioned above, they include the classical smash product K#G (G a group acting on K by k-algebra automorphisms) and the algebra of differential operators on K. But logically (if not historically) the paradigm here is the k-algebra A = kC of a small category C, with K the k-algebra of k-valued functions on the set X of objects of C; the coalgebra structure on A is defined in a manner entirely analogous to that of a group algebra (it also satisfies a similar universal property). Finally, the grouplike elements of A constitute the monoid of admissible sections of C. Steve Chase +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Date: Thu, 12 Aug 1993 16:59:28 -0400 From: chase@math.cornell.edu (Stephen Chase)
Although I accept the fact that the notion of Lie algebroid is what matters for the Lie theory of Lie groupoids, I think there are a couple of reasons why the general concept of Lie pseudo-algebra should not be dismissed.
I certainly agree that Lie pseudo-algebras deserve independent study. I have a survey article "Generalized Lie theories: Lie algebroids and Lie pseudo-algebras as algebraic invariants in differential geometry" in near-final stage, with a bibliog of about 100 references; this is available to people who have an interest in the subject. The orientation is towards the use of Lie algebroids and Lie pseudo-algebras as a unifying concept in first-order differential geometry, but the bibliog is intended to be complete and covers purely algebraic work that I know of.
Another important example arises from a Lie k-algebra L acting on a commutative k-algebra K by derivations: (K,K#L) is then a Lie pseudo-algebra, where K#L is the tensor product of K with L over k with a suitable twisted bracket operation.
That is, with the exception of the appendix on groupoid schemes and Hopf algebroids in Ravenel's 1986 book on stable homotopy.
From this perspective, the point of the # construction is that it enables general Lie pseudo-algebra morphisms to be reduced to the algebra-preserving case. In (K,K#L) above, L itself can be a Lie pseudo-algebra. Now if L --> L' is a morphism of Lie pseudo-algebras over a morphism of k-algebras K --> K',
If one considers Lie algebroids over a fixed base manifold, or if one considers Lie pseudo-algebras over a fixed (commutative) algebra, then everything in both cases is quite similar to the case of finite-dimensional Lie algebras over a field, at least as regards basic definitions and constructions. If one allows arbitrary base manifolds or base algebras things become very different. Firstly, morphisms of Lie algebroids and morphisms of Lie pseudo-algebras no longer correspond: the concept of morphism of Lie algebroid which arises by differentiating a morphism of Lie groupoids does not corrrespond to the natural concept of morphism of Lie pseudo-algebra. Higgins and I (Math. Proc. Camb. Phil. Soc., to appear) defined concepts of comorphism, so that a comorphism of Lie algebroids induces a morphism of their Lie pseudo-algebras, and a morphism of Lie algebroids induces a comorphism of Lie pseudo-algebras; this in particular enables a duality to be defined in both categories. there is an action of L on K', and the morphism can be lifted to (K',K'#L), and is now a morphism over K'. [MPCPS, cited above.] In the Lie algebroid context the analogue of the # construction was found independently and called an "action Lie algebroid"; it is the infinitesimal analogue of the Ehresmann construction of a groupoid from an action of a group(oid) and its characterization in terms of covering morphisms. See J. Alg. 129, 1990, 194--230 and refs there. Incidentally, morphisms of Lie pseudo-algebras also arise in Poisson geometry: a Poisson morphism induces not a morphism of the cotangent Lie algebroids but a morphism of the Lie pseudo-algebras of 1-forms. Quotients of Lie algebroids in the base-varying case are more complicated and need a kind of reduction process. I am not sure what the situation is with quotients of Lie pseudo-algebras. See J. Alg. 129, 1990, 194--230 again. The corresponding general quotient for (Lie) groupoids [Jour LMS, 42, 1990, 101--110] should have implications for Ravenel's 1986 Appendix. Kirill Mackenzie +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
participants (6)
-
chase@math.cornell.edu -
jds@math.upenn.edu -
joyal@mipsmath.math.uqam.ca -
Kirill Mackenzie -
MAS010@BANGOR.AC.UK -
street@macadam.mpce.mq.edu.au