Search arXivSearch

arXiv · 1601.04775

Generalized nil-Coxeter algebras, cocommutative algebras, and the PBW property

Abstract

Poincare-Birkhoff-Witt (PBW) Theorems have attracted significant attention since the work of Drinfeld (1986), Lusztig (1989), and Etingof-Ginzburg (2002) on deformations of skew group algebras $H \ltimes {\rm Sym}(V)$, as well as for other cocommutative Hopf algebras $H$. In this paper we show that such PBW theorems do not require the full Hopf algebra structure, by working in the more general setting of a "cocommutative algebra", which involves a coproduct but not a counit or antipode. Special cases include infinitesimal Hecke algebras, as well as symplectic reflection algebras, rational Cherednik algebras, and more generally, Drinfeld orbifold algebras. In this generality we identify precise conditions that are equivalent to the PBW property, including a Yetter-Drinfeld type compatibility condition and a Jacobi identity. We also characterize the graded deformations that possess the PBW property. In turn, the PBW property helps identify an analogue of symplectic reflections in general cocommutative bialgebras. Next, we introduce a family of cocommutative algebras outside the traditionally studied settings: generalized nil-Coxeter algebras. These are necessarily not Hopf algebras, in fact, not even (weak) bialgebras. For the corresponding family of deformed smash product algebras, we compute the center as well as abelianization, and classify all simple modules.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Apoorva Khare. 2017-04-25. Generalized nil-Coxeter algebras, cocommutative algebras, and the PBW property. https://doi.org/10.1090/conm%2F688%2F13832

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Graphs of Moore-Penrose inverse of matrices possessing the treeangle property

It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.

math.RA

Normal Quaternionic Matrices and Finitely Generated Witt Rings

We present a new approach to verify the Elementary Type Conjecture for abstract Witt rings with small number of square classes. To do so, we make use of an abstract analogue of the 2-torsion part of the Brauer group. We develop a description of the entire structure of an abstract Witt ring with $2^n$ square classes in terms of a unique $n\times n$ matrix satisfying a small additional condition that particularly holds for Witt rings of fields. Via computational search, we find all these matrices for $n$ up to $7$. This verifies that all Witt rings of fields with up to $128$ square classes are of elementary type.

math.RA

An introduction to the algebra of rings and fields

This is an introduction to rings and fields, written for a quarter-long undergraduate course. It includes the basic properties of ideals, modules, algebras and polynomials, the constructions of ring extensions and finite fields, some number-theoretical applications (such as a proof of quadratic reciprocity and Jacobsthal's formulas for $p = x^2 + y^2$), and tastes of Gröbner bases and the Smith normal form. Familiarity with groups and vector spaces is assumed, though no deep results from either theory are used. Over 250 exercises are included (mostly without solutions).

math.RA