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

DOI10.1016/J.JALGEBRA.2012.07.052MaRDI QIDQ2376697zbMATH OpenOpenAlexFDO

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)

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

zbMATH Keywords

De Rham cohomologydifferential formsfree algebrasFrobenius maplower central series

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)

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.

Review text

From the authors' summary: Consider the free algebra \(A_n\) generated over \(\mathbb Q\) by \(n\) generators. 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 components \(B_i=B_i(A)\) defined by \(B_i=L_i/L_{i+1}\). These quotients \(B_i\) for \(i\geq 2\), as well as the reduced quotient \(\overline B_1=A/(L_2+AL_3)\), exhibit a rich geometric structure, as shown by \textit{B. Feigin} and \textit{B. Shoikhet} [Math. Res. Lett. 14, No. 5-6, 781-795 (2007; Zbl 1174.17020)] and later authors. We study the same problem over the integers \(\mathbb Z\) and finite fields \(\mathbb F_p\). New phenomena arise, namely, torsion in \(B_i\) over \(\mathbb Z\), and jumps in dimension over \(\mathbb F_p\). We describe the torsion in the reduced quotient \(\overline B_1\) and \(B_2\) geometrically in terms of De Rham cohomology of \(\mathbb Z^n\). We also give theoretical and experimental results for \(B_i\) with \(i>2\), formulating a number of conjectures and questions on their basis. Finally, we discuss the supercase.

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

Cites work

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

Cited in

(15)

• The torsion subgroup of the additive group of a Lie nilpotent associative ring of class 3.
• Relatively free associative Lie nilpotent algebras of rank 3
• The lower central series of the symplectic quotient of a free 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
• Products of commutators in a Lie nilpotent associative algebra
• An Upper Bound for the Lower Central Series Quotients of a Free Associative Algebra
• On the filtration of a free algebra by its associative lower central series.
• Products of several 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.
• Some products of commutators in an associative ring
• 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).

Describes a project that uses

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)