Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Banach Lie Groups are what you'd expect:,_Banach

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

share|cite|improve this question
Which axiom is the holdup? – Nate Eldredge Dec 17 '11 at 21:59
up vote 5 down vote accepted

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.

share|cite|improve this answer
Thanks! This confirms what I thought was going on. (No access to a reference.) – Jon Bannon Dec 18 '11 at 0:15
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. – t.b. Dec 18 '11 at 0:18
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...) – Jon Bannon Dec 18 '11 at 0:42
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. – t.b. Dec 18 '11 at 1:03
Thank you very much for your help, t.b.! These references will be very helpful. – Jon Bannon Dec 18 '11 at 1:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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