The essential Lagrangian–Grassmannian and the homotopy type of the Fredholm Lagrangian–Grassmannian

Let H be a separable infinite dimensional Hilbert space endowed with a symplectic structure and let L0⊂H be a Lagrangian subspace. Using the results of [A. Abbondandolo, P. Majer, Infinite dimensional Grassmannians, math.AT/0307192], we show that the Fredholm Lagrangian–Grassmannian FL0(Λ) has the homotopy type of Gc(L0), the Grassmannian of all Lagrangian subspaces of H that are compact perturbations of L0. It is well known that the latter has the homotopy type of the quotient U(∞)/O(∞). As a corollary, we recover a result by B. Booss-Bavnbek and K. Furutani (see [B. Booss-Bavnbek, K. Furutani, Symplectic functional analysis and spectral invariants, Contemp. Math. 242 (1999) 53–83; K. Furutani, Fredholm–Lagrangian–Grassmannian and the Maslov index, J. Geom. Phys. 51 (2004) 269–331]) that the L0-Maslov index is an isomorphism between the fundamental group of FL0(Λ) and the integers.