Rational homotopy type and nilpotency of mapping spaces between Quaternionic projective spaces

The rational homotopy type of a mapping space is a way to describe the structure of the space using the algebra of its homotopy groups and the differential graded algebra of its cochains. An L∞-model is a graded Lie algebra with a family of higher-order brackets satisfying the generalized Jacobi identity and antisymmetry. It can be used to study the rational homotopy type of a space. The nilpotency index of an L∞-model is useful in understanding a space's algebraic structure. In this paper, we compute the rational homotopy type of the component of some mapping spaces between projective spaces and determine the nilpotency index of corresponding L∞-models.