Tautological generation conjecture for Higgs-bundle stacks on smooth curves

About 3 years old · traced to

Let CC be a smooth complex curve, and let \cTn(C)\cT_n(C) be the stack considered in the source, with projection π\pi and universal bundle \cE\cE. Define the subring

TH∗(\cTn(C),Z)⊂H∗(\cTn(C),Z)TH^*(\cT_n(C),\mathbb Z)\subset H^*(\cT_n(C),\mathbb Z)

generated by the classes π∗(ci(\cE)∪γ)\pi_*(c_i(\cE)\cup\gamma) for i≥0i\geq 0 and γ∈H∗(C,Z)\gamma\in H^*(C,\mathbb Z). Let Λ\Lambda be the coefficient ring acting on this cohomology, and let \cFn(C)\cF_n(C) denote the full-flag space with its pushforward map to \cTn(C)\cT_n(C).

Tautological generation conjecture. The following assertions hold:

  1. H∗(\cTn(C),Z)H^*(\cT_n(C),\mathbb Z) is generated by TH∗(\cTn(C),Z)TH^*(\cT_n(C),\mathbb Z) over Λ\Lambda.
  2. The image of
H∗(\cFn(C),Z)⟶H∗(\cTn(C),Z)H^*(\cF_n(C),\mathbb Z)\longrightarrow H^*(\cT_n(C),\mathbb Z)

is precisely TH∗(\cTn(C),Z)TH^*(\cT_n(C),\mathbb Z).

For C=P1C=\mathbb P^1, the source proves the analogous statement using tautological classes and the full-flag space. The conjecture proposes the corresponding generation and image description for an arbitrary smooth complex curve.

References

Primary source

Ruslan Maksimau and Alexandre Minets, “Stratifying quiver Schur algebras via ersatz parity sheaves”, arXiv:2504.17430 (2025).

Additional references

2 papers in this index state this conjecture (2023–2025). The statement above is taken from the most recent of them; the others are arXiv:2307.08830.

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.