Banach Lie groupoid of partial isometries over restricted Grassmannian

The set of partial isometries in a W*-algebra possesses a structure of Banach Lie groupoid. In this paper the differential structure on the set of partial isometries over the restricted Grassmannian is constructed, which makes it into a Banach Lie groupoid.