Banach Lie Groups are what you'd expect:


If $B$ is a Banach algebra then why is $GL(B)$, the set of invertible elements of $B$, a Banach Lie group?

  • $\begingroup$ Which axiom is the holdup? $\endgroup$ Dec 17 '11 at 21:59

This follows from three simple observations:

  1. The subset $\operatorname{GL}(B) \subset B$ is open, so it is a Banach manifold modeled on $B$ itself.

  2. Multiplication is the restriction of a continuous linear map, hence it is analytic.

  3. Inversion is locally given by the Neumann series, hence it is analytic, too.

  • $\begingroup$ Thanks! This confirms what I thought was going on. (No access to a reference.) $\endgroup$
    – Jon Bannon
    Dec 18 '11 at 0:15
  • $\begingroup$ You're welcome. Does that mean you need a reference? I can try to dig one up, but I don't know of any off-hand. $\endgroup$
    – t.b.
    Dec 18 '11 at 0:18
  • $\begingroup$ Your answer was very helpful, already. If you happen to know of a reference for the analogue of the Frobenius integrability theorem for Banach Manifolds, I'd be deeply appreciative. (Serre's book may have this, but I haven't seen a copy...) $\endgroup$
    – Jon Bannon
    Dec 18 '11 at 0:42
  • 3
    $\begingroup$ There's a two-volume treatise by Glöckner and Neeb on infinite-dimensional Lie groups about to appear in the Springer GTM Series. Next, there's this recent preprint by Pelletier that should lead to the relevant literature on Banach versions of the Frobenius theorem. Then I'd also have a look at the two gems Abraham-Marsden-Ratiu and Choquet-Bruhat--Dewitt-Morette. This should give some leads to follow. $\endgroup$
    – t.b.
    Dec 18 '11 at 1:03
  • $\begingroup$ Thank you very much for your help, t.b.! These references will be very helpful. $\endgroup$
    – Jon Bannon
    Dec 18 '11 at 1:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.