On the rational homotopy type of a moduli space of vector bundles over a curve (Q937845)

Rational homotopy groups of moduli space \({\mathcal N}_X\) of stable 2-vector bundles with fixed determinant of odd degree on a compact connected Riemann surface \(X\) of genus \(g\geq 2\) are studied. This is done examining the natural action of the mapping class group of \(X\) on the cohomology algebra \(H^{\ast}({\mathcal N}_X, \mathbb{Q})\). The structure of this cohomology algebra is also given. The special sections are devoted to the treatment of differential graded algebras with the notion of minimal model for a connected differentiable manifold as well as to the reductive complex group action on a minimal model. The authors prove that the mapping class group operates on the homotopy groups \(\pi_{\ast}({\mathcal N}_X)\). The induced action on the rational homotopy \(\pi_{\ast}({\mathcal N}_X)\otimes_{\mathbb{Z}} {\mathbb{Q}}\) factors through an action of the symplectic group \(\text{Sp}(2g, \mathbb{Z})\). Also the bahavior of this action is characterized under the extension of coefficients to \(\mathbb{C}\). Among other results it is proven that the action of \(\text{Sp}(2g, \mathbb{Z})\) on the \(n\)-th rational homotopy group \(\pi_n({\mathcal N}_X)\otimes_{\mathbb{Z}} {\mathbb{Q}}\) for \(n\geq 2g\) is nontrivial. Particularly this implies that \({\mathcal N}_X\) is rationally hyperbolical. As further applications, the minimal model of \({\mathcal N}_X\) for \(g=2\) is compute explicitly. Sub-representations for the group \(\text{Sp}(2g,\mathcal C)\) in the minimal model of \({\mathcal N}_X\) for \(g>2\) are investigated. Relevant papers: \textit{P. Deligne; P. Griffiths; J. Morgan} and \textit{D. Sullivan} [Invent. Math. 29, 245--274 (1975; Zbl 0312.55011)]; \textit{Y. Félix} [``La dichotomie elliptique-hyperbolique en homotopie rationnelle'', Centre National de la Recherche Scientifique. Astérisque, 176. Paris: Société Mathématique de France (1989; Zbl 0691.55001)]; \textit{A. D. King} and \textit{P. E. Newstead} [Topology 37, 407--418 (1998; Zbl 0913.14008)]; \textit{V. Muños} [Duke Math. J. 98, No. 3, 525--540 (1999; Zbl 0969.14037)].