Hypertoric category \(\mathcal O\). (Q456767): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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)]. | |||
Property / review text: 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)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Gwyn Bellamy / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16S32 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16S30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6094087 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hypertoric enveloping algebras | |||
Property / zbMATH Keywords: hypertoric enveloping algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hypertoric varieties | |||
Property / zbMATH Keywords: hypertoric varieties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
blocks of category \(\mathcal O\) | |||
Property / zbMATH Keywords: blocks of category \(\mathcal O\) / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quantizations | |||
Property / zbMATH Keywords: quantizations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
localizations | |||
Property / zbMATH Keywords: localizations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quantized polarized arrangements | |||
Property / zbMATH Keywords: quantized polarized arrangements / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
highest weight categories | |||
Property / zbMATH Keywords: highest weight categories / rank | |||
Normal rank |
Revision as of 11:48, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hypertoric category \(\mathcal O\). |
scientific article |
Statements
Hypertoric category \(\mathcal O\). (English)
0 references
16 October 2012
0 references
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)].
0 references
hypertoric enveloping algebras
0 references
hypertoric varieties
0 references
blocks of category \(\mathcal O\)
0 references
quantizations
0 references
localizations
0 references
quantized polarized arrangements
0 references
highest weight categories
0 references