Differential geometry of Grassmannian embeddings of based loop groups