Curvature inequalities and extremal operators (Q2315246)

For a bounded domain \(\Omega\subset\mathbb{C}^m\), let \(\Omega^*=\{\overline{z}:z\in\Omega\}\). An \(m\)-tuple \(\mathbf{T}=(T_1,T_2,\ldots,T_m)\) of commuting bounded operators on a complex separable Hilbert space \(\mathcal{H}\) is said to be in \(B_n(\Omega^*)\) if: \begin{itemize} \item[(1)] \(\dim\big(\bigcap_{k=1}^m\ker(T_k-w_kI)\big)=n\) for each \(w=(w_1,w_2,\ldots,w_m)\in\Omega^*\); \item[(2)] the operator \(\mathcal{D}_{\mathbf{T}-w\mathbf{I}} =\bigoplus_{k=1}^m(T_k-w_kI)\), \(w\in\Omega^*\), has closed range in the Hilbert space \(\bigoplus_{k=1}^m\mathcal{H}\); \item[(3)] \(\bigvee_{w\in\Omega^*}\big(\bigcap_{k=1}^m\ker(T_k-w_kI)\big)=\mathcal{H}\). \end{itemize} For any commuting tuple of operators \(\mathbf{T}\) in \(B_n(\Omega^*)\), there exists a rank-\(n\) holomorphic Hermitian vector bundle \(E_T\) over \(\Omega^*\), \[ E_T:=\Big\{(w,v)\in\Omega^*\times\mathcal{H}:\ v\in\bigcap_{k=1}^m\ker(T_k-w_kI)\Big\}. \] For \(w\in\Omega\), properties of the curvature \(\mathcal{K}(w)\) of the vector bundle \(E_T\) are investigated. For contractive commuting tuples of operators \(\mathbf{T}\in B_n(\Omega^*)\), a curvature inequality is established. The properties of the extremal operators transforming the curvature inequality into the equality are studied. For the open unit disc \(\mathbb{D}\), the unitary equivalence of a contraction \(T\in B_1(\mathbb{D})\) and the backward shift operator \(U_+^*\) is proved under two additional conditions.