The motive of the moduli stack of \(G\)-bundles over the universal curve (Q949461)

Let \({\mathcal X}\) be an algebraic stack in Artin's sense , which is locally of finite type over some base scheme. For a classical group \(G\) over a field \(k\) let \(\text{Bun}^s_{G,C}\) be the moduli space of stable \(G\)-bundles over a smooth complex curve \(C\) of genus \(g\). As \(C\) varies over the space of complex genus \(g\) curve \(M_g(\mathbb{C})\) the rational cohomology \(H^i(\text{Bun}^s_{G,C},\mathbb{Q})\) fits together to form a variation of a mixed Hodge structure. In this paper the authors determine the structure of the above variation of Hodge structure for \(i\) less then an explicit constant depending on \(G\) and \(g\). The main point is that in this range the cohomology of \(\text{Bun}^s_{G,C}\) agrees with the cohomology of the moduli stack \({\mathcal B}\text{un}_{G,C}\) of all \(G\)-bundles on \(C\). Also, for all \(i\), the variation of mixed Hodge structure associated to \(H^i({\mathcal B}\text{un}_{G,C})\) can be built out of the tautological variation of pure Hodge structure associate do \(H^1(C.\mathbb{Q})\), using standard linear algebra operations and Tate twists. In order to prove the above results the paper contains an extension to the case of relative motives over a base \(S\) of the construction given by \textit{Y. André} [Pour une théorie inconditionelle des motifs, Publ. Math., Inst. Hautes Étud. Sci. 83, 5--49 (1996; Zbl 0874.14010)] of ``motivated cycles''. Here the base \(S\) is allowed to be a quotient of a smooth variety defined over a subfield of \(\mathbb{C}\) by a finite group. Then the corresponding category of relative motives \({\mathcal M}_A(S)\) is semisimple and Tannakian. There are realization functors from \({\mathcal M}_A(S)\) to the category of \(l\)-adic sheaves over \(S\) and variations of Hodge structures over \(S\times\text{Spec\,}\mathbb{C}\). To every Artin stack \({\mathcal X}/C\) one can associate a well defined motive \(h^i(X)\) in the derived category of \({\mathcal M}_A(S)\), which maps to the pure Hodge structure \(\text{Gr}_W(H^i({\mathcal X}))\) under the Hodge realization.