Two-dimensional categorified Hall algebras

Generalizations (algebraic spaces, stacks) (14A20) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Homotopy theory (55P99)

Abstract: In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable

i n f t y

-category

m a t h s f {C o h}^{m a t h s f b} (m a t h b b R m a t h s f M)

of complexes of sheaves with bounded coherent cohomology on a derived moduli stack

m a t h b b R m a t h s f M

. In the surface case,

m a t h b b R m a t h s f M

is a suitable derived enhancement of the moduli stack

m a t h s f M

of coherent sheaves on the surface. This construction categorifies the K-theoretical and cohomological Hall algebras of coherent sheaves on a surface of Zhao and Kapranov-Vasserot. In the curve case, we define three categorified Hall algebras associated with suitable derived enhancements of the moduli stack of Higgs sheaves on a curve

X

, the moduli stack of vector bundles with flat connections on

X

, and the moduli stack of finite-dimensional local systems on

X

, respectively. In the Higgs sheaves case we obtain a categorification of the K-theoretical and cohomological Hall algebras of Higgs sheaves on a curve of Minets and Sala-Schiffmann, while in the other two cases our construction yields, by passing to

m a t h s f K_{0}

, new K-theoretical Hall algebras, and by passing to

m a t h s f H_{a} s t^{m a t h s f B M}

, new cohomological Hall algebras. Finally, we show that the Riemann-Hilbert and the non-abelian Hodge correspondences can be lifted to the level of our categorified Hall algebras of a curve.

Review text

For a small abelian category \(\mathcal{A}\) of finite cohomological dimension and with finite \(\mathrm{Hom}\)- and \(\mathrm{Ext}^i\)-groups, one classically defines its Hall algebra as an associative algebra whose vector space basis is given by isomorphism classes of objects and equipped with structure constants defined in terms of counting extensions. More flexible approaches and generalizations are in place with important examples including quantum groups, Yangians, algebras of BPS-states in physics, cohomological Hall algebras of quivers etc. A cohomological Hall algebra attached to \(\mathcal{A}\) is defined via a diagram \(\mathcal{M}_{\mathcal{A}}\times\mathcal{M}_{\mathcal{A}}\stackrel{p}\leftarrow\mathcal{M}_{\mathcal{A}}^{\mathrm{ext}}\stackrel{q}\rightarrow\mathcal{M}_{\mathcal{A}}\) where \(\mathcal{M}_{\mathcal{A}}\) and \(\mathcal{M}_{\mathcal{A}}^{\mathrm{ext}}\) are moduli stacks of objects and of extensions in \(\mathcal{A}\) and \(p,q\) are natural projections. The multiplication is then defined on Borel-Moore homology classes as a pull-push (convolution) product \(q_*\circ p^*\colon H_*^{\mathrm{BM}}(\mathcal{M}_{\mathcal{A}})\otimes H_*^{\mathrm{BM}}(\mathcal{M}_{\mathcal{A}})\to H_*^{\mathrm{BM}}(\mathcal{M}_{\mathcal{A}})\). This construction works under some regularity assumptions on \(p\) which hold if \(\mathcal{A}\) has cohomological dimension \(1\) but may fail if \(\mathcal{A}\) has cohomological dimension \(2\). A uniform satisfactory approach in dimension \(2\) to the construction of Hall multiplication is proposed in the article under review by replacing moduli stacks \(\mathcal{M}_{\mathcal{A}}, \mathcal{M}_{\mathcal{A}}^{\mathrm{ext}}\) by certain derived enhancements \(\mathbb{R}\mathcal{M}_{\mathcal{A}}, \mathbb{R}\mathcal{M}_{\mathcal{A}}^{\mathrm{ext}}\). In fact, a categorification of Hall multiplication is constructed: instead of working with homological or K-theoretic classes, the convolution formula gives a tensor product \(q_*\circ p^*\colon\mathrm{Coh}^{\mathrm{b}}(\mathbb{R}\mathcal{M}_{\mathcal{A}})\otimes\mathrm{Coh}^{\mathrm{b}}(\mathbb{R}\mathcal{M}_{\mathcal{A}})\to\mathrm{Coh}^{\mathrm{b}}(\mathbb{R}\mathcal{M}_{\mathcal{A}})\) of an \(\mathbb{E}_1\)-monoidal structure on the dg-category of coherent sheaves on \(\mathbb{R}\mathcal{M}_{\mathcal{A}}\) with bounded cohomology. Coherences for this \(\mathbb{E}_1\)-monoidal structure would be probably too hard to construct using deformation theory in terms of triangulated categories; throughout, the setup of stable \(\infty\)-categories is used instead. Given a smooth and proper scheme \(S\), authors construct a derived moduli stack \(\mathbf{Coh}(S)\) of coherent sheaves on \(S\) and its categorical Waldhausen S-construction \(\mathcal{S}_\bullet\mathbf{Coh}(S)\), a simplicial object in stable \(\infty\)-category of derived stacks satisfying 2-Segal condition, where \(\mathcal{S}_1\mathbf{Coh}(S)=\mathbf{Coh}(S)\) and \(\mathcal{S}_2\mathbf{Coh}(S)=\mathbf{Coh}^{\mathrm{ext}}(S)\) is the derived moduli stack of extensions of coherent sheaves. The corresponding convolution diagram is \(\mathbf{Coh}(S)\times\mathbf{Coh}(S)\stackrel{(\partial_o,\partial_1)}\longleftarrow\mathbf{Coh}^{\mathrm{ext}}(S)\stackrel{\partial_1}\rightarrow\mathbf{Coh}(S)\). The construction in the article builds on an insight of Dyckerhoff and Kapranov how 2-Segal simplicial objects induce Hall type structures [\textit{I. Gálvez-Carrillo} et al., Adv. Math. 333, 1242--1292 (2018; Zbl 1403.18016)]. Hall-type \(\mathbb{E}_1\)-monoidal structure on the stable \(\infty\)-category \(\mathrm{Coh}^{\mathrm{b}}_{\mathrm{pro}}(\mathbf{Coh}(X))\) is constructed if \(X\) is a complex scheme of dimension \(1\) or \(2\) or the Betti, de Rham or Dolbeault stack of a smooth projective curve. Derived stacks of coherent sheaves on the latter stacks (Simpson's shapes) enhance classical stacks of local systems, flat vector bundles and Higgs sheaves on \(X\), respectively. This enables introducing the Hall monoidal products for the latter. An analytic version of the formalism is developed as well and a cohomological Hall algebra version of the derived Riemann-Hilbert correspondence is proven as an equivalence of stable \(\mathbf{E}_1\)-monoidal \(\infty\)-categories, relating the de Rham and Betti side in analytic setup. A version of non-abelian Hodge correspondence at the categorified Hall algebra level is demonstrated as well, in terms of Deligne shape interpolating between the de Rham and Dolbeault shape. These constructions are introduced with rich motivation from previously known cohomological Hall algebra structures in dimensions \(1\) and \(2\). Paths to decategorifications like \(K\)-theoretic Hall algebras are studied to make connections to the earlier known Hall algebras and missing conjectured cases. One of the motivations was to relate different categorifications of quantum groups, which have Hall algebra interpretations. The technical part of the paper are numerous auxiliary results in derived algebraic geometry, including methods of deformation theory in construction of derived moduli stacks. These are refining and adapting known techniques (including some from earlier papers of the authors) to the present needs. Such needs are concisely but explicitly articulated. The wealth of new and background material is presented precisely, clearly and sufficiently motivated even for non-specialists.

Recommendations

Cites work

Cited in

(21)

This page was built for publication: Two-dimensional categorified Hall algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160165)