Full support conjecture for the degree-zero Hitchin system

Let M(n,0)M(n,0) be the degree-zero moduli space in the Hitchin fibration, with Hitchin map χ(n,0)\chi(n,0) to its basis. The complex Rχ(n,0)IC(M(n,0),Q)R\chi(n,0)_*\operatorname{IC}(M(n,0),\mathbb{Q}) is the direct image of the intersection complex of M(n,0)M(n,0). Full support conjecture. The complex

Rχ(n,0)IC(M(n,0),Q)R\chi(n,0)_*\operatorname{IC}(M(n,0),\mathbb{Q})

has full support on the whole basis of the Hitchin fibration. This is the main open conjecture after the effective decomposition theorem: it asks whether the degree-zero direct image has no summands supported on the complement of the reduced locus of the Hitchin base.

Sources & referencesView supporting material

Primary source

Mirko Mauri, Luca Migliorini and Roberto Pagaria, “Combinatorial decomposition theorem for Hitchin systems via zonotopes”, arXiv:2209.00621 (2023).

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.