Hermitian geometry on resolvent set(I)

Abstract

For a tuple $A=(A_1,A_2,...,A_n)$ of elements in a unital Banach algebra $\mathcal{B}$, its projective joint spectrum $P(A)$ is the collection of $z\in {\mathbb{C}}^n$ such that $A(z)=z_1{A}_1+z_2{A}_2+\cdots +z_n{A}_n$ is not invertible. It is known that the $\mathcal{B}$-valued $1$-form ${\omega }_A(z)=A^{-1}(z)dA(z)$ contains much topological information about the joint resolvent set $P^c(A)$. This paper studies geometric properties of $P^c(A)$ with respect to Hermitian metrics defined through the $\mathcal{B}$-valued {\em fundamental form} ${\Omega }_A=-{\omega }_A^{\ast }\wedge {\omega }_A$ and its coupling with faithful states $\varphi$ on $\mathcal{B}$, i.e. $\varphi ({\Omega }_A)$. The connection between the tuple $A$ and the metric is the main subject of this paper. In particular, it shows that the Kählerness of the metric is tied with the commutativity of the tuple, and its completeness is related to the Fuglede-Kadison determinant.

Cited by in corpus (1)

• Spectral invariants for finite dimensional Lie algebras