MIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Author(s)
Bhupatiraju, Surya; Jordan, David; Kuszmaul, William; Li, Jason; Etingof, Pavel I.
Thumbnail
DownloadEtingof_Lower central series.pdf (270.0Kb)
PUBLISHER_CC

Publisher with Creative Commons License

Creative Commons Attribution

Terms of use
Creative Commons Attribution-Noncommercial-NoDerivatives http://creativecommons.org/licenses/by-nc-nd/4.0/
Metadata
Show full item record
Abstract
Consider the free algebra A[subscript n] generated over Q by n generators x[subscript 1],…,x[subscript n]. Interesting objects attached to A=A[subscript n] are members of its lower central series, L[subscript i] = L[subscript i](A), defined inductively by L[subscript 1] = A, L[subscript i + 1] =[A,L[subscript i]], and their associated graded components B[subscript i] = B[subscript i](A) defined as B[subscript i] = L[subscript i]/L[subscript i + 1]. These quotients B[subscript i] for i ⩾ 2, as well as the reduced quotient [bar over B][subscript 1] = A/(L[subscript 2] + AL[subscript 3]), exhibit a rich geometric structure, as shown by Feigin and Shoikhet (2007) [FS] and later authors (Dobrovolska et al., 1997 [DKM], Dobrovolska and Etingof, 2008 [DE], Arbesfeld and Jordan, 2010 [AJ], Bapat and Jordan, 2010 [BJ]). We study the same problem over the integers Z and finite fields F[subscript p]. New phenomena arise, namely, torsion in B[subscript i] over Z, and jumps in dimension over F[subscript p]. We describe the torsion in the reduced quotient [bar over B][subscript 1] and B[subscript 2] geometrically in terms of the De Rham cohomology of Z[superscript n]. As a corollary we obtain a complete description of [bar over B][subscript 1](A[subscript n](Z)) and [bar over B][subscript 1](A[subscript n](F[subscript p])), as well as of B[subscript 2](A[subscript n](Z[1/2])) and B[subscript 2](A[subscript n](F[subscript p])), p > 2. We also give theoretical and experimental results for B[subscript i] with i > 2, formulating a number of conjectures and questions on their basis. Finally, we discuss the supercase, when some of the generators are odd and some are even, and provide some theoretical results and experimental data in this case.
Date issued
2012-09
URI
http://hdl.handle.net/1721.1/99444
Department
Massachusetts Institute of Technology. Department of Mathematics
Journal
Journal of Algebra
Publisher
Elsevier
Citation
Bhupatiraju, Surya, Pavel Etingof, David Jordan, William Kuszmaul, and Jason Li. “Lower Central Series of a Free Associative Algebra over the Integers and Finite Fields.” Journal of Algebra 372 (December 2012): 251–274.
Version: Author's final manuscript
ISSN
00218693
1090-266X

Collections
  • MIT Open Access Articles

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries
PrivacyPermissionsAccessibilityContact us
MIT
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.