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

DOI10.1016/J.JALGEBRA.2018.09.020MaRDI QIDQ1799019zbMATH OpenOpenAlexWikidataFDO

Authors Jenna Rajchgot, Matthew Satriano

Publication date 18 October 2018

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

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

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)

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.

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

Cites work

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

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

Describes a project that uses

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)