English

Spectral surfaces for operator pairs and Hadamard matrices of F type

Functional Analysis 2020-05-20 v3 Operator Algebras

Abstract

It is well-known that, in general, an appearance of an algebraic hypersurface of finite multiplicity in the projective joint spectrum of an operator tuple does not imply the existence of a finite-dimensional common invariant subspace.We prove that if for a pair of operators A,B the project time joint spectrum of A,BA, B and ABAB contains the surface {[x,y,z,t]CP3:xn+yn+(1)n1zntn=0}\{[x,y,z,t]\in {\mathbb C}{\mathbb P}^3: x^n+y^n+(-1)^{n-1}z^n-t^n=0\}, the under some mild conditions this implies the existence of a subspace of dimension nn invariant for both AA and BB. Itbis shown that the appearance of this surface has a relation to complex Hadamard matrices. We give a sufficient condition for a Hadamard matrix of F type to generate such pair A,BA,B. For dimensions n=3,4,5n=3,4,5 where there is a complete description of comp[lex Hadamard matrices, this condition proved to be necessary as well. Finally, we prove that a pair A,BA,B such that the projective joint spectrum of A,B,ABA,B,AB and BABA contains {[x,y,z1,z2,t]mathbbCP4:xn+yn+(1)n1(e2πI/nz1+z2)ntn=0}\{ [x,y,z_1,z_2,t]\in {mathbb C}{\mathbb P}^4: x^n+y^n+(-1)^{n-1}(e^{2\pi I/n}z_1+z_2)^n-t^n=0\}, is generated by the Fourier matrix FnF_n.

Keywords

Cite

@article{arxiv.2004.10903,
  title  = {Spectral surfaces for operator pairs and Hadamard matrices of F type},
  author = {T. Peebles and M. Stessin},
  journal= {arXiv preprint arXiv:2004.10903},
  year   = {2020}
}