The motive of the moduli stack of G-bundles over the universal curve

DOI10.1007/S12044-008-0031-7MaRDI QIDQ949461zbMATH OpenOpenAlexFDO

Publication date 21 October 2008

Published in Proceedings of the Indian Academy of Sciences. Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0609505

(Equivariant) Chow groups and rings; motives (14C15) Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) Variation of Hodge structures (algebro-geometric aspects) (14D07) Stacks and moduli problems (14D23) Vector bundles on curves and their moduli (14H60)

Abstract: An abelian category of relative pure motives is constructed along the lines of Andr'e (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of G-bundles over the universal curve for appropriate G, and a motivic Atiyah-Bott formula is obtained. By taking Hodge realization, a description of the corresponding variations of Hodge structures over M_g is given. In particular, it follows that these lie in the tensor category generated by the variation of Hodge structure associated to the curve itself. Similar results are also given for low degree variations of Hodge structures associated to the moduli space of stable G-bundles.

Review text

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.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: The motive of the moduli stack of \(G\)-bundles over the universal curve

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q949461)