Cohomological Hall algebras for Higgs torsion sheaves, moduli of triples and sheaves on surfaces

For any free oriented Borel–Moore homology theory A, we construct an associative product on the A-theory of the stack of Higgs torsion sheaves over a projective curve C. We show that the resulting algebra AHaC0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A\mathbf{Ha}_C^0$$\end{document} admits a natural shuffle presentation, and prove it is faithful when A is replaced with usual Borel–Moore homology groups. We also introduce moduli spaces of stable triples, heavily inspired by Nakajima quiver varieties, whose A-theory admits an AHaC0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A\mathbf{Ha}_C^0$$\end{document}-action. These triples can be interpreted as certain sheaves on PC(ωC⊕OC)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {P}_C(\omega _C\oplus \mathcal {O}_C)$$\end{document}. In particular, we obtain an action of AHaC0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A\mathbf{Ha}_C^0$$\end{document} on the cohomology of Hilbert schemes of points on T∗C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^*C$$\end{document}.