0

Problem

Given the algebra $\mathcal{M}_\mathbb{C}(2)$.

Denote the normals: $$\mathcal{N}:=\{N\in\mathcal{M}_\mathbb{C}(2):N^*N=NN^*\}$$

And their calculus: $$\mathcal{N}(N):=\{\eta(N):\eta\in\mathcal{B}(\mathbb{C})\}$$

Regard commuting ones: $$N,N'\in\mathcal{N}:\quad N'N=NN'$$

Do they admit one: $$N_0\in\mathcal{N}:\quad\mathcal{N}(N)\cup\mathcal{N}(N')\subseteq\mathcal{N}(N_0)$$

Are there counterexamples?

Attempt

Choose one nondiagonal: $$N=U^*DU\quad N'=D'$$

There exists one with: $$\eta_0(N)=\eta_0(U^*DU)\neq\eta_0(D)$$

But how to proceed then?

Reference

I need this for: Superalgebra

C-star-W-star
  • 16,275

1 Answers1

1

This should never be possible:

Let $N_1,N_2 \in \mathbb{C}^{n\times n}$ be two commuting normal matrices. Then (by the spectral theorem and the fact that they commute) there is a unitary matrix $P$ such that $PN_1P^*=D_1,PN_2P^*=D_2$ are diagonal.

Take now any diagonal matrix $D$ with pairwise distinct diagonal entries. Then $D$ generates an algebra of dimension $n$ (look at its minimal polynomial) and each element of this algebra is diagonal, so $D$ generates the subalgebra of diagonal matrices. In particular $D_1$ and $D_2$ lie in it and $N_1,N_2$ hence lie in the subalgebra generated by $P^*DP$.