Pure and Applied Mathematics Quarterly

Volume 11 (2015)

Number 2

Realizing enveloping algebras via moduli stacks

Pages: 175 – 220

DOI: http://dx.doi.org/10.4310/PAMQ.2015.v11.n2.a1

Authors

Liqian Bai (Department of Mathematical Sciences, Tsinghua University, Beijing, China)

Fan Xu (Department of Mathematical Sciences, Tsinghua University, Beijing, China)

Abstract

Let $\mathrm{CF}(\mathfrak{Obj}_{\mathcal{A}})$ denote the vector space of $\mathbb{Q}$-valued constructible functions on a given stack $\mathfrak{Obj}_{\mathcal{A}}$ for an abelian category $\mathcal{A}$. In [12], Joyce proved that $\mathrm{CF}(\mathfrak{Obj}_{\mathcal{A}})$ is an associative $\mathbb{Q}$-algebra via the convolution multiplication and the subspace $\mathrm{CF}^{\mathrm{ind}} (\mathfrak{Obj}_{\mathcal{A}})$ of constructible functions supported on indecomposables is a Lie subalgebra of $\mathrm{CF}(\mathfrak{Obj}_{\mathcal{A}})$. In this paper, we extend Joyce’s result to an exact category $\mathcal{A}$ and show that there is a subalgebra $\mathrm{CF}^{\mathrm{KS}}(\mathfrak{Obj}_{\mathcal{A}})$ of $\mathrm{CF}(\mathfrak{Obj}_{\mathcal{A}})$ isomorphic to the universal enveloping algebra of $\mathrm{CF}^{\mathrm{ind}} (\mathfrak{Obj}_{\mathcal{A}})$. Moreover we construct a comultiplication on $\mathrm{CF}^{\mathrm{KS}} (\mathfrak{Obj}_{\mathcal{A}})$ and a degenerate form of Green’s theorem. This refines Joyce’s result, as well as results of [4].

Keywords

Hall algebra, stack, constructible set, universal enveloping algebra

Full Text (PDF format)