Related papers: Commuting matrices, and modules over Artinian loca…

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…

Gerstenhaber proved in 1961 that the unital algebra generated by a pair of commuting $d\times d$ matrices over a field has dimension at most $d$. It is an open problem whether the analogous statement is true for triples of matrices which…

Gerstenhaber's theorem states that the dimension of the unital algebra generated by two commuting $n\times n$ matrices is at most $n$. We study the analog of this question for positive matrices with a positive commutator. We show that the…

Motzkin and Taussky (and independently, Gerstenhaber) proved that the unital algebra generated by a pair of commuting $d\times d$ matrices over a field has dimension at most $d$. Since then, it has remained an open problem to determine…

This work relates to three problems, the classification of maximal Abelian subalgebras (MASAs) of the Lie algebra of square matrices, the classification of 2-step solvable Frobenius Lie algebras and the Gerstenhaber's Theorem. Let M and N…

In these expository notes I discuss several concepts and results in the theory of modules over commutative rings, revolving around the Gorenstein dimension of modules. Some of the related notions are the Auslander dual, k-torsionless…

We describe a MATLAB program that could produce a negative answer to the Gerstenhaber Problem by the construction of three commuting $n \times n$ matrices $A,B,C$ over a field $F$ such that the subalgebra $F[A,B,C]$ they generate has…

Let k be a perfect field and A a finite dimensional k-algebra of finite global dimension (e.g. the path algebra of a finite quiver without oriented cycles). Making use of the recent theory of noncommutative motives, we prove that the value…

We show a number of properties of the commutator algebra of a nilpotent matrix over a field. In particular we determine the simple modules of the commutator algebra. Then the results are applied to prove that certain Artinian complete…

In this paper we extend two results of Happel to commutative rings. Let $(A, \mathfrak{m})$ be a commutative Noetherian local ring. Let $D^b_f(mod \ A)$ be the bounded derived category of complexes of finitely generated modules over $A$…

The behavior of fermionic systems depends on the geometry of the system and the symmetry class of the Hamiltonian and observables. Almost commuting matrices arise from band-projected position observables in such systems. One expects the…

The commuting variety of matrices over a given field is a well-studied object in linear algebra and algebraic geometry. As a set, it consists of all pairs of square matrices with entries in that field that commute with one another. In this…

Let $R$ be a semiartinian (von Neumann) regular ring with primitive factors artinian. The dimension sequence $\mathcal D _R$ is an invariant that captures the various skew-fields and dimensions occurring in the layers of the socle sequence…

If $k$ is a field, $A$ and $B$ $k$-algebras, $M$ a faithful left $A$-module, and $N$ a faithful left $B$-module, we recall the proof that the left $A\otimes_k B$-module $M\otimes_k N$ is again faithful. If $k$ is a general commutative ring,…

P\'olya's Positivstellensatz and Handelman's Positivstellensatz are known to be concrete instances of the abstract Archimedean Representation Theorem for (commutative unital) rings. We generalise the Archimedean Representation Theorem to…

The noncommutative (or mixed) trace algebra $T_{nd}$ is generated by $d$ generic $n\times n$ matrices and by the algebra $C_{nd}$ generated by all traces of products of generic matrices, $n,d\geq 2$. It is known that over a field of…

This article concerns commutative algebras over a field $k$ of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively…

In a classic paper, Gerstenhaber showed that first order deformations of an associative k-algebra A are controlled by the second Hochschild cohomology group of A. More generally, any n-parameter first order deformation of A gives, due to…

The ({\em classical}, {\em small quantum}, {\em equivariant}) cohomology ring of the grassmannian $G(k,n)$ is generated by certain derivations operating on an exterior algebra of a free module of rank $n$ ({\em Schubert Calculus on a…

Let $A$ be a finite dimensional hereditary algebra over a field $k$ and $A^{(1)}$ the duplicated algebra of $A$. We first show that the global dimension of endomorphism ring of tilting modules of $A^{(1)}$ is at most 3. Then we investigate…