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

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.