Laubinger on Lie Algebras for Frölicher Groups
Posted by Urs Schreiber
[guest post by Martin Laubinger in the context of Smootheology: the study of generalized smooth spaces]
I have posted a preprint which contains the central new result I obtained in my
dissertation.
The result may not directly relate to higher category theory. Still, I would appreciate feedback and problems for further investigation:
Martin Laubinger
A Lie algebra for Frölicher groups
(arXiv)
Here is a short description: The category of Frölicher spaces is a cartesian closed category which contains the category of smooth finite-dimensional manifolds as a full subcategory. The same is true for the closely related category of diffeological spaces. However, it is easier to define tangent spaces to Frölicher spaces than to diffeological spaces. Many groups have natural Frölicher structures, including all Lie groups, but also certain groups of mappings such as or , which can not be given a manifold structure in general. A basic question is whether the tangent space (in the Frölicher sense) at the identity of these groups can be equipped with a Lie bracket. I have been able to construct such a Lie bracket, but there is an additional condition which has to be verified. This condition is very natural, but I have not found a general proof. In my thesis, I did not have an example for a group which satisfies the extra condition, but in the meantime I verified the condition for the additive group (product of the reals) if J is not too big. This is explained in detail in the preprint.
Posted at July 1, 2009 10:19 AM UTC
Re: Laubinger on Lie Algebras for Frölicher Groups
Welcome Martin!
I’ve made it through the first few pages and I like it very much. Very clear writing. Anyone who can write something that penetrates my skull has some amazing talent :)
I had a very basic question about Frölicher spaces.
When I look at , I’m reminded of coordinate maps. If is a smooth -dimensional manifold we have coordinate maps
such that for any other coordinate map
is smooth (where defined). Comparing this to Frölicher spaces, I’m tempted to consider a Frölicher -space , where
Then a Frölicher space is a Frölicher -space for .
Does that make any sense?
Then you can imagine maybe crossing dimensions. For example, , where
and is to be thought of as the dimension of .
Does that make any sense?