A New Necessary Condition for the Hyponormality of Toeplitz Operators on the Bergman Space
A well known result of C. Cowen states that, for a symbol $φ\in L^{\infty }, \; φ\equiv \bar{f}+g \;\;(f,g\in H^{2})$, the Toeplitz operator $T_{φ}$ acting on the Hardy space of the unit circle is hyponormal if and only if $f=c+T_{\bar{h}}g,$ for some $c\in {\mathbb C}$, $h\in H^{\infty }$, $\left\| h\right\| _{\infty}\leq 1.$ \ In this note we consider possible versions of this result in the {\it Bergman} space case. \ Concretely, we consider Toeplitz operators on the Bergman space of the unit disk, with symbols of the form $$φ\equiv αz^n+βz^m +γ\overline z ^p + δ\overline z ^q,$$ where $α, β, γ, δ\in \mathbb{C}$ and $m,n,p,q \in \mathbb{Z}_+$, $m < n$ and $p < q$. \ By letting $T_φ$ act on vectors of the form $$z^k+c z^{\ell}+d z^r \; \; (k<\ell<r),$$ we study the asymptotic behavior of a suitable matrix of inner products, as $k \rightarrow \infty$. \ As a result, we obtain a sharp inequality involving the above mentioned data: $$ \left|α\right|^2 n^2 + \left|β\right|^2 m^2 - \left|γ\right|^2 p^2 - \left|δ\right|^2 q^2 \ge 2 \left|\bar αβm n - \bar γδp q \right|. $$ This inequality improves a number of existing results, and it is intended to be a precursor of basic necessary conditions for joint hyponormality of tuples of Toeplitz operators acting on Bergman spaces in one or several complex variables.
