Noncommutative functions are weakly algebraic on operatorial polynomial polyhedra

Abstract

An operatorial polynomial polyhedron is a set of the form $$B_δ(\mathcal{B}(\mathcal{H}))=\{X\in \mathcal{B}(\mathcal{H})^d : \Vertδ(X)\Vert<1\}$$ where $\mathcal{B}(\mathcal{H})$ denotes the space of bounded operators on a separable Hilbert space $\mathcal{H}$, and $δ$ is a matrix of polynomials in $d$ noncommuting variables. These sets appear throughout the literature on noncommutative function theory. While much of what has been written involves matricial polynomial polyhedra, there do exist $δ$ such that the associated $B_δ(\mathcal{B}(\mathcal{H}))$ is non-empty but contains no matrix points. Algebraicity of operatorial noncommutative functions has been established in the case that the domain $B_δ(\mathcal{B}(\mathcal{H}))$ is a balanced set (hence contains the matrix point 0). In this paper, we dispense of such assumptions on the domain and prove that an operatorial noncommutative function on any $B_δ(\mathcal{B}(\mathcal{H}))$ is weakly algebraic in the sense that its value at each operator tuple $Z$ lies in the weak operator topology closure of the unital algebra generated by the coordinates of $Z$.