Lower central series of a free associative algebra over the integers and finite fields.

DOI10.1016/J.JALGEBRA.2012.07.052zbMATH Open1320.16012arXiv1203.1893OpenAlexW2010170077MaRDI QIDQ2376697FDOQ2376697

Authors: Surya Bhupatiraju, David Jordan, William Kuszmaul, Jason Li, Pavel Etingof 

Publication date: 24 June 2013

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Consider the free algebra A_n generated over Q by n generators x_1, ..., x_n. Interesting objects attached to A = A_n are members of its lower central series, L_i = L_i(A), defined inductively by L_1 = A, L_{i+1} = [A,L_{i}], and their associated graded components B_i = B_i(A) defined as B_i=L_i/L_{i+1}. These quotients B_i, for i at least 2, as well as the reduced quotient �ar{B}_1=A/(L_2+A L_3), exhibit a rich geometric structure, as shown by Feigin and Shoikhet and later authors, (Dobrovolska-Kim-Ma,Dobrovolska-Etingof,Arbesfeld-Jordan,Bapat-Jordan). We study the same problem over the integers Z and finite fields F_p. New phenomena arise, namely, torsion in B_i over Z, and jumps in dimension over F_p. We describe the torsion in the reduced quotient RB_1 and B_2 geometrically in terms of the De Rham cohomology of Z^n. As a corollary we obtain a complete description of �ar{B}_1(A_n(Z)) and �ar{B}_1(A_n(F_p)), as well as of B_2(A_n(Z[1/2])) and B_2(A_n(F_p)), p>2. We also give theoretical and experimental results for B_i with i>2, formulating a number of conjectures and questions based on them. Finally, we discuss the supercase, when some of the generators are odd (fermionic) and some are even (bosonic), and provide some theoretical results and experimental data in this case.

Full work available at URL: https://arxiv.org/abs/1203.1893

Recommendations

• On properties of the lower central series of associative algebras
• On universal Lie nilpotent associative algebras.
• Primitive elements and automorphisms of free algebras of Schreier varieties
• Finitely generated free modular ortholattices. I
• NONE OF THE VARIETY En, n>2, IS LOCALLY FINITE
• Automorphisms of the category of free finitely generated algebras
• Gröbner-Shirshov bases and Hilbert series of free dendriform algebras
• New results on the lower central series quotients of a free associative algebra.
• scientific article; zbMATH DE number 3937409
• The lower central series of the free partially commutative group

zbMATH Keywords

lower central seriesdifferential formsfree algebrasFrobenius mapDe Rham cohomology

Mathematics Subject Classification ID

(Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10)

Cites Work

• The Magma algebra system. I: The user language
• Cyclic homology and the Lie algebra homology of matrices
• Lower central series of free algebras in symmetric tensor categories.
• The additive group of a Lie nilpotent associative ring.
• On \([A,A]/[A[A,A\) and on a \(W_n\)-action on the consecutive commutators of free associative algebras.]]
• An Upper Bound for the Lower Central Series Quotients of a Free Associative Algebra
• On the lower central series quotients of a graded associative algebra.
• On the lower central series of an associative algebra (with an appendix by Pavel Etingof).
• New results on the lower central series quotients of a free associative algebra.

Cited In (15)

• The torsion subgroup of the additive group of a Lie nilpotent associative ring of class 3.
• Products of several commutators in a Lie nilpotent associative algebra
• Lower central series of free algebras in symmetric tensor categories.
• The additive group of a Lie nilpotent associative ring.
• On properties of the lower central series of associative algebras
• An Upper Bound for the Lower Central Series Quotients of a Free Associative Algebra
• Relatively free associative Lie nilpotent algebras of rank 3
• The lower central series of the symplectic quotient of a free associative algebra.
• Products of commutators in a Lie nilpotent associative algebra
• On lower central series quotients of finitely generated algebras over \(\mathbb Z\).
• On the lower central series quotients of a graded associative algebra.
• Relations in universal Lie nilpotent associative algebras of class 4
• On the lower central series of an associative algebra (with an appendix by Pavel Etingof).
• Some products of commutators in an associative ring
• On the filtration of a free algebra by its associative lower central series.

Uses Software

• Magma

This page was built for publication: Lower central series of a free associative algebra over the integers and finite fields.

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