Hypertoric category \(\mathcal O\). (Q456767): Difference between revisions

This article studies the representation theory of a class of non-commutative algebras called hypertoric enveloping algebras. These algebras were originally defined and extensively studied by \textit{I. M. Musson} and \textit{M. Van den Bergh} [Mem. Am. Math. Soc. 650 (1998; Zbl 0928.16019)]. There is a large torus \(\mathbb T\) that acts on a given hypertoric enveloping algebra \(U\). Choosing a \(1\)-parameter subgroup of \(\mathbb T\) defines a \(\mathbb Z\)-grading on \(U\). One defines the subalgebra \(U^+\subset U\) to be the algebra generated by all homogeneous elements of positive degree. The authors then define category \(\mathcal O\) to be the category of all finitely generated \(U\)-modules such that \(U^+\) acts locally finitely and the centre \(Z(U)\) of \(U\) acts semi-simply. The definition of category \(\mathcal O\) depends heavily on the choice of \(1\)-parameter subgroup. It is this category that is the focus of the article. It is shown that category \(\mathcal O\) shares many of the wonderful properties enjoyed by category \(\mathcal O\) for a semi-simple Lie algebra. We describe some of these properties below. The blocks of category \(\mathcal O\) are shown to be parameterized by certain combinatorial objects called quantized polarized arrangements. To each arrangement \(\mathbf X\) one associates a block \(\mathcal O(\mathbf X)\) of category \(\mathcal O\). It is shown that each \(\mathcal O(\mathbf X)\) is a highest weight category, Koszul and its Koszul dual is another block \(\mathcal O(\mathbf X^!)\) of category \(\mathcal O\); here \(\mathbf X^!\) is the Gale dual of \(\mathbf X\). Associated to the quantized polarized arrangement \(\mathbf X^!\) is an ``unquantized'' or classical polarized arrangement \(X\). This arrangement defines a hypertoric variety \(\mathfrak M(X)\), which is a symplectic manifold constructed by Hamiltonian reduction. Via standard localization results (in this case [\textit{G. Bellamy} and \textit{T. Kuwabara}, Pac. J. Math. 260, No. 1, 89-127 (2012; Zbl 1259.14002)]) category \(\mathcal O(\mathbf X)\) corresponds to some category of modules over a sheaf of non-commutative algebras on \(\mathfrak M(X)\). The authors explicitly describe which category of modules on \(\mathfrak M(X)\) this is. This allows them to relate the properties of \(\mathcal O(\mathbf X)\) to the geometry of \(\mathfrak M(X)\). Namely, it is shown that the centre of the Yoneda algebra of \(\mathcal O(\mathbf X)\) is isomorphic to the cohomology algebra \(H^*(\mathfrak M(X),\mathbb C)\) and that the complexified Grothendieck group of \(\mathcal O(\mathbf X)\) is isomorphic to the \(\mathbb T\)-equivariant cohomology group \(H^{2d}_{\mathbb T}(\mathfrak M(X),\mathbb C)\). Many of the proofs of the results described above rely upon the fact that one can identify \(\mathcal O(\mathbf X)\) with the category of finitely generated modules for some explicit quiver with relations. This quiver with relations is quasi-hereditary and has been extensively studied previously by the authors [\textit{T. Braden} et al., Adv. Math. 225, No. 4, 2002-2049 (2010; Zbl 1205.14066)].