The rational cohomology conjecture for moduli stacks of principal bundles

Let XX be a connected smooth complex projective variety of complex dimension nn, and let GG be a semisimple complex algebraic group. Write dj=dimHj(X,Q)d_j=\mathrm{dim\,} H^j(X,\mathbb Q) for 0j2n0\leq j\leq 2n, let VV denote the graded rational cohomology algebra associated with the classifying space of GG, and let BunG,X0\mathscr{B}un_{G,X}^0 be any connected component of the moduli stack BunG,X\mathscr{B}un_{G,X}.

Rational cohomology conjecture. The rational cohomology of BunG,X0\mathscr{B}un_{G,X}^0 is

H(BunG,X0,Q)(j=0n(SymV[2j])d2j)(j=1n(ΛV[2j1])d2j1),H^*(\mathscr{B}un_{G,X}^0,\mathbb Q) \cong \left(\bigotimes_{j=0}^n (\operatorname{Sym} V[2j])^{\otimes d_{2j}}\right)\otimes\left(\bigotimes_{j=1}^n (\Lambda V[2j-1])^{\otimes d_{2j-1}}\right),

and this isomorphism is induced by the pullback map from the classifying space. In particular, it is a direct sum of Hodge-Tate structures.

This generalizes the preceding result for varieties whose cellular decompositions have no odd-dimensional cells. The claim predicts that the rational cohomology depends on the cohomology dimensions of XX through the symmetric and exterior contributions, but its resolution is not established in the supplied text.

Sources & referencesView supporting material

Primary source

Pedro L. del Angel R. and Frank Neumann, “Rational Homotopy and Hodge Theory of Moduli Stacks of principal G-bundles”, arXiv:2405.17113 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.