Related papers: On commuting matrices and exponentials

Let A,B be two square complex matrices of dimension at most 3. We show that the following conditions are equivalent i) There exists a finite subset U included in {2,3,4,...} such that for every positive integer t that is not in U,…

Let $K$ be a perfect field, $L$ be an extension field of $K$ and $A,B\in\mathcal{M}_n(K)$. If $A$ has $n$ distinct eigenvalues in $L$ that are explicitly known, then we can check if $A,B$ are simultaneously triangularizable over $L$. Now we…

Let A,B be complex n,n complex matrices such that AB-BA and A commute. We show that, if n=2 then A,B are simultaneously triangularizable and if n>=3 then there exists such a couple A,B such that the pair (A,B) has not property L of…

Let $k$ be an algebraically closed field of positive characteristic $p$ and let $\mathbb{G}_a$ denote the additive group of $k$. Let $n \geq 1$ and let ${\rm Mat}(n, k[T])^E$ denote the set of all exponential matrices of ${\rm Mat}(n,…

Denote by $M_n(K)$ the algebra of $n$ by $n$ matrices with entries in the field $K$. A theorem of Albert and Muckenhoupt states that every trace zero matrix of $M_n(K)$ can be expressed as $AB-BA$ for some pair $(A,B)$ of matrices of…

Let $H$ be a linear algebraic group over an algebraically closed field of characteristic $p>0$. We prove that any "exponential map" for $H$ induces a bijection between the variety of $r$-tuples of commuting $[p]$-nilpotent elements in…

For $k=1,\ldots,K$, let $A_k$ and $B_k$ be positive semidefinite matrices such that, for each $k$, $A_k$ commutes with $B_k$. We show that, for any unitarily invariant norm, \[ |||\sum_{k=1}^K A_kB_k||| \le ||| (\sum_{k=1}^K…

This article records basic topological, as well as homological properties of the space of homomorphisms Hom(L,G) where L is a finitely generated discrete group, and G is a Lie group, possibly non-compact. If L is a free abelian group of…

When $\mathbb{K}$ is a field, and $\mathcal{A}$ and $\mathcal{B}$ denote commuting subspaces of $\text{M}_n(\K)$ each of which contains a non-scalar matrix, we prove that $\dim \mathcal{A} +\dim \mathcal{B} \leq (n-1)^2+3$. We also give a…

Given $A\subseteq GL_2(\mathbb{F}_q)$, we prove that there exist disjoint subsets $B, C\subseteq A$ such that $A = B \sqcup C$ and their additive and multiplicative energies satisfying \[ \max\{\,E_{+}(B),\, E_{\times}(C)\,\}\ll…

We introduce a notion of joint spectrum for a tuple of compact operators on a separable Hilbert space and show that in many situations these operators commute if and only if the joint spectrum consists of countably many, locally finite,…

Let R be a finitely generated commutative ring with 1, let A be an indecomposable 2-spherical generalized Cartan matrix of size at least 2 and M=M(A) the largest absolute value of a non-diagonal entry of A. We prove that there exists an…

We present examples where expressions for $\exp(\hat{A}+\hat{B})$ can be derived even though the operators (or superoperators) $\hat{A}$ and $\hat{B}$ do not commute in a manner that leads to known factorizations. We apply our factorization…

Let $n\geq2$ be a natural number. Let $M_n(\mathbb{K})$ be the ring of all $n \times n$ matrices over a field $\mathbb{K}$. Fix natural number $k$ satisfying $1<k\leq n$. Under a mild technical assumption over $\mathbb{K}$ we will show that…

We introduce a family of algebras $\mathcal{A}_{M,N}$, $M,N\in\mathbb{Z}$, as an extension of a pair of commuting quantum toroidal $\mathfrak{gl}_1$ subalgebras $\mathcal{E}_1,\check{\mathcal{E}}_1$, wherein the parameters are tuned in a…

The matrix semigroup membership problem asks, given square matrices $M,M_1,\ldots,M_k$ of the same dimension, whether $M$ lies in the semigroup generated by $M_1,\ldots,M_k$. It is classical that this problem is undecidable in general but…

We prove that a Le Page-type inequality is also valid for metrically characterizing those JB$^*$-triples that are commutative. More precisely, we establish that the following statements are equivalent for any JB$^*$-triple $E$: $(a)$ $E$ is…

Commuting maps on a class of algebras called inflated algebras are investigated. In particular, we can prove that every commuting map $\theta$ on such an algebra is of the form $\theta(x)=c x+\mu(x)$, where $c$ belongs to the base field $K$…

Let $k$ be an algebraically closed field of characteristic $2$. We consider the commuting variety and the commuting nilpotent variety of the Lie algebra $\mathfrak{sp}_{2n}$, namely the sets $\mathcal{C}_2(\mathfrak{sp}_{2n})=\{ (x,y) \in…

The maximal dimension of commutative subspaces of $M_n(\mathbb{C})$ is known. So is the structure of such a subspace when the maximal dimension is achieved. We consider extensions of these results and ask the following natural questions: If…