New classes of examples satisfying the three matrix analog of Gerstenhaber's theorem

DOI10.1016/J.JALGEBRA.2018.09.020zbMATH Open1400.15018arXiv1711.10109OpenAlexW2963989687WikidataQ129246374 ScholiaQ129246374MaRDI QIDQ1799019FDOQ1799019

Authors: Jenna Rajchgot, Matthew Satriano 

Publication date: 18 October 2018

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

Abstract: In 1961, Gerstenhaber proved the following theorem: if k is a field and X and Y are commuting dxd matrices with entries in k, then the unital k-algebra generated by these matrices has dimension at most d. The analog of this statement for four or more commuting matrices is false. The three matrix version remains open. We use commutative-algebraic techniques to prove that the three matrix analog of Gerstenhaber's theorem is true for some new classes of examples. In particular, we translate this three commuting matrix statement into an equivalent statement about certain maps between modules, and prove that this commutative-algebraic reformulation is true in special cases. We end with ideas for an inductive approach intended to handle the three matrix analog of Gerstenhaber's theorem more generally.

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

Recommendations

• Some Combinatorial Cases of the Three Matrix Analog of Gerstenhaber’s Theorem (Research)
• On the dimension of faithful modules over finite dimensional basic algebras
• Two-generated commutative subalgebras of \(M_ n(F)\)
• Commuting pairs in the centralizers of 2-regular matrices
• scientific article; zbMATH DE number 6848558
• Some thoughts on Gerstenhaber's theorem
• On the dimension of the algebra generated by two positive semi-commuting matrices
• Vector bases for two commuting matrices
• On the codimension of subalgebras of the algebra of matrices over a field
• scientific article; zbMATH DE number 4023510

zbMATH Keywords

commuting matricesGerstenhaber's theoremcommuting scheme

Mathematics Subject Classification ID

Matrices over special rings (quaternions, finite fields, etc.) (15B33) Structure, classification theorems for modules and ideals in commutative rings (13C05) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Commutativity of matrices (15A27)

Cites Work

• Title not available (Why is that?)
• The Geometry of Syzygies
• Title not available (Why is that?)
• On dominance and varieties of commuting matrices
• Advanced topics in linear algebra. Weaving matrix problems through the Weyr Form
• Pairs of Matrices With Property L. II
• Compressed Algebras: Artin Algebras Having Given Socle Degrees and Maximal Length
• Cohen-Macaulay Rings, Invariant Theory, and the Generic Perfection of Determinantal Loci
• Two-generated commutative matrix subalgebras
• Vector bases for two commuting matrices
• The algebra generated by two commuting matrices
• A note on commuting pairs of matrices
• Some thoughts on Gerstenhaber's theorem
• Commuting pairs in the centralizers of 2-regular matrices
• On varieties of commuting triples. III.
• On varieties of commuting triples. II.
• Approximating commuting operators
• Reducibility of the families of O-dimensional schemes on a variety
• Title not available (Why is that?)

Cited In (6)

• Some Combinatorial Cases of the Three Matrix Analog of Gerstenhaber’s Theorem (Research)
• Two-generated commutative subalgebras of \(M_ n(F)\)
• Commuting pairs in the centralizers of 2-regular matrices
• The Gerstenhaber problem for commuting triples of matrices is ``decidable
• Some thoughts on Gerstenhaber's theorem
• On the algebra generated by three commuting matrices: combinatorial cases

Uses Software

• Macaulay2

This page was built for publication: New classes of examples satisfying the three matrix analog of Gerstenhaber's theorem

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