Full support conjecture for the degree-zero Hitchin system

About 4 years old · traced to

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.

References

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.