A Banach Manifold with a Riemannian Metric? Given an infinite dimensional manifold modeled on a Banach space, what does it mean for it to have a Riemannian metric? Does it necessarily mean that it is actually a Hilbert manifold?
My understanding is that Hilbert Spaces have inner products, whereas Banach Spaces just have norms. If a Banach manifold has a Riemannian metric, it means that at each tangent space, which is a Banach space, it has an inner product... so wouldn't that make any Banach manifold a Hilbert Manifold?
 A: There are two notions of what it means for a(n infinite dimensional) manifold to have a Riemannian structure.  A strong Riemannian structure means a (smooth) choice of inner product on each tangent space which induces an isomorphism of each tangent space with its corresponding cotangent space.  A weak Riemannian structure simply means a (smooth) choice of inner product on each tangent space.
Strong Riemannian structures only exist if the manifold is modelled on a Hilbert space, and even then they have to be chosen correctly (so the usual $L^2$-metric on the space of $L^{1,2}$-loops is not a strong structure, even though the manifold is Hilbertian).  Weak Riemannian structures exist much more widely.  For a weak Riemannian structure you only need to know that the manifold admits smooth partitions of unity and that the model spaces admit continuous inner products.  So, for example, continuous loops in a smooth manifold admit a weak Riemannian structure but not a strong one.
Although strong Riemannian structures are very good for generalising much of ordinary differential geometry to infinite dimensions, there are occasions where the requirement of having a Hilbert manifold is too strong, and one can get away with merely having a weak Riemannian structure.  I've written an article where having a weak Riemannian structure on the space of smooth loops was an essential step and where the construction would not have worked on a Hilbertian manifold (though actually it was a co-Riemannian structure that I needed).
(Declaration of interests: I've actually proposed a refinement of the "weak/strong" classification as I found it too harsh.  See my article here for this, and the above-mentioned result, and a load of examples of spaces with different types of Riemannian structure.)
A: Lang has written several (very similar) books that discuss these topics.  Basically, you're right: Riemannian metrics only make sense when the manifold is modeled on a Hilbert space.  There is, however, a notion of psuedo-Riemannian manifold, which makes sense when the manifold is modeled on a self-dual Banach space.  Take a look at Chapter 7 of Lang's book, visible through Google Books:
http://books.google.com/books?id=VfxGB5nYv1MC&printsec=frontcover#v=onepage&q&f=false
