0
$\begingroup$

I can think of the set of bounded, continuous functions from $\mathbb R \to \mathbb R$ as a group, with composition as addition of functions. In other words, this group has the rule that the composition of two elements in the group, $f(x)$ and $g(x)$, is their point-wise sum $f(x) + g(x)$. Since this set is path connected, the group is continuous, i.e. it is a lie group.

What is the lie algebra of this group?

I am trying to use this approach to find a relationship between Lie theory and Fourier series, but I realize this might not work. So I have decided to just ask the question in this form. If anyone knows of any connections between Lie theory and Fourier series however, I am interested to hear about that.

(I realize I may have made some wrong/poorly stated assertions, please point these out in comments)

  • 1
    Matt, the usual way in which one says what you mean by «this group has the rule that the composition of two elements in the group is their point-wise sum» is «This is a group with operation given by pointwise sum».2010-08-30
  • 0
    @Qiaochu Yuan: The neutral element is the zero function. The group is additive. (At least, that is how I understand the question.)2010-08-31
  • 1
    I think the answer is contained in one of Mariano Suárez-Alvarez's comments below: "Well sure: if «with composition as addition of functions» does mean that the operation of the group is addition, then any sensible definition should result in a vector space with the zero bracket :P". This is so for any Banach space. The Lie group is the space itself.2010-08-31
  • 1
    Sorry, I misread the definition. It is very confusing to say "composition as addition of functions" since composition and addition are different operations of functions. One should say "the group operation is pointwise addition."2010-08-31
  • 0
    @Qiaochu Yuan: You were not the only one to be confused: see the answers and the other comments.2010-08-31
  • 0
    @Matt: Why is the group $(C_\mathrm{b}(\mathbb R),+)$ a Lie group? The fact that it's path connected does not imply that it has a manifold structure compatible with addition.2010-08-31
  • 0
    Dear Rasmus: Don't you agree that a Banach space is a smooth manifold? (You can define the notion of smooth function on an open subset.)2010-08-31
  • 0
    @True. I was pointing to the sentence "Since this set is path connected, the group is continuous, i.e. it is a lie group." which doesn't seem to be a correct reasoning to me.2010-09-25

1 Answers 1

3

Since your Lie group is infinite dimensional, one has to be careful about what exactly you mean by Lie algebra, and so on.

In any case, your «Lie group of bounded continuous functions $\mathbb R\to\mathbb R$ under composition» is not really a group... You'd have to restrict your attention to the group of homeomorphisms (or something along that line) to actually get a group.

The last sentence of your first paragraph is a bit misguided. You could do much worse that read Warner's book, say, on differentiable manifolds and lie groups, or Lang's, if you like infinite dimensional situations.

  • 0
    @Matt: try to prove that it is a group: you'll see where it breaks :)2010-08-30
  • 0
    @Matt, if you are not careful about what you mean exactly by «Lie algebra» of your group, then you are not talking about anything. It does not look, from reading your question, that you know precisely what the Lie algebra of an infinite-dimensional Lie group is.2010-08-30
  • 2
    @Mariano: I think you have misread part of Matt's question: he is taking the set of all continuous functions from $\mathbb{R}$ to $\mathbb{R}$ under pointwise addition. This is indeed a commutative group, even an $\mathbb{R}$-vector space. (The rest of what you say I agree with; I'm not sure you can extract a Lie algebra in this situation, and since the group is commutative, I suspect that even if this works, one will end up with an identically zero Lie algebra.)2010-08-30
  • 2
    Well sure: if «with composition as addition of functions» does mean that the operation of the group is addition, then any sensible definition should result in a vector space with the zero bracket :P2010-08-30
  • 0
    Can you please recommend a reference for infinite dimensional lie algebra's? I have Warner (1st edition) but I don't see anything in here on the infinite dimensional case specifically, and wiki was not much help either, unfortunately.2010-08-30
  • 2
    Kac's book on infinite-dimensional Lie algebras is good. However, there is no general theory of big Lie algebras, only a study of particular classes such as Kac-Moody algebras, or diffeomorphisms of manifolds. Bounded continuous functions under addition have nothing in common with material studied under the title "inf.dim. Lie algebras", except being an infinite-dimensional vector space. Functional analysis is more relevant here.2010-08-31