Endoscopic decompositions and the Hausel–Thaddeus conjecture

Abstract

<jats:title>Abstract</jats:title> <jats:p>We construct natural operators connecting the cohomology of the moduli spaces of stable Higgs bundles with different ranks and genera which, after numerical specialisation, recover the topological mirror symmetry conjecture of Hausel and Thaddeus concerning <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S205050862100007X_inline1.png" /> <jats:tex-math>$\mathrm {SL}_n$</jats:tex-math> </jats:alternatives> </jats:inline-formula>- and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S205050862100007X_inline2.png" /> <jats:tex-math>$\mathrm {PGL}_n$</jats:tex-math> </jats:alternatives> </jats:inline-formula>-Higgs bundles. This provides a complete description of the cohomology of the moduli space of stable <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S205050862100007X_inline3.png" /> <jats:tex-math>$\mathrm {SL}_n$</jats:tex-math> </jats:alternatives> </jats:inline-formula>-Higgs bundles in terms of the tautological classes, and gives a new proof of the Hausel–Thaddeus conjecture, which was also proven recently by Gröchenig, Wyss and Ziegler via <jats:italic>p</jats:italic>-adic integration.</jats:p> <jats:p>Our method is to relate the decomposition theorem for the Hitchin fibration, using vanishing cycle functors, to the decomposition theorem for the twisted Hitchin fibration, whose supports are simpler.</jats:p>