Lower central series of a free associative algebra over the integers and finite fields
Abstract
Consider the free algebra An generated over Q by n generators x1, ..., xn. Interesting objects attached to A = An are members of its lower central series, Li = Li(A), defined inductively by L1 = A, Li+1 = [A,Li], and their associated graded components Bi = Bi(A) defined as Bi=Li/Li+1. These quotients Bi, for i at least 2, as well as the reduced quotient B1=A/(L2+A L3), 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 Fp. New phenomena arise, namely, torsion in Bi over Z, and jumps in dimension over Fp. We describe the torsion in the reduced quotient RB1 and B2 geometrically in terms of the De Rham cohomology of Zn. As a corollary we obtain a complete description of B1(An(Z)) and B1(An(Fp)), as well as of B2(An(Z[1/2])) and B2(An(Fp)), p>2. We also give theoretical and experimental results for Bi 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.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.